Effective_STL 学习笔记（三十八） 把仿函数类设计为用于值传递

 

C 和 C++ 都不允许把真的函数作为参数传递给其他函数。取而代之，你必须传递指针给函数比如：

1 　　void qsort( void* base, size_t nmemb, size_t size,
2      　　　　　　　　int( *cmpfcn )( const void*, const void* ) );

作为 cmpfcn 传递的实参是一个指向函数的指针，是从调用端拷贝给 qsort（值传递）。

C和C++标准库都遵循的一般准则： 函数指针是值传递

 

STL函数对象在函数指针之后成型，所以STL中的习惯是当给函数和从函数返回时函数对象也是值传递的（也就是拷贝），最好的考据就是 for_each 声明，for_each 通过值传递获取和返回函数对象：

1 　　template< class InputIterator, class Function >
2 　　Function for_each( InputIterator first, InputIterator last, Function f );

 

因为函数对象是以值传递和返回，要确保传递时，函数对象的行为良好：

1. 函数对象应该很小，否则拷贝会很昂贵

2. 函数对象必须单态（非多态）—— 不能用虚函数，因为派生类对象以值传递代入基类会造成切割问题： 在拷贝时，它们的派生部分被删除。

禁止多态仿函数是不切实际的，的确有办法让大的和多态的函数对象仍然允许它们把以值传递仿函数的方式遍布 STL。

 

转载于:https://www.cnblogs.com/kidycharon/p/10043767.html