C++11 assert/static_assert

assert

assert 是运行期断言，它用来发现运行期间的错误，不能提前到编译期发现错误，
也不具有强制性，也谈不上改善编译信息的可读性，既然是运行期检查，对性能当然是
有影响的，所以经常在发行版本中，assert 都会被关掉。
assert 的关键在于判断 expression 的逻辑真假，如果为 false，就会在 stderr 上面打
印一条包含“表达式，文件名，行号”的错误信息，然后调用 abort 结束整个程序。

#include <iostream>
#include <assert.h>
using namespace std;
char * myStrcpy(char *dest, const char *src)
{
    assert(dest); assert(src);
    while(*dest++ = *src++);
} 

int main(int argc, char *argv[])
{ 
    // char buf[1024]; char * p = NULL;
    // myStrcpy(buf,p);
    // cout<<buf<<endl;
    FILE *fp = fopen("aa.c","r");
    assert(fp);
    return 0;
}

static_assert
　　static_assert 这个关键字，用来做编译期间的断言，因此叫做静态断言。其语法很简单：static_assert(常量表达式，提示字符串)。

　　如果第一个参数常量表达式的值为真(true 或者非零值)，那么 static_assert 不做任何事情，就像它不存在一样，否则会产生一条编译错误，错误位置就是该 static_assert语句所在行，错误提示就是第二个参数提示字符串。

　　使用 static_assert，我们可以在编译期间发现更多的错误，用编译器来强制保证一 些契约，并帮助我们改善编译信息的可读性，尤其是用于模板的时候。

　　static_assert 可以用在全局作用域中，命名空间中，类作用域中，函数作用域中，几乎可以不受限制的使用。

　　编译器在遇到一个 static_assert 语句时，通常立刻将其第一个参数作为常量表达式进行演算，但如果该常量表达式依赖于某些模板参数，则延迟到模板实例化时再进行演算，这就让检查模板参数成为了可能。 

#include <iostream>
using namespace std;

static_assert(sizeof(void *) == 4, "64-bit code generation is not supported.");

//该 static_assert 用来确保编译仅在 32 位的平台上进行， 不支持 64 位的平台， 该
语句可以放///在文件的开头处， 这样可以尽早检查， 以节省失败情况下的编译时间。

template<typename T, typename U>
int my_bit_copy(T& a, U& b)
{
    static_assert(sizeof(a) == sizeof(b), "parameters must have same width");
} 

int main(int argc, char *argv[])
{
    int a; float b;
    my_bit_copy(a,b);
    char c;
    my_bit_copy(a,c);
    return 0;
}