C++2a(C++20) コンセプト requires式(requires-expression) では、同式を包含するコンテキストのあらゆる宣言を利用できる。下記コードのrequires式からは関数テンプレートの仮引数xを参照している。requires式の本体(requirement-body)は評価されず(unevalu…

プログラミング言語C++において、ラムダ式のオーバーロード（もどき）を実装する方法。 // C++17 template <typename... Ts> struct overloaded : Ts... { // 基底クラス（ラムダ式のクロージャクラス）が提供する // operator()群をoverloadedクラス自身から公開する using </typename...>…

C++2a(C++20)コルーチンにはジェネレータ実装を容易にするco_yield式が導入されるが、動作仕様的にはco_await式のシンタックスシュガーとなっている。 #include <coroutine> #include <iostream> #include <utility> #define MIMIC_CO_YIELD 1 #if MIMIC_CO_YIELD // yield式相当を表現する</utility></iostream></coroutine>…