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 ;
}

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 *) == , "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 ;
}
上一篇:iOS10 完美降级 iOS9.3.2,保留全部数据


下一篇:转:windbg调试堆