CRTP / 宏 / 避免转换派生类的指针

Question

最近我一直在从事一些项目，但问题是我们遇到了需要能够做这样的事情的情况。

#define TYPED(Type) \
    virtual Type *typedThis() const { return (Type*) this; }

class A {
public: 
TYPED(A)
virtual void describe() { std::cout << "I am type A\n"; }
static int x;
};

int A::x = 1;

class B : public A {
public: 
TYPED(B) 
virtual void describe() { std::cout << "I am type B\n"; }
static int x;
};

int B::x = 2;

int
main(int argc, char** argv)
{
    B* b = new B();
    A* b2 = b;

    b->describe();
    b2->describe();

    std::cout << b->typedThis()->x << std::endl;
    std::cout << b2->typedThis()->x << std::endl; // AQUI DEBERIA DAR 2 !! :c
}

这当然只是一个玩具示例。我们想要做的基本想法是定义一个函数 typedThis()，它将指针转换为正确的类型，然后访问正确的变量 x，并打印出 2 而不是 1。

但是，输出如下：

I am type B
I am type B
2
1 //Here should also be 2

我发现真正有趣的是虚方法 describe() 似乎按照我们想要的方式工作。因此，我可以推断 typedThis() 方法也可以按照我们希望的方式工作。但如果是这样，为什么 C++ 将此指针视为 A* 而不是 B*。如果 C++ 将此指针视为 B*，那么它将使用正确的变量 x。 谁能给我解释一下？

我尝试使用 CRTP，但我不觉得这会使事情变得更容易，因为在项目中我们将使用很多（很多）不同的类，它们不断地在它们之间派生，我看到了一些关于如何在具有多重继承时使用 CRTP，但是它们确实很混乱，很难与我们目前所拥有的集成。

Answer 1

我消除了示例中的所有干扰：

class A {
public: 
    virtual A *typedThis() const { return (A*) this; }
    static int x = 1;
};

class B : public A {
public: 
    virtual B *typedThis() const { return (B*) this; }
    static int x = 2;
};

int main()
{
    B* b1 = new B;
    A* b2 = b1;

    std::cout << b1->typedThis()->x << "\n";
    std::cout << b2->typedThis()->x << "\n";
}

typedThis 不做任何事情。

b1->typedThis() 返回指向 B 的 B*。

同样，b1 本身是一个 B*，它指向一个 B。

b2->typedThis() 返回一个指向B 的A*。

同样，b2 本身是一个 A*，它指向一个 B。

所以b1->typedThis()与b1相同，b2->typedThis()与b2相同，示例的最后两行等价于：

    std::cout << b1->x << "\n";
    std::cout << b2->x << "\n";

还请注意，您的 C 样式转换会丢弃对象的 const 限定符。