3

假设我有一个结构类型的向量；我正在尝试遍历此结构中特定成员的所有实例。因为我想在我的方法中通用，所以我想使用 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()); }
};

接下来我们定义一个结构 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）

干杯，约翰

4

1 回答 1

3

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

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

std::vector<S> Q(A.size());
于 2013-01-23T16:11:20.410 回答