Go语言函数间传递接口类型的处理规则及隐式转换疑问

结论先行 #

你关于「函数调用时会执行两次具体类型到接口的隐式检查」的推断存在细节偏差，相关规则和运行行为如下：

核心规则：接口的实现校验默认是编译期静态行为 #

你所说的「具体类型到接口的隐式检查」几乎都是编译阶段完成的静态校验，不会在运行时的函数调用、返回阶段重复执行，没有额外运行时开销，对应两个场景的逻辑如下：

• 函数传参阶段：当你把具体类型值（比如示例中的*itemX实例）传给声明为Itf接口类型的参数时，编译器会在编译期直接校验该具体类型是否实现了接口的所有方法，校验通过就会在编译阶段生成将具体值包装为接口值的逻辑，运行时直接传递已经构造好的接口值即可，不会做二次检查。
• 函数返回阶段：如果函数声明的返回值是接口类型，实际返回的是满足接口约束的具体类型值，同样是编译期完成类型合规性校验，确认没有问题后，编译期就生成对应的包装逻辑，运行时直接返回包装好的接口值，不存在栈帧销毁前的临时转换检查。

示例报错的原因解释 #

你给出的代码中_ = takeX(b)编译报错，是Go的静态类型规则决定的：

func returnsTypeAssertedX(i Itf) Itf {
    return i.(*itemX)
}

这个函数的返回值静态类型已经被声明为Itf，所以变量b的静态类型就是Itf，哪怕它的动态类型确实是*itemX，也不能直接赋值给要求*itemX类型的参数，必须显式执行类型断言b.(*itemX)之后才能传入，这也是编译期的静态校验规则，和运行时行为无关。

唯一的运行时检查场景 #

只有你主动使用类型断言、类型switch的时候，才会在运行时执行接口相关的类型检查，比如示例中的i.(*itemX)会在运行时校验变量i的动态类型是否真的是*itemX，这和函数调用、返回阶段的静态检查不属于同一逻辑。

内容的提问来源于stack exchange，提问作者user4233122