assert TRACE VERIFY

assert
接收一个表达式，如果这个表达式为TRUE，则无动作，否则中断当前程序执行，输出诊断信息。在的debug版状态下出现。在release版本中不计算传入的表达式。
TRACE
接收跟printf一样的参数。在debug版的调试状态下出现，在debug窗口中输出诊断信息。在release版本中不计算传入的表达式。
ASSERT
它接收一个表达式，如果这个表达式为TRUE，则无动作，否则中断当前程序执行。在debug版本下出现。对于系统中出现这个宏导致的中断，应该认为你的函数调用未能满足系统的调用此函数的前提条件。例如，对于一个还没有创建的窗口调用SetWindowText等。它与assert区别在于，ASSERT出现在MFC中。在release版本中不计算传入的表达式。
VERIFY
和ASSERT功能类似。所不同的是，在Release版本中，ASSERT不计算输入的表达式的值，而VERIFY计算表达式的值。ASSERT与VERIFY宏在Release模式下效果完全不一样。ASSERT不计算表达式的值，也不会输出诊断信息；VERIFY计算表达式的值，但不管值为0还是非0都不会输出诊断信息。

总而言之:
assert ，TRACE， ASSERT， VERIFY 只在debug版本中起作用。且TRACE， ASSERT，VERIFY仅仅在MFC可用。除VERIFY在release版本中计算表达式的值外，其他三个在release版本中不计算表达式的值。

断言名 设定条件 Release Debug 是否有报告 影响因素
assert 默认 不执行 执行 有 NDEBUG/_DEBUG的定义
ASSERT 默认 不执行 执行 有
VERIFY 默认 执行 执行 Release环境下无，Debug环境下有

总结：
assert ： 与NDEBUG/_DEBUG的定义有关， NDEBUG宏存在时不起作用,多处使用影响效率，调试完后，可在#include 前面添加#define NDEBUG。
ASSERT： 在Debug环境下起作用，并且报告， Release环境下不起作用。
VERIFY： 在Debug和Release下都起作用，不同地方是，在Debug环境下，有报告，Release下无报告。