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