C++17 之前/之后的 constexpr 静态成员

Question

据我所知，一个很常见的情况是这样的

template<int i> class Class
{
public:
    static constexpr int I = i;
    static constexpr int J = constexprFunction(i);
    // further Class implementation
};

几乎和我一样常见的错误是（事实上，我在这里的大部分问题都是因为我忘记了它并且不知道正确的问题是什么）如果成员被 odr-used 忘记了附加定义：

template<int i> constexpr int Class<i>::I;
template<int i> constexpr int Class<i>::J;

现在我读到了cppreference: Definitions and ODR 和cppreference: static members，它们声明这对于 C++17 已弃用。这对我来说似乎很棒，因为它避免了很多错误。但是还有其他问题：

1) 除了使附加定义无用之外，这种变化还有其他原因吗？ （另请参阅此问题的最后一段）

2) 在cppreference: static members 的最后一个示例中，它似乎也适用于const static 成员-但规则仅声明constexpr 成员。是否适用于const static 会员？

3) 我发现的所有示例都使用了像 Class::I 这样的简单定义 - 这是否也适用于 Class:J 的情况以及 constexpr 函数？

简要说明 C++17 之前和 C++17 的最佳实践是什么。总而言之，这对我来说似乎是一个非常棘手的变化，因为它会使很多以前“格式错误的非诊断要求”的代码变成好的代码（据我所知......）。因此，将产生代码，使用旧的（17 之前的）编译器仍然是“格式错误的非诊断要求” - 但只要不需要使用 odr，这些都不会抱怨。

编辑：更正了 Aaron McDaid 建议的文字。

Answer 1

此更改是由于内联变量提案 (P0386)。 static constexpr 将暗示 inline，使定义变得多余。

在附件 D 中，添加一个新的子条款，“静态 constexpr 数据成员的重新声明”，D.X，其内容如下： 为了与以前的 C++ 国际标准兼容，constexpr 静态数据成员可以在没有初始化器的类外部冗余地重新声明。这种用法已被弃用。

[示例：

struct A {
static constexpr int n = 5; // definition (declaration in C++2014)
};
const int A::n; // redundant declaration (definition in C++2014)

——结束示例]

关于您的问题：

除了使附加定义无用之外，还有其他原因吗？

本质上，没有。然而，除了您提到的用途之外，它还有其他用途（请参阅question）。这个提议是有争议的，因为它可能会鼓励使用可变的全局状态。

它是否适用于const static 成员？

没有。 除非您将其注释为inline。

Class:J 的情况是否也适用于 constexpr 函数？

是的。该提案处理链接，但不影响初始化规则。