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>;

• 上一篇：c – 如何使用引用进行模板类型推导下一篇：c – typedef类型检查？