模板参数支持bool常量,可以做tag dispatch,为什么还要有true_type?

zserewr

C++11里面引入了true_type/false_type这样的东东，不清楚这两个值有什么存在的必要性，或者应用场景。例如下面这样. 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. }
    

复制代码

bool型的值true/false可以作为模板参数，没有问题啊。
为什么还要true_type/false_type呢?

谢谢。

windoze

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