c++ - 使用 std::function 对象指向 C++11 中较大容器中结构的单个组件的迭代器

Question

假设我有一个结构类型的 vector ；我试图遍历此结构中特定成员的所有实例。因为我想在我的方法中通用，所以我想使用 std::function<> 对象来指定我想要访问的信息。我构建了以下模板类

#include <iostream>
#include <vector>
#include <iterator>
#include <functional>
#include <algorithm>
#include <cmath>

template <typename SrcList, typename Tgt>
class Access
{
    typedef std::function<Tgt &(typename SrcList::value_type &)> func_type;
    typedef typename SrcList::iterator src_iterator;
    typedef Tgt value_type;

    SrcList &source;
    func_type f;

    public:
        Access(SrcList &source_, func_type const &f_):
            source(source_), f(f_) {}

        class iterator: 
            public src_iterator,
            public std::iterator<std::forward_iterator_tag, value_type>
        {
            Access const *obj;

            public:
                iterator(Access const *obj_, src_iterator i):
                    src_iterator(i), 
                    obj(obj_)
                {}

                value_type &operator*()
                {
                    return (obj->f)(src_iterator::operator*());
                }
        };

        value_type &operator[](size_t i)
        { return f(source[i]); }

        iterator begin()
        { return iterator(this, source.begin()); }

        iterator end()
        { return iterator(this, source.end()); }
};

接下来我们定义一个struct S，和一个测试类的main函数

struct S
{
    double v[3];
};

std::ostream &operator<<(std::ostream &out, S const &s)
{
    return out << s.v[0] << " " << s.v[1] << " " << s.v[2];
}

int main()
{
    std::vector<int> A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
    std::vector<S> Q(10);

    for (unsigned k = 0; k < 3; ++k)
    {
        Access<std::vector<S>, double> acc(Q,
            [k] (S &s) -> double&
        {
            return s.v[k];
        });

        std::transform(A.begin(), A.end(), acc.begin(),
            [k] (int i)
        {
            return pow(i, k+1);
        });

        for (auto x : Q)
            std::cout << x.v[k] << std::endl;
        std::cout << "--- end of part " << k << " ---\n";
    }
    std::cout << std::endl;

    for (auto x : Q)
        std::cout << x << std::endl;

    return 0;
}

此程序应打印数字 0..10、它们的正方形和立方体。该方法似乎有效，但是在打印“--- 第 1 部分的结尾 ---”之后我得到了一个内存转储，说:“双重释放或损坏”。我已经通过 gdb 运行了代码，在 Access<> 中的 std::function<> 成员的内存管理中似乎出了点问题，但我想不出究竟是什么破坏了这段代码。我已经构建了一个具有只读访问权限的类似构造，并且它可以完美运行。

我在这里做错了什么？

(使用 g++-4.7.2)

干杯，约翰

Answer 1

问题是 vector A包含 11 个条目，而 vector Q仅包含 10 个。std::transform<>期望目标范围至少与源范围一样大。

一个简单的解决方法是更改​​ Q 的定义如下:

std::vector<S> Q(A.size());