2

我在 Visual Studio 2012 中使用函数对象时遇到问题。

我创建了一个简单的std::vector，添加了ints0-9 并想使用函数对象创建它的总和。我的类定义（内联）：

template <class T>
class Sum {
private:
    T val;
public:
    Sum (T i = 0) : val(i) {
    }

    void operator()(T x) { 
        val += x; 
    }

    T result() const { 
        return val; 
    }

    ~Sum() {
        std::cout << "Invoked destructor! val: " << val << " for this: " << this << std::endl;
    }
};

我的主要功能：

int main(int argc, char *argv[]){

    Sum<int> s;

    int contents[] = {1,2,3,4,5,6,7,8,9};

    std::vector<int> vec = std::vector<int>(contents, contents + 9);

    std::for_each(vec.begin(), vec.end(), s);

    std::cout << "Sum of all numbers: " << s.result() << std::endl;

    return 0;
}

使用析构函数的输出，我会得到：

Invoked destructor! val: 45 for this: 003BFDA4
Invoked destructor! val: 45 for this: 003BFDE0
Sum of all numbers: 0
Invoked destructor! val: 0 for this: 003BFEFC

这是VS的错误吗？使用调试器运行它，项目被汇总，45但随后立即调用析构函数。我究竟做错了什么？

编辑：

这是 Stroustrup 的The C++ Programming Language第 18.4 章中的一个示例。我只是想知道它不起作用，因为我完全复制了它。

4

1 回答 1

5

问题是通过 valuestd::for_each接受你的仿函数参数。这意味着它适用于原始对象的副本。好消息是它还返回保存修改状态的副本。这应该可以解决问题：

Sum<int> s1 = std::for_each(vec.begin(), vec.end(), s);
std::cout << "Sum of all numbers: " << s1.result() << std::endl;

或者，您可以让val仿函数中的 成为对某个变量的引用：

template <class T>
class Sum {
private:
    T& val;
public:
    Sum (T& i) : val(i) {
    }
// ...

现在，这应该工作：

int i = 0;
Sum<int> s(i);
std::for_each(vec.begin(), vec.end(), s);
std::cout << "Sum of all numbers: " << s1.result() << std::endl;

但是您必须注意确保i足够长的生命周期不会产生Sum<T>::val悬空引用。

于 2013-03-19T20:45:23.507 回答