静态constexpr成员函数在构造函数中调用它时不会返回constexpr值

Question

我有一个模板类，该类具有一个变异的构造函数，可以对其进行专业化。看起来（基本上）：

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

    template<typename T>
    static constexpr std::size_t computeTotalSize(const T& t) {
        return T::SIZE;
    }

    template <typename T, typename... Ts>
    static constexpr std::size_t computeTotalSize(const T& t, const Ts&... ts) {
        return computeTotalSize(t) + computeTotalSize(ts...);
    }

    SomeClass() = default;

    template <typename T, typename... Ts>
    SomeClass(const T& t, const Ts&... ts) {
        static_assert(computeTotalSize(t, ts...) == SOME_NUMBER, "SOME_MESSAGE");
        // some other stuff
    }
};

现在我尝试实例化someClass＆lt; some_number＆gt;：

SomeClass<SOME_NUMBER> someObject((SomeClass<1>()), (SomeClass<2>()), (SomeClass<3>()));

我得到以下错误：

error: constexpr variable 'totalSize' must be initialized by a constant expression
note: function parameter 't' with unknown value cannot be used in a constant expression

我希望这可以正常工作，因为我已经声明了coce> compertotalsize函数AS constexpr和所有参数的类型在编译时已知。

我发现，如果我直接调用Computotalsize函数，则可以正常工作。例如，以下编译：

constexpr std::size_t totalSize = SomeClass<SOME_NUMBER>::computeTotalSize((SomeClass<1>()), (SomeClass<2>()), (SomeClass<3>()));

为什么仅在第二种情况下返回constexpr？我该如何使其在构造函​​数中工作？

Answer 1

问题是，即使模板参数命名t是A 常数表达式函数参数命名t isn' t。

而且，由于t不是常数表达式，它不能在您试图在错误中使用的constexpr上下文中使用：

function parameter 't' with unknown value cannot be used in a constant expression