php是什么型語言

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

　　PHP 是一門弱類型語言

　　我們注意到，不必向 PHP 聲明該變量的數(shù)據(jù)類型。

　　PHP 會(huì)根據(jù)變量的值，自動(dòng)把變量轉(zhuǎn)換為正確的數(shù)據(jù)類型。

　　在強(qiáng)類型的編程語言中，我們必須在使用變量前先聲明（定義）變量的類型和名稱。

　　1. 先定義一些基礎(chǔ)概念

　　Program Errors

　　trapped errors。導(dǎo)致程序終止執(zhí)行，如除0，Java中數(shù)組越界訪問

　　untrapped errors。 出錯(cuò)后繼續(xù)執(zhí)行，但可能出現(xiàn)任意行為。如C里的緩沖區(qū)溢出、Jump到錯(cuò)誤地址

　　Forbidden Behaviours

　　語言設(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: 如果一種語言的所有程序都是well behaved——即不可能出現(xiàn)forbidden behaviors，則該語言為strongly typed。

　　弱類型weakly typed: 否則為weakly typed。比如C語言的緩沖區(qū)溢出，屬于trapped errors，即屬于forbidden behaviors..故C是弱類型

　　前面的人也說了，弱類型語言，類型檢查更不嚴(yán)格，如偏向于容忍隱式類型轉(zhuǎn)換。譬如說C語言的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語言要寫int a, int b之類的，Python不用寫(可以直接寫a, b)，所以C是靜態(tài)，Python是動(dòng)態(tài)。這么理解是不夠準(zhǔn)確的。譬如Ocaml是靜態(tài)類型的，但是也可以不用明確地寫出來。。

　　Ocaml是靜態(tài)隱式類型

　　靜態(tài)類型可以分為兩種：

　　如果類型是語言語法的一部分，在是explicitly typed顯式類型；

　　如果類型通過編譯時(shí)推導(dǎo)，是implicity typed隱式類型, 比如ML和Haskell

　　4.下面是些例子

　　無類型： 匯編

　　弱類型、靜態(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是什么型語言】相關(guān)文章：

php是什么類型語言05-11

php是什么11-03

PHP語言的優(yōu)勢11-11

PHP語言的簡介11-10

如何學(xué)習(xí)PHP語言11-10

PHP語言就業(yè)前景11-10

php是什么格式11-03

php樹型類實(shí)例代碼11-19

新手如何學(xué)習(xí)PHP語言11-11