没有优化的g++ 4.9上静态参数的未定义引用

Question

我有以下代码：

#include<chrono>
#include<iostream>

using namespace std::chrono_literals;

#define MSG "hello"
#define DUR 1000ms

class mwe{
    public: 
    static constexpr auto msg = MSG;
    static constexpr auto dur_1 = DUR;
    static constexpr std::chrono::milliseconds dur_2 = DUR;
    static const std::chrono::milliseconds dur_3;
    static constexpr decltype(DUR) dur_4 = DUR;
};

constexpr std::chrono::milliseconds mwe::dur_2; 
const std::chrono::milliseconds mwe::dur_3 = DUR; 
constexpr decltype(DUR) mwe::dur_4;

int main(void) {
    std::cout << "str: " << mwe::msg << std::endl;
    std::cout << "dur_1: " << mwe::dur_1.count() << std::endl;
    std::cout << "dur_2: " << mwe::dur_2.count() << std::endl;
    std::cout << "dur_3: " << mwe::dur_3.count() << std::endl;
    std::cout << "dur_4: " << mwe::dur_4.count() << std::endl;
}

如果我编译它(g++ 4.9)，通过

g++ -std=c++14 -O2 test.cpp

一切都像预期的那样工作，但是如果我通过

g++ -std=c++14 -O0 test.cpp

我得到以下错误：

undefined reference to `mwe::dur_1'

我个人最喜欢定义和声明dur_1的方式，但是在我的版本中，如果没有启用优化，它就不适用于g++。因为我所知道的所有其他方法(dur_2、dur_3、dur_4)都有它们的缺点(值的冗余，没有自动类型的演绎，例如，如果我将1000 1s更改为1s，aso)。

你知不知道，如果这是gcc的错误，编译工作在生产模式，但不能工作，没有优化？

在不定义类之外的dur_x位置的情况下，是否有更好的方法来实现这个工作呢？

Answer 1

它不是编译器中的一个bug。

您使用了dur1，但从未定义过它。而且，constexpr和内联初始化器都不会使声明成为一个定义。

[C++11, C++14: 9.4.2/3]:如果非易失性const static数据成员为整型或枚举类型，则类定义中的声明可以指定一个大括号或等初始化器，其中作为赋值表达式的每个初始化项-子句都是常量表达式(5.19)。可以使用static constexpr 说明符在类定义中声明文字类型的 initializer-clause 数据成员；如果是这样的话，它的声明应该指定一个 brace-or-equal-initializer ，其中每一个属于e 224 assignment-expression E 127的initializer-clause都是常量表达式。E 228注:在这两种情况下，成员都可能出现在常量表达式中。-end注释如果成员是程序中odr使用的 (3.2)，则仍应在名称空间范围中定义成员，并且命名空间范围定义不应包含初始化器.。

与往常一样，优化级别可能会影响编译器能够和/或愿意报告此类错误的程度。

您可以编写以下代码来定义您的成员：

#include<chrono>

using namespace std::chrono_literals;

#define DUR 1000ms

struct T
{
   static constexpr auto dur_1 = DUR;
};

constexpr decltype(T::dur_1) T::dur_1;