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

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++17 或 C++2a 中是否可能？

Answer 1

在 Concepts TS 和 C++20 设计中，函数都有一个可选的尾随 requires-clause。所以你不需要让你的成员函数成为一个模板来约束它:

void MemFun() requires Fooable<T>;