Assert语句异常问题咨询：预期值正确却未触发断言？

这种assert表现前后矛盾的问题我之前也碰到过，大概率是编译环境或代码上下文的差异导致的，给你几个具体的排查思路：

• 编译模式与NDEBUG宏的影响：
  很多编译器在Release模式下会自动定义NDEBUG宏，这个宏会让预处理器直接移除所有assert语句——也就是说你的断言根本没执行！这就会出现“程序返回值符合预期但assert没触发”的情况。而当你把代码复制到新文件时，默认可能是Debug模式（没定义NDEBUG），assert正常生效，原本因为assert被跳过而“正常”的用例，现在就会触发断言；反之，原项目中Debug模式下触发的断言，在新环境可能因为某些差异没触发。
  你可以检查当前项目的编译选项，看看有没有-DNDEBUG这类参数，或者在代码开头手动添加#undef NDEBUG强制启用assert，再对比运行结果。

• assert表达式的副作用陷阱：
  如果你的assert参数里包含有副作用的表达式（比如assert(do_something() == 0)，其中do_something()会修改全局状态），那当NDEBUG启用时，这个表达式会被完全移除，程序的运行状态就会和Debug模式天差地别。复制到新文件后，函数的调用顺序、全局变量初始化状态可能和原项目不同，就会出现用例结果反转的情况。
  建议把这类有副作用的操作从assert里抽出来，改成先执行再断言：

  int status = do_something();
  assert(status == 0);
  

• 原项目的全局依赖干扰：
  原项目中可能存在其他代码修改了全局变量、静态变量，或者引入的头文件里有宏定义重命名了你的函数，导致assert的判断逻辑和实际运行的函数逻辑不一致。比如原项目里有#define my_func old_func，而新文件里没有这个宏，函数行为自然不同。
  你可以对比两个文件的编译上下文：看看有没有额外的宏定义、链接的库文件，或者全局变量的初始化代码差异。

• 断言条件与返回值的逻辑错位：
  有时候你以为返回值是assert的预期值，但可能两者根本不是同一个东西——比如assert判断的是函数的输出参数，而你打印的是函数返回值；或者存在隐式类型转换问题（比如unsigned int和int的比较，负数会被转成大正数导致断言失败）。
  仔细核对assert的表达式和你打印的变量是否完全一致，比如：

  // 错误示例：断言检查指针非空，但打印的是指针指向的值
  int* data = get_data();
  assert(data != NULL);
  printf("返回值：%d\n", *data);
  

内容的提问来源于stack exchange，提问作者Cizel