scala – 如何让编译器检查2个方法参数是否具有相同的类型？

发布时间：2020-12-16 18:06:50 所属栏目：安全来源：网络整理

导读：可能我在这里遗漏了一些基本的东西,但是我在我的代码中重构了某些东西,在中途我注意到我的代码编译,我希望它不会. 所以这是方法签名： def checkUiFieldValue[T](fieldName:String,uiValue:T,expectedValue:T):Unit ={...} 这是一个使用它的地方： checkUiFi

可能我在这里遗漏了一些基本的东西,但是我在我的代码中重构了某些东西,在中途我注意到我的代码编译,我希望它不会.
所以这是方法签名：

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!