問題タブ [c++20]

ずっと前に、C++ の概念について読み始めました。しばらくして、多くのものが落とされ、concepts lite が誕生しました。しかし、コンセプト ライトも C++11/14/17 標準に移行しませんでした。

私が読んだように、c++ 標準委員会は概念を c++17 ドラフトに再度追加することを決定しました。https://www.reddit.com/r/cpp/comments/6ngkgc/2017_toronto_iso_c_committee_discussion_thread/

概念の新しい提案もあり、ここで見つけることができます: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0734r0.pdf

古いものとは異なります： http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4377.pdf

私は今、すべてのドキュメントが周りにあることに少し混乱しています。

しかし、それは現在利用可能な実装にとって何を意味するのでしょうか? 現在の gcc 7.2 コンパイラを使用して、コンセプトの最初のステップを試すことはできますか? 利用可能な実装が新しい作業草案とどのように異なるかをチェックした人はいますか? 私は sepcs と草案を読むのが難しいので (私は言語弁護士ではありません)、例えば gcc の現在の実装と最後の作業草案との間の主な違いを誰かが説明してくれたらうれしいです。

ヒント: テストも行いたい場合は、gcc 7.2 でコンセプトを有効にするだけです:--std=c++17 -fconcepts

<=>C++20 には新しい比較演算子があります。ただし、ほとんどの場合、単純な減算がうまく機能すると思います。

それらは同じ効果があります。違いがよくわかりません。