php 中的類型約束簡介

PHP是弱型，其特點是不需要為變數指定類型，而且在其後也可以儲存任何類型，不過在php的新語法中，在某些特定場合，針對某些特定類型，也可進行語法約束。

特定場合：函數（方法）的形參變數

特定類型：物件類型（類別名稱）、介面類型（介面名稱）、陣列類型（array）、函數類型（callable）

這篇文章主要介紹了PHP中的類型約束介紹,PHP的類別方法和函數中可實現類型約束,但參數只能指定類別、陣列、介面、callable 四種類型,參數可預設為NULL，PHP並不能約束標量類型或其它類型,需要的朋友可以參考下

如下範例：

<?php
 
class Test
{
    public function test_array(array $arr)
    {
        print_r($arr);
    }
 
    public function test_class(Test1 $test1 = null)
    {
        print_r($test1);
    }
 
    public function test_callable(callable $callback, $data)
    {
        call_user_func($callback, $data);
    }
 
    public function test_interface(Traversable $iterator)
    {
        print_r(get_class($iterator));
    }
 
    public function test_class_with_null(Test1 $test1 = NULL)
    {
 
    }
}
 
class Test1{}
 
$test = new Test();
 
//函数调用的参数与定义的参数类型不一致时，会抛出一个可捕获的致命错误。
 
$test->test_array(array(1));
$test->test_class(new Test1());
$test->test_callable('print_r', 1);
$test->test_interface(new ArrayObject(array()));
$test->test_class_with_null();

那麼對於標量型別如何約束呢？

PECL擴充函式庫中提供了SPL Types擴充實作interger、float、bool、enum、string類型約束。

程式碼如下：

$int  = new  SplInt ( 94 );
 
try {
     $int  =  'Try to cast a string value for fun' ;
} catch ( UnexpectedValueException $uve ) {
    echo  $uve -> getMessage () .  PHP_EOL ;
}
 
echo  $int  .  PHP_EOL ;
/*
运行结果：
Value not an integer
94
*/

PS:SPL Types會降低一定的彈性和效能，實際專案中三思而行。

以上是php 中的類型約束簡介的詳細內容。更多資訊請關注PHP中文網其他相關文章！