为什么使用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。