此外，您还可以使用它来检查动态分配是否成功。

代码示例:

int ** p;
p = new int * [5];      // Dynamic array (size 5) of pointers to int
for (int i = 0; i < 5; ++i) {
    p[i] = new int[3]; // Each i(ptr) is now pointing to a dynamic
                       // array (size 3) of actual int values
}

assert (p);            // Check the dynamic allocation.

类似于:

if (p == NULL) {
    cout << "dynamic allocation failed" << endl;
    exit(1);
}

像“抛出异常”和“停止执行”这样的东西可能对大多数编译器是正确的，但不是所有的。(顺便问一下，真的有assert语句抛出异常吗?)

下面是c6x和其他TI编译器使用的assert的一个有趣的、略有不同的含义:在看到某些assert语句时，这些编译器使用该语句中的信息来执行某些优化。邪恶。

C语言示例:

int dot_product(short *x, short *y, short z)
{
  int sum = 0
  int i;

  assert( ( (int)(x) & 0x3 ) == 0 );
  assert( ( (int)(y) & 0x3 ) == 0 );

  for( i = 0 ; i < z ; ++i )
    sum += x[ i ] * y[ i ];
  return sum;
}

这告诉解编译器数组是在32位边界上对齐的，因此编译器可以生成针对这种对齐的特定指令。

它是一个函数，如果它计算的值为false，则将停止程序执行。通常它被宏包围，这样在使用发布设置编译时就不会编译到结果二进制文件中。

它被设计用来测试你所做的假设。例如:

void strcpy(char* dest, char* src){
    //pointers shouldn't be null
    assert(dest!=null);
    assert(src!=null);

    //copy string
    while(*dest++ = *src++);
}

理想的情况是，您可以在程序中犯错误，例如调用带有无效参数的函数，并且在它发生段错误(或未能按预期工作)之前命中断言。

此外，您还可以使用它来检查动态分配是否成功。

代码示例:

int ** p;
p = new int * [5];      // Dynamic array (size 5) of pointers to int
for (int i = 0; i < 5; ++i) {
    p[i] = new int[3]; // Each i(ptr) is now pointing to a dynamic
                       // array (size 3) of actual int values
}

assert (p);            // Check the dynamic allocation.

类似于:

if (p == NULL) {
    cout << "dynamic allocation failed" << endl;
    exit(1);
}

如果Assert的参数为假，Assert将终止程序(通常使用引用Assert语句的消息)。它通常在调试期间使用，以使程序在发生意外情况时更明显地失败。

例如:

assert(length >= 0);  // die if length is negative.

你也可以添加一个信息更丰富的消息显示，如果它失败了，如下所示:

assert(length >= 0 && "Whoops, length can't possibly be negative! (didn't we just check 10 lines ago?) Tell jsmith");

或者像这样:

assert(("Length can't possibly be negative! Tell jsmith", length >= 0));

在进行发布(非调试)构建时，还可以通过定义NDEBUG宏(通常带有编译器开关)来消除求值assert语句的开销。这样做的必然结果是，您的程序永远不应该依赖assert宏运行。

// BAD
assert(x++);

// GOOD
assert(x);    
x++;

// Watch out! Depends on the function:
assert(foo());

// Here's a safer way:
int ret = foo();
assert(ret);

由于程序调用abort()并且不能保证执行任何操作，因此断言应该只用于测试开发人员假设的事情，而不是用于测试用户输入的数字而不是字母(这应该通过其他方式处理)。

assert computer语句类似于英语中的make sure语句。