C ++ 17元编程递归结构：枚举或constexpr

如何解决C ++ 17元编程递归结构：枚举或constexpr

出于说明目的，我展示了两个小的，略有不同的模板化递归定义。一个使用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)

解决方法

最大的区别（因为C ++ 17避免了对静态数据成员的类外定义的需要），枚举器与包含类一起实例化，而静态的仅在需要时实例化数据成员。 （不过请注意，至少MSVC并不总是正确地延迟它们。）

当您有几个这样的常数，而其中一些常数仅对某些专业有意义时，这才很重要。在静态数据成员的情况下，实例化该类不会触发诸如T::maybe_exists之类的初始化程序中的错误。

,

另一个区别：大约ODR-used。

就像@Igor Tandetnik所说的那样，当您使用&Sum<0>::value时，只有在value是static constexpr变量的情况下才起作用。这是因为value是枚举数的文字，而不是变量。但请注意，&value是 ODR使用的，它要求value在某处具有一个并且只有一个定义。因此，您必须在uint64_t const Sum<0>::value;处声明XXX.cpp来提供定义，然后才在C ++ 17之前（static constexpr变量隐含在C ++ 17之后的inline变量中， inline变量在翻译单元中可以有多个定义。

也许您认为“我完全不会使用&value”。但您会遇到另一种麻烦：uint64_t const& a = value，它也是 ODR使用的。对于枚举数，其生存期将通过引用延长（如reference initialization）。但是static constexpr变量将不需要并且不需要定义，就像使用&value一样。当您使用通过引用传递的某些功能（例如std::find）时，总是会造成麻烦。