집 > 기사 > 백엔드 개발 > PHP의 제네릭에 대한 기본 지식에 대해 이야기해 보겠습니다.

PHP의 제네릭에 대한 기본 지식에 대해 이야기해 보겠습니다.

青灯夜游앞으로: 2022-04-06 10:47:195309검색

이 글에서는 PHP의 제네릭에 대해 이야기하겠습니다. 먼저, PHP 제네릭에 대한 기본 지식을 이해하고, 제네릭에 대한 심층적인 이해에 도움이 되기를 바랍니다. 너!

PHP의 제네릭. 나는 이것이 내가 원하는 것임을 알았습니다. 나는 많은 개발자들이 이 유형을 사용하기를 원한다는 것을 알고 있습니다. 반면에 제네릭이 무엇인지, 왜 이러한 유형이 있는지 모르는 대규모 PHP 프로그래머 그룹이 있을 수 있습니다.

이 블로그에서는 Generics와 PHP에 대한 시리즈를 진행할 예정입니다. 처음부터 시작하면 곧 더 복잡한 주제를 다루게 될 것입니다. 우리는 제네릭이 무엇인지, 왜 PHP가 제네릭을 지원하지 않는지, 그리고 앞으로 어떤 일이 일어날지에 대해 논의할 것입니다.

시작해 보세요.

PHP의 제네릭에 대한 기본 지식에 대해 이야기해 보겠습니다.

모든 프로그래밍 언어에는 특정 유형의 시스템이 있습니다. 일부 언어는 구현이 매우 엄격하지만 다른 언어(PHP가 이 범주에 속함)는 훨씬 느슨합니다.

이제 유형 시스템을 사용하는 데에는 여러 가지 이유가 있습니다. 가장 확실한 것은 유형 확인입니다.

두 개의 숫자와 두 개의 정수를 가져와서 몇 가지 계산을 수행하는 함수가 있다고 가정해 보겠습니다.

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

PHP를 사용하면 숫자, 문자열, 부울 등 모든 유형의 데이터를 함수에 전달할 수 있습니다. PHP는 변수를 함께 추가하는 등의 의미가 있을 때 변수를 변환하기 위해 최선을 다할 것입니다.

add(&#39;1&#39;, &#39;2&#39;);

그러나 이러한 변환(유형 저글링)은 종종 예상치 못한 결과를 초래하거나 오히려 오류와 충돌을 초래합니다.

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가 알 수 없는 상황에서 실행됩니다. 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 
    { /* … */ }
}

이제 각 컬렉션에 대해 별도의 구현을 만들 수 있습니다. 하나는 문자열에만 작동하고 다른 하나는 User 개체에만 작동합니다.

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

    // …
}

하지만 세 번째 구현이 필요한 경우 어떻게 해야 할까요? 네 번째? 아마 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 的。我想改变这种状况。

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

PHP의 제네릭에 대한 기본 지식에 대해 이야기해 보겠습니다.

관련 기사