c++ - 有没有办法仅通过名称来检测重载的成员函数？ (不检测名称)

Question

我在这里一厢情愿，但我想准确地回答这个问题。我想改进仅通过名称检测成员模板的实现，但我遇到了障碍。我找不到任何方法来检测重载的 static/non-static 成员函数。这个问题非常重要的部分是，我不能使用 this trick ，因为它检测到任何名称(我已经在当前实现中使用它，有点有用)，而且我无法指定类型，因为这错过了单独使用名称的要点。

有关引用，请参阅我的 other question .我将当前的 has_member_template_bar 实现发布为 an answer那里。我认为我不应该在这个问题中发布所有内容。

问题仍然存在——我们能否在不指定参数或使用上述技巧的情况下检测重载的成员函数？我知道我问的可能是不可能的，但问总不会有坏处。

Answer 1

The question stays the same - Can we detect overloaded member functions, without specifying their arguments, or using mentioned trick? I know I'm maybe asking for impossible, but it never hurts to ask

其实也不是不可能。
它遵循一个最小的工作示例:

template<typename T, typename R, typename... A>
void proto(R(T::*)(A...));

template<typename, typename = void>
constexpr bool has_single_f = false;

template<typename T>
constexpr bool has_single_f<T, decltype(proto(&T::f))> = true;

struct S {
    void f(int) {}
    void f(char) {}
};

struct U {
    void f() {}
};

int main() {
    static_assert(not has_single_f<S>, "!");
    static_assert(has_single_f<U>, "!");
}

当然，您需要添加更多的东西来区分成员方法和数据成员，但是添加它们是微不足道的(请参阅 header type_traits)并且我尽量使示例保持最小可能。

基本思想是，如果给定函数重载，对 proto 的调用将失败，因为它是一个模棱两可的调用。
无论如何，由于 SFINAE 规则，错误被丢弃。
不需要按要求指定参数。
还要注意 proto 不需要定义，但重要的是它的返回类型是 void。否则，您必须稍微修改对 decltype 的调用，如下所示:

template<typename T>
constexpr bool has_single_f<T, decltype(proto(&T::f), void())> = true;

正如您从示例代码中看到的那样，static_assert 验证 f 在 S 中重载，而在 中不重载>U.

---

上面的示例基于模板变量，模板变量是自 C++14 以来语言的一部分。
如果您更喜欢使用 C++11 的众所周知的基于结构的解决方案，您可以使用以下检测器:

#include<type_traits>

//...

template<typename, typename = void>
struct has_single_f: std::false_type {};

template<typename T>
struct has_single_f<T, decltype(proto(&T::f))>: std::true_type {};

//...

int main() {
    static_assert(not has_single_f<S>::value, "!");
    static_assert(has_single_f<U>::value, "!");
}