为什么 constexpr 静态成员（类型为类）需要定义？

==> 查看完整的代码片段和编译coliru http://coliru.stacked-crooked.com/a/e6ebe0ef8a87b601.

我有一个文字类型 http://en.cppreference.com/w/cpp/concept/LiteralType班级填充constexpr要求 http://en.cppreference.com/w/cpp/language/constexpr:

struct MyString
{
    constexpr MyString(char const* p, int s) : ptr(p), sz(s) {}
    constexpr char const* data() const { return ptr; }
    constexpr int         size() const { return sz;  }

    char const *ptr = 0;
    int  const  sz  = 0;
};

我用它作为constexpr static http://en.cppreference.com/w/cpp/language/static#Constant_static_members成员变量：

struct Foo
{
    int size() { return str_.size(); }

    constexpr static MyString str_{"ABC",3};
};

int main()
{
  Foo foo;
  return ! foo.size();
}

But the linker says:
^{(Clang-3.5 and GCC-4.9)}

undefined reference to `Foo::str_'

I have to define the constexpr static member!
^{(I do not specify the constructor parameters)}

constexpr MyString Foo::str_;

然而，如果constexpr static成员曾是int该成员不必在类定义之外定义。这是我的理解，但我不确定......

问题：

• Why int不需要在类声明之外定义，但是MyString需要这个吗？
• 定义一个有什么缺点吗？constexpr static头文件中的成员？
  （我仅提供我的库作为头文件）

The 一个定义规则 http://en.wikipedia.org/wiki/One_Definition_Rule告诉我们，我们不能对一个事物有多个定义odr-used http://en.cppreference.com/w/cpp/language/definition程序中的变量。因此，如果变量是 odr 使用的，那么您需要定义它，但不能在头文件中定义它，因为它可能会在整个程序中多次包含。 Odr 使用违规不需要诊断消息，因此您可以违反此规则，编译器没有义务通知您。

在你的情况下，你确实在使用odrstr_，并且您不能在头文件中包含该定义，因为这会违反一次定义规则，因为它可以在程序中包含多次。

有趣的是，如果您执行了以下操作，它就不会被 ODR 使用：

return str_.size_;

因此，您不需要定义变量，在某些示例中这可能会产生一些奇怪的后果 https://stackoverflow.com/q/28506342/1708801。我怀疑这真的能长期解决你的问题。

C++ 标准草案部分涵盖了 ODR 规则3.2他们说：

名称显示为潜在计算表达式的变量 x ex 是 odr 使用的，除非应用左值到右值转换 (4.1) to x 产生一个常量表达式 (5.19)，它不调用任何 非平凡函数，如果 x 是一个对象，则 ex 是 表达式 e 的潜在结果集，其中 左值到右值转换 (4.1) 应用于 e，或者 e 是 丢弃值表达式（第 5 条）。如果出现则表示已使用 ODR 作为潜在评估的表达式（包括作为 非静态成员函数体内的隐式转换 (9.3.1)).[...]

So str_产生一个常量表达式，左值到右值的转换不应用于该表达式str_.size()并且它不是一个被丢弃的值表达式，因此它是 odr 使用的，因此str_是需要定义的。

另一方面，左值到右值的转换应用于表达式str_.size_，所以它不是 odr 使用的，也不需要str_被定义为。