PHP型別約束

型別約束，即定義乙個變數的時候，必須指定其型別，並且以後該變數也只能儲存該型別資料。

php作為弱型別語言，其特點是無需為變數指定型別，而且在其後也可以儲存任何型別，但是在php的新語法中，在某些特定場合，針對某些特定型別，也可進行語法約束。php 5開始，在物件導向中，為方法帶來了型別約束，php 7完善了對型別限制的支援，補上了之前的短缺，包括標量型別、返回值型別。

php中接近完善的型別約束，降低了**中一些因為型別約束而導致的問題。

演變過程

1. 早期的約束

雖然 php 是隱式轉換，但是在實際開發中也會存在一些無法轉換的窘境，當然這些問題我們在開發階段很容易發現，但是如果是一些動態的內容導致不可控就會呈現在使用者面前，也就是 bug ，在 php 中有一批以 is_* 開頭的方法用來做一些簡單型別判斷。

只支援物件、介面、陣列、函式型別約束

3. php 7+

增加了標量型別、返回值型別、可為空（nullable）型別 (php 7.1)、void函式，在 php 7.1 中還加入了嚴格型別驗證

型別約束的使用

1、標量、物件、介面、陣列、函式型別

<?php23

/**4* @param string $name

5* @param int $age

6* @param float $height

7* @param bool $isboy8*/

9function sayinfo(string

$name, int $age, float

$height, bool $isboy)10

1314 sayinfo("小明", 16, "170cm", true

);15

16//

輸出結果

17// 姓名：小明，年齡：16，身高：170，是否為男孩：是

function f(類名 $p){}// 要求引數只能使用該類的物件

function f(介面名 $p){}// 要求該引數只能使用實現該介面的物件

function f(arrary $p){}// 要求該引數只能使用陣列

function f(callable $p)// 要求該引數只能是乙個函式（方法），此時稱之為**函式（方法）

在專案中的運用如下圖：

說明:

此處要求構造方法中的引數必須是emailsenderby163(郵件傳送類)的物件

2、返回值型別

1）返回值型別，也可指定物件名，則必須返回指定物件的例項

2）如果不做型別強制約束，那麼php會將返回的資料轉化為指定型別的資料再返回，目前差不多只有string無法強轉為int才會報錯。如果指定了強制約束，那麼php將不會進行型別轉換，而是進行對比，如型別不同，則報錯。

1
<?php 
2declare(strict_types = 1);//
型別強制約束34
class
address510
}1112class
person
1317
public
function b():?int
20public
function age(float
$age) : float
2124
25public
function name(string
$name) : string
2629
30public
function isalive(bool $alive) : ?string
3134
//返回的必須是address類的例項
35public
function getaddress() :address
3639}40
41$person = new
person();
42var_dump($person->getaddress());

PHP型別約束

php拾遺型別約束

PHP7型別約束

mysql約束 MySQL 約束型別

PHP型別約束

php拾遺 型別約束

PHP7型別約束

mysql約束 MySQL 約束型別

相關推薦

php拾遺型別約束