C++20 コンセプトのサポート

概念は、 C++20 標準の主要な言語機能の 1 つです。これらは、テンプレート引数にコンパイル時の制約を課す方法を提供し、テンプレートが期待に応えることを保証できます。

概念サポートの構成

使用しているコンパイラーは、C++20 Concepts 機能をサポートしている必要があります。
- Clang10 以降を使用してください。 Clang での C++ サポート(英語)で特定の C++20 フィーチャーのステータスを確認できます。
GCC 10(英語) 以降を使用してください。 GCC10 での Concepts の実装は完全に C++20 に準拠(英語)です。
MSVC は、Visual Studio バージョン 16.3 以降のコンセプトをサポートしています。簡潔な構文（void fn(MyConcept auto mc) ）はまだサポートされていないことに注意してください。
正しく解決するには、 #define __cpp_lib_concepts の追加が必要になる場合があります（マイクロソフト発表(英語)へのコメントを参照）。

CMake プロジェクト

新しいプロジェクトを作成するときは、「新規プロジェクト」ウィザードの「言語標準」フィールドで「C++20 」を選択します。
既存のプロジェクトの場合、 CMakeLists.txt の先頭に CMAKE_CXX_STANDARD 変数を設定します。
set(CMAKE_CXX_STANDARD 20)

Makefile プロジェクト

Makefile で CXXFLAGS 変数を設定します。

CXXFLAGS += -std=c++20

中間子プロジェクト

cpp_std コンパイラーオプションを設定します。

cpp_std=c++20

デフォルトでは、CLion のコード補完は Clangd ベースのエンジンによって実行されます。コンセプトを使用する場合は、デフォルトのオプション Clangd のみ完了を使用するか、 Clangd の補完が組み込みに統合されましたに切り替えます。

CLion は、 concept および requires のすべての標準構文形式を解析してハイライトします。

クイックフィックス付きのインスペクションのセットは、Concepts を使用してコードで使用できます。

インスペクションのうち、一部のチェックはコンパイラーから行われます。

制約のない変数型インスペクションは、制約された式または関数呼び出しの結果が代入される場合、 auto として宣言されたローカル変数を制約することを提案します。このインスペクションは、Windows ではデフォルトで無効になっています。

コード補完 for Concepts は、次の場合に使用できます。

制約されているテンプレート型パラメーターの補完:
std::is_base_of<MyBase, T> および std::is_same<Other, T> によって制約されたタイプの補完。
std::is_base_of<MyBase, T> および std::is_same<Other, T> の T に関する提案のリストには、それぞれ MyBase および その他 のオプションが含まれています。
この場合の補完は、 MyBase および その他 が具象型（テンプレート型ではない）の場合にのみ機能することに注意してください。

Rename リファクタリングや Go to Definition、 Find Usages などのナビゲーションアクションも、Concepts を利用したコードでサポートされています。

2026 年 7 月 15 日