Rationale hinter std :: bool_constant

Question

Ich frage mich, was ist der Grund std::bool_constant und deren Verwendung für std::true_type und std::false_type (im Kopfteil definiert sowie der Vergleich structs <ratio>, vgl N4389) hinter der Einführung in C++ 17 ?

Bisher habe ich nur in der Lage gewesen, die Papiere mit dem Wortlaut zu finden:

• http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4334.html
• http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4389.html

Während beiden Papiere auf einen "rationalen" verweisen - https://issues.isocpp.org/show_bug.cgi?id=51 - - der linked-to-comment feed sagt meistens, dass dies "basierend auf der Diskussion von C++ std-lib *" (vermutlich bezieht sich auf den privaten Reflektor?) ohne auf weitere Details zu gehen.

Hier ist die in der Dokumentation: http://en.cppreference.com/w/cpp/types/integral_constant

Answer 1

Es ist rein syntaktischer Zucker. Oft verwenden wir z.B. tag-Dispatching wie folgt: std::integral_constant<bool, ...>:

void foo_impl(std::false_type) { /*Implementation for stuff (and char) */} 
void foo_impl(std::true_type) { /*Implementation for integers but not char*/} 

template <typename T> 
void foo(T) { 
    foo_impl(t, std::bool_constant<std::is_integral<T>{} && !std::is_same<char, T>{}>()); 
} 

Ohne bool_constant, würden wir den gewünschten Typen einen längeren Typ-Spezifizierer zu bezeichnen, verwenden. Da die Verwendung von integral_constant für boolesche Werte besonders häufig auftritt, wurde eine kurze und kurze Art der Adressierung der Spezialisierungen verlangt, und bool_constant sorgt dafür.
In der Tat ist bool_constant nichts anderes als eine Alias-Vorlage für bool -specializations von integral_constant:

template <bool B> 
using bool_constant = integral_constant<bool, B>; 

Der einzige Grund, die Erklärungen für true_type und false_type (und andere Verwendungen von integral_constant<bool, ..>) wurden der Kürze halber in der geändert ist Standard, sogar; Es gab keine technische Notwendigkeit, da integral_constant<bool, false> und bool_constant<false> den exakt gleichen Typ bezeichnen.