Why std::ranges::view_interface using CRTP(为什么使用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


- DoEvents 等效于 C++? 2021-01-01
- OpenGL 对象的 RAII 包装器 2021-01-01
- 从父 CMakeLists.txt 覆盖 CMake 中的默认选项(...)值 2021-01-01
- GDB 不显示函数名 2022-01-01
- XML Schema 到 C++ 类 2022-01-01
- 将函数的返回值分配给引用 C++? 2022-01-01
- 如何提取 __VA_ARGS__? 2022-01-01
- 哪个更快:if (bool) 或 if(int)? 2022-01-01
- 使用 __stdcall & 调用 DLLVS2013 中的 GetProcAddress() 2021-01-01
- 将 hdc 内容复制到位图 2022-09-04