java类总结_JAVA 类总结

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一个类实例。