C++ Concepts 関連メモ

コンセプト定義位置は名前解決に影響するか問題：(多分)する

• https://twitter.com/yohhoy/status/1285570936096190465
• Stack Overflow - Concepts and declaration order
• Stack Overflow - C++ concepts see a function for my type, but don't see it for std::vector
• Stack Overflow - C++20 concepts require operator overloading combine with user-define template operator overloading function

関係する？かも？

• https://twitter.com/yohhoy/status/1295288941067689985

コンセプト設計ガイドライン

C++ Core Guidelines

• T.25: Avoid complementary constraints
• T.26: Prefer to define concepts in terms of use-patterns rather than simple syntax
• T.30: Use concept negation (!C<T>) sparingly to express a minor difference
• T.31: Use concept disjunction (C1<T> || C2<T>) sparingly to express alternatives

コンセプトとエラーメッセージ改善：WIP(C++23)

• P1267R0: Custom Constraint Diagnostics
  • 下記SO回答によれば P1267R0 は Rejected 済み。
• Stack Overflow - How to make a concept fail with a custom error message (C++20)
• Qiita - C++20コンセプト時代のエラーメッセージとの付き合い方

Qiita - C++20コンセプト入門以前