C++ 17 元编程递归结构 : enum or constexpr

Question

出于说明目的，我展示了两个小的、略有不同的模板化递归定义。一个使用 enum其他用途static constexpr定义一个值。
我检查了两个程序的输出程序集，它们完全相同，并且在语义上它们看起来也相同。
我想 constexpr可能更现代一些，但是使用 enum 之间有什么区别吗？/static constexpr ，或者是否有任何特定用例的差异真的很重要？

// using enum
template<uint64_t N>
struct Sum {
    enum : uint64_t { value = N + Sum<N - 1>::value };
};

template<>
struct Sum<0> {
    enum : uint64_t { value = 1 };
};

// using static constexpr
template<uint64_t N>
struct Sum {
    static constexpr uint64_t value = N + Sum<N - 1>::value;
};

template<>
struct Sum<0> {
    static constexpr uint64_t value = 1;
};

提取值:

#define sum(n) (Sum<n>::value)

Answer 1

最显着的区别(因为 C++17 避免了对静态数据成员的类外定义的需要)是枚举器被实例化 沿使用包含类，而静态数据成员仅在 时才被实例化需要 . (但是请注意，至少 MSVC 并不总是正确地推迟它们。)
当您有几个这样的常量并且其中一些仅对某些专业有意义时，这很重要。 错误 在像 T::maybe_exists 这样的初始化程序中不会通过在静态数据成员案例中实例化类来触发。