关于使用编译期三元表达式（Compile time ternary expression）解决零大小数组编译错误的技术咨询

嘿，这个问题我之前在写C++模板代码的时候也踩过类似的坑，咱们来好好捋清楚怎么解决～

首先得明确你的核心问题：当Foo没有传入任何模板参数时，sizeof...(Types)会得到0，导致EntityInfo<0>里的int indices[0]触发零大小数组的编译错误——毕竟C++标准里零大小数组属于未定义行为，大部分编译器都会直接报错拦下来。你想通过编译期判断，在num_components为0时把数组大小改成1，这个思路完全是对的，只是你写的三元表达式语法有点小问题。

方案一：修正编译期三元表达式的写法 #

你原来的三元表达式写反了?和:的位置，正确的编译期三元运算符语法是条件 ? 满足条件的值 : 不满足条件的值。直接修正后代码就能正常工作，因为模板参数num_components是编译期常量，整个三元表达式的结果也会在编译期计算出来：

template <int num_components>
struct EntityInfo {
    // 当num_components为0时用1，否则用原数值
    int indices[num_components == 0 ? 1 : num_components];
};

template <typename ... Types>
struct Foo {
    EntityInfo<sizeof ... (Types)> info;
};

// 现在测试无模板参数的情况，不会再报错
Foo<> foo;

方案二：用constexpr函数封装逻辑（更可读） #

如果以后你可能需要调整这个“0值替换规则”，或者想让代码更清晰，可以把数组大小的判断逻辑封装成一个constexpr函数——它同样是编译期执行的：

// 编译期函数：确保返回合法的数组大小
constexpr int get_valid_array_size(int size) {
    return size == 0 ? 1 : size;
}

template <int num_components>
struct EntityInfo {
    int indices[get_valid_array_size(num_components)];
};

template <typename ... Types>
struct Foo {
    EntityInfo<sizeof ... (Types)> info;
};

这种方式的好处是逻辑复用，比如哪天你想把0时的数组大小改成2，只需要修改这个函数就行，不用去改每个用到数组的地方。

方案三：模板特化（扩展性最强） #

如果以后你需要对num_components=0的情况做更多特殊处理（比如加额外的成员变量、修改其他逻辑），用模板特化会是更灵活的选择：

// 通用版本：适用于num_components>0的情况
template <int num_components>
struct EntityInfo {
    int indices[num_components];
};

// 针对num_components=0的特化版本
template <>
struct EntityInfo<0> {
    int indices[1];
    // 这里还可以加其他专属成员或逻辑
};

template <typename ... Types>
struct Foo {
    EntityInfo<sizeof ... (Types)> info;
};

这种方式相当于给0值情况单独写了一个结构体实现，自由度最高。

总的来说，你的核心思路完全没问题，只要把三元表达式的语法修正，就能解决编译错误；另外两种方案则是在可读性和扩展性上做了优化，你可以根据自己的实际需求来选。

内容来源于stack exchange