c++ - 是否有任何 STL 实现支持 C++ 概念？

Question

我正在从事一个使用 C++ 概念的类(class)项目。在哪里可以找到支持具有来自 concepts draft TS 的约束的 STL 实现，例如 Equality_comparable或 Sortable ？

感谢您的帮助!

---

到目前为止，这是我尝试过的:

我已经成功编译了 c++-concepts branch from GCC's SVN ，似乎得到维护(安德鲁萨顿昨天更新)。但是，这个分支自带的libstdc++还没有更新概念。

我也试过Concepts-Lite (gcc-clite)， promise :

The standard library shipping with this compiler includes the constraints found in the paper "A Concept Design for the STL", which can be accessed by including the <type_traits> header file.

但是，从该页面下载的GCC代码中的libstdc++也没有概念。特别是 type_traits header 似乎与它 fork 的 GCC 修订版没有变化。

Answer 1

看看Andrew Sutton's Origin library on github .如果您遵循 origin/core 目录，您可以找到基本概念。从外观上看，他也有一些图表、数学和一些容器方面的东西。

我不得不承认我自己正在探索这个问题，所以我还没有智能报告。

唯一的缺点:最近的签到是几个月或更长时间之前。我想我们会看到的。