解释ITER特征的C++20标准描述

谁能给我解释一下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>获取它们。