arrays - 清单不可用时的情况

Question

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

class Foo

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

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

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

Answer 1

Manifest 必须从源代码中最后出现的具体类型的位置“携带”，一直到类型参数到需要它的位置。

但一切都有一个清单。

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]

然而，为什么这是我不知道的行为。