だから私はコンセプトを持っていますFooable
:
template <typename T>
concept bool Fooable()
{
return requires(...){ ... };
}
Bar
そして、型をテンプレート パラメーターとして受け取るクラス テンプレートがあり、次の場合にT
のみメンバー関数を有効にしたい:T
Fooable
template <typename T>
class Bar
{
public:
template // ???
requires Fooable<T>
void MemFun();
};
概念TSまたはC++2aを備えたC++17で可能ですか?