static_assert зависят от шаблона класса

Question

Рассмотрим следующий код:

template <unsigned int N> 
struct myclass 
{ 
    unsigned int f() {return N;} 
    unsigned int g() {static_assert(N > 0, ""); return N-1;} 
}; 

Вопрос: Есть ли у меня гарантия, что следующий код будет компилировать:

myclass<0> c; 
c.f(); 

Но следующий не будет:

myclass<0> c; 
c.f(); 
c.g(); 

Answer 1

Да, у вас есть эта гарантия. Из [temp.inst]/11, курсив мой:

Реализация не должна неявно инстанцирует шаблон функции, переменной шаблон, шаблон члена, не-виртуальной функции члена, член класс или статический элемент данных шаблона класса , что не требует создания экземпляра.

Если вы не вызываете g(), он не требует создания экземпляра, и поэтому не должно быть никаких вопросов, требующих myclass<0>{}.f().

Это та же гарантия, что позволяет использовать std::vector и std::map с типами, которые не по умолчанию построимых до тех пор, пока вы не делать вещи, как вызов resize() и operator[] соответственно.

Followup как Jarod42 points out, что явно инстанцирование myclass<0> будет производить Assert, потому что, из [temp.explicit]/8:

Явного экземпляр, что имена шаблона класса специализация также является явной экземпляр такого же вида (декларация или определение) каждого из его членов (не включая членов, унаследованных от базовых классов и членов, которые являются шаблонами), которые ранее не были явно специализированы в переводе единица, содержащая явный экземпляр n, за исключением случаев, описанных ниже.

Исключения здесь не применяются.

Answer 2

Если вы хотите отключить функцию во время компиляции, вы должны использовать enable_if вместо static_assert

template<unsigned int N> 
struct Foo { 
    unsigned int f() {} 
    enable_if_t<(N > 0), unsigned int> g() {} 
}; 

Foo<0> t{}; 
t.f(); /// this is okay and will compile 
// t.g() if I uncomment this line, it will not compile anymore. 

Answer 3

Использование специализации шаблона:

template <unsigned N> 
struct myclass 
{ 
    unsigned f() { return N; } 
    unsigned g() { return N-1; } 
}; 

template <> 
struct myclass <0> 
{ 
    unsigned f() { return 0; } 
};