对照类型检查概念

Question

如何从概念和类型中获得类型bool的核心常量表达式？

template<class T>
concept Valid = requires(T t) {
    { t.x };
};

struct ValidExample   { int x; };
struct InValidExample {};

static_assert(?); // ValidExample is Valid
static_assert(?); // InValidExample is not Valid

我开始使用概念，我想对照一个概念检查一个类型(更准确地说:从一个概念中定义一个特性)。如何做到这一点？

Answer 1

你可以使用：

static_assert(Valid<ValidExample>); // ValidExample is Valid
static_assert(!Valid<InValidExample>); // InValidExample is not Valid

作为模板变量(类型为bool)。