Разница между структурой и классом при метапрограмме шаблона

Question

template<int n> 
struct Numberim{ 
    enum{ value = Numberim<n-1>::value + n }; 
}; 

template<> 
struct Numberim<0>{ 
    enum{ value = 0 }; 
}; 

Это простой пример tmp, и все в порядке;

template<int n> 
class Numberim{ 
    enum{ value = Numberim<n-1>::value + n }; 
}; 

template<> 
class Numberim<0>{ 
    enum{ value = 0 }; 
}; 

Я использую г ++ для компиляции, и он жалуется ... Но, насколько я знаю, структура и класс обрабатывается почти таким же, как это way.just "В C++, единственное различием между struct и class - это то, что члены структуры являются общедоступными по умолчанию, а члены класса по умолчанию являются закрытыми ».

Итак, какая разница между ними здесь, на земле?

Answer 1

Разница будет такой же, как и для класса class vs struct. Ваше «значение» будет общедоступным для вашего первого примера (используя struct) и private для вашего второго примера (используя класс).

Для справки о различии между классом и структурой см. What are the differences between struct and class in C++.

Answer 2

Категория бетона Numberim<1> не имеет отношения к конкретному классу Numberim<0>.

Таким образом, имея один класс относится к другим ’ сек определению value работ, когда value является public, что это за struct, но не тогда, когда value является private, что это за class.

Вы можете использовать механизм friend, или вы можете сделать value общественности, или вы можете, гораздо проще, это сделать:

template<int n> 
class Numberim{ 
    enum{ value = n*(n+1)/2 }; 
    // And whatever else you want in here. 
}; 

Answer 3

Разница по-прежнему то же самое, когда он пытается скомпилировать Numberim<n-1>::value с n=1 пытается использовать специализацию шаблона. Однако, поскольку value является private членом Numberim<0> (поскольку переменные-члены класса равны private), он дает ошибку компилятора.