为什么使用CRTP的std::Range::view_interface

Why std::ranges::view_interface using CRTP(为什么使用CRTP的std::Range::view_interface)

本文介绍了为什么使用CRTP的std::Range::view_interface的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!

问题描述

根据cp首选项,使用奇怪的循环模板模式(CRTP)技术定义视图的助手类模板view_interface

它们背后的设计理念是什么?与重写派生类中的虚拟基类方法相比,是否有显著优势?

推荐答案

如果您为基类提供虚函数,则它将具有这些函数。一直都是。它永远不能具有这些函数,并且从它派生的每个类都将继承这些函数。

view_interface具有empty函数当且仅当该类型的范围类别为forward_range时。也就是说,如果begin返回正向迭代器,并且end返回该迭代器的前哨,则empty存在。但是,只有在可以查询派生类的属性的情况下才能测试这一点。而基类无法做到这一点。除非您通过赋予它派生类类型来允许它。这意味着它必须是模板参数,基类是模板。

因此,您正在使用CRTP。

提供通用函数或不基于派生的Range类的迭代器类别是该类的全部。唯一的替代方法是为每个迭代器类型提供一组基类。因此,对于前向范围有forward_view_interface,对于连续范围有contiguous_view_interface,等等,这将是痛苦的。但它将开始经历乘性爆炸,因为view_interface提供的一些属性与迭代器类别是正交的。

例如,如果范围是大小范围,则提供size。但这可能发生在任何迭代器类别中,甚至输入迭代器。因此,您现在需要sized_forward_view_interface等。

或者您可以直接使用CRTP。

这篇关于为什么使用CRTP的std::Range::view_interface的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持编程学习网!

本文标题为:为什么使用CRTP的std::Range::view_interface