以下形式的一行内容:
#assert predicate (token-sequence)
将 token-sequence 和断言名称空间(与用于宏定义的空间不同)中的谓词相结合。谓词必须为标识符标记。
#assert predicate
断言 predicate 存在,但是未与任何标记序列相结合。
未使用 -pedantic 时,编译器在缺省情况下会提供以下预定义谓词:
#assert system (unix) #assert machine (sparc) #assert machine (i386)(x86) #assert cpu (sparc) #assert cpu (i386)(x86)
未使用 -pedantic 时,lint 在缺省情况下会提供以下预定义谓词:
#assert lint (on)
任何断言均可使用 #unassert 进行删除,该命令的语法与 assert 的语法相同。使用不带参数的 #unassert 会删除谓词上的所有断言;指定一个断言仅会删除该断言。
可以使用以下语法在 #if 语句中测试断言:
#if #predicate(non-empty token-list)
例如,可以使用求值结果为 true 的以下行测试预定义谓词 system。
#if #system(unix)