可能我在这里遗漏了一些基本的东西,但是我在我的代码中重构了某些东西,在中途我注意到我的代码编译,我希望它不会.
所以这是方法签名：
所以这是方法签名：
def checkUiFieldValue[T](fieldName:String,uiValue:T,expectedValue:T):Unit ={...}
这是一个使用它的地方：
checkUiFieldValue("State",stateInListView(ar.name),ar.state)
stateInListView的返回类型是ARState类,而ar.state的类型是String.
所以问题是它为什么编译而不告诉我类型不匹配？我发现自己有一种想法,我希望编译器会检查uiValue和expectedValue是否属于同一类型,但可能我的假设不正确.
或者在方法定义中输入参数T实际上意味着在我的情况下两个参数都将被转换为Any？如果是这样,那么我应该如何在编译时适当地限制两个args具有相同的类型？
解决方法
一种可能的方法是分别推断两个参数的类型,然后使用=：=来证明它们是相同的：
def test2[S,T](a: String,b: S,c: T)(implicit ev: S =:= T): T = ???
val x = test2("",new A,new A) // compiles
val y = test2("",new B) // doesn't compile; can't prove A =:= B
虽然存在子类型,但这对您来说可能有点严格：
class C extends B
val z = test2("",new B,new C) // doesn't compile; can't prove B =:= C
val w = test2[B,B]("",new C) // does compile
