当参数是重载函数时，重载解析是如何工作的

序言

C++中的重载解析可能是一个过于复杂的过程。要理解所有控制重载解析的C++规则，需要花费大量的脑力劳动。最近我突然想到，参数列表中出现重载函数的名称会增加重载解析的复杂性。由于这恰好是一个广泛使用的案例，我发布了一个问题并得到了一个答案，这让我更好地理解了这个过程的机制。然而，在iostreams的背景下对这个问题的表述似乎在一定程度上分散了答案的焦点，使其偏离了所解决问题的本质。因此，我开始深入研究，并提出了其他例子，要求对这个问题进行更详细的分析。这个问题是一个介绍性的问题，后面是一个更复杂的问题。

问题

假设完全理解在没有本身就是重载函数名称的参数的情况下重载解析是如何工作的。必须对他们对重载解析的理解进行哪些修改，以便它也涵盖将重载函数用作自变量的情况？

示例

鉴于这些声明：

void foo(int) {}
void foo(double) {}
void foo(std::string) {}
template<class T> void foo(T* ) {}
struct A {
    A(void (*)(int)) {}
};
void bar(int x, void (*f)(int)) {}
void bar(double x, void (*f)(double)) {}
void bar(std::string x, void (*f)(std::string)) {}
template<class T> void bar(T* x, void (*f)(T*)) {}
void bar(A x, void (*f2)(double)) {}

以下表达式导致名称foo的以下解析(至少对于gcc 5.4(：

bar(1, foo); // foo(int)
             // but if foo(int) is removed, foo(double) takes over
bar(1.0, foo); // foo(double)
               // but if foo(double) is removed, foo(int) takes over
int i;
bar(&i, foo); // foo<int>(int*)
bar("abc", foo); // foo<const char>(const char*)
                 // but if foo<T>(T*) is removed, foo(std::string) takes over
bar(std::string("abc"), foo); // foo(std::string)
bar(foo, foo); // 1st argument is foo(int), 2nd one - foo(double)

要玩的代码：

#include <iostream>
#include <string>
#define PRINT_FUNC  std::cout << "t" << __PRETTY_FUNCTION__ << "n";
void foo(int)                      { PRINT_FUNC; }
void foo(double)                   { PRINT_FUNC; }
void foo(std::string)              { PRINT_FUNC; }
template<class T> void foo(T* )    { PRINT_FUNC; }
struct A { A(void (*f)(int)){ f(0); } };
void bar(int         x, void (*f)(int)        ) { f(x); }
void bar(double      x, void (*f)(double)     ) { f(x); }
void bar(std::string x, void (*f)(std::string)) { f(x); }
template<class T> void bar(T* x, void (*f)(T*)) { f(x); }
void bar(A, void (*f)(double)) { f(0); }
#define CHECK(X) std::cout << #X ":n"; X; std::cout << "n";
int main()
{
    int i = 0;
    CHECK( bar(i, foo)                     );
    CHECK( bar(1.0, foo)                   );
    CHECK( bar(1.0f, foo)                  );
    CHECK( bar(&i, foo)                    );
    CHECK( bar("abc", foo)                 );
    CHECK( bar(std::string("abc"), foo)    );
    CHECK( bar(foo, foo)                   );
}