專注於布爾值的對與錯

Question

為什么C ++允許對 true和false參數的類型進行特殊化？

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

有什么情況有意義或有用嗎？

Answer 1

我認為，沒有這種情況。 但是標准對適用於條件的模板非類型參數沒有任何限制。 順便說一句，這種限制是適用於所有類型的。 做這樣的事情是不正確的

enum A { first, second };

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

恕我直言，這太復雜了。