有状态函子和STL：未定义行为
|
我正在关注此功能对象教程
复制副本如下：
我无法理解以下内容：
谓词应始终实现为无状态函数对象，以避免意外结果。无法保证算法在内部复制谓词的频率。因此，将谓词实现为有状态函数对象可能会产生未执行的结果。
示例如下：
#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator>
class predicate
{
public:
predicate(int condition) :
condition_(condition), state_(0) {}
bool operator()(int) { return ++state_ == condition_; }
private:
int condition_;
int state_;
};
int main()
{
std::vector<int> vec;
vec.push_back(1);
vec.push_back(2);
vec.push_back(3);
vec.push_back(4);
vec.push_back(5);
predicate p(2);
std::vector<int>::iterator pos =
std::remove_if(vec.begin(), vec.end(), p);
vec.erase(pos, v.end());
std::copy(vec.begin(), vec.end(),
std::ostream_iterator<int>(std::cout, \" \"));
return 0;
}
1 3 5
1 3 5 4 5
没有找到相关结果
已邀请:
1 个回复
埃庐
定义为。 有ѭ5之类的例外情况，以上均不适用。您可以在这里自由使用有状态函子。有关更多信息，请参见这篇出色的文章：http：//drdobbs.com/cpp/184403769。 在后台，您的STL实现的作者可以自由地以他们喜欢的任何方式编写（以及其他算法），只要它符合标准所规定的要求即可。除了承认它是未定义的之外，没有真正的原因要过多担心确切的原因。如果您想了解细节，我将只看一下您正在使用的STL实现中的代码。 至于你的旁注；这不是“腐败”，而只是“ 6”如何工作的产物（即使对于有效的谓词，也会发生）。唯一的要求是左边的所有元素都是有效的（因为将保留它们）。从开始不存在什么元素的要求（请参见此处）。 （Scott Meyers的“有效STL”的第32章很好地解释了为什么（依此类推）的行为如此）。