Manifest 不可用的情况

Question

def bar[T: Manifest](a: Array[T]) = Array.ofDim[T](3)

class Foo

bar(Array(new Foo))  //Array[Foo] = Array(null, null, null)

清单似乎对于任意类型隐式存在，如上所示。

由于我们有上下文绑定，这意味着将有一些类型没有隐式清单 - 它们是什么？

Answer 1

清单必须从具体类型最后出现在源代码中的位置“传送”，一直通过类型参数到达需要它的位置。

但凡事都有一个表象。

Answer 2

我不确定你的推论是否正确。我还没有见过没有清单的类型，但我见过情况类型推断器似乎无法提供清单。

特别是在像这样的嵌套推理情况下：

scala> def bar[T: Manifest](a: Array[T]) = Array.ofDim[T](3)
bar: [T](a: Array[T])(implicit evidence$1: Manifest[T])Array[T]

scala> def bar2[T](a: Array[T]) = bar(a)
<console>:8: error: No Manifest available for T.
   def bar2[T](a: Array[T]) = bar(a)
                                ^

似乎除非清单被“传递”，否则它在较低级别不可用 - 因此我们可以说

scala> def bar2[T: Manifest](a: Array[T]) = bar(a)
bar2: [T](a: Array[T])(implicit evidence$1: Manifest[T])Array[T]

或

scala> def bar2[T](a: Array[T])(implicit m: Manifest[T]) = bar(a)
bar2: [T](a: Array[T])(implicit m: Manifest[T])Array[T]

但是，这正是我的行为的原因不知道。