在 php 7.0 中，给函数参数添加类型声明主要依赖于“标量类型声明”（scalar type declarations）特性。这一特性允许你在函数签名中指定参数的数据类型，如 int、float、string 和 bool。与 php 5 仅支持类、接口、数组和 callable 的类型提示不同，php 7 将类型检查扩展到了基础标量类型。
标量类型声明的基本语法
要在函数参数中使用类型声明，只需在参数名前加上类型关键字。例如，定义一个接受字符串和整数的函数：
function greet(string $name, int $age) {
echo "Hello $name, you are $age years old.";
}
上述代码中，$name 被声明为 string 类型，$age 被声明为 int 类型。如果调用时传入的类型不符合要求，PHP 会根据当前设置的类型检查模式决定如何处理。PHP 7 提供了两种模式：弱模式（Coercive Mode）和严格模式（Strict Mode）。默认情况下，PHP 处于弱模式，这意味着它会尝试将传入的值转换为声明的类型。例如，如果传入字符串 '42' 给 int $age，PHP 会将其转换为整数 42。然而，如果转换不可能或导致数据丢失，则会抛出 TypeError。
立即学习“PHP免费学习笔记（深入）”；
为了启用严格模式，需要在文件顶部使用 declare(strict_types=1); 指令。严格模式下，PHP 不会进行任何隐式类型转换，传入的参数必须完全符合声明的类型，否则直接抛出 TypeError。这对于确保数据完整性和避免意外行为非常有用。需要注意的是，declare(strict_types=1) 只影响当前文件，不会影响其他包含的文件。
严格模式下的类型检查实践
下面是一个完整的示例，演示如何在严格模式下使用标量类型声明。该程序定义了一个计算函数，并在主程序中测试不同类型输入的情况。
<?php
declare(strict_types=1);
function calculate(int $a, int $b): int {
return $a + $b;
}
// 正确调用
$result = calculate(10, 20);
echo "Result: " . $result . "\n";
// 错误调用：传入字符串，将抛出 TypeError
try {
$errorResult = calculate('10', '20');
} catch (TypeError $e) {
echo "Error: " . $e->getMessage() . "\n";
}
运行此程序时，首先会输出 Result: 30，因为传入的是整数，符合类型声明。接着，由于启用了严格模式，calculate('10', '20') 的调用会触发 TypeError，因为字符串不能直接转换为整数而不进行显式转换（而在严格模式下，这种转换是不允许的）。捕获到的异常消息会指出参数类型不匹配。这个例子展示了严格模式如何帮助开发者尽早发现类型错误，提高代码的健壮性。
返回值类型声明
除了参数类型声明，PHP 7 还支持返回值类型声明。你可以在函数签名后使用冒号加类型关键字来指定返回值的类型。例如：function add(int $a, int $b): int { return $a + $b; }。返回值类型声明同样受 strict_types 设置的影响。在弱模式下，如果返回值的类型与声明不符，PHP 会尝试转换；在严格模式下，则必须完全匹配。此外，PHP 7 还引入了联合类型（Union Types）的初步概念，但完整的联合类型支持是在 PHP 8.0 中引入的。在 PHP 7 中，你只能声明单一类型。对于需要返回多种类型的情况，建议使用文档注释或在 PHP 8+ 中使用联合类型。另外，void 返回类型也在此版本中引入，用于表示函数不返回任何值。
