作者birdy1147 (Allen)
看板java
标题[问题] 多型的概念
时间Thu Apr 14 13:08:26 2016
class Father{
String name = "Father";
String getname(){
return name;
}
String greeting(){
return "class Father";
}
}
class Son extends Father{
String name= "Son";
String greeting(){
return "class Son";
}
}
public class Polymorphism{
public static void main(String[] args){
Father fa = new Son();
System.out.print(fa.greeting()+", ");
System.out.print(fa.name+", ");
System.out.println(fa.getname());
}
}
请问以上的程式执行结果
第一个print为class Son
没问题。因为覆写
第三个print为Father
没问题。因为父类别中才有这个方法
第二个我不懂
为什麽结果是Father 而不是Son呢？
最後实际执行的实体
不是new Son( ); 吗？
怎麽理解，感谢
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 111.70.24.157
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/java/M.1460610509.A.EAE.html
1F：推 snowlike: 先不论怎麽理解，第二个和第三个如果不同实际上更奇怪04/14 14:06
2F：→ snowlike: name 实际上有两个只是 son 里的 name 产生了遮蔽的效果04/14 14:07
所以我不懂的是，
son 里的 name 产生了遮蔽的效果，那为什麽结果不是Son，而是Fathe
r呢？
因为我理解不过来，所以不懂哪里奇怪
3F：→ bitlife: docs.oracle.com/javase/specs/jls/se7/html/jls-4.html04/14 14:14
4F：→ bitlife: The Java programming language is a statically typed04/14 14:14
5F：→ bitlife: language, which means that every variable and every04/14 14:14
6F：→ bitlife: expression has a type that is known at compile time.04/14 14:14
意思是说在编译时期型态为Father
但之後实际执行的不是Son吗？
※ 编辑: birdy1147 (111.70.24.157), 04/14/2016 14:38:04
7F：推 snowlike: 因为你看的是 Fa 的 name，会提遮蔽就是因为非继承关系04/14 14:51
8F：→ snowlike: 楼上是 Fa 和 So 的变数都存在的意思不用再往继承思考04/14 14:56
抱歉...我还是没有懂
greeting因为覆写所以是class Son
那麽Son的name不是也遮蔽了father的name吗？
那第二个为什麽不是Son?
※ 编辑: birdy1147 (111.70.24.157), 04/14/2016 15:10:45
9F：→ bitlife: 不是告诉你在compile time就确定型别了吗? 04/14 15:58
10F：→ bitlife: ^variable 04/14 15:59
11F：→ ntuarthur: virtual method table 04/14 16:07
12F：→ bitlife: 多型和确定型本身就是相反的概念,多型是在执行时期为了确 04/14 22:14
13F：→ bitlife: 定要使用那个method,所以需要确定执行时期的型别,而field 04/14 22:15
14F：→ bitlife: 的存取,在编译时期就决定了要存取哪个型别的某个field 04/14 22:16
15F：→ bitlife: 要存取name,所以fa在编译时期就确定了它是Father型别 04/14 22:17
16F：→ bitlife: 那个fa = new Son(); 是人类望文生义理解它实际会是Son, 04/14 22:18
17F：→ bitlife: 但compile time没有这个资讯(别期待编译器像人一样「懂」 04/14 22:19
18F：→ bitlife: ),如果你是写 Father fa = someFunction() 呢,不把整个程 04/14 22:19
19F：→ bitlife: 式实际跑一遍是不可能在compile time知道的.总之,多型是 04/14 22:20
20F：→ bitlife: 到run time再查真实型别以执行对应该执行的method 04/14 22:21
21F：→ bitlife: 实务则用virtual function/method table来做,把问题提早 04/14 22:22
22F：→ bitlife: 到编译时期即可解决,但field不能这样干,因为field如前面 04/14 22:22
23F：→ bitlife: 所说,不是pure virtual,只是被子代遮掉,实际上有两份, 04/14 22:23
24F：→ bitlife: pure virtual function在virtual function/method table 04/14 22:23
25F：→ bitlife: 中,子代的method会盖掉亲代的method 04/14 22:24
26F：→ bitlife: 更正,上面的pure都去掉,和pure与否无关(C++的virutal在 04/14 22:27
27F：→ bitlife: Java是预设,而C++的pure virtaul变成了Java的virutal,我 04/14 22:28
28F：→ bitlife: 写的时候一直想着C++的实务,才多写pure 04/14 22:28
29F：推 bitlife: abstract XD 04/14 22:31
30F：→ ntuarthur: 楼上乾脆回一篇比较好读。或者就给他key word XD 04/15 15:41