Специализация как истина, так и ложь для bool

Question

Специализация как истина, так и ложь для bool

0

Почему C++ позволяет специализировать тип для true и false параметров?

template<bool> struct omg { /* can't access anything declared here */ };
template<> struct omg<true> { };
template<> struct omg<false> { };

Есть ли ситуация, когда это имеет смысл/полезно?

Mehrdad 26 дек. 2013, в 09:06

Источник

1

Возможно, потому что запрещение этого потребовало бы дополнительной работы и более сложного определения языка.
Keith Thompson 26 дек. 2013, в 07:18
0

@KeithThompson: Я тоже так хочу сказать, но я тоже думал об этом вопросе, но ответ был убедительным нет.
Mehrdad 26 дек. 2013, в 07:20
0

Ничто не требует от вас определения основного шаблона, вы можете сделать template<bool> struct omg; и покончим с этим.
jthill 26 дек. 2013, в 07:25

Показать ещё 1 комментарий

Теги:

c++

template-specialization

1 ответ

Ещё вопросы

Возможно, потому что запрещение этого потребовало бы дополнительной работы и более сложного определения языка.
@KeithThompson: Я тоже так хочу сказать, но я тоже думал об этом вопросе, но ответ был убедительным нет.
Ничто не требует от вас определения основного шаблона, вы можете сделать template<bool> struct omg; и покончим с этим.

ForEveR · Accepted Answer · 2013-12-26T05-29-00.000Z

Я думаю, такой ситуации нет. Но стандарт не имеет ограничений для шаблонных непиговых параметров, которые подходят для условий. Кстати, это было такое ограничение, оно должно быть для всех типов. Неправильно делать что-то вроде

enum A { first, second };

template<A> struct omg {};
template<> struct omg<first> {};
template<> struct omg<second> {};

и это слишком сложно, ИМХО.