使用概念启用类模板的成员函数

Question

所以我有一个概念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中是否可行？

Answer 1

在Concepts TS和C++ 20设计中,函数都有一个可选的trailing require-clause.因此,您不需要使您的成员函数成为约束它的模板:

void MemFun() requires Fooable<T>;