靜態斷言

#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++編程新思惟