유형 안전성을 보장하고 잠재적인 패닉을 피하면서 Golang의 구체적인 유형 인스턴스로 인터페이스 조각을 효율적으로 채울 수 있는 방법은 무엇입니까?

인터페이스 슬라이스 및 구체적인 유형에 대한 일반 채우기 함수

Golang에서는 제네릭을 사용하여 제네릭 함수를 정의하는 것이 가능합니다. 인터페이스 조각과 구체적인 유형을 처리할 때 일반적인 작업은 조각의 모든 요소를 ​​구체적인 유형으로 초기화하는 것입니다. X 유형에 대한 포인터 조각을 X의 새로운 인스턴스로 채우는 것을 목표로 하는 다음 함수를 고려해 보세요.

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

이 함수는 모든 유형의 조각에 대해 예상대로 작동합니다. 그러나 이 동작을 인터페이스 조각으로 확장하고 요소(Y)에 대한 구체적인 유형을 지정하려고 하면 문제가 발생합니다.

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

그러나 이 접근 방식은 sync.Locker를 구현하는 sync.Mutex(포인터 유형)의 경우처럼 Y가 X를 구현하지 않으면 패닉이 발생합니다. 또한 포인터 유형의 0 값은 nil이므로 이 방법은 nil 값으로 슬라이스를 초기화하는 make([]X, n)를 사용하는 것보다 크게 개선되지 않습니다.

더 효과적인 해결책은 두 번째 유형 매개변수 대신 생성자 함수를 활용하는 것입니다.

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

이 함수는 X의 인스턴스를 반환하는 함수인 추가 매개변수 f를 사용합니다. 이는 더 많은 유연성을 허용합니다. 구체적인 유형으로 인터페이스를 채우는 것을 지원합니다. 예를 들어 sync.Mutex 요소로 sync.Locker 조각을 초기화하려면 다음 코드를 사용할 수 있습니다.

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

이 접근 방식을 활용하면 인터페이스 조각을 구체적인 인스턴스로 효율적으로 채울 수 있습니다. 유형에 맞는 편리하고 안전한 솔루션을 제공합니다.

위 내용은 유형 안전성을 보장하고 잠재적인 패닉을 피하면서 Golang의 구체적인 유형 인스턴스로 인터페이스 조각을 효율적으로 채울 수 있는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!