模板參數(shù)支持bool常量,可以做tag dispatch,為什么還要有true_type?

zserewr

C++11里面引入了true_type/false_type這樣的東東，不清楚這兩個值有什么存在的必要性，或者應(yīng)用場景。例如下面這樣. true/false也可以做tag dispatch這樣的工作啊

1. 
   
2. template<bool b>struct Impl{};
   
3. template<>      struct Impl<true>{const static int value=1;};
   
4. template<>      struct Impl<false>{const static int value=0;};
   
5. template<bool b>
   
6. void f()
   
7. {
   
8.     cout<<Impl<b>::value<<endl;
   
9. }
   
10. class N{int* pi;};
    
11. int main()
    
12. {
    
13.     f<true>();
    
14.     return 0;
    
15. }
    

復(fù)制代碼

bool型的值true/false可以作為模板參數(shù)，沒有問題啊。
為什么還要true_type/false_type呢?

謝謝。

windoze

bool常量不能匹配<typename ...T>