PHP 函数参数类型严格检查如何实现？

PHP 函数参数类型严格检查可以确保传递的参数与声明的类型一致。通过 declare(strict_types=1) 启用后，函数参数要求匹配指定类型，否则抛出 TypeError 异常。严格检查支持基本类型（int、float）、复合类型（对象、数组）、联合类型（int|string）和可选类型（?int），提高代码健壮性，防止传递错误类型的参数。

理解 PHP 函数参数类型严格检查

PHP 函数参数类型检查，是指在函数调用时，检查实际传递的参数类型是否与函数声明的参数类型一致的过程。通过严格检查可以提高代码的健壮性，确保传递给函数的参数符合预期。

语法

在 PHP 7.0 及以上版本中，可以使用 Declare 语句对函数参数类型进行严格检查：

declare(strict_types=1);

function add(int $a, int $b) {...}

通过 strict_types=1 声明启用严格模式后，函数 add 要求传入两个整数类型的参数，否则将抛出 TypeError 异常。

参数类型

PHP 支持以下基本类型和复合类型的严格检查：

• 基本类型：int、float、bool、string、null

• 复合类型：

  • 对象类型：object 或 Class
  • 数组类型：array
  • 联合类型：int|string
  • 可选类型：?int

实战案例

场景：

定义一个函数 calculateArea，计算几何图形的面积。需要根据不同的图形类型，传递不同的参数：

function calculateArea($shape, $params) {...}

使用类型检查防止参数错误：

declare(strict_types=1);

function calculateArea(string $shape, array $params): float {...}

通过 strict_types 声明和明确的参数类型，可以防止传递错误类型的参数。例如：

calculateArea(123, []); // 抛出 TypeError 异常

使用联合类型提高灵活性：

function calculateArea(string $shape, int|float $radius): float {...}

联合类型允许函数根据不同的情况接收不同类型的参数。例如，计算圆形或正方形的面积：

calculateArea('circle', 5);
calculateArea('square', 10);

注意要点

• 严格模式不会影响现有代码，只影响新定义的函数。
• 只有实际的参数类型与声明的类型不匹配时才抛出异常。
• 如果希望允许函数返回 null 值，可以使用可选类型 ?。
• 启用严格模式后，必须为函数的所有参数明确指定类型，包括可选参数。