C++ 这孩子 是不是误入歧途了？

OwnWaterloo

回复 69# rong_bo

也是。
修改过的能编译的代码在下面：

1. 
   
2. template<bool,typename THEN, typename ELSE>
   
3. struct IF { typedef THEN type; };
   
4. template<typename THEN, typename ELSE>
   
5. struct IF<false,THEN,ELSE> { typedef ELSE type; };
   
6. 
   
7. template<typename T, T X>
   
8. struct CONST
   
9. {
   
10.       static const T value = X;
    
11. };
    
12. 
    
13. template<typename T, T X>
    
14. struct bits_of
    
15. {
    
16.       typedef typename IF<X, bits_of<T,(X>>1)>, CONST<T,0> >::type type;
    
17.       static const T value = type::value + !!X;
    
18. };
    

复制代码

验证

1. 
   
2. typedef int a0[bits_of<int,0>::value==0? 1: -1];
   
3. typedef int a1[bits_of<int,1>::value==1? 1: -1];
   
4. typedef int a2[bits_of<int,2>::value==2? 1: -1];
   
5. typedef int a3[bits_of<int,3>::value==2? 1: -1];
   
6. typedef int a4[bits_of<int,4>::value==3? 1: -1];
   
7. typedef int a7[bits_of<int,7>::value==3? 1: -1];
   
8. typedef int a8[bits_of<int,8>::value==4? 1: -1];
   
9. typedef int a15[bits_of<int,15>::value==4? 1: -1];
   
10. typedef int a16[bits_of<int,16>::value==5? 1: -1];
    

复制代码

计算unsigned int有多少value bits， 在编译错误的提示信息里就可以看到计算结果

1. 
   
2. template<int>
   
3. struct message;
   
4. message<bits_of<unsigned,~unsigned(0)>::value> m;
   

复制代码

我在i386下得到的结果是32。



原始代码出现的那帖是为了说明：
1. C++98/03允许让程序员做许多以前不能做的事
2. 但做事的方法也许会很晦涩 —— 如上
3. C++11 增加一些优雅的方法

并不是在研究bit_of的实现细节 —— 这东西在 std::numeric_limits<T>::digits 里就有 —— 因为bits_of 容易计算， 也很有用， 适合作为示例。
于是随手写了一段代码……  没有验证是我的错……

template<typename T, T remain> 确实是 non-type template parameters。
问题出在：

1. 作为递归终结条件的偏特化
template<typename T>
struct bits_of<T, 0> // 这里， 为什么是错误就得请教幻の上帝等人了

于是改为使用 IF 作为终结条件。

2. ~int(0)
负数右移是实现定义的， bits_of<int,INT_MAX> 可以， 但 bits_of<int,~int(0) > 就不行了……
bits_of<int,INT_MAX> 丢失了范型，  std::numeric_limits<T>::max() 是运行时值而非编译时值。
可以用 bits_of<int,boost::integer_traits<int>::const_max>::value 。

rong_bo

回复 71# OwnWaterloo

很好很强大，普通C++程序员 VS 文艺C++程序员。

编译错误是这个：

“a partial specialization cannot have a dependent non-type template parameter”。