以下のようなコンセプトを書いた場合、result_typeの型はテンプレートと同様の あらゆる型を受け取れる型になります。 このresult_typeは関連型(Associated Type)といいます。 auto concept Function<class F> { typename result_type; result_type operator()(F&); }</class>…