Java 干货之深入理解Java内部类
可以将一个类定义在另一个类或方法中,这样的类叫做内部类 --《Thinking in Java》
说起内部类,大家并不陌生,并且会经常在实例化容器的时候使用到它。但是内部类的具体细节语法,原理以及实现是什么样的可以不少人都还挺陌生,这里作一篇总结,希望通过这篇总结提高对内部类的认识。
内部类是什么?
由文章开头可知,内部类的定义为:定义在另一个类或方法中的类。而根据使用场景的不同,内部类还可以分为四种:成员内部类,局部内部类,匿名内部类和静态内部类。每一种的特性和注意事项都不同,下面我们一一说明。
成员内部类
顾名思义,成员内部类是定义在类内部,作为类的成员的类。如下:
public class Outer {
public class Inner{
}
}
特点如下:
- 成员内部类可以被权限修饰符(eg.
public,private等
)所修饰 - 成员内部类可以访问外部类的所有成员,(包括
private
)成员 - 成员内部类是默认包含了一个指向外部类对象的引用
- 如同使用
this
一样,当成员名或方法名发生覆盖时,可以使用外部类的名字加.this指定访问外部类成员。如:Outer.this.name
- 成员内部类不可以定义
static
成员 - 成员内部类创建语法:
Outer outer=new Outer();
Outer.Inner inner=outer.new Inner();
局部内部类
局部内部类是定义在方法或者作用域中类,它和成员内部类的区别仅在于访问权限的不同。
public class Outer{
public void test(){
class Inner{
}
}
}
特点如下:
局部内部类不能有访问权限修饰符
局部内部类不能被定义为
static
局部内部类不能定义
static
成员局部内部类默认包含了外部类对象的引用
局部内部类也可以使用
Outer.this
语法制定访问外部类成员局部内部类想要使用方法或域中的变量,该变量必须是
final
的在JDK1.8 以后,没有
final
修饰,effectively final
的即可。什么意思呢?就是没有final
修饰,但是如果加上final
编译器也不会报错即可。
匿名内部类
匿名内部类是与继承合并在一起的没有名字的内部类
public class Outer{
public List<String> list=new ArrayList<String>(){
{
add("test");
}
};
}
这是我们平时最常用的语法。
匿名内部类的特点如下:
- 匿名内部类使用单独的块表示初始化块
{}
- 匿名内部类想要使用方法或域中的变量,该变量必须是
final
修饰的,JDK1.8之后effectively final
也可以 - 匿名内部类默认包含了外部类对象的引用
- 匿名内部类表示继承所依赖的类
嵌套类
嵌套类是用static
修饰的成员内部类
public class Outer {
public static class Inner{
}
}
特点如下:
嵌套类是四种类中唯一一个不包含对外部类对象的引用的内部类
嵌套类可以定义
static
成员嵌套类能访问外部类任何静态数据成员与方法。
构造函数可以看作静态方法,因此可以访问。
为什么要有内部类?
从上面可以看出,内部类的特性和类方差不多,但是内部类有许多繁琐的细节语法。既然内部类有这么多的细节要注意,那为什么Java还要支持内部类呢?
1. 完善多重继承
- 在早期C++作为面向对象编程语言的时候,最难处理的也就是多重继承,多重继承对于代码耦合度,代码使用人员的理解来说,并不怎么友好,并且还要比较出名的死亡菱形的多重继承问题。因此Java并不支持多继承。
- 后来,Java设计者发现,没有多继承,一些代码友好的设计与编程问题变得十分难以解决。于是便产生了内部类。内部类具有:隐式包含外部类对象并且能够与之通信的特点,完美的解决了多重继承的问题。
2. 解决多次实现/继承问题
有时候在一个类中,需要多次通过不同的方式实现同一个接口,如果没有内部类,必须多次定义不同数量的类,但是使用内部类可以很好的解决这个问题,每个内部类都可以实现同一个接口,即实现了代码的封装,又实现了同一接口不同的实现。
内部类可以将组合的实现封装在内部中。
为什么内部类的语法这么繁杂
这一点是本文的重点。内部类语法之所以这么繁杂,是因为它是新数据类型加语法糖的结合。想要理解内部类,还得从本质上出发.
内部类根据应用场景的不同分为4种。其应用场景完全可以和类方法对比起来。
下面我们通过类方法对比的模式一一解答为什么内部类会有这样的特点
成员内部类——>成员方法
成员内部类的设计完全和成员方法一样。
调用成员方法:outer.getName()
新建内部类对象:outer.new Inner()
它们都是要依赖对象而被调用。
正如《Thinking in Java》所说,outer.getName()
正真的形似是Outer.getName(outer)
,也就是将调用对象作为参数传递给方法。
新建一个内部类也是这样:Outer.new Inner(outer)
下面,我们用实际情况证明:
新建一个包含内部类的类:
public class Outer {
private int m = 1;
public class Inner {
private void test() {
//访问外部类private成员
System.out.println(m);
}
}
}
编译,会发现会在编译目标目录生成两个.class文件:Outer.class
和Outer$Inner.class
。
PS:不知道为什么Java总是和$过不去,就连变量命名规则都要比C++多一个能由$组成 :)
将Outer$Inner.class
放入IDEA中打开,会自动反编译,查看结果:
public class Outer$Inner {
public Outer$Inner(Outer this$0) {
this.this$0 = this$0;
}
private void test() {
System.out.println(Outer.access$000(this.this$0));
}
}
可以看见,编译器已经自动生成了一个默认构造器,这个默认构造器是一个带有外部类型引用的参数构造器。
可以看到外部类成员对象的引用:Outer是由final
修饰的。
因此:
- 成员内部类作为类级成员,因此能被访问修饰符所修饰
- 成员内部类中包含创建内部类时对外部类对象的引用,所以成员内部类能访问外部类的所有成员。
- 语法规定:因为它作为外部类的一部分成员,所以即使
private
的对象,内部类也能访问。。通过Outer.access$ 指令访问 - 如同非静态方法不能访问静态成员一样,非静态内部类也被设计的不能拥有静态变量,因此内部类不能定义
static
对象和方法。
但是可以定义
static final
变量,这并不冲突,因为所定义的final
字段必须是编译时确定的,而且在编译类时会将对应的变量替换为具体的值,所以在JVM看来,并没有访问内部类。
局部内部类——> 局部代码块
局部内部类可以和局部代码块相理解。它最大的特点就是只能访问外部的final
变量。
先别着急问为什么。
定义一个局部内部类:
public class Outer {
private void test() {
int m= 3;
class Inner {
private void print() {
System.out.println(m);
}
}
}
}
编译,发现生成两个.class文件Outer.class
和Outer$1Inner.class
将Outer$1Inner.class
放入IDEA中反编译:
class Outer$1Inner {
Outer$1Inner(Outer this$0, int var2) {
this.this$0 = this$0;
this.val$m = var2;
}
private void print() {
System.out.println(this.val$m);
}
}
可以看见,编译器自动生成了带有两个参数的默认构造器。
看到这里,也许应该能明了:我们将代码转换下:
public class Outer {
private void test() {
int m= 3;
Inner inner=new Outer$1Inner(this,m);
inner.print();
}
}
}
也就是在Inner中,其实是将m的值,拷贝到内部类中的。print()
方法只是输出了m,如果我们写出了这样的代码:
private void test() {
int m= 3;
class Inner {
private void print() {
m=4;
}
}
System.out.println(m);
}
在我们看来,m的值应该被修改为4,但是它真正的效果是:
private void test(){
int m = 3;
print(m);
System.out.println(m);
}
private void print(int m){
m=4;
}
m被作为参数拷贝进了方法中。因此修改它的值其实没有任何效果,所以为了不让程序员随意修改m而却没达到任何效果而迷惑,m必须被final
修饰。
绕了这么大一圈,为什么编译器要生成这样的效果呢?
其实,了解闭包的概念的人应该都知道原因。而Java中各种诡异的语法一般都是由生命周期带来的影响。上面的程序中,m是一个局部变量,它被定义在栈上,而new Outer$1Inner(this,m);
所生成的对象,是定义在堆上的。如果不将m作为成员变量拷贝进对象中,那么离开m的作用域,Inner
对象所指向的便是一个无效的地址。因此,编译器会自动将局部类所使用的所有参数自动生成成员。
为什么其他语言没有这种现象呢?
这又回到了一个经典的问题上:Java是值传递还是引用传递。由于Java always pass-by-value,对于真正的引用,Java是无法传递过去的。而上面的问题核心就在与m如果被改变了,那么其它的m的副本是无法感知到的。而其他语言都通过其他的途径解决了这个问题。
对于C++就是一个指针问题。
理解了真正的原因,便也能知道什么时候需要final
,什么时候不需要final
了。
public class Outer {
private void test() {
class Inner {
int m=3;
private void print() {
System.out.println(m);//作为参数传递,本身都已经 pass-by-value。不用final
int c=m+1; //直接使用m,需要加final
}
}
}
}
而在Java 8 中,已经放宽政策,允许是effectively final
的变量,实际上,就是编译器在编译的过程中,帮你加上final
而已。而你应该保证允许编译器加上final
后,程序不报错。
局部内部类还有个特点就是不能有权限修饰符。就好像局部变量不能有访问修饰符一样
由上面可以看到,外部对象同样是被传入局部类中,因此局部类可以访问外部对象
嵌套类——>静态方法
嵌套类没什么好说的,就好像静态方法一样,他可以被直接访问,他也能定义静态变量。同时不能访问非静态成员。
值得注意的是《Think in Java》中说过,可以将构造函数看作为静态方法,因此嵌套类可以访问外部类的构造方法。
匿名类——>局部方法+继承的语法糖
匿名类可以看作是对前3种类的再次扩展。具体来说匿名类根据应用场景可以看作:
- 成员内部类+继承
- 局部内部类+继承
- 嵌套内部类+继承
匿名类语法为:
new 继承类名(){
//Override 重载的方法
}
返回的结果会向上转型为继承类。
声明一个匿名类:
public class Outer {
private List<String> list=new ArrayList<String>(){
{
add("test");
}
};
}
这便是一个经典的匿名类用法。
同样编译上面代码会看到生成了两个.class文件Outer.class
,Outer$1.class
将Outer$1.class
放入IDEA中反编译:
class Outer$1 extends ArrayList<String> {
Outer$1(Outer this$0) {
this.this$0 = this$0;
this.add("1");
}
}
可以看到匿名类的完整语法便是继承+内部类。
由于匿名类可以申明为成员变量,局部变量,静态成员变量,因此它的组合便是几种内部类加继承的语法糖,这里不一一证明。
在这里值得注意的是匿名类由于没有类名,因此不能通过语法糖像正常的类一样声明构造函数,但是编译器可以识别{}
,并在编译的时候将代码放入构造函数中。
{}
可以有多个,会在生成的构造函数中按顺序执行。
怎么正确的使用内部类
在第二小节中,我们已经讨论过内部类的应用场景,但是如何优雅,并在正确的应用场景使用它呢?本小节将会详细讨论。
1.注意内存泄露
《Effective Java》第二十四小节明确提出过。优先使用静态内部类。这是为什么呢?
由上面的分析我们可以知道,除了嵌套类,其他的内部类都隐式包含了外部类对象。这便是Java内存泄露的源头。看代码:
定义Outer:
public class Outer{
public List<String> getList(String item) {
return new ArrayList<String>() {
{
add(item);
}
};
}
}
使用Outer:
public class Test{
public static List<String> getOutersList(){
Outer outer=new Outer();
//do something
List<String> list=outer.getList("test");
return list;
}
public static void main(String[] args){
List<String> list=getOutersList();
//do something with list
}
}
相信这样的代码一定有同学写出来,这涉及到一个习惯的问题:
不涉及到类成员方法和成员变量的方法,最好定义为static
我们先研究上面的代码,最大的问题便是带来的内存泄露:
在使用过程中,我们定义Outer
对象完成一系列的动作
- 使用
outer
得到了一个ArraList
对象 - 将
ArrayList
作为结果返回出去。
正常来说,在getOutersList
方法中,我们new
出来了两个对象:outer
和 list
,而在离开此方法时,我们只将list
对象的引用传递出去,outer
的引用随着方法栈的退出而被销毁。按道理来说,outer
对象此时应该没有作用了,也应该在下一次内存回收中被销毁。
然而,事实并不是这样。按上面所说的,新建的list
对象是默认包含对outer
对象的引用的,因此只要list
不被销毁,outer
对象将会一直存在,然而我们并不需要outer
对象,这便是内存泄露。
怎么避免这种情况呢?
很简单:不涉及到类成员方法和成员变量的方法,最好定义为static
public class Outer{
public static List<String> getList(String item) {
return new ArrayList<String>() {
{
add(item);
}
};
}
}
这样定义出来的类便是嵌套类+继承,并不包含对外部类的引用。
2.应用于只实现一个接口的实现类
- 优雅工厂方法模式
我们可以看到,在工厂方法模式中,每个实现都会需要实现一个Fractory来实现产生对象的接口,而这样接口其实和原本的类关联性很大的,因此我们可以将Fractory定义在具体的类中,作为内部类存在
- 简单的实现接口
new Thread(new Runnable() {
@Override
public void run() {
System.out.println("test");
}
}
).start();
}
尽量不要直接使用Thread,这里只做演示使用
Java 8 的话建议使用lambda代替此类应用
- 同时实现多个接口
public class imple{
public static Eat getDogEat(){
return new EatDog();
}
public static Eat getCatEat(){
return new EatCat();
}
private static class EatDog implements Eat {
@Override
public void eat() {
System.out.println("dog eat");
}
}
private static class EatCat implements Eat{
@Override
public void eat() {
System.out.println("cat eat");
}
}
}
3.优雅的单例类
public class Imple {
public static Imple getInstance(){
return ImpleHolder.INSTANCE;
}
private static class ImpleHolder{
private static final Imple INSTANCE=new Imple();
}
}
4.反序列化JSON接受的JavaBean
有时候需要反序列化嵌套JSON
{
"student":{
"name":"",
"age":""
}
}
类似这种。我们可以直接定义嵌套类进行反序列化
public JsonStr{
private Student student;
public static Student{
private String name;
private String age;
//getter & setter
}
//getter & setter
}
但是注意,这里应该使用嵌套类,因为我们不需要和外部类进行数据交换。
核心思想:
- 嵌套类能够访问外部类的构造函数
- 将第一次访问内部类放在方法中,这样只有调用这个方法的时候才会第一次访问内部类,实现了懒加载
内部类还有很多用法,这里不一一列举。
总结
内部类的理解可以按照方法来理解,但是内部类很多特性都必须剥开语法糖和明白为什么需要这么做才能完全理解,明白内部类的所有特性才能更好使用内部类,在内部类的使用过程中,一定记住:能使用嵌套类就使用嵌套类,如果内部类需要和外部类联系,才使用内部类。最后不涉及到类成员方法和成员变量的方法,最好定义为static可以防止内部类内存泄露。
尊重劳动成果,转载请标注出处。
如果觉得写得不错,欢迎关注微信公众号:逸游Java ,每天不定时发布一些有关Java干货的文章,感谢关注
参考文章:
Java 中引入内部类的意义?
成员内部类里面为什么不能有静态成员和方法?
Java 干货之深入理解Java内部类的更多相关文章
- Java 干货之深入理解Java泛型
一般的类和方法,只能使用具体的类型,要么是基本类型,要么是自定义的类.如果要编写可以应用多中类型的代码,这种刻板的限制对代码得束缚会就会很大. ---<Thinking in Java> ...
- 【Java】「深入理解Java虚拟机」学习笔记(1) - Java语言发展趋势
0.前言 从这篇随笔开始记录Java虚拟机的内容,以前只是对Java的应用,聚焦的是业务,了解的只是语言层面,现在想深入学习一下. 对JVM的学习肯定不是看一遍书就能掌握的,在今后的学习和实践中如果有 ...
- Java提高篇之理解java的三大特性——继承
在<Think in java>中有这样一句话:复用代码是Java众多引人注目的功能之一.但要想成为极具革命性的语言,仅仅能够复制代码并对加以改变是不够的,它还必须能够做更多的事情.在这句 ...
- 【转】java提高篇(二)-----理解java的三大特性之继承
[转]java提高篇(二)-----理解java的三大特性之继承 原文地址:http://www.cnblogs.com/chenssy/p/3354884.html 在<Think in ja ...
- Java 干货之深入理解String
可以证明,字符串操作是计算机程序设计中最常见的行为,尤其是在Java大展拳脚的Web系统中更是如此. ---<Thinking in Java> 提到Java中的String,总是有说不完 ...
- 【Java】「深入理解Java虚拟机」学习笔记(4)- 类文件结构
我为什么喜欢Java,另一个重要原因就是跨平台,WORA. 程序员是爽了,但肯定有人要为你遮风挡雨,解决WORA的基石就是字节码+虚拟机. ♣Tip 其实这里存在两种无关性,一是平台无关性.另一个是语 ...
- java提高篇(四)-----理解java的三大特性之多态
面向对象编程有三大特性:封装.继承.多态. 封装隐藏了类的内部实现机制,可以在不影响使用的情况下改变类的内部结构,同时也保护了数据.对外界而已它的内部细节是隐藏的,暴露给外界的只是它的访问方法. 继承 ...
- java提高篇(二)-----理解java的三大特性之继承
在<Think in java>中有这样一句话:复用代码是Java众多引人注目的功能之一.但要想成为极具革命性的语言,仅仅能够复制代码并对加以改变是不够的,它还必须能够做更多的事情.在这句 ...
- [牛感悟系列]JAVA(1)理解JAVA垃圾回收
理解JAVA垃圾回收的好处是什么?满足求知欲是一方面,编写更好的JAVA应用是另外一方面. 如果一个人对垃圾回收过程感兴趣,那表明他在应用程序开发领域有相当程度的经验.如果一个人在思考如何选择正确的垃 ...
随机推荐
- [LeetCode] 470. Implement Rand10() Using Rand7()
Given a function rand7 which generates a uniform random integer in the range 1 to 7, write a functio ...
- Java 并发编程(三):如何保证共享变量的可见性?
上一篇,我们谈了谈如何通过同步来保证共享变量的原子性(一个操作或者多个操作要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行),本篇我们来谈一谈如何保证共享变量的可见性(多个线程访问同一个变 ...
- springmvc Controller接收前端参数的几种方式总结
(1) 普通方式-请求参数名和Controller方法的参数一致 @Controller @RequestMapping("/param") public class TestPa ...
- 终端-Linux命令之非交互SSH密码验证-Sshpass
Sshpass是使用SSH所谓的"交互式键盘密码身份验证"以非交互方式执行密码身份验证的工具 通俗来说就是 使用ssh密码登录 是需要在连接时手动输入密码的,没办法明文连接,如下图 ...
- 将jar包发布到maven的中央仓库细节整理
在学习springboot框架的时候,会引入各种各样的starter依赖,照着教程尝试写了个demo-spring-boot-stater,可以理解为一个组件,随引随用 但是只能自己引用,无法共享,于 ...
- Adobe PS常用快捷键
ps使用快捷键 新建图层 Ctrl+Shift+N 取消选择区 Ctrl + D 新建标题 Ctrl + N 图片放大 Alt+鼠标滑动 图片位置拖动 空格 + 鼠标拖动 移动图层 ...
- MySQL 5.7安装(多实例)最佳实践
MySQL 5.7安装(多实例)最佳实践,接上一篇<MySQL 5.7安装最佳实践>在已有的实例上面新增一个实例,主要是为了资源合理利用:下面是具体的步骤: 1.新实例目录规划,my.cn ...
- Failure to transfer org.springframework:spring-jcl:jar:5.0.7.RELEASE from
错误信息: Failure to transfer org.springframework.boot:spring-boot-maven-plugin:pom:1.5.4.RELEASE from h ...
- Java并发编程总结(一)Syncronized解析
Syncronized解析 作用: )确保线程互斥的访问同步代码 )保证共享变量的修改能够及时可见 )有效解决重排序问题. 用法: )修饰普通方法(锁是当前实例对象) )修饰静态方法(锁是当前对象的C ...
- docker配置阿里云镜像
今天docker pull镜像的时候太慢了 所以这里配置下阿里云镜像 打开阿里云控制台,没有的可以用淘宝账号或者支付宝账号直接登录 打开容器镜像服务,镜像加速器,复制加速器地址 修改配置文件 $: ...