如何创建对对象的引用并使用条件运算符将其初始化为子对象 class？

Question

#include<iostream>

class A {
public:
    virtual bool isB() = 0;
};

class B : public A{
public:
    B() { }
    bool isB() {std::cout << " not B\n"; return true;}
};

class C : public A {
public:
    C() { }
    bool isB() {std::cout << " not B\n"; return false;}
};
int main() {
    B b;
    A& a = (b.isB()) ? a(B()) : a(C()); // here is the problem
}

我还尝试将其作为 static 转换为子 class 的指针，但它似乎也不起作用。 在实际代码中，myfunction 将 A 引用作为参数，条件取决于代码的其他部分。

Answer 1

如果我正确理解你的问题，你想创建一个B或一个C实例，具体取决于a.isB() ，其中a是对A的给定引用。 a可以引用B或C实例。

基于a创建B或C的实例很容易：

if (a.isB()) {
    B b;
} else {
    C c;
}

上面的代码不是很有用。 您希望有一个有效A&引用您刚刚创建的实例。 在 C++ 中，您不能同时创建A&和实例化派生的 object。 引用必须始终引用存在的东西。 所以你的代码无法工作。 此外，任何在 if 语句之后引用b或c的 A 引用都将是悬空引用：一旦退出任一分支的 scope，实例就会被破坏。

因此，您将不得不使用指针，最好是智能指针。 你可以写一个 function

std::unique_ptr<A> create(bool createB){
    if (createB) {
        return std::make_unique<B>();
    }
    else {
        return std::make_unique<C>();
    }
}

根据输入变量createB从B或C实例返回std::unique_ptr<A> 。

在您的代码中，您可以这样称呼它：

B b;
auto x = create(b.isB());
A& xref = *x;

请记住，变量x必须长于xref 。 否则xref是悬空引用，使用它是未定义的行为。

请注意， function 接受布尔值，而不是A const& 。 我个人更喜欢这种风格，因为签名std::unique_ptr<A> create(A const& a)没有正确传达意图。 我会对此感到困惑。 如果您有两个以上的派生类，您可以create接受一个枚举，其中每个值对应于一个派生的 class。

这是完整的代码： https://godbolt.org/z/EEqPMvhdE