Статическая специализация шаблона

Есть шаблонный контейнер, для которого можно задавать параметрами размер

Схематично

template <std::size_t N> class Some {
public:
    static constexpr std::size_t SIZE = N;
    static const Some UNKNOWN;
    using container = std::array<uchar, N>;
    using value_type = typename container::value_type;
    Some(value_type value)
    {
        m_array.assign(value);
    }
    Some(const std::initializer_list<value_type>& list)
    {
        ...
    }
    ~Some() {}
private:
    container m_array;
};

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

template <uint N> const typename Some<N> Some<N>::UNKNOWN(0x00);
using Container = Some<100>;

Так вот хотел скрыть специализацию, что то вроде

template <std::size_t N> class Some {
public:
    static constexpr std::size_t SIZE = N;
    using container = std::array<uchar, N>;
    using value_type = typename container::value_type;
private:
    static const Some<N> UNKNOWN (0x00);
    container m_array;
};

почему так нельзя, а внешняя специализация канает?

А что есть 0x00? В классе Some нет же такого конструктора с параметром?

Цитата xbarmaglot @ 13.04.17, 11:07

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

Зачем тебе это вообще нужно? Сделай конструктор по-умолчанию и всё

Some::Some()
: m_array({0})
{
}

Цитата JoeUser @ 13.04.17, 12:17

А что есть 0x00? В классе Some нет же такого конструктора с параметром?

в первом примере есть. просто не повторял для краткости

Цитата Олег М @ 13.04.17, 13:19

Зачем тебе это вообще нужно? Сделай конструктор по-умолчанию и всё

чтобы можно было проверять контейнер любого размера на заданное значение.

Например

using Container1 = Some<100>;
using Container2 = Some<1000>;
 
Container1 c1;
Container2 c3;
 
...
 
if (c1 != Container1::UNKNOWN) ...
if (c2 != Container2::UNKNOWN) ...

только вместо этого хотел метод сделать

Some{
private :
    static const UNKNOWN;
 
public :
   bool valid(void) const { return (*this != UNKNOWN); }
}

Этих статических значений может быть много с разными значениями

Цитата

почему так нельзя, а внешняя специализация канает?

Потому что это не специализация, а определение (definition). Это для constexpr определения как такового не требуется, а для статического члена класса (не важно, шаблонного или обычного) требуется определение в одном и только одном компилируемом файле. То есть в

class My {
public:
static int n;
};

присутствует объявление (declaration) статического члена My::n. Если вспомнить, что статический член класса - это по сути просто глобальная переменная с именем класса в качестве пространства имен и некоторым ограничением доступа (в данном случае - нет), то это что-то типа

namespace My {
extern int n;
};

Эта объявленная переменная должна быть определена (и, возможно, проинициализирована) в компилируемом файле, причем только в одном, типа того:

int My::n = 0;

Цитата xbarmaglot @ 13.04.17, 14:19

чтобы можно было проверять контейнер любого размера на заданное значение.

Метод конечно дико мутный. Но если так уж хочется, сделай тогда статический метод

template <std::size_t N>
class Some
{
public:
...............
  static const Some &Unknown()
  {
     static Some _some;
     return _some;
  }
................
}

понял - спасибо