JAVA 类总结
最近看了遍java内部类相关的一些内容,做一些总结。与个人博客 zhiheng.me 同步发布,标题: JAVA 类总结。
顶级类与嵌套类
定义在某个类(或接口,下同)内部的类,称为嵌套类(nested class),相应的,其所在的类称之为该类的外围类(enclosing class)或包裹类。
非嵌套类称为顶级类(top-level class),一个 .java 文件中可以有若干个顶级类(含抽象类和接口),但只能有一个被 public 修饰的类,且该类必须和 .java 文件同名。
顶级类的访问修饰符只能是 public 和包访问权限(默认权限,无修饰符)。
嵌套类可看作是外围类的一个成员,因此其修饰符可以是 public 、protected 、包访问权限和 private 。
嵌套类没有层次限制,可以在嵌套类里面在定义类,成为嵌套类中的嵌套类。
嵌套类分为两种,一种是静态的(用 static 关键字修饰)称为静态嵌套类(static nested class);一种是非静态的,称为内部类(inner class)。
注:在《Think in Java》一书中,作者将内部类定义为“将一个类定义在另一个类的定义内部,则这个类就是内部类”,因此,他将静态嵌套类视为内部类的一种。而本文使用了 java 官方文档中的定义。
内部类一般直接定义在外部类(outer class)中,就像该类的一个成员一样,我们把这样的内部类称为成员内部类(member inner class)。即不在构造器、方法、语句块中定义的内部类为成员内部类。
除成员内部类外还有另外两种较特殊的内部类:局部内部类(local class)和匿名内部类(anonymous class)。
嵌套类字节码文件命名
嵌套类经编译后会自动生成独立的字节码文件(.class),其命名格式:
外部类名称+\$+[该种类同名类中该类顺序]+[内部类名称]
以下代码(文件名:Outer.java)中含有静态类 Static 、成员内部类 Inner 、局部类 Local 、实现 Anonymous 接口的匿名类以及定义在该源文件中的接口 Anonymous 。
package thinkinjava;
public class Outer {
public static class Static{}
public class Inner {}
{
class Local{};
}
Anonymous anonymous = new Anonymous(){};
}
interface Anonymous {}
编译后形成了如下6个 .class 字节码文件。顶级类 Outer 和 Anonymous 都被编译成同名的 class 文件,静态嵌套类 Static 和成员内部类 Inner 被编译成了 Outer\$Static.class 和 Outer\$Inner.class ,因为成员类不能同名,所以也就没有同名类顺序。局部类 Local 编译后的文件名是 Outer\$1Local.class ,因为 Outer 类中只有一个名为 Local 的局部类,因此,其顺序是1。匿名类没有名称,所以编译后的文件名是 Outer\$1.class ,1表示该类是 Outer 类中第一个匿名类。
Anonymous.class
Outer$1.class
Outer$1Local.class
Outer$Inner.class
Outer$Static.class
Outer.class
静态嵌套类
public class OuterClass{
public static class NestClass{}
}
静态嵌套类因为是静态的,因此从本质上来说它和外部类的关系更像是类与包(package)的关系。在其他类中引用使用的时候需要加上外部类限定: OuterClass.NestClass 。
与静态方法一样,静态嵌套类中不能访问外部类的非静态成员和非静态方法(不管是public还是private的);
静态嵌套类的实例化(instantiate)无需事先实例化外部类,因为静态嵌套类是与外部类直接相关联的,而非与外部类的实例(instance)相关联。
内部类
内部类是非静态的,因此内部类是与外部类的实例相关联的。在实例化内部类时,必须先行实例化外部类,再通过外部类的实例来创建内部类的实例:
OuterClass outObject = new OuterClass();
OuterClass.InnerClass innerObject = outerObject.new InnerClass();
内部类中不能有 static 关键字修饰的静态成员(块、字段、方法、接口等),除非该成员是静态常量。所以,内部类中的静态成员必须是同时使用 final 关键字修饰的字段。
内部类可以访问外部类的任何成员(包括构造器),不管是公有的还是私有的,静态的还是非静态的。同样,外部类也可以访问到内部类的所有成员。
遮蔽(Shadowing)
定义在内部类或成员方法内的字段或参数,如果和外部作用域内的某个成员变量定义同名,那么外部的定义将被遮蔽,此时无法在内部作用域内仅通过名字访问到外部的成员。以下是摘自 Java Tutorial 中的一个例子:
public class ShadowTest {
public int x = 0;
class FirstLevel {
public int x = 1;
void methodInFirstLevel(int x) {
System.out.println("x = " + x);
System.out.println("this.x = " + this.x);
System.out.println("ShadowTest.this.x = " + ShadowTest.this.x);
}
}
public static void main(String... args) {
ShadowTest st = new ShadowTest();
ShadowTest.FirstLevel fl = st.new FirstLevel();
fl.methodInFirstLevel(23);
}
}
// 输出如下
// x = 23
// this.x = 1
// ShadowTest.this.x = 0
局部内部类
局部类是定义在某个块(block)中的类。即定义在构造器、方法、循环体、分支结构(if 子句)中的类。
同局部变量,局部类不能用public,private,protected,static修饰,但可以被final或者abstract修饰。
局部类是内部类,因此可以访问其外部类的成员。但局部类的作用域在块内,所以外部类无法访问到局部内部类。
局部类属于块的作用域,因此可以访问局部变量(包括形参),但是只能访问用 final 修饰的局部变量。
在 Java SE 8 之后,局部类可以访问 effectively final 的局部变量和非 final 的形参了,effectively final 的变量没有 final 修饰但在初始化后从未改变过值。 “A variable or parameter whose value is never changed after it is initialized is effectively final” 。
匿名类
匿名类,顾名思义就是没有名称的类,没有名称也就无法在其他地方引用和实例化,当然也就没有构造器。匿名类在定义的同时会实例化本身(匿名类只实例化这一次)。
匿名类的定义从形式上看更像是一种表达式,也就是类的定义出现在一个表达式中。从语法形式上看,匿名类的定义像是调用了一个构造器。以下是几种匿名类的例子:
public class Test {
InterfaceA a = new InterfaceA() {};//成员匿名类
public static void main(String[] args){
InterfaceA a = new InterfaceA() {};//局部匿名类
//以上两种是通过实现接口实现匿名类,称为接口式匿名类,也可以通过继承类实现
Test test = new Test(){};//继承式匿名类
//还可以是位于参数上
new Thread(new Runnable() {
@Override
public void run() {
}
}).start();//属于局部匿名类一种
}
private interface InterfaceA{}
}
匿名类不能使用任何关键字和访问控制符,匿名类和局部类访问规则一样,只不过内部类显式的定义了一个类,然后通过new的方式创建这个局部类实例,而匿名类直接new一个类实例。