PHP 中的泛型:基础

PHP中的泛型:基础

PHP中的泛型。我知道我想要的就是这个。我知道很多开发者都想要这个使用这个类型。另一方面,也可能有很大规模的一群PHP程序员,不知道泛型是什么,或者认为他们为什么要有这个类型。

我将在这个博客上做一个关于泛型和PHP的系列文章。让我们从头开始,很快我们就会找到更复杂的话题。我们将讨论什么是泛型,为什么PHP不支持它们,未来可能发生什么。

让我们开始吧。

Laravel

每种编程语言都有某种类型的系统。有些语言的实现非常严格,而其他语言——PHP属于这一类——则要宽松得多

现在,使用类型系统的原因有很多。 最明显的是类型验证

假设我们有一个接受两个数字、两个整数的函数; 并对它们进行一些数学运算:

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

PHP 允许您将任何类型的数据传递给该函数,数字、字符串、布尔值都无所谓。 PHP 将尽最大努力在有意义的时候转换变量,例如将它们加在一起。

add('1', '2');

但是这些转换——类型杂耍——通常会导致意想不到的结果,或者说是:错误和崩溃。

add([], true); // ?

现在,我们可以手动编写代码来检查我们的数学加法运算,它将被用于任何给定的输入

function add($a, $b) 
{
    if (!is_int($a) || !is_int($b)) {
        return null;
    }

    return $a + $b;
}

或者,我们可以使用PHPS内置类型提示–这是我们手动执行操作的内置简写:

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

PHP社区中的许多开发人员说他们并不真正关心这些类型提示,因为他们知道自己应该只将整数传递给这个函数-毕竟是他们自己写的。

然而,这种推理很快就会瓦解:您通常不是唯一一个在该代码库中工作的人,您还在使用不是您自己编写的代码-想想您用Composer引入了多少包。因此,虽然这个孤立的示例看起来不是什么大问题,但是一旦您的代码开始增长,类型检查确实会派上用场。

除此之外,添加类型提示不仅可以防止无效状态,而且还澄清我们程序员需要什么样类型的值输入。定义好类型后通常使您无需阅读外部文档,因为函数的大部分功能已经被其类型定义封装。

IDE 大量使用了这一原则:它们可以告诉程序员函数期望什么样类型的值的输入,或者对象上有哪些字段和方法可用——因为它属于一个类。IDE 使我们的代码编写效率更高,这在很大程度上是因为它们可以静态分析我们代码库中的类型提示。

记住这个词:静态分析——这在本系列的后面会非常重要。 这意味着程序、IDE 或其他类型的「静态分析器」可以查看我们的代码,并且在不运行它的情况下告诉我们它是否会工作——至少在某种程度上是这样。如果我们将一个字符串传递给我们的只接受整数的函数,我们的 IDE 会告诉我们我们做错了什么——这会导致程序在运行时崩溃;但我们的 IDE 无需实际运行代码就能告诉我们。

另一方面,类型系统也有其局限性。 一个常见的例子是「项目列表」:

class Collection extends ArrayObject
{
    public function offsetGet(mixed $key): mixed 
    { /* … */ }

    public function filter(Closure $fn): self 
    { /* … */ }

    public function map(Closure $fn): self 
    { /* … */ }
}

一个集合有很多方法可以处理任何类型的输入:循环、过滤、映射,等等;集合实现不应该关心它是处理字符串还是整数。

但是,让我们从局外人的角度来看。如果我们想确保一个集合只包含字符串,而另一个集合只包含「用户」对象,会发生什么。集合本身在循环其 items 时并不关心,但我们关心。我们想知道循环中的这个项目是用户还是字符串——这是完全不同的。但是如果没有正确的类型信息,我们的 IDE 就会在未知情况中运行。

$users = new Collection();

// …

foreach ($users as $user) {
    $user-> // ?
}

现在,我们可以为每个集合创建单独的实现: 一个只适用于字符串的实现,另一个只适用于 User 对象:

class StringCollection extends Collection
{
    public function offsetGet(mixed $key): string 
    { /* … */ }
}

class UserCollection extends Collection
{
    public function offsetGet(mixed $key): User 
    { /* … */ }
}

但是如果我们需要第三个实现?第四个?也许10个或20个。管理这些代码将会变得非常困难。

这就是泛型的用武之地。

需要澄清的是:PHP 没有泛型。这是一个大胆的声明,走了不少弯路,我们将在本系列的后面部分讨论这一点。但是现在我可以说我接下来要展示的内容在 PHP 中是没有的。 但是它存在于其他编程语言中。

许多编程语言允许开发人员在集合类上定义“泛型”,而不是为每个可能的类型去单独实现:

class Collection<Type> extends ArrayObject
{
    public function offsetGet(mixed $key): Type 
    { /* … */ }

    // …
}

基本上我们说的是集合类的实现适用于任何类型的输入,但是当我们创建集合的实例时,我们应该指定一个类型。它是一个泛型实现,需要根据程序员的需求来特定:

$users = new Collection<User>();

$slugs = new Collection<string>();

添加类型似乎是一件小事。但这种类型本身就开启了一个充满可能性的世界。 我们的IDE现在知道了集合中的数据类型,它可以告诉我们是否添加了错误类型的项;它可以告诉我们在迭代集合时可以对项执行什么操作;它可以告诉我们是否将集合传递给知道如何处理这些特定项的函数。

虽然我们可以通过手动为我们需要的每种类型实现一个集合,在技术上实现同样的效果;对于编写和维护代码的开发人员来说,通用实现将是一项重大改进。

那么,我们为什么不在PHP中使用泛型呢?除了无聊的收藏,我们还能用它们做什么?我们能为他们增加支持吗?我们将在这个系列中回答所有这些问题。首先需要澄清的是:我在本系列文章中的目标是教你关于泛型的知识,但同样重要的是,我想让大家意识到我们是如何误解PHP的。我想改变这种状况。

本文中的所有译文仅用于学习和交流目的,转载请务必注明文章译者、出处、和本文链接
我们的翻译工作遵照 CC 协议,如果我们的工作有侵犯到您的权益,请及时联系我们。

原文地址:https://stitcher.io/blog/generics-in-php...

译文地址:https://learnku.com/php/t/66478

本文为协同翻译文章,如您发现瑕疵请点击「改进」按钮提交优化建议
讨论数量: 7
巴啦啦

谁来翻译一下,php泛型?

2年前 评论
blankqwq

好狠

2年前 评论
chowjiawei

类型杂耍 ? 这个翻译。。

1年前 评论
MArtian 1年前
laravel_peng 1年前
德国科隆街头的大胡子

(int) $num = 0;

1年前 评论

讨论应以学习和精进为目的。请勿发布不友善或者负能量的内容,与人为善,比聪明更重要!