推 dreamboat66: 謝謝你 我大概了解了 多了一些認識 10/06 21:52
※ 編輯: PkmX (140.113.193.217), 10/06/2017 22:29:56
推 dreamboat66: 所以不做static_cast<a&>(x).f() ,直接使用x.f()會am 10/08 02:44
→ dreamboat66: biguity? 10/08 02:44
→ PkmX: 會 因為 c 裡面有兩份 f() 10/08 02:51
居然沒人回
※ 引述《dreamboat66 (小嫩)》之銘言：
: 以下是我的測試程式
: https://ideone.com/B9vCuB
: 這是main函數 想逐步詢問一些觀念是否有誤
: int main() {
: C* ptr = new C;
: cout << "((A*)ptr):" << ((A*)ptr) << endl;
: // 這邊會有一個sizeof(void*)的offset差距是因為 C中其實含有A::和B::vptr
: // 他必須shift一個offset到&B::vptr?
: cout << "((B*)ptr):" << ((B*)ptr) << endl;
基本上這是實做的細節，但原因基本上就是因為 C 裡面有 A 和 B 的 vtbl 的 pointer
: ptr->A::Test(1);
: // 這邊我指定B:: 所以她也是要從 "&B::vptr" 開始, 所以this 有shift offset?
: ptr->B::Test(2.2f);
如果 member function 有 qualification，
這樣是直接指定要呼叫 B::Test，把 ptr 從 C* 轉成 B* 當作 this 傳入，
並不會有 dynamic dispatch 的功能
: ((A*)ptr)->Test(1);
: //這邊我不太能理解 他為什麼能夠把this "退回" 到 ptr 而不是 (B*)ptr?
: ((B*)ptr)->Test(2.2f);
這就跟你寫 B* b = ptr; b->Test(0.0f); 一樣的道理
: //刻意轉成void*
: void* ptrA = ((A*)ptr);
: void* ptrB = ((B*)ptr);
: ((A*)ptrA)->Test(1);
: // 我可以解讀說 他在B::vptr指向的vtable中找Test 是C::有override
: // 所以她知道要"退回"到ptr?
: ((B*)ptrB)->Test(2.2f);
你這邊等於先用 static_cast 把 C* 變成 B*，
再用 reinterpret_cast 將 B* 轉成 void*，
然後再用一次 reinterpret_cast 將 void* 轉成 B*，
後面兩個基本上是抵銷掉沒有用處的，
所以這個例子和上面的 ((B*) ptr)->Test(2.2f) 一樣
: // 這邊故意寫錯, 是不是就讓他去A::vptr裡面找錯vtable所以Test就走到
: // A::Test(int)被C::Test給override的版本?
: ((B*)ptrA)->Test(2.2f);
C* -> B* -> void* -> A* 的最後一個 reinterpret_cast 是 undefined behavior (UB)
: // 這邊我只是想要確認一下override 兩個不相干卻同名字的virtual function
: // 是不是A::Same跟B::Same同時都會被override 並且也沒有寫法能夠讓他們走
: // 不同的實作?
: // 如果觀念沒錯 是不是 A::vptr 和B::vptr 所指向的vtable裡面分別都有
: // Same的entry(想確定是不是有兩份override)
是的，如果要 override 相同 signature 的函式但是不同實做，有一個方法：
struct a { virtual int f() = 0; };
struct b { virtual int f() = 0; };
struct a_impl : a { virtual int f() override { return 1; } };
struct b_impl : b { virtual int f() override { return 2; } };
struct c : a_impl, b_impl {};
c x;
static_cast<a&>(x).f(); // 1
static_cast<b&>(x).f(); // 2
: ((A*)ptrA)->Same();
: ((B*)ptrB)->Same();
: ((B*)ptrA)->Same();
最後這個是 UB，原因同上
: ptr->Same();
: return 0;
: }
: 以上是我自己解讀的, 如果有錯誤, 請各位矯正一下觀念
: 謝謝
大guy就是這樣
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.113.193.217
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1507293958.A.01D.html