유형을 일반 유형 인스턴스화로 정의

PHP 편집자 Xigua는 오늘 중요한 개념을 소개합니다. 유형을 일반 유형의 인스턴스화로 정의하는 것입니다. 프로그래밍에서 제네릭은 특정 유형을 지정하지 않고 일반 코드를 작성하는 유연한 방법입니다. 유형을 일반 유형 인스턴스화로 정의함으로써 이를 사용할 때 특정 유형을 지정할 수 있으므로 코드가 더 유연하고 재사용 가능해집니다. 다음으로 이 개념을 자세히 살펴보고 PHP에서 제네릭을 구현하는 방법을 살펴보겠습니다.

질문 내용

아래 예에서는 인스턴스화된 일반 유형의 사용을 단순화하기 위해 PreciseAdder 유형을 정의하려고 합니다. 불행하게도 go 컴파일러는 일반 유형에 정의된 메소드가 PreciseAdder 유형에 적용 가능하지 않다고 생각하는 것 같습니다. 이 문제는 합성을 통해 해결할 수 있다는 것을 알고 있는데, 타입 정의를 통해 이 문제를 해결할 수 있는 방법이 있나요? 그렇지 않다면 이유는 무엇인가요?

package main

type Addable interface {
    Add()
}

type Adder[T Addable] struct{}

func (a Adder[T]) DoAdd(){}

type PreciseAddable struct{}

func (p PreciseAddable)Add(){}

type PreciseAdder Adder[PreciseAddable]

func main() {
    var p PreciseAdder
    p.DoAdd()
}

해결책

이것:

은 유형 선언, 더 구체적으로는 유형 정의입니다. 모든 메소드를 제거하여 새로운 유형을 생성합니다.

모든 메소드를 보존하는 type aliases를 사용하는 대신 동일한 유형을 참조하는 새로운 식별자를 도입합니다.

(식별자와 유형 사이에 = 기호를 참고하세요.)

위 내용은 유형을 일반 유형 인스턴스화로 정의의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!