通过间接模板参数隐式选择数组元素类型与大小

你可以通过类型萃取或者模板特化实现需求，不需要额外传入模板参数。

方法一：用std::conditional和constexpr直接推导 #

利用C17的std::conditional_t（C11可用std::conditional::type）根据N推导数组元素类型，结合constexpr变量确定数组大小，统一声明成员变量：

#include <array>
#include <type_traits>

struct A {};
struct B {};

template <size_t N>
class C 
{
private:
    // 根据N推导元素类型
    using ArrayElement = std::conditional_t<N <= 5, A, B>;
    // 根据N推导数组大小
    static constexpr size_t ArraySize = N <= 5 ? 20 : 80;
public:
    std::array<ArrayElement, ArraySize> _array;
};

// 测试用例
int main() {
    C<3> c1; // _array是std::array<A,20>
    C<6> c2; // _array是std::array<B,80>
    return 0;
}

方法二：模板特化 #

如果需要更复杂的分支逻辑，可通过类模板特化分别定义不同N范围下的类成员：

#include <array>

struct A {};
struct B {};

// 主模板声明
template <size_t N>
class C;

// C++20特化写法（用requires约束）
template <size_t N>
requires (N <= 5)
class C<N>
{
public:
    std::array<A, 20> _array;
};

template <size_t N>
requires (N > 5)
class C<N>
{
public:
    std::array<B, 80> _array;
};

// 测试用例
int main() {
    C<3> c1;
    C<6> c2;
    return 0;
}

如果使用C++17及更早版本，可改用std::enable_if实现特化：

template <size_t N>
class C;

template <size_t N>
class C<std::enable_if_t<N <= 5, size_t>>
{
public:
    std::array<A, 20> _array;
};

template <size_t N>
class C<std::enable_if_t<N > 5, size_t>>
{
public:
    std::array<B, 80> _array;
};

原代码if constexpr失效的原因 #

if constexpr仅能在函数体内部用于条件执行代码，无法在类的成员声明阶段选择性定义成员变量——类的成员必须在编译时就确定完整声明，不能依赖分支动态生成。

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