PHP7型別約束

在php7之前，函式和類方法不需要宣告變數型別，任何資料都可以被傳遞和返回，導致幾乎大部分的呼叫操作都要判斷返回的資料型別是否合格。

為了解決這個問題，php7引入了型別宣告。

目前有兩類變數可以宣告型別： 形參，返回值。

支援的型別有整形，浮點型，字串型，布林型。

如下**：

<?php

function study(int $get
)var_dump(study('ddd'));

為了節省**篇幅，為就不寫oop了，直接以函式為例。

此函式指定了引數型別為int， 而呼叫的時候傳入'ddd'字串，因此此**執行會產生fatal error錯誤。

而有些情況，php總是不那麼認真，如下：

<?php

function study(bool $get
)var_dump(study('ddd'));

指定引數型別為bool，但是傳入的字串被轉化成了true，執行後輸出的結果為：bool(true)

如要強制性約束型別，可在檔案頭部新增declare宣告：

<?php

declare(strict_types = 1);
function study(bool $get
)var_dump(study('ddd'));

此時也會產生乙個致命錯誤，因為指定的引數型別為bool但是傳入的引數型別為string，只有把'ddd'換成true和false才可以，哪怕是1或0都不行。

接下來介紹一下返回型別宣告:

<?php

declare(strict_types = 1);
function study(bool $get) :int
var_dump(study(true));

形參的括號後面加冒號加型別即可指定方法返回值的型別，指定了什麼型別返回的就是什麼型別。

同樣受declare影響，

如果不做型別強制約束，那麼php會將返回的資料轉化為指定型別的資料再返回，目前差不多只有string無法強轉為int才會報錯。

如果指定了強制約束，那麼php將不會進行型別轉換，而是進行對比，如型別不同，則報錯。

還有，返回值型別，也可指定物件名，則必須返回指定物件的例項，如：

<?php

class
person
static
function instance(string
$name) :person
}person::instance('zhangsan');

這是php7的新特性之一：型別宣告。

php7型別約束的意義

php7型別約束的意義 在php7之前，函式和類方法不需要宣告變數型別，任何資料都可以被傳遞和返回，導致幾乎大部分的呼叫操作都要判斷返回的資料型別是否合格。為了解決這個問題，php7引入了型別宣告。目前有兩類變數可以宣告型別 形參，返回值。支援的型別有整形，浮點型，字串型，布林型。如下 functi...

php 7新特性（一） 型別的限定

1 標量型別宣告 a.預設 以前的弱型別 b.嚴格 declare strict types 1 strict types的值 1或者0 1表示嚴格型別,0表示弱型別 可以使用的型別引數有 int float bool string inte ce array callable 2 嚴格了返回值型別...

php7 匿名繼承類 PHP7中的匿名類使用方法

在php7之後，php中加入了匿名類的特性。匿名類和匿名方法讓php成為了更現代化的語言，也讓我們的 開發工作越來越方便。我們先來看看匿名類的簡單使用。直接定義 obja new class public function getname echo i m obja obja getname 方法中...