运行时变量作为std::conditional条件致编译错误的解决方法咨询

你的问题核心在于std::conditional的模板参数要求是编译期常量表达式，但typeid(*base) == typeid(Derived1)的结果b是运行时才能确定的变量，所以编译器会报错。这里有几种可行的解决思路：

1. 用运行时分支分别处理（最直接） #

既然类型判断是运行时的，那就把转换和后续逻辑拆到if-else分支里：

#include <typeinfo>

// 假设base是Base*类型的指针
if (typeid(*base) == typeid(Derived1)) {
    Derived1* d1 = dynamic_cast<Derived1*>(base);
    // 在这里处理Derived1类型的对象
} else if (typeid(*base) == typeid(Derived2)) {
    Derived2* d2 = dynamic_cast<Derived2*>(base);
    // 在这里处理Derived2类型的对象
}

这种写法逻辑清晰，完全符合运行时类型判断的场景，也是实际开发中最常用的方式。

2. 利用多态特性避免显式类型转换（更符合OOP设计） #

如果你的需求是对不同派生类执行不同逻辑，最好的方式是给基类Base定义对应的虚函数，让Derived1和Derived2各自重写：

class Base {
public:
    virtual void doSomething() = 0;
    virtual ~Base() = default;
};

class Derived1 : public Base {
public:
    void doSomething() override {
        // Derived1的专属逻辑
    }
};

class Derived2 : public Base {
public:
    void doSomething() override {
        // Derived2的专属逻辑
    }
};

// 调用时直接用基类指针调用虚函数，无需类型转换
base->doSomething();

这种方式彻底避免了类型判断和强制转换，是多态设计的初衷，代码也更易维护。

3. 结合std::variant封装（适合需要统一返回类型的场景） #

如果需要把转换后的对象统一存储或传递，可以用std::variant来包装不同的派生类指针，通过运行时分支填充：

#include <variant>

std::variant<Derived1*, Derived2*> var;
if (typeid(*base) == typeid(Derived1)) {
    var = dynamic_cast<Derived1*>(base);
} else if (typeid(*base) == typeid(Derived2)) {
    var = dynamic_cast<Derived2*>(base);
}

// 后续可以用std::visit处理variant里的对象
std::visit([](auto* ptr) {
    // 根据ptr的实际类型执行逻辑
}, var);

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