解释ITER特征的C++20标准描述 [英] Interpreting C++20 standard description of ITER_TRAITS

问题描述

谁能给我解释一下iterator.concepts.general#1中的这一行在C++标准草案中是什么意思：

对于类型I，ITER_­TRAITS(I)表示I如果iterator_­traits<I>命名从主模板生成的专门化。否则，ITER_­TRAITS(I)表示iterator_­traits<I>。

推荐答案

主iterator_traits<I>模板将从I的对应成员中填充value_type和reference等成员。如果您的迭代器类型没有包含这些成员(例如，所有指针类型)，则可以专门化std::iterator_traits<your_iterator_type>来提供这些成员，并在Character类中提供它们。

<2-11]>概念元函数代表了这一点。如果迭代器类型I没有iterator_traits的专门化，则它从I本身获取成员。如果是专门化的，则从iterator_traits<I>获取它们。

这篇关于解释ITER特征的C++20标准描述的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！