可适配二元函数


类别: 函子	组件类型: 概念

描述

可适配二元函数是一个具有嵌套的二元函数typedef来定义其参数类型和结果类型。 [1] [2] 这些嵌套的typedef使使用函数对象适配器成为可能。

细化

二元函数

关联类型

第一个参数类型	`F::first_argument_type`	的类型`F`的第一个参数
第二个参数类型	`F::second_argument_type`	的类型`F`的第二个参数
结果类型	`F::result_type`	二元函数被调用时返回的类型

符号

`F`	作为二元函数模型的类型

定义

有效表达式

没有，除了由二元函数定义的那些

表达式语义

复杂度保证

不变式

模型

注释

[1] 注意这一点的含义：函数指针T (*f)(X,Y)是一个二元函数，但不是可适配二元函数：表达式f::first_argument_type, f::second_argument_type和f::result_type是无意义的。

[2] 当你定义一个作为可适配二元函数模型的类时，你必须提供这些typedef。最简单的方法是将该类从基类binary_function派生出来。这是一个空类，没有成员函数或成员变量；它存在的唯一原因是为了使定义可适配二元函数更加方便。Binary_function与迭代器标签函数使用的基类非常相似。

另请参阅

二元函数，可适配生成器，可适配一元函数