PHP寫的網站佔所有網站的大概 80%了。那麼你知道php是什麼型語言了嗎?PHP 是一門弱型別語言,跟yjbys小編一起來學習一下吧~
PHP 是一門弱型別語言
我們注意到,不必向 PHP 宣告該變數的資料型別。
PHP 會根據變數的值,自動把變數轉換為正確的資料型別。
在強型別的程式語言中,我們必須在使用變數前先宣告(定義)變數的型別和名稱。
1. 先定義一些基礎概念
Program Errors
trapped errors。導致程式終止執行,如除0,Java中陣列越界訪問
untrapped errors。 出錯後繼續執行,但可能出現任意行為。如C裡的緩衝區溢位、Jump到錯誤地址
Forbidden Behaviours
語言設計時,可以定義一組forbidden behaviors. 它必須包括所有untrapped errors, 但可能包含trapped errors.
Well behaved、ill behaved
well 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和Haskell
4.下面是些例子
無型別: 彙編
弱型別、靜態型別 : C/C++
弱型別、動態型別檢查: Perl/PHP
強型別、靜態型別檢查 :Java/C#
強型別、動態型別檢查 :Python, Scheme
靜態顯式型別 :Java/C
靜態隱式型別 :Ocaml, Haskell