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

【问题标题】：Enable member functions of class templates using concepts使用概念启用类模板的成员函数
【发布时间】：2018-12-28 04:05:49
【问题描述】：

所以我有一个概念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();
};

在 C++17 中是否可以使用概念 TS 或在 C++2a 中？

【问题讨论】：

【解决方案1】：

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

void MemFun() requires Fooable<T>;

【讨论】：

【解决方案2】：

约束可以在函数的尾随位置：

template <typename T>
class Bar
{
public:
    void MemFun() requires Fooable<T>;
};

【讨论】：