如何消除成员函数与成员函数模板之间的歧义

我需要将指向成员函数的指针作为参数传递给其他函数。我习惯std::mem_fn将它们包装在函数对象中。

有时成员函数会有重载。我学习了两种语法形式来消除重载的歧义：

• 为了消除模板成员函数的歧义，我使用了T::template member<template-args>指向成员的指针表达式。
• 当所有重载都是非模板成员函数时，为了消除非模板成员函数的歧义，我将函数类型作为显式模板参数传递给mem_fn：mem_fn<return-type(args-types)>(pointer-to-member-expression)。

但是，当某些重载是模板成员函数时，应该使用什么语法来消除非模板成员函数的歧义？我的直接猜测无法编译：

#include <iostream>   // cout
#include <functional> // mem_fn

struct C {
    void f() { std::cout << "f()\n"; }
    void f(int) { std::cout << "f(int)\n"; }

    template <class T>
    void g(T) { std::cout << "g(T)\n"; }
    template <class T1, class T2>
    void g(T1) { std::cout << "g<T1,T2>(T1)\n"; }

    template <class T>
    void h(T) { std::cout << "h(T)\n"; }
    void h(int) { std::cout << "h(int)\n"; }
};

int main() {
    C c;
    // non-template member function vs non-template member function
    std::mem_fn<void()>(&C::f)(c);
    std::mem_fn<void(int)>(&C::f)(c, 1);

    // template member function vs template member function
    std::mem_fn(&C::template g<int>)(c, 1);
    std::mem_fn(&C::template g<int, int>)(c, 1);

    // non-template member function vs template member function
    std::mem_fn(&C::template h<int>)(c, 1);
    // gcc: error: no matching function for call to 'mem_fn<void(int)>(<unresolved overloaded function type>)'
    // clang: error: no matching function for call to 'mem_fn'
    // std::mem_fn<void(int)>(&C::h)(c, 1);

    return 0;
}

另请参阅： https: //godbolt.org/z/39dd569cK

值得一提的是，我使用 C++20，但在 C++11 中也看到同样的错误。