Re: [問題] 多型的修飾詞?
※ 引述《dream1124 (全新開始)》之銘言：
: 實驗過程中倒是意外發現有趣的事，以下這個相似的例子，結果卻能執行，
: 命令列會印出
: private foo
: public foo
:
: 請問各位鄉民們會怎麼解釋這個結果？
:
: public class PolyTest {
: public static void runBase(Base base){
: base.foo();
: }
: public static void runDes(Descendent des){
: des.foo();
: }
: public static void main(String[] args){
: PolyTest poly = new PolyTest();
: runBase(poly.new Descendent());
: runDes(poly.new Descendent());
: }
: public class Base {
: private void foo(){
: System.out.println("private foo");
: }
: }
: public class Descendent extends Base{
: public void foo(){
: System.out.println("public foo");
: }
: }
: }// polyTest end
:
: --
: ※ 發信站: 批踢踢實業坊(ptt.cc)
: ◆ From: 118.167.102.112
: → lovdkkkk:與 inner class 的私有物可以互通 12/27 19:37
: 推 broodstare:謝謝大大!! 我也來想一下 12/27 23:27
: 推 LaPass:inner class基本上無視privite之類的描述，因為都是同個物 12/28 01:10
: → LaPass:件 12/28 01:11
我覺得這一篇是已經離題了...
若就這一篇所提的主題來說，大致上就是如版友的推文所述：
在 Java 語言層面，enclosed class(推及 enclosed object) 視為 enclosing
class 的 member，故 enclosing class 裡可以存取 enclosed object 裡的任何
member；反之，enclosed class/object 也可以存取 enclosing class/object
的任何 member。
就工程面來說，上述的行為對 JVM 而言不是一種特例，實際上這是靠編譯器產生
的輔助碼去達成此行為，JVM 未作任何妥協。
不論是 enclosed object 去存取 enclosing object 的 private member 或是
反過來，編譯器會視有無此種存取的 statement 來替被存取的部分開後門。
若以你提供的範例碼來說，你可以看成你的程式碼被編譯器改成如下的程式：
＊這不是真實可編譯的碼，只是說明編譯器所產生的 bytecode 的等效碼
public class PolyTest {
public static void runBase(Base base) {
Base.syntheticInvokeFoo(base);
}
public static void runDes(Descendent des) {
des.foo();
}
public static void main(String[] args) {
PolyTest poly = new PolyTest();
runBase(poly.new Descendent());
runDes(poly.new Descendent());
}
public class Base {
private void foo(){
System.out.println("private foo");
}
static void syntheticInvokeFoo(Base target) {
target.foo();
}
}
public class Descendent extends Base {
public void foo() {
System.out.println("public foo");
}
}
}// polyTest end
可以透過使用 JDK 內建的 javap 工具程式來驗證是不是這樣子
javap -c -private PolyTest.Base
==========================================
public class PolyTest$Base {
final PolyTest this$0;
public PolyTest$Base(PolyTest);
Code:
0: aload_0
1: aload_1
2: putfield #2 // Field this$0:LPolyTest;
5: aload_0
6: invokespecial #3 // Method java/lang/Object."<init>":()V
9: return
private void foo();
Code:
0: getstatic #4 // Field java/lang/System.out:Ljava/io/PrintStream;
3: ldc #5 // String private foo
5: invokevirtual #6 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
8: return
// 多了這個函式，其所做的事等同 syntheticInvokeFoo
static void access$000(PolyTest$Base);
Code:
0: aload_0
1: invokespecial #1 // Method foo:()V
4: return
}
javap -c -private PolyTest
=====================================================
Compiled from "PolyTest.java"
public class PolyTest {
public PolyTest();
Code:
0: aload_0
1: invokespecial #1 // Method java/lang/Object."<init>":()V
4: return
public static void runBase(PolyTest$Base);
Code:
0: aload_0
1: invokestatic #2 // Method PolyTest$Base.access$000:(LPolyTest$Base;)V
4: return
public static void runDes(PolyTest$Descendent);
Code:
0: aload_0
1: invokevirtual #3 // Method PolyTest$Descendent.foo:()V
4: return
public static void main(java.lang.String[]);
...[略]
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 1.172.188.13
※ 編輯: sbrhsieh 來自: 1.172.188.13 (12/28 02:49)
推
12/28 10:22, , 1F
12/28 10:22, 1F
※ 編輯: sbrhsieh 來自: 218.166.238.226 (12/28 15:23)
→
12/29 00:24, , 2F
12/29 00:24, 2F
→
12/29 00:26, , 3F
12/29 00:26, 3F
推
12/29 01:55, , 4F
12/29 01:55, 4F
→
12/29 03:34, , 5F
12/29 03:34, 5F
沒錯，所謂開後門的部分就是 compiler 發現 PolyTest class 有存取 private foo
method 的部分，於是爲 Base class 注入類似這樣的 method:
static(*) void syntheticInvokeFoo(Base target) {
target.foo();
}
＊之前我打成 public static method，已修改過。
target 是 Base type，target.foo() 是 non-polymorphic call(因為 foo method
在 Base class 裡是 private)，導致同一個 package 內的 class 皆可透過
syntheticInvokeFoo 來 invoke Base object 的 private foo method。
PolyTest 內存取的 Base::foo method 的部分皆是透過 syntheticInvokeFoo。
若是存取 private field 也是採類似的做法，唯會分別注入 getter/setter
兩個 method 來取代取/存 private field 的 expression。
後門部分沒有牽涉到 reflection。
※ 編輯: sbrhsieh 來自: 1.172.232.5 (12/29 16:40)
討論串 (同標題文章)