Почему (для чего?) нельзя инициализировать статик переменную внутри класса?

Почему (для чего?) нельзя инициализировать статик переменную внутри класса?

A static data member may be declared inline. An inline static data member can be defined in the class definition and may specify an initializer. It does not need an out-of-class definition:

а в Вашем примере inline точно не проигнорится?

у нас умные и скорее всего проигнорят встраивание.

Если что, то это не тот inline, который у функций.

A class is typically declared in a header file and a header file is typically included into many translation units. However, to avoid complicated linker rules, C++ requires that every object has a unique definition. That rule would be broken if C++ allowed in-class definition of entities that needed to be stored in memory as objects.

§9.4.2/4 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 name- space scope if it is used in the program and the namespace scope definition shall not contain an initializer.

запрет на инициализировать статик переменных внутри класса, сделали из-за возможного нарушения ODR таком случае?

Вот что говорит Страуструп, на этот счет.

nline - для функций разрешает избежать нарушения ODR

Очевидно жеж, что нет))

Что говорит Страуструп насчет шаблонов?

The declaration of a non-inline static data member in its class definition is not a definition and may be of an incomplete type other than cv void. The definition for a static data member that is not defined inline in the class definition shall appear in a namespace scope enclosing the member's class definition. In the definition at namespace scope, the name of the static data member shall be qualified by its class name using the :: operator. The initializer expression in the definition of a static data member is in the scope of its class.
[ Example:
The static data member run_*chain of class process is defined in global scope; the notation process::run_*chain specifies that the member run_*chain is a member of class process and in the scope of class process. In the static data member definition, the initializer expression refers to the static data member running of class process. — end example ] [ Note: Once the static data member has been defined, it exists even if no objects of its class have been created. [ Example: In the example above, run_*chain and running exist even if no objects of class process are created by the program. — end example ] — end note ]

А класс может быть определен в каждой единице трансляции?

А разве static внутри класса не похож на определение переменной в неймспейсе со специпикатором extern?

Значит Cтрауструп нас обманывает?

Как думаете, что происходит?

Похож))

это было бы тоже что и
extern int n = 0;

Нееет.
Вот так:

Вот так:

А в вашем случае это было бы так
struct X {
* * static int n;
};
int X::n = 0;

Только выглядит по разному.

An inline static data member may be defined in the class definition and may specify a brace-or-equal-initializer.

Но код выше с const компилится на ура?

И? К чему это сказано?

Что-то я не пойму, определен внутри класса может быть только inline?