深入理解Scala 标识符，命名和域

在Scala中，命名用来表示类型，值，方法以及类，这些统称为实体。命名在局部定义与声明，继承，import子句，package子句中存在，这些可以统称为绑定。

绑定有优先级，定义(局部或继承)有最高的优先级，然后是显式import，然后是通配符import，然后是包成员，是最低的优先级。

有两种不同的命名空间，一个是类型，一个是术语。同样的命名可以表示类型或术语，这要看命名应用所在的上下文。

绑定有一个域，在此域中用单一命名定义的实体可以用一个简单名称来访问。域可以嵌套。内部域中的绑定将会遮盖同一域中低优先级的绑定，或者外部域中低优先级或同优先级的绑定。

注意遮盖只是偏序关系。在下面情况中：

val x = 1;

{ import p.x;

x}

x的绑定并没有互相遮盖。因此第三行中对x的引用的含义将是不明确的。

对一个未限定的（类型或术语）标识符x的引用在以下条件下可以被单一绑定：

      l 在同一命名空间中用命名x定义一个实体作为标识符

      l 在此命名空间中遮盖所有的其他定义命名x的实体绑定

如果没有这样的绑定将会导致错误。如果x由一个import子句绑定，那么简单命名x将等价于由import子句映射所限定的命名。如果x由一个定义或声明绑定，那么x将指代由该绑定引入的实体。在此情况下，x的类型即是引用的实体的类型。

示例2.0.2 以下是包P和Q中两个名为X的对象的定义：

package P {

object X { val x = 1; val y = 2 }

}

package Q {

object X { val x = true; val y = “” }

}

以下程序示意了它们间不同的绑定及优先级。

package P {//X由package子句绑定

import Console._//println由通配符import绑定

object A {

println(“L4: “+X) //这里的X指P.X

object B {

import Q._{//X由通配符import绑定

println(“L7:“+X) //这里的X指Q.X

import X._//x和y由通配符import绑定

println(“L8:“+x) //这里的x指Q.X.x

object C {

val x = 3 //x由局部定义绑定

println(“L12:“+x) //这里的x指常数3

{ importQ.X._ //x和y由通配符import绑定

//println(“L14: “+x) //这里到x的引用指代不明确

import X.y//y由显式import绑定

println(“L16:“+y) //这里的y指Q.X.y

{ valx = “abc” //x由局部定义绑定

import P.X._//x和y由通配符import绑定

//println(“L19: “+y) //这里到y的引用指代不明确

println(“L20:“+x) //这里的x指字符串”abc”

}}}}}}

一个到限定的(类型或术语)标识符e.x的引用指在同一个命名空间中e的类型T的一个名为x的成员作为标识符。如果T不是值类型将会导致错误。e.x的类型就是引用的实体T的成员的类型。