自适应函数符和函数适配器（Adaptable Functors and Function Adapters）

最近在看c++ primer plus,关于自适应函数符的“自适应”不是很理解。

调查了一下源码。

template<class _Arg1,
 class _Arg2,
 class _Result>
 struct binary_function
 { // base class for binary functions
 typedef _Arg1 first_argument_type;
 typedef _Arg2 second_argument_type;
 typedef _Result result_type;
 };

template<class _Ty>
	struct plus
		: public binary_function<_Ty, _Ty, _Ty>
	{	// functor for operator+
	_Ty operator()(const _Ty& _Left, const _Ty& _Right) const
		{	// apply operator+ to operands
		return (_Left + _Right);
		}
	};

template<class _Fn2,
	class _Ty> inline
	binder1st<_Fn2> bind1st(const _Fn2& _Func, const _Ty& _Left)
		{	// return a binder1st functor adapter
		typename _Fn2::first_argument_type _Val(_Left);
		return (_STD binder1st<_Fn2>(_Func, _Val));
		}

 更详细的解释 点击打开链接

typename的用法 点击打开链接