Значение шаблона специализации

Question

Можно ли сделать шаблонную специализацию для значения без дополнительного типа?

Примерно так:

template<typename T>
class foo
{
};

template<>
class foo<0>
{
};

Answer 1

Да, но вы хотите использовать нестандартный параметр шаблона:

template<int i>
class foo
{
};

template<>
class foo<0>
{
};

Answer 2

С кодом, который вы показываете, нет смысла.Это, однако, возможно:

template<int N>
class foo
{
};

template<>
class foo<0>
{
};

Answer 3

Это быстрее попробовать, чем задать вопрос здесь. С GCC (g ++ 4.6) я получаю

temp.cc:7:12: error: type/value mismatch at argument 1 in template parameter list for 'template<class T> class foo'
temp.cc:7:12: error:   expected a type, got '0'

Так что, видимо, ответ нет