scala – 具有相同名称的两个类型参数

发布时间：2020-12-16 19:04:28 所属栏目：安全来源：网络整理

导读：我想知道为什么允许两个具有相同名称(“A”)的类型参数(“A”),如下例所示.我知道这是类型参数的POOR命名,不要这样做. (我的猜测是它们处于不同的范围级别,例如类级别和功能级别,并且编译器正在使用某种名称修改) class MyTest[A](){ type MyType = A def ch

我想知道为什么允许两个具有相同名称(“A”)的类型参数(“A”),如下例所示.我知道这是类型参数的POOR命名,不要这样做.

(我的猜测是它们处于不同的范围级别,例如类级别和功能级别,并且编译器正在使用某种名称修改)

class  MyTest[A](){
    type MyType  = A

    def checkString[A](value:A,x:MyType):A = { 
       value match {
         case x:String => println("Value is a String")
         case _ => println("Value is not a String")
       }

       x match {
          case x:String => println("x is a String")
          case _ => println("x is not a String")
       }

       value
   }
}

2.8.0的示例输出

scala> val test = new MyTest[Int]
test: MyTest[Int] = MyTest@308ff65f

scala> test.checkString("String",1)
Value is a String
x is not a String
res7: java.lang.String = String

scala> test.checkString(1,1)
Value is not a String
x is not a String
res8: Int = 1

解决方法

Scala中的嵌套作用域可以自由地影响彼此的符号表.类型不是你可以做的唯一事情.例如：

class X[A](a: A) {
  def X[A](a: A) {
    if (a==this.a) {
      val X = Some(this.a)
      X match {
        case Some(a) => "Confused much yet?"
        case _ => "Just because you can do this doesn't mean you should."
      }
    }
  }
}

原则是范围可以控制其命名空间.这有危险,如果你愚蠢地使用它(例如我已经使用X和a用于三种不同的东西,而A用于两种 – 实际上,你可以用X替换每个标识符,除了那些必须的一些小写).但是在编写功能代码时它也有好处 – 您不必担心必须重命名一些迭代变量或类型或其他只是因为您碰巧将它放在不同的上下文中.

def example = {
  val a = Array(1,2,3,4,5)
  val sumsq = a.map(i => i*i).sum
  a.map(i => {
    val a = Array.range(1,i)
    val sumsq = a.map(i => i*i).sum  // Cut and paste from above,and works!
    sumsq + i
  }).sum
}

所以请注意,你有能力混淆自己,并明智地选择使用这种权力而不是混乱.

（编辑：李大同）

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