Как ведут себя невстроенные статические элементы данных с точки зрения объявления и определения? ⇐ C++

[Anonymous]

У нас есть тот факт, что невстроенный статический элемент данных в определении класса является неопределяющим объявлением, исходным кодом.
У нас также есть энергонезависимый энергонезависимый элемент данных. встроенный константный статический элемент данных целочисленного типа или типа перечисления может указывать инициализатор, черновой источник
Формулируя это здесь:

если энергонезависимый невстроенный константный статический элемент данных целочисленного или перечисляемого типа, его объявление в определении класса может указывать инициализатор скобок или равенства, в котором каждое предложение-инициализатора, являющееся выражением-присваиванием, является постоянным выражением ([expr.const]). Член по-прежнему должен быть определен в области пространства имен, если он используется в программе odr ([basic.def.odr]), а определение области пространства имен не должно содержать инициализатор.

Поэтому я предполагаю, что следующий код является действительным:

Код: Выделить всё

class A {
public:
static const int a = 1;
};
const int A::a = 3;

Объявление внутри определения класса не является определением, поскольку, опять же, это объявление невстраиваемого статического элемента данных в определении класса.
В Visual Studio приведенный выше код возвращает мне ошибку компиляции:

ошибка C2374: 'a': переопределение; множественная инициализация

Вопросы:
Каков практический смысл неопределяющего объявления с инициализатором?
Почему приведенный выше код недопустимо, поскольку у нас есть только одно определение?
Наблюдение: возможно, здесь непростая ситуация, потому что я предполагаю, что const, но мое внимание привлекает ошибка переопределения< /п>

Подробнее здесь: https://stackoverflow.com/questions/792 ... d-definiti