我有一個包含T和一些元數據的數組（或列表）的接口。 interface DataWithMetadata<T> {
val someMetadata: Int
fun getData(): Array<T>
}
如果我寫的接口的最簡單的實現，我得到一個編譯錯誤的emptyArray()：「不能使用T作爲一個具體化的類型參數使用類代替。」 class ArrayWithMe
我正在試驗設置未初始化的值值，並試圖讓下面的工作。這主要是對物化泛化的力量（和侷限性）的好奇心。 我正試圖爲數據類的可選參數提供默認值。 inline fun <reified T> uninitialized(): T = when (T::class) {
Long::class -> -1L // Type mismatch. Required: T Found: Long
的具體化謂詞變體的冗餘答案我想爲本論壇中的某些 other recent problem提供一個邏輯純解決方案。 作爲開始，我實施了append/3的物化變體，並將其命名爲appendR/4。它是基於@false在Prolog union for A U B U C實施的謂詞if_/3和(=)/3： appendR([],Ys,Zs,T) :-
=(Ys,Zs,T).
appendR(
在Kotlin有reified generics的有限形式。有沒有什麼辦法可以使用實體過濾泛型類型，而不使用getClass()或as或任何一種奇怪的註釋，即。只需使用is關鍵字？例如，我有以下結構： import java.util.*
internal class Layout<out T : LayoutProtocol>(val t: T) {
fun getName():
2.10.3的Scala API文檔說我可以「使用refiy生成代表給定Scala表達式的抽象語法樹」。因此，我可以這樣做： scala> val uni = scala.reflect.runtime.universe
uni: scala.reflect.api.JavaUniverse = [email protected]
scala> uni reify { 1 to 3 }
r