- 相關(guān)推薦
php是什么型語(yǔ)言
PHP寫的網(wǎng)站占所有網(wǎng)站的大概 80%了。那么你知道php是什么型語(yǔ)言了嗎？PHP 是一門弱類型語(yǔ)言，跟yjbys小編一起來(lái)學(xué)習(xí)一下吧~
PHP 是一門弱類型語(yǔ)言
我們注意到，不必向 PHP 聲明該變量的數(shù)據(jù)類型。
PHP 會(huì)根據(jù)變量的值，自動(dòng)把變量轉(zhuǎn)換為正確的數(shù)據(jù)類型。
在強(qiáng)類型的編程語(yǔ)言中，我們必須在使用變量前先聲明（定義）變量的類型和名稱。
1. 先定義一些基礎(chǔ)概念
Program Errors
trapped errors。導(dǎo)致程序終止執(zhí)行，如除0，Java中數(shù)組越界訪問(wèn)
untrapped errors。 出錯(cuò)后繼續(xù)執(zhí)行，但可能出現(xiàn)任意行為。如C里的緩沖區(qū)溢出、Jump到錯(cuò)誤地址
Forbidden Behaviours
語(yǔ)言設(shè)計(jì)時(shí)，可以定義一組forbidden behaviors. 它必須包括所有untrapped errors, 但可能包含trapped errors.
Well behaved、ill behaved
well behaved: 如果程序執(zhí)行不可能出現(xiàn)forbidden behaviors, 則為well behaved。
ill behaved: 否則為ill behaved...
2. 有了上面的概念，再討論強(qiáng)、弱類型，靜態(tài)、動(dòng)態(tài)類型
強(qiáng)、弱類型
強(qiáng)類型strongly typed: 如果一種語(yǔ)言的所有程序都是well behaved——即不可能出現(xiàn)forbidden behaviors，則該語(yǔ)言為strongly typed。
弱類型weakly typed: 否則為weakly typed。比如C語(yǔ)言的緩沖區(qū)溢出，屬于trapped errors，即屬于forbidden behaviors..故C是弱類型
前面的人也說(shuō)了，弱類型語(yǔ)言，類型檢查更不嚴(yán)格，如偏向于容忍隱式類型轉(zhuǎn)換。譬如說(shuō)C語(yǔ)言的int可以變成double。 這樣的結(jié)果是：容易產(chǎn)生forbidden behaviours，所以是弱類型的
動(dòng)態(tài)、靜態(tài)類型
靜態(tài)類型 statically: 如果在編譯時(shí)拒絕ill behaved程序，則是statically typed;
動(dòng)態(tài)類型dynamiclly: 如果在運(yùn)行時(shí)拒絕ill behaviors, 則是dynamiclly typed。
3. 誤區(qū)
大家覺得C語(yǔ)言要寫int a, int b之類的，Python不用寫(可以直接寫a, b)，所以C是靜態(tài)，Python是動(dòng)態(tài)。這么理解是不夠準(zhǔn)確的。譬如Ocaml是靜態(tài)類型的，但是也可以不用明確地寫出來(lái)。。
Ocaml是靜態(tài)隱式類型
靜態(tài)類型可以分為兩種：
如果類型是語(yǔ)言語(yǔ)法的一部分，在是explicitly typed顯式類型；
如果類型通過(guò)編譯時(shí)推導(dǎo)，是implicity typed隱式類型, 比如ML和Haskell
4.下面是些例子
無(wú)類型： 匯編
弱類型、靜態(tài)類型 ： C/C++
弱類型、動(dòng)態(tài)類型檢查： Perl/PHP
強(qiáng)類型、靜態(tài)類型檢查 ：Java/C#
強(qiáng)類型、動(dòng)態(tài)類型檢查 ：Python, Scheme
靜態(tài)顯式類型 ：Java/C
靜態(tài)隱式類型 ：Ocaml, Haskell
【php是什么型語(yǔ)言】相關(guān)文章：
php是什么10-11
php是什么格式10-26
php是什么格式？01-14
php樹型類實(shí)例代碼08-25
PHP語(yǔ)言的簡(jiǎn)介09-12
php是什么意思07-18
PHP語(yǔ)言就業(yè)前景08-24