静态断言

#include <iostream>


template<bool> class Assert;
template<> class Assert<true>{};


int main()
{
    std::cout << "Hello World!" << std::endl;
    Assert<1+3 == 3> a;
    return 0;
}

当为false，没有定义，导致编译错误

呵呵，C++编程新思维