gccのConcepts-Lite

Question

a recent answer〜this questionで強調表示されているように、gccは、そのsvnトランクからのビルドでconcepts-liteをサポートするようになりました。

最新の TS、N4377に同じ質問がリンクしています。 の編集 - 新しいTSがあります。

N3580というラベルの付いた論文があります。これは2013年のもので、著者はAndrew Sutton、Bjarne Stroustrup、Gabriel Dos Reisです。

N4377への調整のリストがN4434ラベル見つけることができます。これは、N4377の論文とその回答ポイントの3つの推奨変更をWalter E. Brownに返します。

これらの論文/技術仕様は類似していますが、それぞれのケースでさまざまな小さな変更があります。

gccが現在実装しているものを簡単に見つける方法はありますか？または、実際には、実装する予定ですか？

または同様の名前のプロジェクトは、C++ 1zの概念に関連していますか？

Larisseは、いくつかの作業が 彼女のC++ 0xの努力に加えて、概念tsのために行っていることがあります。2015年5月からmailing list postは、その特定には、いくつかの考えを収集しました。

これ以上の返信がそのスレッドになされませんでした。

Answer 1

GCCのメンテナーは、すぐに公開予定の最終TS：N4549 C++ Extensions for Conceptsに指定されているコンセプトを実装する予定です。その仕様の大部分はGCCで実装されていますが、std::pair<auto, auto> foo = std::make_pair(x, y);のような構文をコンパイルするのに必要な "一般化された自動減算"の例外があります。実装はまだ非常に粗いです - open bugs with "[concepts]" in the title has 38 hitsのクイック検索、正確に実装されているものと、週ごとにうまくいくものは何か。

ConceptClangまたは同様の名前のプロジェクトは、C++ 1zの概念に関連していますか？

は、私が考えているC++ 0xの概念の実装です。ここ数カ月間にClangでConcept TSを実装し始めた人が少しいますが、conceptキーワードを認識し、conceptの関数と変数の宣言の構文を解析するためのパッチをいくつか提出しています。