可适配谓词
|
|
类别:函子 |
组件类型:概念 |
描述
可适配谓词是一个谓词,同时也是一个可适配一元函数。也就是说,它是一个一元函数,其返回类型为bool,并且包含嵌套的typedef来定义其参数类型和返回类型。细化自
谓词,可适配一元函数关联类型
除了与谓词和可适配一元函数关联的类型外,没有其他关联类型。符号
定义
有效表达式
除了谓词和可适配一元函数要求定义的表达式外,没有其他有效表达式。表达式语义
复杂度保证
不变式
模型
注释
另请参阅
谓词,二元谓词,可适配二元谓词
版权所有 © 1999 Silicon Graphics, Inc. 保留所有权利。
商标信息