Постоянного выражения инициализатора для статического члена класса типа двойного

Question

В C++ 11 и С ++ 14, для чего необходимо constexpr в следующем фрагменте:

class Foo { 
    static constexpr double X = 0.75; 
}; 

в то время как этот производит ошибку компиляции:

class Foo { 
    static const double X = 0.75; 
}; 

и (более удивительно) компилируется без ошибок?

class Foo { 
    static const double X; 
}; 

const double Foo::X = 0.75; 

Answer 1

В C++ 03 мы были только позволили обеспечить в классе инициализаторе для статических переменных членов сопзИте интеграл перечислимых типов в C++ 11, мы могли бы инициализировать статический элемент буквального типа в классе с использованием constexpr. Это ограничение хранилась в C++ 11 для константных переменных в основном для совместимости будет C++ 03, мы можем увидеть это из closed issue 1826: const floating-point in constant expressions, который говорит:

A const integer initialized with a constant can be used in constant expressions, but a const floating point variable initialized with a constant cannot. This was intentional, to be compatible with C++03 while encouraging the consistent use of constexpr. Some people have found this distinction to be surprising, however.

РГС закончилась закрытием этого запроса, как не дефект (NAD), в основном говорят:

that programmers desiring floating point values to participate in constant expressions should use constexpr instead of const.

для справки N1804 ближайший проект стандарта для C++ 03 общедоступными в разделе 9.4.2[class.static.data] говорит:

If a static data member is of const integral or const enumeration type, its declaration in the class definition can specify a constant-initializer which shall be an integral constant expression (5.19). In that case, the member can appear in integral constant expressions. The member shall still be defined in a namespace scope if it is used in the program and the namespace scope definition shall not contain an initializer.

и проект C++ 11 стандартный раздел 9.4.2[class.static.data] говорит:

If a non-volatile const static data member is of integral or enumeration type, its declaration in the class definition can specify a brace-or-equal-initializer in which every initializer-clause that is an assignment expression is a constant expression (5.19). A static data member of literal type can be declared in the class definition with the constexpr specifier; if so, its declaration shall specify a brace-or-equal-initializer in which every initializer-clause that is an assignment-expression is a constant expression. [...]

это в значительной степени то же самое в стандарте в проекте C++ 14.

Answer 2

«определения» статического константы класса «in» - это фактически декларации. Когда переменная определена, компилятор выделяет память для этой переменной, но здесь это не так, т. Е. С учетом того, что адрес этих статических конструкций в классе не сформирован, NDR.

Эти вещи должны быть обработаны в коде, но это не так просто сделать с типами с плавающей точкой, поэтому это недопустимо.

Определяя ваши постоянные переменные const вне класса, вы сигнализируете компилятору, что это реальное определение - реальный экземпляр с памятью.