他们如何避免没有显式模型（又名概念图）的基于概念的重载问题

Question

正如 Andrew Sutton 在许多演讲和论文中指出的那样，Concepts Lite 提案确实具有基于概念的重载功能，同时没有概念图的概念，即根据概念检查模板参数完全由编译器。鉴于此，尚不清楚他们将如何解决 Siek 和 Gregor 在 2005 年的论文“Explicit model definitions are necessary”中描述的问题。简而言之，这个问题可以用论文中的以下引用来说明。

因此，某些输入迭代器类型（例如 istream_iterator）会被错误分类为前向迭代器。这有什么危险？一些算法基于 Input_iterator 与 Forward_iterator 进行调度。

（不过除了迭代器之外还有更多示例。）

是的，我知道上面提到的那篇论文考虑了 C++0x 概念，但问题似乎是概念提案的“通用”。

Answer 1

n3351 A Concept Design for the STL中的提议是继续使用迭代器类别标签：

concept InputIterator<WeakInputIterator I> =
    EqualityComparable<I> &&
    Derived<IteratorCategory<I>, input_iterator_tag>;

按照n4377 C++ Extensions for Concepts 预期包含在标准中的语法：

template<typename I>
concept bool InputIterator =
    WeakInputIterator<I>() && EqualityComparable<I>() &&
    Derived<IteratorCategory<I>, input_iterator_tag>();

来自之前的论文：

虽然 C++11 做到了 可以评估所有静态需求 [...] 我们仍然需要区分 一些基于其语义要求的概念。迭代器类别解决了这个问题 对我们来说。

一般来说，可以通过检查仅用于断言运行时语义的类型谓词（例如嵌套类型或常量，或类型函数）来表达语义要求。