Golang Generics에서 구체적인 유형으로 인터페이스 조각을 채우는 방법은 무엇입니까?

Golang Generics: 인터페이스와 구체적인 유형을 동시에 사용

Go 1.18에서 Generics는 유형 처리에 대한 새로운 가능성을 도입했습니다. 그러나 특정 시나리오에서는 인터페이스와 구체적인 유형을 함께 사용할 때 문제가 발생할 수 있습니다.

다음과 같은 함수를 만들려고 할 때 이러한 시나리오 중 하나가 발생합니다.

<code class="go">func Fill[X any](slice []*X){
   for i := range slice {
      slice[i] = new(X)
   }
}</code>

이 함수는 구체적인 유형의 인터페이스 조각. 예를 들어, 이 함수를 사용하면 *int 배열을 new(int)로 채울 수 있습니다.

인터페이스를 구현하는 구체적인 유형으로 인터페이스 조각을 채우려고 할 때 문제가 발생합니다. 다음 코드를 고려하세요.

<code class="go">func Fill[X, Y any](slice []X){
   for i := range slice {
      slice[i] = new(Y) // not work!
   }
}

xs := make([]sync.Locker, 10) // fill with nils
Fill[sync.Locker,sync.Mutex](xs) // ouch</code>

이 경우 X와 Y를 모두 제한하면 인터페이스와 구현 유형 간의 관계가 끊어지기 때문에 함수가 작동하지 않습니다. 컴파일러는 컴파일 시간에 X와 Y가 고유한 유형이라는 것만 인식합니다.

가능한 솔루션

명시적 어설션을 사용하여 코드를 컴파일하는 해결 방법이 있습니다.

<code class="go">func Fill[X, Y any](slice []X) {
    for i := range slice {
        slice[i] = any(*new(Y)).(X)
    }
}</code>

그러나 이 솔루션에는 중요한 단점이 있습니다. Y가 sync.Locker 및 sync.Mutex와 같이 X를 구현하지 않으면 패닉이 발생합니다. 또한 Y에 포인터 유형을 사용하면 기본 유형과 0 값 정보가 손실되므로 값이 0이 됩니다.

더 나은 대안

보다 강력한 솔루션은 대신 생성자 함수를 사용하는 것입니다. 두 번째 유형 매개변수:

<code class="go">func main() {
    xs := make([]sync.Locker, 10)
    Fill(xs, func() sync.Locker { return &sync.Mutex{} })
}

func Fill[X any](slice []X, f func() X) {
    for i := range slice {
        slice[i] = f()
    }
}</code>

이 접근 방식에서 함수는 X 유형의 조각과 생성자 함수를 사용합니다. 생성자 함수는 X 유형의 인스턴스를 생성하여 조각을 구체적인 인스턴스로 채웁니다.

위 내용은 Golang Generics에서 구체적인 유형으로 인터페이스 조각을 채우는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!