为什么Kotlin接口中定义的Int类型不是系统原生kotlin.Int？

核心原因：同名作用域遮蔽 #

你声明interface test<Int>时，尖括号里的Int是你自定义的泛型类型占位符，和Kotlin标准库的原生整数类型kotlin.Int没有任何关联，本质和interface Test<T>里的T完全等价。
因为泛型参数的作用域覆盖整个接口内部，所以你在接口内直接写Int时，编译器会优先解析为你定义的这个泛型占位符，而非全局的原生Int，这就是类型冲突的根源。

三种现象的具体解释 #

1. 写全限定名kotlin.Int不报错 #

你手动指定了类型的全限定名，明确告知编译器要使用标准库的原生整数类型，跳过了当前作用域的泛型参数解析，返回字面量2自然符合类型要求，不会报错。
对应代码：

interface test<Int>{
    fun printInt(): kotlin.Int {
        return 2
    }
}

2. 省略返回值类型不报错 #

Kotlin支持自动类型推断，你直接写fun printInt() = 2时，编译器会根据返回的字面量2自动推断返回值类型为kotlin.Int，全程不会用到你声明的泛型占位符Int，自然不会触发类型冲突。
对应代码：

interface test<Int>{
    fun printInt() = 2
}

3. 移出接口定义不报错 #

函数脱离了带泛型参数Int的接口作用域后，没有同名占位符遮蔽全局的原生Int，此时写Int默认指向kotlin.Int，返回字面量2完全符合类型要求。
对应代码：

fun printInt(): Int {
    return 2
}

最佳实践 #

为了避免这类同名遮蔽问题，Kotlin泛型参数约定使用单个大写字母命名（常见如T、E、U、R等），不要和已有类/类型同名，比如把你的接口声明改成interface test<T>，就不会出现这个问题。

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