如何用条件运算符创建对象引用并初始化为子类实例

首先看你代码里的核心问题：

1. 语法错误：a(B()) 是非法写法，a 此时还未完成初始化，不能当作函数调用。
2. 临时对象绑定限制：B() 和 C() 是临时对象，C++不允许将非const左值引用绑定到临时对象。
3. 悬空引用风险：就算强行绑定，临时对象会在表达式结束后立即销毁，后续使用引用会导致未定义行为。

结合你需要给myfunction传递A类型引用的需求，以下是几种可行的实现方式：

方案1：局部对象+条件选择引用 #

如果对象的生命周期只需要覆盖当前作用域，直接创建局部的B和C对象，再根据条件选择引用：

#include<iostream>

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

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

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

void myfunction(A& a) {
    // 示例逻辑：调用isB并输出结果
    std::cout << "myfunction: isB = " << std::boolalpha << a.isB() << "\n";
}

int main() {
    // 模拟实际业务的判断条件
    bool needB = true; // 这里可以替换为你的实际逻辑

    // 创建局部对象，确保生命周期覆盖引用的使用
    B b_inst;
    C c_inst;
    A& target = needB ? static_cast<A&>(b_inst) : static_cast<A&>(c_inst);
    
    myfunction(target);
}

这种方式不需要动态分配内存，避免了内存泄漏风险，适合短生命周期的对象场景。

方案2：智能指针管理动态对象 #

如果对象需要在当前作用域外继续存在，用智能指针管理动态创建的对象，再通过解引用传递引用：

#include<iostream>
#include<memory> // 引入智能指针头文件

// 类定义同方案1，省略...

void myfunction(A& a) {
    std::cout << "myfunction: isB = " << std::boolalpha << a.isB() << "\n";
}

int main() {
    bool needB = false; // 模拟判断条件

    // 用unique_ptr自动管理内存，避免手动delete
    std::unique_ptr<A> obj_ptr = needB ? std::make_unique<B>() : std::make_unique<C>();
    
    myfunction(*obj_ptr);
}

std::unique_ptr会在离开作用域时自动释放对象，完全避免内存泄漏，适合需要长期存在的对象。

方案3：const引用绑定临时对象（仅限myfunction支持const参数） #

如果myfunction可以接收const A&类型的参数，直接用临时对象绑定到const引用即可，临时对象的生命周期会延长到const引用的生命周期结束：

#include<iostream>

// 类定义同方案1，省略...

void myfunction(const A& a) {
    std::cout << "myfunction: isB = " << std::boolalpha << a.isB() << "\n";
}

int main() {
    bool needB = true;

    // 直接绑定临时对象到const引用
    const A& target = needB ? static_cast<const A&>(B()) : static_cast<const A&>(C());
    
    myfunction(target);
}

注意：这种方式仅适用于myfunction不需要修改对象的场景，因为const引用无法调用非const成员函数。

另外，原代码里B::isB()的输出和返回值矛盾（返回true却输出"not B"），建议修正为逻辑一致的实现，避免混淆。

内容的提问来源于stack exchange，提问作者Bartemnius