首页 > 文章列表 > PHP 函数参数类型严格检查如何实现?

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

php 类型检查
413 2024-04-23

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

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

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

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

语法

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

declare(strict_types=1);

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

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

参数类型

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

  • 基本类型:intfloatboolstringnull
  • 复合类型:

    • 对象类型:objectClass
    • 数组类型: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 值,可以使用可选类型 ?
  • 启用严格模式后,必须为函数的所有参数明确指定类型,包括可选参数。