![](/img/trans.png)
[英]Kotlin: Type inference failed. The value of the type parameter T should be mentioned in input types
[英]Can't create sequence of Ints in Kotlin through succesor function. Says “Type Inference failed”
我正在尝试通过generateSequence函数从数字0和后继函数S创建自然数的流/序列。
这是我得到的:
package core
fun sequenceOfNumbers(): Sequence<Int> {
return generateSequence(0){x -> S(x)}
}
class S: (Int) -> Int {
override operator fun invoke(x: Int) = x + 1
}
fun main(args: Array<String>) {
println(sequenceOfNumbers().take(10).toList())
}
我知道这似乎不是解决此问题的最佳方法,因为已经有增量运算符,并且已经存在生成前n个自然数的捷径,但是我希望S成为类或至少是对象其他一些原因。
编译时,我收到以下消息:
Type inference failed: Cannot infer type parameter T in
fun <T : Any> generateSequence(
seed: T?,
nextFunction: (T) → T?
) : Sequence<T>
None of the following substitutions
(S?, (S) → S?)
(Int?, (Int) → Int?)
(Any?, (Any) → Any?)
can be applied to
(Int, (Int) → S)
和
核心中定义的公共构造函数S()的参数过多。
我尝试过的其他事情是将S重写为
class S: Function<Int> {
operator fun invoke(x: Int) = x + 1
}
或将generateSequence函数更改为
fun sequenceOfNumbers(start: Int): Sequence<Int> {
return generateSequence(seed = start, nextFunction = (x: Int) -> S(x))
}
这也不起作用。 最后一个函数得到了编译消息“意外的类型说明”和“意外的标记(使用';'来分隔同一行中的表达式”)。
有什么方法可以解决这个问题,以便使println
函数打印出前10个自然数,并仍然使用后继类?
您的代码中的问题是您实际调用S
的构造函数,而不是invoke()
。 您应更改为以下内容使其生效:
return generateSequence(0){x -> S()(x)}
当然,如果将S
存储在局部变量中并在序列生成器中重新使用它会更好:
fun sequenceOfNumbers(): Sequence<Int> {
val s = S()
return generateSequence(0){x -> s(x)} //generateSequence(0, s::invoke)
}
甚至使S
单身人士更好:
fun sequenceOfNumbers(): Sequence<Int> {
return generateSequence(0) { x -> S(x)} //generateSequence(0, S::invoke)
}
object S: (Int) -> Int {
override operator fun invoke(x: Int) = x + 1
}
因此,最终您的代码将类似于您的示例。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.