如何基于编译期条件用对应类型已构造对象初始化变量？

你的代码编译失败的核心原因是：三元运算符要求两个分支的类型必须能转换为同一个公共类型，但A和B既没有定义相互转换规则，拷贝构造又被显式删除，因此无法满足三元运算符的类型要求。

由于cond是编译期常量（constexpr），我们可以利用C++17引入的if constexpr实现编译期分支选择，编译器只会实例化选中的分支代码，完全避开类型不兼容的问题：

#include <type_traits>

struct A { A() {} A(A const&) = delete; };
struct B { B() {} B(B const&) = delete; };

int main()
{
    static bool constexpr cond = false;

    [[maybe_unused]]
    A a;
    [[maybe_unused]]
    B b;

    // 方式1：分分支初始化
    if constexpr (cond) {
        std::conditional_t<cond, A, B> c = std::move(a);
        // 此处c的类型为A，可直接使用
    } else {
        std::conditional_t<cond, A, B> c = std::move(b);
        // 此处c的类型为B，可直接使用
    }

    // 方式2：用编译期lambda简化为一行
    std::conditional_t<cond, A, B> c = []{
        if constexpr (cond) return std::move(a);
        else return std::move(b);
    }();

    return 0;
}

关键说明 #

1. if constexpr的作用：编译时会直接丢弃未选中的分支，不会触发对A/B类型的非法操作（比如尝试转换或拷贝）。
2. std::move的必要性：因为A和B的拷贝构造被删除，需要通过移动构造转移对象资源（若未显式删除移动构造，编译器会自动生成默认版本）。
3. 类型一致性：std::conditional_t<cond, A, B>会在编译期确定最终类型，和if constexpr的分支选择完全匹配，确保c的类型符合预期。

如果不需要转移对象所有权，仅需引用原对象，也可以将c定义为引用类型：

std::conditional_t<cond, A&, B&> c = cond ? a : b;

这种方式无需移动，直接绑定到原对象，但要保证引用的生命周期与原对象一致。

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