C++ Concepts是否允许我的类在声明/定义中指定它满足某些概念？

Question

目前我能想到的最好的方法是使用static_assert,但我更喜欢更好的方式.

#include <set>
#include <forward_list>

using namespace std;

template<typename C>
concept bool SizedContainer = requires (C c){
    c.begin();
    c.end();
    {c.size()} -> size_t;
};

static_assert(SizedContainer<std::set<int>>);
static_assert(!SizedContainer<std::forward_list<int>>);
static_assert(!SizedContainer<float>);

class MyContainer{
public:
    void begin(){};
    void end(){};
    size_t size(){return 42;}; 
};

static_assert(SizedContainer<MyContainer>);



int main()
{
}

Answer 1

目前不行,您要寻找的关键字是requires 来自cppreference

关键字requires有两种使用方式:1)引入一个requires子句,它指定模板参数或函数声明的约束.

由于您没有处理函数声明,因此这是无关紧要的.第二种情况是

要开始一个requires-expression,它是bool类型的prvalue表达式,用于描述某些模板参数的约束.如果满足相应的概念,则表达式为true,否则为false:

由于您没有尝试验证某些模板参数的约束,因此这里不再相关