2. 程式人生 > >弱類型、強類型、動態類型、靜態類型語言的區別

弱類型、強類型、動態類型、靜態類型語言的區別

阿新 • • 發佈：2017-12-08
ble cal 學術界 ... 技術 perl 設計時 討論 行為

作者：rainoftime
鏈接：https://www.zhihu.com/question/19918532/answer/21647195
來源：知乎

類型系統的一些概念，眾說紛紜，使用上也比較亂。有些東西，甚至不好嚴格定義。以下算學術界的一種相對“嚴格”的說法。1. 先定義一些基礎概念Program Errorstrapped errors。導致程序終止執行，如除0，Java中數組越界訪問untrapped errors。 出錯後繼續執行，但可能出現任意行為。如C裏的緩沖區溢出、Jump到錯誤地址Forbidden Behaviours 語言設計時，可以定義一組forbidden behaviors. 它必須包括所有untrapped errors, 但可能包含trapped errors.Well behaved、ill behavedwell behaved: 如果程序執行不可能出現forbidden behaviors, 則為well behaved。ill behaved: 否則為ill behaved...2. 有了上面的概念，再討論強、弱類型，靜態、動態類型強、弱類型強類型strongly typed: 如果一種語言的所有程序都是well behaved——即不可能出現forbidden behaviors，則該語言為strongly typed。弱類型weakly typed: 否則為weakly typed。比如C語言的緩沖區溢出，屬於trapped errors，即屬於forbidden behaviors..故C是弱類型前面的人也說了，弱類型語言，類型檢查更不嚴格，如偏向於容忍隱式類型轉換。譬如說C語言的int可以變成double。 這樣的結果是：容易產生forbidden behaviours，所以是弱類型的動態、靜態類型靜態類型 statically: 如果在編譯時拒絕ill behaved程序，則是statically typed;動態類型dynamiclly: 如果在運行時拒絕ill behaviors, 則是dynamiclly typed。3. 誤區大家覺得C語言要寫int a, int b之類的，Python不用寫(可以直接寫a, b)，所以C是靜態，Python是動態。這麽理解是不夠準確的。譬如Ocaml是靜態類型的，但是也可以不用明確地寫出來。。Ocaml是靜態隱式類型靜態類型可以分為兩種：如果類型是語言語法的一部分，在是explicitly typed顯式類型；如果類型通過編譯時推導，是implicity typed隱式類型, 比如ML和Haskell4.下面是些例子無類型： 匯編弱類型、靜態類型 ： C/C++弱類型、動態類型檢查： Perl/PHP強類型、靜態類型檢查 ：Java/C#強類型、動態類型檢查 ：Python, Scheme靜態顯式類型 ：Java/C靜態隱式類型 ：Ocaml, Haskell

技術分享圖片

弱類型、強類型、動態類型、靜態類型語言的區別

相關推薦

一些可變長度物件（string物件、vector物件 ...）作為結構體或類的成員，會不會動態改變結構體或類所定義的變數的大小呢？

       可能是我自身的原因，經常性的杞人憂天！        在接觸到C++的一些類時，想的有點多了。事實證明，我確實想多了。但是我覺得可能會有和我一樣會多想的小夥伴，我在這分享一個我想多了的栗

C++陣列（一維、二維、三維）的動態分配new、初始化memset和釋放delete

【原文】http://blog.csdn.net/shanzhizi/article/details/7835752 陣列的動態分配、初始化和釋放經常用到，這裡總結一下，尤其是二維陣列 一維陣列 一維陣列的動態分配，初始化和撤銷都好說，幾乎每一本C++教材都會做出詳細的說明

弱類型、強類型、動態類型、靜態類型語言的區別

ble cal 學術界 ... 技術 perl 設計時 討論 行為 作者：rainoftime鏈接：https://www.zhihu.com/question/19918532/answer/21647195來源：知乎 類型系統的一些概念，眾說紛紜，使用上也比較亂。有些東

編譯型與解釋型、動態語言與靜態語言、強類型語言與弱類型語言的區別

動態語言 動態 java語言 不同 編譯型 效率 編譯過程 .exe 檢查 （一）編譯型語言和解釋型語言 　　首先我們區分這樣一個概念，編譯型語言和解釋型語言。我們編程用的都是高級型語言（寫匯編和機器語言的除外），計算機只理解和運行機器語言，所以必須把高級語言翻譯成機器語言

python——靜態語言、動態語言、強類型語言、弱類型語言、腳本語言、解釋型語言、編譯型語言

style 不用 字符 編譯過程 使用 php var put 程序編譯 靜態語言 在編寫代碼時，必須為變量指定一個明確類型的語言。比如Java、C/C++ 動態語言 在編寫代碼時，不必為變量指定一個明確的類型，而是由解釋器在運行時根據變量的使用情況確定變量的類型。比如py

【轉載】編譯型語言、解釋型語言、靜態類型語言、動態類型語言概念與區別

