c++ - 模板化函数重载返回类型

Question

以下看起来不像是部分特化(然而，这不会发生在模板函数上)。 Plus 函数不会仅通过返回类型来重载。下面这段代码是怎么回事？？

#include <iostream>
#include <string>
#include <vector>

template<typename T>
T foo() {
 std::cout << "first";
 return T();   
}


template<typename T, typename U>
std::pair<T,U> foo() {
 std::cout << "second";
 return std::make_pair<T,U>(T(),U()); 
}

int main()
{
    foo<int>();
    foo<int,char>();
}

Answer 1

您有两个 foo 重载(实际上是两个名为 foo 的函数模板)。一个接受一个模板类型参数:

template<typename T>
T foo();

一个接受两个模板类型参数:

template<typename T, typename U>
std::pair<T,U> foo();

您可以重载不同的模板参数。您甚至可以添加采用非类型参数的重载:

template <int I>
void foo() {
    std::cout << "third";
}

这也是一个单独的、有效的重载。你不能做的是单独添加:

template <typename U>
U* foo();

因为现在您有两个名为 foo 的不同函数模板，它们接受一个模板参数，编译器无法知道您指的是哪一个 - 所以现在您有一个有保证的模棱两可的重载。