다른 인수로 Go 일반 유형을 할당할 수 없는 이유는 무엇입니까?

다른 인수로 일반 유형 할당

Go에서 일반 인터페이스와 구현은 다양한 유형 인수에 대한 직접 할당을 허용하지 않습니다.

고려해 보겠습니다. 단순화된 예:

// Abstract
type Generic interface {
    ID() string
}

type Props[G Generic] struct{}

// Example
type Example struct {
    id string
}

func (example Example) ID() string {
    return example.id
}

var ExampleProps = Props[Example]{}

// Problem
func Problem() Props[Generic] {
    return ExampleProps
}

이 코드는 다음과 같은 컴파일 오류를 발생시킵니다. Props[예제]는 return 문에서 Props[일반]에 할당될 수 없습니다. 이는 다양한 유형 인수로 제네릭 유형을 인스턴스화할 때 Go가 고유한 명명된 유형을 생성하기 때문입니다.

다음 함수를 고려하세요.

func Problem() Props[Generic] {
    return ExampleProps
}

Generic을 유형 인수로 사용하여 Props를 인스턴스화합니다. 결과적으로 Props[Example]과 Props[Generic]은 두 개의 서로 다른 유형이 됩니다. 비록 예제가 Generic을 구현하더라도 말이죠. 따라서 Props[예]를 Props[Generic]에 할당하는 것은 해당 유형 매개변수에 관계없이 유효하지 않습니다.

이 문제를 해결하려면 일반 제약 조건을 충족하는 유형 매개변수를 사용하여 Props를 인스턴스화하는 것이 좋습니다.

// adding a field to make this a bit less contrived
type Props[G Generic] struct{ Value G }

// Props instantiated with T, adequately constrained
func Problem[T Generic](v T) Props[T] {
    return Props[T]{ Value: v }
}

func main() {
    a := Problem(Example{})
    fmt.Println(a)
}

이 예에서 Props는 Generic 인터페이스를 준수하는 유형 매개변수 T를 사용하여 인스턴스화됩니다. 이를 통해 Props[Example] 유형의 값을 Props[Generic]에 할당할 수 있으며 유형 안전성이 보장됩니다.

위 내용은 다른 인수로 Go 일반 유형을 할당할 수 없는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!