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として明示的に宣言するときに機能します。ただし、タイプエイリアスを使用して2番目のものは、somethingfuncyパニックを使用します。したがって、func（int）boolと同じ署名を共有しているものの、タイプエイリアスの何かが異なるタイプと見なされます。 var a interface {} = funcy Switch V：= a。（タイプ）{ case func（int）bool： // func（int）boolとして正常にアサートされたタイプ ケースSomethingfuncy： //順番に、何かを正常にアサートします デフォルト： //タイプアサーションが失敗しました } }

この比較は、正確なタイプマッチが必要なため、タイプエイリアスを使用するときに失敗します。