유형 별칭으로 인해 Go의 유형 주장이 실패하는 이유는 무엇입니까?

Go에서 유형 별칭을 어떻게 변환하나요?

다음 Go 코드를 고려하세요.

package main

import "fmt"

type somethingFuncy func(int) bool

func funcy(i int) bool {
    return i%2 == 0
}

func main() {
    var a interface{} = funcy

    _ = a.(func(int) bool)  // Works

    fmt.Println("Awesome -- apparently, literally specifying the func signature works.")

    _ = a.(somethingFuncy)  // Panics

    fmt.Println("Darn -- doesn't get here. But somethingFuncy is the same signature as func(int) bool.")
}

첫 번째 유형 어설션은 명시적으로 작동하는 경우에 작동합니다. 유형을 func(int) bool로 선언합니다. 그러나 유형 별칭인 SomethingFuncy를 사용하는 두 번째 유형은 패닉이 발생합니다.

설명

캐스트와 달리 Go의 유형 어설션은 어설션되는 값의 실제 유형을 엄격하게 비교합니다. 따라서 유형 별칭인 SomethingFuncy는 func(int) bool과 동일한 시그니처를 공유하지만 고유한 유형으로 간주됩니다.

Bonus

유형 어설션은 다음 코드에서 수행됩니다. 유형이 같은지 비교합니다.

func main() {
    var a interface{} = funcy

    switch v := a.(type) {
    case func(int) bool:
        // Type successfully asserted as func(int) bool
    case somethingFuncy:
        // Type successfully asserted as somethingFuncy
    default:
        // Type assertion failed
    }
}

유형 별칭을 사용하면 정확한 유형 일치가 필요하기 때문에 이 비교는 실패합니다.

위 내용은 유형 별칭으로 인해 Go의 유형 주장이 실패하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!