模板参数的编译时检查方法，利用typedef

很多情况下，你需要使用模板参数，但又不知道用户输入的模板参数是否正确，是否在范围内等，此时可以利用typedef的特性实现一种模板参数检查机制。

template< size_t sz = 0 >    //模板参数sz默认=0
class templateClass
{
   typedef int testArray[ ( sz <= 100 && ( (sz & sz - 1) == 0 ) )  ? +1 : -1];
   
    ....
}

注：typedef的这个int array显然没有实际意义，他的存在仅仅是为了检查这个模板参数是否符合标准，想上面的情况，他是否小于100，并且是2的power，如果是，则可以顺利编译通过程序，否则，错误，所以这其实是利用了编译器的编译时检查来限定参数，可以说是非常的brilliant啊。

 

其实之所以可以使用这种编译时检查机制， 根本在于模板参数是作为常量存在的，所以他可以用在需要常量的场合，此例，完全可以如下:

 

int testArray[ ( sz <= 100 && ( (sz & sz - 1) == 0 ) )  ? +1 : -1];

 

或者其他类似的方法，但是是用typedef的话，仅仅是声明，不会了分配内存，这便是他的优越之处。