草庐IT

c++ - range-v3 和 view_facade,不能为 ForwardRange 建模

coder 2024-02-20 原文

这个简化的测试用例(按照用户手册中的示例编写)无法编译

#include <range/v3/all.hpp>
#include <vector>

using v = std::vector<int>;

class rows : public ranges::view_facade<rows> {
  public:
    rows() = default;
    explicit rows(const v& data) : it_(data.begin()), end_(data.end()) {}

  private:
    friend ranges::range_access;
    v::const_iterator it_;
    v::const_iterator end_;

    const int& read() const {
        return *it_;
    }

    bool equal(ranges::default_sentinel) const {
        return it_ == end_;
    }

    void next() {
        ++it_;
    }
};

int main() {
    v data{10, 20, 30, 40};
    auto rng = rows(data) | ranges::view::unique;
}

编译失败并返回 static_assert,因为根据 view::unique,我的范围没有模拟 ForwardRange 概念

但如果我重写我的类以使用显式游标,则编译成功

class rows : public ranges::view_facade<rows> {
  public:
    rows() = default;
    explicit rows(const v& data) : data_{&data} {}

  private:
    friend ranges::range_access;

    const v* data_;

    struct cursor {
        cursor() = default;
        cursor(v::const_iterator iter) : it{iter} {}

        const int& read() const {
            return *it;
        }
        bool equal(const cursor& other) const {
            return it == other.it;
        }
        void next() {
            ++it;
        }

        v::const_iterator it;
    };

    cursor begin_cursor() const {
        return {data_->begin()};
    }
    cursor end_cursor() const {
        return {data_->end()};
    }
};

为什么第一个类不是 ForwardRange 而第二个类是可以的? view_facade<>::(begin|end)_cursor() 默认返回派生类的一个实例,所以我不明白为什么它不起作用。

我添加了一个静态断言以确保 ranges::range_access::single_pass_t 为假,因此我怀疑问题与 ForwardIterator 概念有关。

最佳答案

你定义equal(ranges::default_sentinel) const但不是 equal(const rows&) ,因此您的范围的迭代器类型将满足 EqualityComparableWith<ranges::default_sentinel>但不是 EqualityComparable .需要前向迭代器(和更强的)来满足 EqualityComparable , 所以 rows满足InputRange但不是 ForwardRange .

我建议你定义:

bool equal(const rows& that) const {
    return it_ == that.it_;
}

和程序behaves as you expect .

关于c++ - range-v3 和 view_facade,不能为 ForwardRange 建模,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/47046188/

有关c++ - range-v3 和 view_facade,不能为 ForwardRange 建模的更多相关文章

  1. ruby-on-rails - Rails - 一个 View 中的多个模型 - 2

    我需要从一个View访问多个模型。以前,我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它,但这似乎不是“ruby方式”,我将需要在不久的将来访问更多模型。这可能会变得很脏,是否有针对这种情况的任何技术?注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展,本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向,这似乎很麻烦。最终从任何

  2. ruby-on-rails - 渲染另一个 Controller 的 View - 2

    我想要做的是有2个不同的Controller,client和test_client。客户端Controller已经构建,我想创建一个test_clientController,我可以使用它来玩弄客户端的UI并根据需要进行调整。我主要是想绕过我在客户端中内置的验证及其对加载数据的管理Controller的依赖。所以我希望test_clientController加载示例数据集,然后呈现客户端Controller的索引View,以便我可以调整客户端UI。就是这样。我在test_clients索引方法中试过这个:classTestClientdefindexrender:template=>

  3. ruby-on-rails - 如何优雅地重启 thin + nginx? - 2

    我的瘦服务器配置了nginx,我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例,但找不到好的解决方案。有没有人能做到这一点? 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器,例如server{listen80;server

  4. ruby-on-rails - 如何在我的 Rails 应用程序 View 中打印 ruby​​ 变量的内容? - 2

    我是一个Rails初学者,但我想从我的RailsView(html.haml文件)中查看Ruby变量的内容。我试图在ruby​​中打印出变量(认为它会在终端中出现),但没有得到任何结果。有什么建议吗?我知道Rails调试器,但更喜欢使用inspect来打印我的变量。 最佳答案 您可以在View中使用puts方法将信息输出到服务器控制台。您应该能够在View中的任何位置使用Haml执行以下操作:-puts@my_variable.inspect 关于ruby-on-rails-如何在我的R

  5. ruby-on-rails - 如何在 Rails View 上显示错误消息? - 2

    我是rails的新手,想在form字段上应用验证。myviewsnew.html.erb.....模拟.rbclassSimulation{:in=>1..25,:message=>'Therowmustbebetween1and25'}end模拟Controller.rbclassSimulationsController我想检查模型类中row字段的整数范围,如果不在范围内则返回错误信息。我可以检查上面代码的范围,但无法返回错误消息提前致谢 最佳答案 关键是您使用的是模型表单,一种显示ActiveRecord模型实例属性的表单。c

  6. ruby-on-rails - 复数 for fields_for has_many 关联未显示在 View 中 - 2

    目前,Itembelongs_toCompany和has_manyItemVariants。我正在尝试使用嵌套的fields_for通过Item表单添加ItemVariant字段,但是使用:item_variants不显示该表单。只有当我使用单数时才会显示。我检查了我的关联,它们似乎是正确的,这可能与嵌套在公司下的项目有关,还是我遗漏了其他东西?提前致谢。注意:下面的代码片段中省略了不相关的代码。编辑:不知道这是否相关,但我正在使用CanCan进行身份验证。routes.rbresources:companiesdoresources:itemsenditem.rbclassItemi

  7. ruby - 使用 `+=` 和 `send` 方法 - 2

    如何将send与+=一起使用?a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法,而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

  8. ruby - 如何计算 Liquid 中的变量 +1 - 2

    我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止,这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量,我

  9. ruby-on-rails - 在 haml View 中重构条件 - 2

    除了可访问性标准不鼓励使用这一事实指向当前页面的链接,我应该怎么做重构以下View代码?#navigation%ul.tabbed-ifcurrent_page?(new_profile_path)%li{:class=>"current_page_item"}=link_tot("new_profile"),new_profile_path-else%li=link_tot("new_profile"),new_profile_path-ifcurrent_page?(profiles_path)%li{:class=>"current_page_item"}=link_tot("p

  10. ruby - 为什么不能使用类IO的实例方法noecho? - 2

    print"Enteryourpassword:"pass=STDIN.noecho(&:gets)puts"Yourpasswordis#{pass}!"输出:Enteryourpassword:input.rb:2:in`':undefinedmethod`noecho'for#>(NoMethodError) 最佳答案 一开始require'io/console'后来的Ruby1.9.3 关于ruby-为什么不能使用类IO的实例方法noecho?,我们在StackOverflow上

随机推荐