根據類型檢查概念

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類型）。