Java基础-关键字final static与类加载分析

一、关键字final static 介绍

1. final

根据程序上下文环境,Java关键字final有“这是无法改变的”或者“终态的”含义,它可以修饰非抽象类非抽象类成员方法变量。你可能出于两种理解而需要阻止改变:设计或效率。

final类不能被继承,没有子类,final类中的方法默认是final的
final方法不能被子类的方法覆盖,但可以被继承。
final成员变量表示常量,只能被赋值一次,赋值后值不再改变。
final不能用于修饰构造方法。

注意:父类的private成员方法是不能被子类方法覆盖的,因此private类型的方法默认是final类型的。

final类

final类不能被继承,因此final类的成员方法没有机会被覆盖,默认都是final的。在设计类时候,如果这个类不需要有子类,类的实现细节不允许改变,并且确信这个类不会载被扩展,那么就设计为final类。

final方法

如果一个类不允许其子类覆盖某个方法,则可以把这个方法声明为final方法。
使用final方法的原因有二:
第一 把方法锁定,防止任何继承类修改它的意义和实现。
第二 高效。编译器在遇到调用final方法时候会转入内嵌机制,大大提高执行效率。

final变量(常量)

用final修饰的成员变量表示常量,值一旦给定就无法改变!
final修饰的变量有三种:静态变量实例变量局部变量,分别表示三种类型的常量。

另外,final变量定义的时候,可以先声明,而不给初值,这中变量也称为final空白无论什么情况,编译器都确保空白final在使用之前必须被初始化。所以,final空白在关键字final的使用上提供了更大的灵活性,为此,一个类中的final数据成员就可以依据实例对象不同而有所不同,却有保持其恒定不变的特征。

final参数

当函数参数为final类型时,你可以读取使用该参数,但是无法改变该参数的值。

2. static

static表示“全局”或者“静态”的意思,用来修饰成员变量和成员方法,也可以形成静态static代码块,但是Java语言中没有全局变量的概念。

被static修饰的成员变量和成员方法独立于该类的任何对象。也就是说,它不依赖类特定的实例,被类的所有实例共享。只要这个类被加载,Java虚拟机就能根据类名在运行时数据区的方法区内定找到他们。因此,static对象可以在它的任何对象创建之前访问,无需引用任何对象。

用public修饰的static成员变量和成员方法本质是全局变量和全局方法,当声明它类的对象市,不生成static变量的副本,而是类的所有实例共享同一个static变量。

static变量前可以有private修饰,表示这个变量可以在类的静态代码块中,或者类的其他静态成员方法中使用(当然也可以在非静态成员方法中使用--废话),但是不能在其他类中通过类名来直接引用,这一点很重要。实际上你需要搞明白,private是访问权限限定,static表示不要实例化就可以使用,这样就容易理解多了。static前面加上其它访问权限关键字的效果也以此类推。

static变量

按照是否静态的对类成员变量进行分类可分两种:一种是被static修饰的变量,叫静态变量或类变量;另一种是没有被static修饰的变量,叫实例变量。两者的区别是:

对于静态变量在内存中只有一个拷贝(节省内存),JVM只为静态分配一次内存,在加载类的过程中完成静态变量的内存分配,可用类名直接访问(方便),当然也可以通过对象来访问(但是这是不推荐的)。

对于实例变量,没创建一个实例,就会为实例变量分配一次内存,实例变量可以在内存中有多个拷贝,互不影响(灵活)。

static方法

static方法可以直接通过类名调用,任何的实例也都可以调用,因此static方法中不能用this和super关键字,不能直接访问所属类的实例变量和实例方法(就是不带static的成员变量和成员成员方法),只能访问所属类的静态成员变量和静态成员方法。

因为static方法独立于任何实例,因此static方法必须被实现,而不能是抽象的abstract

static代码块

static代码块也叫静态代码块,是在类中独立于类成员的static语句块,可以有多个,位置可以随便放,它不在任何的方法体内,JVM加载类时会执行这些静态的代码块,如果static代码块有多个,JVM将按照它们在类中出现的先后顺序依次执行它们,每个代码块只会被执行一次,因为类加载只会加载一次。

3. static和final一块用表示什么

static final用来修饰成员变量和成员方法,可简单理解为“全局常量”。

对于变量,表示一旦给值就不可修改,并且通过类名可以访问。
对于方法,表示不可覆盖,并且可以通过类名直接访问。

二、关于final变量的思考

1. 如果final 实例变量既没有在声明时初始化,也没有在类的每个构造函数初始化,则会报编译错误,指出变量没有被初始化。如果声明时没有初始化,只在某些构造函数初始化也会报同样的错。

image

可以在声明中进行初始化,那就不能在构造函数里赋值了。不过这种写法不好。因为在声明时初始化了,每个对象都拥有同样的值,则我们应当声明为静态的,使类的所有对象都能共享它们。

image

如果是final static 变量,在声明时必须初始化,不然编译出错。因为static变量是类变量,是所有对象共享该变量,然而又是final的,所以该变量是所有对象共享的全局常量,所有对象是不能够修改该全局常量,显然不能够在生成实例时初始化全局常量,因此只能在声明式初始化全局常量。

如果没有static修饰变量,可以在构造函数里赋值,以使每个对象不同的值。如下代码:

image

上述代码中,s1是静态变量在构造函数里使用this不会造成编译运行错误。注意:在构造函数中初始化静态变量时,会影响到其他对象使用该静态变量的值,因为静态变量是在所有对象之间共享的一块空间区域。

三、final与JVM类加载

当一个类中有声明为static final的变量,这样的变量对类的加载器有一定的影响,首先看看下面的例子:

image

image

因为num是static final变量,且它等于5,在编译的时候就可以知道它的值,并且是常量,所以直接访问num的值不会引起Test02类的加载。作为表现,也就是static静态代码快不会被加载。输出结果为:

image

当将Test02变量num的final修饰符去掉时,如下:

image

此时,编译器虽然能够知道num值,但是不能够知道num值是否会被修改,所以就不能够真实的确定num值,因此直接访问num静态变量会触发Test02的类加载。也就是static静态代码快的加载。则输出结果为:

image

再看如下代码:

image

这个static final变量num因为在编译的时候无法知道它的确切的值,所以只有等到运行的时候才能知道,所以自己访问Test02.num会引起Test02类的初始化。也就是static静态代码快的加载。则输出结果为:

image

下面的例子是讲,当子类被主动访问的时候,会引起其直接父类的加载:

image

因为直接访问Child.b,会先初始化Parent类,然后初始化Child类。输出结果为:

image

如果通过子类直接访问父类的变量,只会初始化父类而不会初始化子类:

image

直接访问Parent类的a变量,则只会直接初始化parent类,不会初始化Child类,输出结果为:

image

转载于:https://my.oschina.net/xianggao/blog/93232

  • 1
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值