Golang 제네릭과 인터페이스를 사용하여 구체적인 구현으로 슬라이스를 채우는 방법은 무엇입니까?

Golang 제네릭: 인터페이스와 구체적인 구현의 결합

Go 1.18에서 제네릭을 사용하면 개발자는 더 넓은 범위의 유형에서 작동하는 함수와 데이터 구조를 정의할 수 있습니다. 그러나 사용자가 인터페이스와 함께 제네릭을 사용하는 동시에 제네릭 유형 매개변수에 대한 구체적인 유형을 제공하려는 특정 시나리오가 나타났습니다.

문제

슬라이스를 다음과 같이 채우는 것을 목표로 하는 다음 함수를 고려하세요. 구체적인 유형의 새 인스턴스:

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

이 함수는 []*int와 같은 특정 유형에 대한 포인터 조각을 채울 때 예상대로 작동합니다. 그러나 슬라이스가 인터페이스로 구성되고 함수가 일반 매개변수에 대한 구체적인 유형으로 호출되면 컴파일이 실패합니다.

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

원인

두 유형 매개변수를 모두 제한하기 때문에 문제가 발생합니다. Y를 any로 지정하면 인터페이스와 구체적인 구현 간의 관계가 제거됩니다. 컴파일 시에는 X와 Y가 서로 다른 유형이라는 것만 알 수 있습니다.

해결책

이 문제를 해결하려면 명시적 어설션을 사용할 수 있습니다.

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

그러나 이 솔루션은 Y가 X를 구현하지 않는 경우 잠재적인 런타임 패닉을 초래합니다. 더욱이 Y가 포인터 유형인 경우 기본 유형 정보가 손실되어 원하는 구체적인 유형의 인스턴스 대신 nil 값이 발생합니다.

더 나은 접근 방식은 아래에 설명된 것처럼 두 번째 일반 매개변수 대신 생성자 함수를 사용하는 것입니다.

<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>

이 솔루션은 슬라이스를 특정 구체적인 유형의 인스턴스로 채우는 동시에 슬라이스를 채우는 보다 강력하고 관용적인 방법을 제공합니다. 유형 안전성을 유지합니다.

위 내용은 Golang 제네릭과 인터페이스를 사용하여 구체적인 구현으로 슬라이스를 채우는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!