找出多态类型的C++指针是如何工作的？

在Windows上的Visual Studio编译器我有这样的代码：找出多态类型的C++指针是如何工作的？

#include <iostream> 
#include <string> 

class A 
{ 
public: 
    A() : m_i(0) { } 

protected: 
    int m_i; 
}; 

class B 
{ 
public: 
    B() : m_d(0.0) { } 

protected: 
    double m_d; 
}; 

class C : public A, public B 
{ 
public: 
    C() : m_c('a') { } 
private: 
    char m_c; 
}; 

int main() 
{ 
    C c; 
    A *pa = &c; 
    B *pb = &c; 

    std::cout << "&c address: " << &c << std::endl; 
    std::cout << "pa address: " << pa << std::endl; 
    std::cout << "pb address: " << pb << std::endl; 

    bool paSame(pa == &c); 
    bool pbSame = (pb == &c); 
    bool pbpaSame = (reinterpret_cast<char*>(pa) == reinterpret_cast<char*>(pb)); 

    std::cout << std::endl; 
    std::cout << "paSame: " << paSame << std::endl; 
    std::cout << "pbSame: " << pbSame << std::endl; 
    std::cout << "pbpaSame: " << pbpaSame << std::endl; 

    return 0; 
}

现在，在我的电脑当我运行它，我得到这个输出：

&c address: 0084FAA4 
pa address: 0084FAA4 
pb address: 0084FAAC 

paSame: 1 
pbSame: 1 
pbpaSame: 0

为什么PA相同的& c和地址，是因为在内存中的对象布局中，A的数据最先出现？

我明白为什么pb被偏移8个字节，因为它指向该类型的对象中的内存部分。打印出来的指针是不同的，但是这条线仍然评估为真：

bool pbSame = (pb == &c);

这是为什么？它是有道理的，因为它们是同一个对象，但是这个规则是什么？由于下一行（如预期的比较pa和pb的指针）显示指针是不同的。

来源

2014-09-28 Chanakya

这里没有多态类型。 – 2014-09-28 19:49:54

由于自动转换规则，表达式(pb == &c)的计算结果为true。在进行比较之前，将&c转换为B*，其指向c的B部分。

从C++标准草案N3337：

4.10指针转换

3类型的prvalue“指针CVD”，其中D是一个类型，可被转化到“指向cvB”的指针的预值，其中B是D的基类（条款10）。如果B是D不可访问（第11章）或模糊（10.2）基类，则需要此转换的程序不合格。转换的结果是一个指向派生类对象的基类子对象的指针。

来源

2014-09-28 19:54:56

无法理解/阅读它：我了解到，它的说法是指针可以在从派生类到基类的情况下自动转换，但在比较表达式中，不会从基类转到派生类（这可能是错误的）对于自动转换会是一个奇怪的选择？ – Chanakya 2014-09-28 20:15:01

@Chanakya，'＆c'的类型是'C *'，它在比较之前转换为'B *'。它从派生类型指针自动转换为基类型指针。 – 2014-09-28 20:23:33

找出多态类型的C++指针是如何工作的？

回答

相关问题