问题描述
出于说明目的,我展示了两个小的,略有不同的模板化递归定义。一个使用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
)时,总是会造成麻烦。