PHP中也有一個嚴格模式的定義，如果指定了嚴格模式的話，普通的為方法參數類型指定普通的標量類型也是有效果的。

嚴格模式的定義：

declare (strict_types = 1);

int 類型

function testInt(int $a)
{
    echo $a, PHP_EOL;
}

testInt(1);
// testInt(1.1); // Fatal error: Uncaught TypeError: Argument 1 passed to testInt() must be of the type int
// testInt('52AABB'); // Fatal error: Uncaught TypeError: Argument 1 passed to testInt() must be of the type int
// testInt(true); // Fatal error: Uncaught TypeError: Argument 1 passed to testInt() must be of the type int

在嚴格模式下，很明顯地看出現在這個方法的參數只能接收 int 類型的值了，其他的類型都無法接收，當然也不會像之前文章說過的那樣會發生強制轉換。

float 類型

function testFloat(float $a)
{
    echo $a, PHP_EOL;
}

testFloat(1);
testFloat(1.1);
// testFloat('52AABB'); // Fatal error: Uncaught TypeError: Argument 1 passed to testInt() must be of the type int
// testInt(true); // Fatal error: Uncaught TypeError: Argument 1 passed to testInt() must be of the type int 

這里需要注意的是，PHP只有 int 和 float，而且 float 是 int 的超集，所以這里是可以傳整數過來的，不過上面的 testInt(int $a) 則不能接收 1.1 這樣的 float 值。這就涉及到了上下轉換的問題，向超集轉換是OK的，但是超集向子集轉換是就不OK了。 

string 類型

function testString(string $a)
{
    echo $a, PHP_EOL;
}

// testString(1);  // Fatal error: Uncaught TypeError: Argument 1 passed to testString() must be of the type string
// testString(1.1);  // Fatal error: Uncaught TypeError: Argument 1 passed to testString() must be of the type string
testString('52AABB');
// testString(true); // Fatal error: Uncaught TypeError: Argument 1 passed to testString() must be of the type string 

這個就不用過多解釋了，在非嚴格模式下我們如果定義 string 類型的接收參數的話，其實是任何類型都可以接收過來做為 string 類型的，這里的類型轉換就不多說了，可以說在非嚴格模式下定義 string 類型的效果跟沒有任何定義是一樣的。但是嚴格模式下就不同了，真的是只能接收雙引或者單引號之內的字符串內容。 

bool 類型

function testBool(bool $a)
{
    var_dump($a);
}
testBool(true);
testBool(false);
// testBool('52AABB'); // Fatal error: Uncaught TypeError: Argument 1 passed to testBool() must be of the type bool
// testBool(1); // Fatal error: Uncaught TypeError: Argument 1 passed to testBool() must be of the type bool

布爾值也是同理的，這里我們也只能接收 true 和 false 關鍵字的值。

新學習一個 iterable 類型

最后來介紹個新家伙，除了普通模式下的類、數組、回調函數，嚴格模式下的各種標量類型聲明外，還有一個 iterable 類型的聲明，相信大家通過這個單詞也能看出來了，可迭代的類型。

function testIterable(iterable $iterator)
{
    echo gettype($iterator), ':', PHP_EOL;
    foreach ($iterator as $it) {
        echo $it, PHP_EOL;
    }
}

testIterable([1, 2, 3]);
testIterable(new ArrayIterator([1, 2, 3]));
// Generator對象
testIterable((function () {
    yield 1;
    yield 2;
    yield 3;
})());
// testIterable(1); // Fatal error: Uncaught TypeError: Argument 1 passed to testIterable() must be iterable

沒錯，它包含了數組、實現迭代器接口的類以及生成器相關的內容。也就是所有可用 foreach 迭代的內容都可以傳遞過來。生成器本身會是一個 Generator 對象。