2

这段代码的灵感来自几天前 Stack Overflow 上的另一个问题。它尝试使用一个转换迭代器来构造一个std::vector包含不可移动的类型。

#include <cstdio>
#include <iterator>
#include <vector>

#define BOOST_RESULT_OF_USE_DECLTYPE
#include <boost/iterator/transform_iterator.hpp>

struct NonMovable {
    NonMovable(const NonMovable&) = delete;
    void operator=(const NonMovable&) = delete;
    NonMovable(NonMovable&&) = delete;  // redundant
    void operator=(NonMovable&&) = delete;  // redundant
    NonMovable(int x, int y) : x(x), y(y) {}
    int x;
    int y;
};

int main(int argc, char* argv[])
{
    std::vector<int> args = {1, 2, 3, 4};
    int additional_arg = 5;
    auto fun = [&additional_arg](auto arg) { return NonMovable(arg, additional_arg); };
    std::vector<NonMovable> v(boost::make_transform_iterator(args.begin(), fun),
                              boost::make_transform_iterator(args.end(), fun));
    for (const auto& item : v) {
        printf("%d %d\n", item.x, item.y);
    }
}

不幸的是，此代码无法编译（https://wandbox.org/permlink/20xMUsCBUg44YmXC）。来自 Clang 的错误消息提到std::vector范围构造函数被禁用，因为：

no type named 'reference' in 'std::__1::iterator_traits<boost::iterators::transform_iterator<(lambda at prog.cc:22:16), std::__1::__wrap_iter<int *>, boost::iterators::use_default, boost::iterators::use_default> >'

但是我看不出为什么这个iterator_traits专业不应该有一个名为reference.

4

0 回答 0