请解释PHP 7+ 中引入的标量类型声明及其作用。

在PHP 7中，引入了标量类型声明（Scalar Type Declarations），这是一个让PHP支持更加严格类型声明的重要功能。标量类型声明让程序员可以指定函数或方法参数应该接受的具体类型，以及函数或方法返回的具体类型。这种类型声明有助于提高代码的质量和可维护性，同时可以减少因类型错误而引起的bug。

标量类型包括：

1. int - 整型值
2. float - 浮点型值
3. string - 字符串
4. bool - 布尔值

PHP 中的类型声明方式：

在PHP中，类型声明可以放在函数或方法的参数前面，以及函数返回值前面（PHP 7.0+ 引入的返回类型声明）。这样可以明确函数接受何种类型的参数以及返回何种类型的结果。

参数类型声明示例：

function sum(int $a, int $b) {
    return $a + $b;
}

echo sum(5, 10);  // 输出 15
// echo sum(5, "10 apples");  // TypeError

在上面的例子中，sum 函数定义了两个参数都必须是整型（int）。如果传入非整型值，PHP 将抛出一个 TypeError。

返回类型声明示例：

function sum(int $a, int $b): int {
    return $a + $b;
}

$result = sum(5, 10);  // 正确，返回 15
// $result = sum(5, 10.5);  // TypeError，因为 10.5 不是整型

在这个例子中，除了参数类型声明外，我们还声明了返回类型为 int，这意味着函数返回的值必须是整型，否则会引发类型错误。

类型声明的模式：

PHP 在类型声明中支持两种模式：

1. 强制模式 (默认) - 在这种模式下，如果提供的值类型不正确，PHP 将会抛出 TypeError。
2. 严格模式 - 通过在文件顶部声明 declare(strict_types=1); 开启。在严格模式下，PHP 对类型的检查更加严格，不允许任何类型的隐式转换。

严格模式示例：

declare(strict_types=1);

function sum(int $a, int $b): int {
    return $a + $b;
}

echo sum(5, 10);  // 正确
// echo sum(5.5, 10);  // TypeError，因为 5.5 不是整型

在上面的代码中，即使是浮点数到整数的隐式转换也不被允许。

总结

标量类型声明是PHP 7及以上版本中的一个重要特性，它允许更严格地控制函数的输入输出类型，从而提高程序的健壧性和可维护性。通过使用参数类型声明和返回类型声明，开发者可以避免许多类型相关的错误，使代码更加可靠。同时，通过选择强制模式或严格模式，开发者可以根据需要调整类型检查的严格程度。