检查可变模板函数的概念

Question

有了C++20和概念，我想知道是否可以写一个概念来检查一个类型是否有一个带有特定名称的函数，该函数接受任意数量的任意参数。

以下面的代码为例（使用GCC当前的概念TS语法）：

template <typename T>
concept bool Initializable = requires(T t) {
  { t.init() } ->void;
};

struct S {
  void init() {}
};

static_assert(Initializable<S>);

struct T {
  void init(int) {}
};

Answer 1

它有一个类型特征，std::is_member_function_pointer。但是如果您希望返回类型也是void，那么您可以同时执行这两项操作：

template <typename>
struct mptr_returns_void : std::false_type {};

template <typename T, typename ...Args>
struct mptr_returns_void<void(T::*)(Args...)> : std::true_type {};


template <typename T>
concept Initializable = mptr_returns_void<decltype(&T::init)>::value;