PHP - 强类型：初学者指南

你好，未来的PHP巫师们！我很兴奋能带你们进入PHP强类型的迷人世界。作为一个教PHP多年的老师，我可以告诉你，理解这个概念会让你成为一个更好的程序员。那么，让我们开始吧！

PHP - Strict Typing

什么是强类型？

在我们深入了解细节之前，先来理解一下强类型是什么。想象一下你在烤蛋糕。你不会用盐代替糖，对吧？这是因为食谱对使用什么材料有严格的要求。同样，PHP中的强类型就是关于在我们的代码中使用精确的数据类型。

为什么强类型很重要

你可能会有疑问，“我为什么要关心强类型？”我的年轻学者，强类型可以帮助防止错误，让你的代码更可靠，甚至可以提高性能。这就像是为你的代码配备了一个警惕的警卫！

示例：松散类型的危险

让我们从一个简单的示例开始，展示为什么强类型可以救命：

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

echo addNumbers(5, "10");  // 输出：15
echo addNumbers("5", "10");  // 输出：15

在这个示例中，PHP自动将字符串"10"转换为整数。这种行为，称为类型转换，有时会导致意外的结果。如果有人不小心传递了一个无法转换为数字的字符串呢？那将是混乱！

类型提示的出现

类型提示就像是给你的函数参数贴上姓名标签。它们告诉PHP，“嘿，我只想要这里的具体类型数据！”

让我们升级之前的示例：

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

echo addNumbers(5, 10);  // 输出：15
echo addNumbers("5", "10");  // 抛出TypeError

现在，如果有人尝试传递字符串而不是整数，PHP会发飙（技术上，是TypeError）。这就像在俱乐部门口有保安检查身份证！

可用的类型提示

PHP提供了多种类型提示。以下是最常见的类型提示的便捷表格：

类型提示	描述
int	整数
float	浮点数
string	文本字符串
bool	布尔值（true/false）
array	数组
object	任何对象
callable	可以调用的函数或方法
iterable	实现了Traversable的数组或对象
self	使用它的同一个类
?type	可空类型（可以是指定类型或null）

`strict_types`的力量

现在，让我们通过strict_types来提升一个档次。这就像是为PHP打开“超级严格模式”。

要启用强类型，请在PHP文件的顶部添加这行代码：

<?php
declare(strict_types=1);

function divideNumbers(int $a, int $b): float {
return $a / $b;
}

echo divideNumbers(10, 3);  // 输出：3.3333333333333
echo divideNumbers(10, "3");  // 抛出TypeError

启用strict_types后，PHP对类型变得非常挑剔。它甚至不再尝试将"3"转换为整数。这就像有一个坚持精确计算的数学老师！

返回类型

你注意到函数参数后面的: float了吗？那是返回类型声明。它告诉PHP，这个函数必须返回一个浮点值。

function greet(string $name): string {
return "Hello, $name!";
}

echo greet("Alice");  // 输出：Hello, Alice!
echo greet(123);  // 抛出TypeError

实际示例：一个简单的计算器

让我们用一个更实际的示例来将所有内容结合起来：

<?php
declare(strict_types=1);

class Calculator {
public function add(float $a, float $b): float {
return $a + $b;
}

public function subtract(float $a, float $b): float {
return $a - $b;
}

public function multiply(float $a, float $b): float {
return $a * $b;
}

public function divide(float $a, float $b): float {
if ($b == 0) {
throw new Exception("不允许除以零");
}
return $a / $b;
}
}

$calc = new Calculator();

try {
echo $calc->add(5.5, 3.2) . "\n";  // 输出：8.7
echo $calc->subtract(10, 4) . "\n";  // 输出：6
echo $calc->multiply(2.5, 3) . "\n";  // 输出：7.5
echo $calc->divide(15, 3) . "\n";  // 输出：5
echo $calc->divide(10, 0);  // 抛出异常
} catch (TypeError $e) {
echo "类型错误：" . $e->getMessage();
} catch (Exception $e) {
echo "错误：" . $e->getMessage();
}

在这个示例中，我们创建了一个使用强类型的Calculator类。注意我们如何使用float来处理所有的数字，以处理整数和十进制数。