C++构造函数内调用静态constexpr成员函数未返回常量表达式问题

constexpr函数的返回值是否为编译期常量，完全取决于调用时传入的实参是否符合常量表达式的要求：

• 你在构造函数外直接调用computeTotalSize时，传入的是SomeClass<1>()这类纯右值临时对象，在constexpr std::size_t totalSize的常量初始化语境下，这些临时对象属于常量表达式允许引用的范畴，且函数实现本身没有访问任何运行期状态，因此调用结果是合法的编译期常量。
• 在可变参数构造函数内部调用时，你传入的t、ts...是函数形参。C++标准明确规定，函数形参属于运行期对象，哪怕实参是编译期常量、哪怕函数逻辑完全不访问形参的值，在函数体内的常量求值语境（比如static_assert的判断条件）中，都不能引用这类值未知的函数参数，因此编译器会报错。

本质问题是你的computeTotalSize完全不需要访问参数实例，只依赖入参的静态类型信息，传实例参数本身就是冗余的。

直接把computeTotalSize改为纯基于类型计算的实现，构造函数中直接使用模板推导得到的类型参数调用，完全绕开运行期形参即可：

template<std::size_t SIZE_>
class SomeClass {
public:
    static constexpr std::size_t SIZE = SIZE_;

    // 无参数版本，直接通过类型取SIZE
    template <typename T>
    static constexpr std::size_t computeTotalSize() {
        return T::SIZE;
    }

    template <typename T, typename T2, typename... Ts>
    static constexpr std::size_t computeTotalSize() {
        return T::SIZE + computeTotalSize<T2, Ts...>();
    }

    SomeClass() = default;

    template <typename T, typename... Ts>
    SomeClass(const T& t, const Ts&... ts) {
        // 直接用推导到的模板类型计算，不依赖形参
        static_assert(computeTotalSize<T, Ts...>() == SIZE_, "Total size does not match target SIZE");
        // 其余业务逻辑
    }
};

修改后构造函数中的computeTotalSize调用全程只使用编译期已知的模板类型信息，没有任何对运行期形参的引用，static_assert可以正常在编译期完成校验，原有实例化写法也能正常编译通过。

内容的提问来源于stack exchange，提问作者Adel M.