Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/scala/19.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
这是Scala中类型擦除的一个例子吗?_Scala_Type Erasure - Fatal编程技术网

这是Scala中类型擦除的一个例子吗?

这是Scala中类型擦除的一个例子吗?,scala,type-erasure,Scala,Type Erasure,这是Scala中类型擦除的一个例子吗 (None: Option[Int]) == (None: Option[String]) // true 这是来自scala源的: 案例对象无扩展选项[无] 在擦除之前,两者都将是None[Nothing],因为只有None的一个实例存在。是的,这是一个擦除的例子,但不是一个真正好的例子。这是来自scala源的: 案例对象无扩展选项[无] 在擦除之前,两者都将是None[Nothing],因为只有None的一个实例存在。是的,这是一个擦除的例子,但不是一

这是Scala中类型擦除的一个例子吗

(None: Option[Int]) == (None: Option[String]) // true

这是来自scala源的:
案例对象无扩展选项[无]


在擦除之前,两者都将是
None[Nothing]
,因为只有
None
的一个实例存在。是的,这是一个擦除的例子,但不是一个真正好的例子。

这是来自scala源的:
案例对象无扩展选项[无]

在擦除之前,两者都将是
None[Nothing]
,因为只有
None
的一个实例存在。是的,这是一个擦除的例子,但不是一个真正好的例子