自己 運行 是把 修改 lin 鏈接 時代 dll 系統 編譯型語言和解釋型語言 1、編譯型語言 需通過編譯器（compiler）將源代碼編譯成機器碼，之後才能執行的語言。一般需經過編譯（compile）、鏈接（linker）這兩個步驟。編譯是把源代碼編譯成機器碼，鏈接是把

學習筆記1（三元運算、深淺拷貝、動態參數、全局變量與局部變量、set數據類型 ）

img class blog war post 所有 註意 學習 gpo （三元運算、深淺拷貝、動態參數、全局變量與局部變量、set數據類型 ） set 數據類型--無序，不重復的集合 一.三元運算、三木運算--減少代碼量 name=“X1”if 條件 else “x2”

3、文件測試和bash中的變量類型+shift用法

文件測試 變量類型 shell文件測試和bash中的變量類型exit（可以提前結束腳本的命令）exit:退出腳本進程 那我們說，任何一個命令執行完了，都會有一個執行結果和執行狀態結果.exit除了可以退出腳本不執行後面的語句之後，還可以用來定義執行狀態結果是什麽的？(正確或者錯誤)我們完全可以自定義自定義：0

強弱類型、動靜態類型語言嚴格定義

比較 知乎 orb int size 動態 stat jump exp 類型系統的一些概念，眾說紛紜，使用上也比較亂。有些東西，甚至不好嚴格定義。以下算學術界的一種相對“嚴格”的說法。 1. 先定義一些基礎概念 Program Errors trapped er

編譯型語言、解釋型語言、靜態類型語言、動態類型語言概念與區別

lan 而是 med 每次 部署 展開 不能 -c 進行 今天看到篇對於靜態、動態、強類型、弱類型總結的很到位的一篇博文，在此Mark下。 編譯型語言和解釋型語言 1、編譯型語言 需通過編譯器（compiler）將源代碼編譯成機器碼，之後才能執行的語言。一般需經過編譯（co

字符、字符串和文本的處理之String類型

style 有一個 資料 spa 簡介 exe TP net .text .Net Framework中處理字符和字符串的主要有以下這麽幾個類: (1)、System.Char類 一基礎字符串處理類 (2)、System.String類 一處理不可變的字符串(一經創建,字符

強類型，弱類型，動態類型，靜態類型

隱式類型轉換 用戶 sting 靜態類 算術 tin and 數據 靜態類型 “C and C++ are considered weakly typed since, due to type-casting, one can interpret a field

弱類型和強類型的簡單理解

發生 clas span 語句 編譯 變量定義 類型 匹配 檢查 弱類型和強類型的簡單理解 強類型、弱類型是指類型檢查的嚴格程度的。無論哪種語言，對於變量而言，都存在“類型”和“值”兩個概念。對於強類型語言，要求所有的變量必須先定義（定義時必須聲明數據類型）後使用，並且指定

python學習（十六）——多型、封裝、反射、、動態匯入模組、類內建attr方法

一、多型 # 不同的例項呼叫同樣的方法，產生不同的結果 # 多型來自繼承 class H2O: def __init__(self,name,temperature): self.name=name self.temperature=

swift的clourse：字面量化的函數、將函數字面量化-與函數的類型簽名相同

inf sel .org 返回值 mov 表達 foreach fork sync 1、clourse的簽名與函數的簽名相同； 所以兩者可以相互賦值； 2、可以將函數（表達式）字面量化； 因為可以字面量化，所以和其它的值（變量）沒有任何區別，可以存在變量存在的任何地方； 3

《JAVA繼承與多型》【Person、Student、Employee類】（注：此題在書上原題基礎上有修改）設計一個名為Person的類和它的兩個名為Student和Employee子類。

題目：【Person、Student、Employee類】（注：此題在書上原題基礎上有修改）設計一個名為Person的類和它的兩個名為Student和Employee子類。 每個人都有姓名和電話號碼。學生有年級狀態（大一、大二、大三或大四）。將這些狀態定義為常

c++資料型別（整型/浮點型/字串/陣列/引用/結構體（記憶體對齊）/類（虛擬函式））定義、所佔位元組數、最大最小值

#include<iostream> #include<string> #include<limits> using namespace std; int main() { cout << "type: \t\t" << "********

oracle的concat、convert、listagg函數（字符串拼接和類型轉換）

dual name ase oracl wid 返回值 說明 laserjet 基於 ORACLE幾種常用的方法(2) 1、concat常見的用法 ： 　　格式：concat(String1,String2) 　　說明：concat函數用於將兩個字符串連接起來，形成一

原碼、反碼、補碼以及進制轉換和基本數據類型

pan 字符 style src 圖片 true round 理論 數據類型 原碼 * 就是二進制定點表示法，即最高位為符號位，“0”表示正，“1”表示負，其余位表示數值的大小。 * 通過一個字節,也就是8個二進制位表示+7

為什麽說OC是運行時語言？什麽是動態類型、動態綁定、動態加載？

打包 .cn 自身 left 開發 識別 調用 不能 圖片 轉載：https://www.cnblogs.com/dxb123456/p/5525343.html 動態： 主要是將數據類型的確定由編譯時，推遲到了運行時。 這個問題其實淺涉及到兩個概念，運行時和多態。