Go Generics에서 `*T` 유형 변수를 `Stringer`로 사용할 수 없는 이유는 무엇입니까?

Go Generics의 "Cannot Use Variable of *T as Type Stringer in Argument" 오류 이해

제공된 코드 조각에서, stringer 유형의 매개변수를 기대하는 함수 do를 일반적으로 호출하려고 시도하고 있지만 유형 매개변수에 대한 포인터를 전달하고 있습니다. 대신 T입니다.

Go 컴파일러는 다음과 같은 이유로 오류를 발생시킵니다.

• 유형 ID 및 매개변수: T는 본질적으로 FooBar 제약 조건과 동일하지 않습니다. 따라서 *T는 *FooBar 또는 *bar와 동일하지 않습니다.
• 메서드 누락: 스트링거 인터페이스에는 a()라는 메서드가 필요합니다. 현재 foo 및 bar 유형은 포인터 수신기에서 이 메서드를 구현하지만 *T는 본질적으로 이 메서드를 보유하지 않습니다.

문제 해결

다음이 있습니다. 이 문제를 해결하기 위한 두 가지 주요 접근 방식:

1. 유형 어설션을 사용하여 유형 안전성 보장(덜 최적)

• *T가 do 함수 내에서 any(t).(stringer)를 사용하여 스트링거를 구현하는지 확인합니다.
• 이 접근 방식 T가 실제로 구현하지 않으면 패닉이 발생할 수 있습니다. 스트링어.

2. 제약 조건 재정의 및 일반 사용자 정의(선호)

• FooBar 인터페이스에 제약 조건으로 스트링거를 추가합니다.
• foo 및 bar 유형에 포인터 수신기를 사용하여 제약 조건에 맞춰 정렬합니다. .
• FooBar 내 제약 조건을 지정하는 두 번째 유형 매개변수를 도입합니다. 인터페이스.
• 제한된 유형의 인스턴스를 blah의 인수로 전달합니다.

수정된 코드:

type FooBar[T foo | bar] interface {
    *T
    stringer
}

func blah[T foo | bar, U FooBar[T]]() {
    var t T
    do(U(&t))
}

func main() {
    blah[foo]()
}

여기 수정된 코드:

• FooBar 인터페이스에는 스트링거가 포함되어 있습니다. 제약 조건.
• foo 및 bar 유형에는 a() 메서드에 대한 포인터 수신기가 있습니다.
• U는 FooBar[T]에 의해 제한되어 FooBar 및 스트링거 제약 조건을 모두 충족합니다.
• blah는 제한된 FooBar의 인스턴스인 U 유형의 인수를 사용합니다. 인터페이스.

위 내용은 Go Generics에서 `*T` 유형 변수를 `Stringer`로 사용할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!