对java方法的访问控制的深思考

如果我对java方法访问控制应该是这样的:

但是我碰到下面的问题:
1.创建一个包含内部类的类:

package javabug;

public class Father {
	
	protected Father() {
		FatherInner inner = new FatherInner();
		inner.sayOuterClass();
	}
	
	protected void say() {
		
		System.out.println("I'm Father");
	}

	private class FatherInner {
		
		void sayOuterClass() {
			Father.this.say();
		}
	}
}

2.创建一个子类继承父类:

package javabug.other;

import javabug.Father;

public class Son extends Father {
	
	public Son() {
		super();
	}
	
	protected void say() {
		
		System.out.println("I'm Son");
	}
}

3. 创建子类和父类的对象,看控制台输出:

public class Test {

	/**
	 * @param args
	 */

	public static void main(String[] args) { 
		
		Father father = new Father();
		Son demo = new Son();
	}

}

output:

I'm Father
I'm Son

思考:从最后的输出查看,我的理解是输出内容是FatherInner 的sayOuterClass方法在构造函数中执行产生的效果.
对于Son类的属于protected的say方法是不能被FatherInner的对象调用到的.因为Son和Father属于不同的package.
事实上它竟然执行了.
回顾: java的访问控制室编译时检查的,不是运行时检查的.
问题: 这算不算一个java的bug呢? 大家来说说.

评论

3 楼 yuyoo4j 2009-06-01  

yipsilon 写道

难道书上没交modifiers可以被向下继承而不让向上继承？

例如，如果有Father类是这样的：

class Father{
  protected void helloWorld(){
   ...
  }
}

那么子类Son的helloWorld方法的访问权限只能是大于protected而不能小于它。因此：

class Son extends Father{

  @Override
  public void helloWorld(){
    // 正确
  }
  
  /*
  private void helloWorld(){
   // 错误
  }
  */
}

对于构造方法的执行流程，建议你多看看Java基础，推荐一本书《Tinking In Java》。

可能你没理解我的困惑:
1.FatherInner和Son不存在继承关系.
2.FatherInner和Son不存在与相同包中.
FatherInner实例的怎么可以调用Son实例的方法呢,我的困惑是这种关系下,modifiers的约束感觉不存在了.

2 楼 netfork 2009-06-01  

yuyoo4j 写道

如果我对java方法访问控制应该是这样的:

但是我碰到下面的问题:
1.创建一个包含内部类的类:

package javabug;

public class Father {
	
	protected Father() {
		FatherInner inner = new FatherInner();
		inner.sayOuterClass();
	}
	
	protected void say() {
		
		System.out.println("I'm Father");
	}

	private class FatherInner {
		
		void sayOuterClass() {
			Father.this.say();
		}
	}
}

2.创建一个子类继承父类:

package javabug.other;

import javabug.Father;

public class Son extends Father {
	
	public Son() {
		super();
	}
	
	protected void say() {
		
		System.out.println("I'm Son");
	}
}

3. 创建子类和父类的对象,看控制台输出:

public class Test {

	/**
	 * @param args
	 */

	public static void main(String[] args) { 
		
		Father father = new Father();
		Son demo = new Son();
	}

}

output:

I'm Father
I'm Son

思考:从最后的输出查看,我的理解是输出内容是FatherInner 的sayOuterClass方法在构造函数中执行产生的效果.
对于Son类的属于protected的say方法是不能被FatherInner的对象调用到的.因为Son和Father属于不同的package.
事实上它竟然执行了.
回顾: java的访问控制室编译时检查的,不是运行时检查的.
问题: 这算不算一个java的bug呢? 大家来说说.

我感觉楼主对于继承关系及构造方法的理解似乎有些问题。
“对于Son类的属于protected的say方法是不能被FatherInner的对象调用到的.因为Son和Father属于不同的package. ”
这句话似乎说明，楼主把继承关系理解为对象间的访问规则。
我认为Son类对象化的过程，是完全按照其自身的继承关系进行初始化的，初始化及对象内调用规则都是按继承关系处理的，与package无关。
楼主的疑惑，或许用下面的例子说明，更直观一些，没有必要还要抬出个内部类来探讨访问控制。

package javabug;  
  
public class Father {  
      
    protected Father() {  
//        FatherInner inner = new FatherInner();  
//        inner.sayOuterClass();  
    	Father.this.privateSay();
    }
    
    private void privateSay() {
    	Father.this.say();
    }
      
    protected void say() {  
          
        System.out.println("I'm Father");  
    }  
  
//    private class FatherInner {  
//          
//        void sayOuterClass() {  
//            Father.this.say();  
//        }  
//    }  
}   

你现在用 Son demo = new Son(); 试试，照样打出的是　I'm Son。
这个应该与你用内部类是一个道理，在子类初始化过程中，当调用Father的构造方法进行初始化时，say方法已经被子类所重置，按照继承与多态规则，调用的应是子类的方法。但如果Father的say方法是private的，那么子类将无法继承，当然也无法重置，所以在子类对象的初始化过程中，当调用父类构造方法时，也就调不到子类中新定义的say了。

1 楼 yipsilon 2009-05-31  

难道书上没交modifiers可以被向下继承而不让向上继承？

例如，如果有Father类是这样的：

class Father{
  protected void helloWorld(){
   ...
  }
}

那么子类Son的helloWorld方法的访问权限只能是大于protected而不能小于它。因此：

class Son extends Father{

  @Override
  public void helloWorld(){
    // 正确
  }
  
  /*
  private void helloWorld(){
   // 错误
  }
  */
}

对于构造方法的执行流程，建议你多看看Java基础，推荐一本书《Tinking In Java》。