8

我在使用 view_facade （来自range-v3）创建提供 const 和非常量访问的视图时遇到问题。例如，我尝试修改 view_facade 测试（在 test/view_facade.cpp 中）以允许非 const 访问（默认情况下它只允许 const 访问）：

struct MyRange
  : ranges::range_facade<MyRange>
{
private:
    friend struct ranges::range_access;
    std::vector<int> ints_;

    template <bool isConst>
    struct cursor
    {
    private:
        using It = typename std::conditional<isConst, std::vector<int>::const_iterator, std::vector<int>::iterator>::type;
        using RefType = typename std::conditional<isConst, int const&, int&>::type;
        It iter;
    public:
        cursor() = default;
        cursor(It it)
          : iter(it)
        {}
        RefType current() const
        {
            return *iter;
        }
    //...
    };
/*    // Uncommenting these overloads will cause an error, below.
    cursor<true> begin_cursor() const
    {
        return {ints_.begin()};
    }
    cursor<true> end_cursor() const
    {
        return {ints_.end()};
    }
*/
    cursor<false> begin_cursor()
    {
        return {ints_.begin()};
    }
    cursor<false> end_cursor()
    {
        return {ints_.end()};
    }
public:
    MyRange()
      : ints_{1, 2, 3, 4, 5, 6, 7}
    {}
};

int main() {
    MyRange nc;
    int& nci = *nc.begin();  // error here when const overloads present.
}

完整代码在这里。

这适用于 begin_cursor 和 end_cursor 的 const 重载注释掉。但是，如果我重新添加这些重载，则会在指示的行（GCC 5.1）上生成以下错误：

error: binding 'const int' to reference of type 'int&' discards qualifiers

似乎在选择 const 版本，给了我一个 const 迭代器。我想要的是：用于 const 对象的 const 迭代器，以及用于非 const 对象的非 const 迭代器。我怎样才能做到这一点？

4

1 回答 1

9

view_facade用于构建视图。视图指的是他们不拥有的数据。它们就像指针，在逻辑上它们是间接的。和指针一样，顶级const 应该const对所引用数据的 -ness没有影响。那就是无论你取消引用 anint*还是 an int*const，结果都是一样的：int&.

你的观点不是观点。它拥有自己的数据。（见vector<int> ints_数据成员。）试图用view_facade这个数据结构变成一个视图，必然会导致挫败感。这在很大程度上是设计使然。视图不同于容器。Range-v3 库没有容器外观，抱歉。

（发生了什么：由于视图表示间接，view_facade因此非常努力地使 const 和 non-constbegin()并end()返回相同的类型。如果cursor_begin() const存在，则始终选择该类型。总是。当这破坏代码时，通常是因为该代码令人困惑带有视图的容器。）

于 2015-07-16T19:01:55.150 回答