Question

我的理解是constexpr类类型的全局变量几乎无法使用，因为

必须在每个TU中定义这样的对象，因为constexpr不允许对象的前向声明。
static的默认链接会导致内联函数命名对象（ODR使用与否）以违反ODR，因为相应的inline定义具有不同的含义。 / p>
声明为extern constexpr，如果对象是ODR使用的，则每个TU有一个定义会违反ODR规则，这在对其进行引用时会发生。
- 引用隐式this参数，即使它已被成员函数使用。
- 如果您尝试通过引用传递对象，则显然会发生这种情况。
- 如果您尝试按值传递对象，也会发生隐式使用复制或移动构造函数的问题，根据定义，它通过引用传递。
- 如果对象被声明为extern constexpr，即使没有使用ODR，GCC和Clang都会抱怨ODR违规（多个定义）。

这一切都正确吗？有没有办法让constexpr全局类类型而不将其包含在inline函数中？

Answer 1

全局constexpr变量可以使用一些宏魔法和众所周知的额外间接级别在头文件中安全地定义ODR

#define PP_GLOBAL_CONSTEXPR_VARIABLE(type, var, value)                   \
namespace var##detail {                                                  \
template<class = void>                                                   \
struct wrapper                                                           \
{                                                                        \
     static constexpr type var = value;                                  \
};                                                                       \
template<class T>                                                        \
constexpr type wrapper<T>::var;                                          \
}                                                                        \
namespace {                                                              \
auto const& var = var##detail::wrapper<>::var;                           \
}

宏在未命名的命名空间内提供引用到实现类模板中的对象实例。

标头内未命名的命名空间中的每个对象都会生成每个翻译单元中包含其标题的唯一实例。此外，为了防止ODR违规，重要的是对象在例如函数模板的多个实例是相同的。

然而，对于参考文献而言，它们具有不同的身份并不重要; 只要它们在实现中引用相同的对象实例班级模板。

您可以将此宏包装在标题中，并将其安全地包含在许多TU中而不会出现问题。

有关详细信息，请参阅Boost邮件列表中的以下讨论： http://lists.boost.org/Archives/boost/2007/06/123380.php

constexpr类的全球类型

1 个答案: