编程技术感想——一个用模板实现的assert

 

       今天看到了Andrei Alexandrescu设计的一个用模板实现的类CTAssert template，作用和assert宏类似，但施行于“可在编译期间被核定（evaluated）”的条件句中。以下别是CTAssert template：

 

template<bool> struct CTAssert;
template<> struct CTAssert<true> ...{};

       这个CTAssert从来没有被定义，它有一个针对true（而非false）的特化体。当用户试图定义一个CTAssert<false>对象时编译器就会报错了。

        这个设计中，“缺少”的东西至少和提供的东西一样重要。它让你以一种新的方式看待template，因为大部分“源码”被刻意遗漏了。和我们大多数人以往的想法相比，这是一种极为不同的思维方式。