静态constexpr在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)都有它们的缺点(值的冗余,没有自动类型推导,如果我将例如将1000ms更改为1s,aso.)

你知道吗,如果这是一个gcc bug,那么编译在生产模式下工作,但没有优化就行不通？

有没有一种可能的方法来实现这个工作,而没有在课堂外定义dur_x的位置？

Answer 1

它不是编译器中的错误; 这是你的一个错误.

你经常使用 dur1但从未定义它.而且,不,constexpr内联初始化者都不会将该声明作为定义.

[C++11, C++14: 9.4.2/3]:如果非易失性const static数据成员是整数或枚举类型,则它在类定义中的声明可以指定一个大括号或大小为初始化器,其中作为赋值表达式的每个initializer子句都是一个常量表达式(5.19) .甲文字类型的数据成员可以在类定义与声明说明符; 如果是这样,它的声明应指定一个大括号或等于初始化器,其中作为赋值表达式的每个initializer子句都是一个常量表达式.[注意:在这两种情况下,成员可能会出现在常量表达式中.-end note] 如果在程序中使用odr-used(3.2)并且命名空间作用域定义不包含初始化程序,则仍应在命名空间作用域中定义该成员.staticconstexpr

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

您可以编写以下内容以避免您发现的所谓"问题":

#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;