C++三目运算符操作数类型不同如何解决？抽象基类初始化场景

operands to ?: have different types: int and std::string.
三目运算符语法要求两个分支的返回值必须支持隐式转换到同一个公共类型，而int和std::string不存在可转换的公共类型，因此直接在初始化列表中写三目表达式会编译失败。

采用标签派发+委派构造函数的组合方案，完全符合所有约束要求，无冗余代码，运行时零额外开销，兼容C++11及以上标准。

完整可运行代码 #

#include <iostream>
#include <string>

struct Base
{
    Base(int)
    {
        std::cout << "int\n";
    }

    Base(std::string)
    {
        std::cout << "string\n";
    }
    virtual void foo() = 0; // 抽象类要求
};

struct S : Base
{
    // 公有对外构造，接收运行时bool参数
    S(bool b) : S(b ? S(IntTag{}) : S(StringTag{})) {}

    void foo() override {} // 实现基类纯虚函数，保证S可实例化

private:
    // 两个空标签类型，仅用于区分重载构造，无运行时开销
    struct IntTag {};
    struct StringTag {};

    // 私有委派构造，分别调用对应版本的Base构造
    S(IntTag) : Base(int{}) {}
    S(StringTag) : Base(std::string{}) {}
};

int main()
{
    S(true);  // 输出int
    S(false); // 输出string
    return 0;
}

方案说明 #

• 所有Base类初始化逻辑都在成员初始化列表中完成，满足不能在构造函数体内初始化Base的约束
• 不需要修改Base类，所有逻辑都封装在S内部，不会对其他派生类产生影响
• 没有使用被排除的IIFE、外部辅助函数、模板编译期参数方案
• 空标签类型无任何运行时开销，性能和直接调用构造函数完全一致

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