Question

我正在将大量代码从gcc移植到Visual Studio 2013.以下代码示例在gcc 4.4上工作正常（！），但在VS2013上编译begin()和end()失败：

错误C2440：''：无法从'unsigned char *'转换为'std :: _ Vector_const_iterator＆gt;＆gt;'

class foo {
    unsigned char* value;
    int length;

    std::vector<unsigned char>::const_iterator begin();
    std::vector<unsigned char>::const_iterator end();
};

std::vector<unsigned char>::const_iterator foo::begin() {
    return std::vector<unsigned char>::const_iterator(value);
}

std::vector<unsigned char>::const_iterator foo::end() {
    return std::vector<unsigned char>::const_iterator(value + length);
}

鉴于我不想重写整个事情，是否有可行的方法来创建这些const_iterators？

Answer 1

没有可移植的方法来执行您尝试的操作，因为不要求(const_)iterator可以从指向底层值类型的指针构造。 libstdc ++恰好提供了这样的构造函数，但VS标准库实现并没有。相反，它的(const_)iterator构造函数接受一个指向底层值类型的指针和一个指向容器本身的指针，它用于在调试版本中执行额外的验证。

最简单的解决方案是将std::vector<unsigned char>::const_iterator替换为unsigned char const *。原始指针属于RandomAccessIterator类别，与vector::(const_)iterator s相同。

unsigned char const *foo::begin() {
    return value;
}

unsigned char const *foo::end() {
    return value + length;
}

如果您需要将迭代器作为类类型，那么您需要创建一个自定义迭代器。虽然这可以从头开始，但使用Boost.IteratorFacade要容易得多，这将提供构建自定义迭代器的一堆必要的样板。

#include <boost/iterator/iterator_facade.hpp>

struct const_foo_iterator : boost::iterator_facade<const_foo_iterator,
                                                    unsigned char const,
                                                    boost::random_access_traversal_tag>
{
  const_foo_iterator() = default;
  const_foo_iterator(unsigned char const *iter) : iter(iter) {}
private:
    friend class boost::iterator_core_access;

    void increment() { ++iter; }
    void decrement() { --iter; }
    void advance(std::ptrdiff_t n) { iter += n; }

    std::ptrdiff_t distance_to(const_foo_iterator const& other) const
    { return iter - other.iter; }

    bool equal(const_foo_iterator const& other) const
    { return this->iter == other.iter; }

    unsigned char const& dereference() const { return *iter; }
    unsigned char const* iter = nullptr;
};

const_foo_iterator foo::begin() {
    return value;
}

const_foo_iterator foo::end() {
    return value + length;
}

static_assert(std::is_same<std::iterator_traits<const_foo_iterator>::value_type,
                           unsigned char>::value, "value_type");
static_assert(std::is_same<std::iterator_traits<const_foo_iterator>::pointer,
                           unsigned char const *>::value, "pointer");
static_assert(std::is_same<std::iterator_traits<const_foo_iterator>::iterator_category,
                           std::random_access_iterator_tag>::value, "iterator_category");

Live demo

Answer 2

这取决于begin()和end()函数的使用方式。如果这些函数的调用者实际上期望std::vector<unsigned char>::const_iterator（而不是足够通用而不关心确切的类型），那么你必须搜索不同的解决方案。

您可以尝试在其实现中实现变通方法，而不是更改类的接口。需要什么value指针？还有谁可以访问它？如果它是私有成员，那么只需用实际std::vector<unsigned char>替换它，并使用其data()成员函数（C ++ 11）或&value[0]（前C ++ 11）通过一个预期的指针。

STL const_iterator强制转换 - 编译器差异

2 个答案: