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中是否可能?
void MemFun() requires Fooable<T>;