Java访问控制修饰符和非访问修饰符

访问控制修饰符

 

• private 

私有访问修饰符: 在同一类内可见。

使用对象：变量、方法、内部类。

被声明为 private 的方法、变量和构造方法只能被所属类访问，并且类（内部类除外）和接口不能声明为 private。private 的使用主要用来隐藏类的实现细节和保护类的数据。

• public

公有访问修饰符: 对所有类可见。

使用对象：类、接口、变量、方法

被声明为 public 的类、方法、构造方法和接口能够被任何其他类访问。如果几个相互访问的 public 类分布在不同的包中，则需要导入相应 public 类所在的包。由于类的继承性，类所有的公有方法和变量都能被其子类继承。

• protected

受保护的访问修饰符: 对同一包内的类和所有子类可见。

使用对象：变量、方法、数据成员、方法成员、内部类。

接口及接口的成员变量和成员方法不能声明为 protected。

子类能访问 protected 修饰符声明的方法和变量，这样就能保护不相关的类使用这些方法和变量。

protected 需要从两个点来分析说明：

1. 子类与基类在同一包中：被声明为 protected 的变量、方法和构造器能被同一个包中的任何其他类访问；

2. 子类与基类不在同一包中：那么在子类中，子类实例可以访问其从基类继承而来的 protected 方法，而不能访问基类实例的protected方法。

• 不使用任何关键字

即默认的访问修饰符：对同一个包内的类是可见的。

使用对象：类、接口、变量、方法。

变量和方法的声明可以不使用任何修饰符，接口里的变量都隐式声明为 public static final，而接口里的方法默认情况下访问权限为 public。

• default

使用对象：接口中的方法。

java8以后，接口中可以添加使用default修饰的方法，default修饰方法只能在接口中使用，在接口中被default标记的方法为普通方法，可以直接写方法体。

实现类会继承接口中的default方法。如果一个类同时实现接口A和B，接口A和B中有相同的default方法a，这时，该类必须重写接口中的default方法a。

子类A继承父类B，父类中有b方法，该子类A同时实现的接口C中也有b方法（被default修饰），那么子类A会继承父类B的b方法而不是继承接口C中的b方法。

 

继承必须遵循以下规则：

• 父类中声明为 public 的方法在子类中也必须为 public。

• 父类中声明为 protected 的方法在子类中要么声明为 protected，要么声明为 public，不能声明为 private。

• 父类中声明为 private 的方法，不能够被继承。

 

非访问修饰符

• static 

用来修饰类方法和类变量。

静态变量：

static 关键字用来声明独立于对象的静态变量，无论一个类实例化多少对象，它的静态变量只有一份拷贝。 静态变量也被称为类变量。局部变量不能被声明为 static 变量。

静态方法：

static 关键字用来声明独立于对象的静态方法。静态方法不能使用类的非静态变量。静态方法从参数列表得到数据，然后计算这些数据。

对类变量和方法的访问可以直接使用 classname.variablename 和 classname.methodname 的方式访问。

• final 

用来修饰类、方法和变量，final 修饰的类不能够被继承，修饰的方法不能被继承类重新定义，修饰的变量为常量，是不可修改的。

final 变量：

final 表示"最后的、最终的"含义，变量一旦赋值后，不能被重新赋值。被 final 修饰的实例变量必须显式指定初始值。final 修饰符通常和 static 修饰符一起使用来创建类常量。

final 方法：

父类中的 final 方法可以被子类继承，但是不能被子类重写。

声明 final 方法的主要目的是防止该方法的内容被修改。

• abstract 

用来创建抽象类和抽象方法

抽象类：

抽象类不能用来实例化对象，声明抽象类的唯一目的是为了将来对该类进行扩充。

一个类不能同时被 abstract 和 final 修饰。如果一个类包含抽象方法，那么该类一定要声明为抽象类，否则将出现编译错误。

抽象类可以包含抽象方法和非抽象方法。

 

抽象方法

抽象方法是一种没有任何实现的方法，该方法的的具体实现由子类提供。

抽象方法不能被声明成 final 和 static。

任何继承抽象类的子类必须实现父类的所有抽象方法，除非该子类也是抽象类。

如果一个类包含若干个抽象方法，那么该类必须声明为抽象类。抽象类可以不包含抽象方法。

抽象方法的声明以分号结尾，例如：public abstract sample();。

• transient

类型修饰符，只能用来修饰字段。在对象序列化的过程中，标记为transient的变量不会被序列化。

序列化的对象包含被 transient 修饰的实例变量时，java 虚拟机(JVM)跳过该特定的变量。

该修饰符包含在定义变量的语句中，用来预处理类和变量的数据类型。

• volatile

变量修饰符，只能用来修饰变量。主要用于线程的编程。一个 volatile 对象引用可能是 null。

volatile 修饰的成员变量在每次被线程访问时，都强制从共享内存中重新读取该成员变量的值。而且，当成员变量发生变化时，会强制线程将变化值回写到共享内存。这样在任何时刻，两个不同的线程总是看到某个成员变量的同一个值。

解释一下Java的内存机制：

Java使用一个主内存来保存变量当前值，而每个线程则有其独立的工作内存。线程访问变量的时候会将变量的值拷贝到自己的工作内存中，这样，当线程对自己工作内存中的变量进行操作之后，就造成了工作内存中的变量拷贝的值与主内存中的变量值不同。

Java语言规范中指出：为了获得最佳速度，允许线程保存共享成员变量的私有拷贝，而且只当线程进入或者离开同步代码块时才与共享成员变量的原始值对比。

这样当多个线程同时与某个对象交互时，就必须要注意到要让线程及时的得到共享成员变量的变化。

而volatile关键字就是提示VM：对于这个成员变量不能保存它的私有拷贝，而应直接与共享成员变量交互。

使用建议：在两个或者更多的线程访问的成员变量上使用volatile。当要访问的变量已在synchronized代码块中，或者为常量时，不必使用。

由于使用volatile屏蔽掉了VM中必要的代码优化，所以在效率上比较低，因此一定在必要时才使用此关键字。

详细可参考：https://www.cnblogs.com/dolphin0520/p/3920373.html

• synchronized

变量和方法修饰符。

锁住当前变量，同一时刻只有一个线程能够访问当前变量，synchronized 关键字声明的方法同一时间只能被一个线程访问。

详细可参考：https://www.cnblogs.com/beiyetengqing/p/6213437.html

 

PS：关于volatile和synchronized还可以了解一下并发编程

《并发之原子性、可见性、有序性》

《并发编程（原子性、可见性、一致性）》