具有特定参数的函子的概念或特征？

Question

我正在尝试创建可用于安全检查特定条件的concept。这是我现在的代码：

template<typename T>
void fetch(T&& f)
{
  fetch_helper(&f, &std::unwrap_ref_decay_t<T>::operator());
}

template<typename T, typename... Args>
void fetch_helper(T* obj, void (T::*f)(Args...) const)
{
  // do stuff
}

我用fetch取一个仿函数对象，然后用fetch_helper对其进行运算。但是我想实现首选。 concept或type trait来检查参数类型是否唯一（我已经为IsUnique<T...>实施了一个概念）

如何在提取时将我的等式IsUnique应用于函子对象的参数？

Answer 1

如果我理解正确，您想要这样的东西：