如何定義一個類型與幾種類型中的任何一種相同的 C++ 概念？

Question

我想定義一個概念，表明一種類型是幾種支持的類型之一。 我可以通過使用std::same_as<U>重復列出類型來做到這一點：

#include <concepts>

template <typename T>
concept IsMySupportedType = std::same_as<T, int32_t> || std::same_as<T, int64_t> || std::same_as<T, float> || std::same_as<T, double>;

有沒有更簡潔的方法來寫這個而不重復std::same_as概念？

Answer 1

這可以使用可變輔助概念（取自std::same_as的 cppreference ）來完成：

template <typename T, typename... U>
concept IsAnyOf = (std::same_as<T, U> || ...);

這可用於定義所需的概念，如下所示：

template <typename T>
concept IsMySupportedType = IsAnyOf<T, std::int32_t, std::int64_t, float, double>;

（在我看來，右手邊最初的T應該是隱含的，不是必需的，但編譯器不同意我的看法。 ）

由此產生的概念可以按預期使用：

static_assert(IsMySupportedType<float>);
static_assert(!IsMySupportedType<std::int8_t>);

編譯示例： https://godbolt.org/z/6dE9r1EY6

Answer 2

我會使用std::disjunction ，它的好處是短路：
“如果存在帶有bool(Bi::value) != false的模板類型參數Bi ，則實例化disjunction<B1, ..., BN>::value不需要為j > i實例化Bj::value "

template <class T, class... U>
concept any_of = std::disjunction_v<std::is_same<T, U>...>;

template <class T>
concept IsMySupportedType = any_of<T, std::int32_t, std::int64_t, float, double>;

演示