Kotlin NDArray，具有具有泛型返回类型的lambda构造函数

Question

我试图在静态编程语言中创建一个非常简单的泛型NDArray类，它将lambda表达式作为初始化函数。

class NDArray<T>(i: Int, j: Int, f: (Int) -> T) {
    val values: Array<T> =  Array(i * j, f)
}

典型的用法是：

fun main(args: Array<String>){
    val m = NDArray(4, 4, ::zero)
}

fun zero(i: Int) =  0.0

我的问题是Kotlin编译器抱怨构造函数中值的初始化

values = Array(i * j, f)

通过说“不能使用‘T’作为具体化类型参数。改用类”。为什么？

编辑：

如果我用我自己的MyArray替换静态编程语言Array实现，它会编译：

class NDArray<T>(i: Int, j: Int, f: (Int) -> T) {
    val values: MyArray<T> =  MyArray(i * j, f)
}

class MyArray<T>(i:Int, init: (Int) -> T) {
    ...
}

不确定为什么静态编程语言对待MyArray与常规数组不同，当两者具有相同的构造函数时？

Answer 1

根据yole和voddan的意见，这是迄今为止我发现的解决问题的最佳方案：

class NDArray<T>(val values: Array<T> ){

    companion object Factory{
        inline operator fun <reified T>invoke(i: Int, j: Int, noinline init: (Int) -> T) = NDArray(Array(i * j,init))
    }
}

这允许通过使用伴随对象将具体化用作构造函数。构造调用约定可以使用运算符调用来完成。这现在有效：

fun main(args: Array<String>){
    val m = NDArray(4,4, ::zero)
}

fun zero(i:Int) =  0.0 

唯一的问题（复杂语法invoke（）除外）是NDArray构造函数需要是公共的。也许有更好的方法吗？

注意！以下问题KT-11182影响此设计模式

Answer 2

创建Java数组需要指定元素类型。对于类，元素类型仅作为类的类型参数提供，Java中的泛型在运行时被擦除。因此，数组的元素类型未知，无法创建它。

如果要围绕标准数组创建自定义包装器

class NDArray<reified T>(i:Int, j:Int, init: (Int) -> T) {
    val arr = Array<T>(i * j, init)
}

“reified”（具体化）关键字意味着不会删除您的T，并且可以在需要实际类的地方使用，例如调用数组（）构造函数。

注意，类构造函数不支持此语法，但它对工厂函数仍然有用（必须是内联的）

fun <reified T> arrayFactory(i:Int, j:Int, init: (Int) -> T) = Array<T>(i * j, init)