php是什么型語(yǔ)言

時(shí)間：2024-09-20 05:35:20 PHP 我要投稿

相關(guān)推薦

php是什么型語(yǔ)言

　　PHP寫(xiě)的網(wǎng)站占所有網(wǎng)站的大概 80%了。那么你知道php是什么型語(yǔ)言了嗎？PHP 是一門(mén)弱類型語(yǔ)言，跟yjbys小編一起來(lái)學(xué)習(xí)一下吧~

　　PHP 是一門(mén)弱類型語(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ū)

　　大家覺(jué)得C語(yǔ)言要寫(xiě)int a, int b之類的，Python不用寫(xiě)(可以直接寫(xiě)a, b)，所以C是靜態(tài)，Python是動(dòng)態(tài)。這么理解是不夠準(zhǔn)確的。譬如Ocaml是靜態(tài)類型的，但是也可以不用明確地寫(xiě)出來(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