类模板不可特化非静态成员？如何按模板参数初始化不同大小const数组

方案1：C++17及以上版本（基于std::array + if constexpr） #

该方案无需拆分特化整个类，公共逻辑可以保留在主模板中，适配成本最低：

1. 首先定义编译期常量trait，对应不同模板参数的数组长度：

template<typename T> constexpr size_t ConfigParCount = 0;
template<> constexpr size_t ConfigParCount<T_a> = 2;
template<> constexpr size_t ConfigParCount<T_b> = 3;

2. 类实现如下：

#include <array>
#include <type_traits>

template<class T>
class A {
    const anotherObject& aO;
    const std::array<ConfigPar, ConfigParCount<T>> configPars;

    // 编译期构造数组内容，传入实例成员aO完成初始化
    static constexpr auto buildConfigPars(const anotherObject& obj) {
        if constexpr (std::is_same_v<T, T_a>) {
            return std::array{
                ConfigPar{obj.foo1, "bar1"},
                ConfigPar{obj.foo2, "bar2"}
            };
        } else if constexpr (std::is_same_v<T, T_b>) {
            return std::array{
                ConfigPar{obj.foo1, "bar1"},
                ConfigPar{obj.foo2, "bar2"},
                ConfigPar{obj.foo3, "bar3"}
            };
        }
        // 可添加静态断言限制仅允许T_a/T_b传入
        static_assert(std::is_same_v<T, T_a> || std::is_same_v<T, T_b>, "unsupported template parameter");
    }

public:
    explicit A(anotherObject& obj) : aO(obj), configPars(buildConfigPars(obj)) {}

    // 其余公共逻辑、方法直接在主模板中实现即可
};

std::array的内存布局、访问方式和原生数组完全一致，现有调用代码无需修改即可适配。

方案2：兼容C++14及更早版本（基于类模板全特化） #

如果需要兼容旧标准，可以直接对整个类模板做全特化，不同特化版本声明对应长度的原生数组成员：

// 主模板声明，可添加静态断言拦截非法参数
template<class T>
class A {
    static_assert(sizeof(T) == 0, "unsupported template parameter");
};

// T_a特化版本
template<>
class A<T_a> {
    const anotherObject& aO;
    const ConfigPar configPars[2];
public:
    explicit A(anotherObject& obj) : aO(obj), configPars{
        {obj.foo1, "bar1"},
        {obj.foo2, "bar2"}
    } {}

    // 公共方法实现
};

// T_b特化版本
template<>
class A<T_b> {
    const anotherObject& aO;
    const ConfigPar configPars[3];
public:
    explicit A(anotherObject& obj) : aO(obj), configPars{
        {obj.foo1, "bar1"},
        {obj.foo2, "bar2"},
        {obj.foo3, "bar3"}
    } {}

    // 公共方法实现
};

如果两个特化版本的公共逻辑较多，可以将公共部分抽离到独立基类中复用，避免代码冗余。

原方案失效原因说明 #

1. 成员特化方案：C++标准仅允许对类模板的静态成员做外显特化，非静态实例成员属于类实例内存布局的一部分，无法单独特化；同时数组内容依赖实例的aO成员，也无法将其改为静态成员。
2. 构造函数重载方案：你声明的const ConfigPar configPars[]属于C语言柔性数组成员语法，C++标准本身不支持该特性，即使编译器通过扩展兼容，数组大小也无法在类定义阶段确定，编译器默认将其识别为0长度数组，自然无法接受长度超过0的初始化列表。

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