C++模板重载决议问题

在C++中，使用函数重载来实现同名函数对不同参数类型进行不同操作的情况，但是当函数模板也存在时，C++编译器会对函数模板和普通函数进行模板类型参数匹配，从而产生模板重载决议问题。

我们可以使用函数模板特化来解决这个问题。特化是表示用特定类型实例化模板的过程。当函数模板和普通函数声明一样的函数参数列表，并且被特化为特定的类型时，特定的实例化函数会优先于函数模板进行调用。

以下是一个解决函数模板和普通函数重载决议问题的示例代码：

#include <iostream>

template <typename T>
void foo(T a) {
    std::cout << "Template function: " << a << std::endl;
}

void foo(int a) {
    std::cout << "Non-template function: " << a << std::endl;
}

template<>
void foo<double>(double a) {
    std::cout << "Specialized template function: " << a << std::endl;
}

int main() {
    foo(1);  // 调用普通函数foo(int)
    foo(1.0);  // 调用特化函数foo<double>(double)
    foo("hello");  // 调用函数模板foo(T)
    return 0;
}

在这个示例中，我们定义了一个函数模板foo和两个重载版本，一个是普通函数foo(int)，另一个是特化版本foo<double>(double)。当普通函数和函数模板都具有相同的参数列表时，特定的实例化函数优先于函数模板进行调用。

输出：

Non-template function: 1
Specialized template function: 1
Template function: hello