相关疑难解决方法(0)

我阅读了维基百科文章的存在类型.我认为,由于存在运算符(∃),它们被称为存在类型.不过,我不确定它的重点是什么.有什么区别

T = ?X { X a; int f(X); }

和

T = ?x { X a; int f(X); }

？

List[T] forSome {type T}和 之间有什么区别List[T forSome {type T}]？我如何用"英语"阅读它们？我应该如何神交的forSome关键字？有哪些实际用途forSome？什么是实用的,比简单的T forSome {type T}用法更复杂？

我正在使用Mockito使用返回非参数化ArrayList的方法来模拟对象,我无法弄清楚如何使其工作

模拟方法签名

public java.util.ArrayList getX()

测试代码

var mockee = mock(classOf[Mockee])
when(mockee.getX).thenReturn(Lists.newArrayList(x): ArrayList[_])

这实际上在IntelliJ中编译很好,但在运行时抛出:

[error] ....scala:89: overloaded method value thenReturn with alternatives:
[error]   (java.util.ArrayList[?0],<repeated...>[java.util.ArrayList[?0]])org.mockito.stubbing.OngoingStubbing[java.util.ArrayList[?0]] <and>
[error]   (java.util.ArrayList[?0])org.mockito.stubbing.OngoingStubbing[java.util.ArrayList[?0]]
[error]  cannot be applied to (java.util.ArrayList[_$1])
[error]       when(mockee.getX).thenReturn(Lists.newArrayList(x): ArrayList[_])