為什么Kotlin無法擴展我的Typealias？

Question

我想編寫如下代碼：

typealias Just<T> = T  // Error here

val hello: Just<String> = "hello"

我說Kotlin: Type alias expands to T, which is not a class, an interface, or an object出錯Kotlin: Type alias expands to T, which is not a class, an interface, or an object 。

我猜想typealias是編譯時的功能，類型擦除不應該​​包含任何內容。 那么，為什么我不能這樣寫typealias ？

Answer 1

你不能寫這樣的代碼，因為科特林編譯器的開發者認為沒有用例支持類型的別名，來擴大輸入參數（ Just基本上是這樣一個類型別名的唯一可能的聲明），因此並沒有設計和實現對它的支持。 這確實與類型擦除無關。