Единственное, о чем я могу думать, это то, что вы определяете переменную K
для всех типов до любой специализации, и поэтому, когда компилятор перейдет к специализации <int>
, переменнаяопределение уже существует ..
Так что, если это так, вы захотите перенести специализацию для C<int>::K
до C<T>::K