Polymorphism的問題

linightz

#include <iostream>
    using namespace std;

    class A {
    public:
        A() : val(0) {}
        int val;
        void run() { cout << val; }
    };

    class B : public A {
    public:
        virtual void run() { cout << val + 2; }
...

瀏覽完整內容，請先 註冊 或 登入會員

johnwanz

個人解讀,
* virtual function 通常是指虛擬化的函式. 用意是執行中, 才知道真正要執行的函式是哪一個. 這是達成polymorphism的方式.
* 以 A *a = new C();來說明,
  就是實際上的C物件, 以A物件的角度來看待, C物件自己的東西都看不到. 其中virtual function因為執行中才連結, 因此可以執行到C物件的virtual function.

由於程式中的例子都只是代稱, 並沒辦法帶來實例上的意義供理解, 我只能稍作說明.
...

瀏覽完整內容，請先 註冊 或 登入會員

linightz

johnwanz 發表於 2016-4-13 09:10 AM

下載: 訪客無法瀏覽下載點，請先 註冊 或 登入會員

個人解讀,
* virtual function 通常是指虛擬化的函式. 用意是執行中, 才知道真正要執行的函式是哪一個. 這 ...

感謝回覆，不過我還是有點不懂
...

瀏覽完整內容，請先 註冊 或 登入會員

cockroachrun

1 .C++ 中virtual member function 主要是考量效能, 跟要達到OOP 的polymorphism 功能的產物
如果你的base class 中的某個member function 跟本不須要有polymorphism  考量, 就不須要用 virtual. 有polymorphism  才須要.
有些程式語言. 如java . 只要不是 private 跟static member function . 一律是 virtual


2. 由於C++ 是屬於 compiler 類的程式語言. 程式的一大堆簡查都是在compiler time 決定. 因此. 你的base class A 中的run 不是 virtual . 對compiler 來說. 他不是動態dynamic binding . 對一個變數是 A 的instance 通通是使用 static binding . 不管是 A a; A *a=new ....
...

瀏覽完整內容，請先 註冊 或 登入會員

gitlab

以這個例子來說，想請問當virtual不在base class而在derived class的時候，base class的同名function是會被derived class的override? 也就是說class B的run()會被class A的override嗎?

override 是針對 virtual function 的，
A::fun 是 non-virtual，A::fun() 和 B::fun() 之間沒有override的關係

還有就是實在搞不清楚像是A *a = new C(); 這樣a 指著的obj到底是class A還是class C?
當這個pointer被傳到Do，cast operator是當a是of class C還是A? 為何又要分static跟dynamic呢?

...

瀏覽完整內容，請先 註冊 或 登入會員

linightz

我應該有比較懂了 謝謝大家

建議把事情視覺化來看待
把它當作一個 struct, 裡面放些 value type 跟 function pointer

做出的 A 物件裡面有
--------
A::val
A::run()
--------

B 物件有
--------
A::val
A::run()
........
B::run()
--------

也就是 A 跟 B 的前段結構完全一樣, 都可以拿來當 A 結構使用
而 B 新定義出來的東西也都完整被新增到後面
...

瀏覽完整內容，請先 註冊 或 登入會員

linightz

inunu 發表於 2016-4-14 06:13 AM

下載: 訪客無法瀏覽下載點，請先 註冊 或 登入會員

建議把事情視覺化來看待
把它當作一個 struct, 裡面放些 value type 跟 function pointer

這樣有好懂多了，感謝!
所以說把C物件當A用是為了可以call A::run()也可以call C::run()是嗎?
...

瀏覽完整內容，請先 註冊 或 登入會員

caoh

C 是空的就不會有取代發生，所以會呼叫 B::run 沒錯.
既然 C 可以當成 A 來用，它會自動 cast 也就是前面大大說的 Upcast
因此不需要自己手動 cast 當然要也是可以只是多此一舉而已

自動向上轉型就是這種 dynamic polymorphism 的特色，但是只有指
標或 reference 可以成功，若傳的是物件，會發生 object slicing 變成
把 C 物件中 A 的子物件部分拷貝到 A，最後他就只是一個純 A 物件，指
...

瀏覽完整內容，請先 註冊 或 登入會員

所以說把C物件當A用是為了可以call A::run()也可以call C::run()是嗎?
那我用C *c = new C()再傳過去再cast成A也是一樣嗎?

對
一樣
總之就是 "我實際上是甚麼" 跟 "我被怎麼用" 的關係

然後是因為C是空的，B的virtual底下沒有了，所以B跟C的物件都還是叫B::run()是吧

對, 因為你的 C 裡沒取代 run()
...

瀏覽完整內容，請先 註冊 或 登入會員

linightz

我了解了 感激不盡

snowflying

inunu 發表於 2016-4-14 07:26 PM

下載: 訪客無法瀏覽下載點，請先 註冊 或 登入會員

對
一樣
總之就是 "我實際上是甚麼" 跟 "我被怎麼用" 的關係

...

瀏覽完整內容，請先 註冊 或 登入會員