函数模板重载（不同的返回值类型）

Question

我在看C++ Templates: The Complete Guide，在《13.7 Partial Specialization of Function Templates》作者说：

要重载函数模板，它们的函数参数必须在某些实质性方面有所不同。考虑一个函数模板 R convert(T const&) 其中 R 和 T 是模板参数。我们可能很想为 R = void 专门化这个模板，但这不能使用重载来完成。

可以使用函数模板重载来完成，对吧？如：

#include <iostream>

template <typename T, typename R>
R convert(T const&) { std:: cout << "R convert(T const&)\n"; }
template <typename T>
void convert(T const&) { std:: cout << "void convert(T const&)\n"; }

int main()
{
    convert(0);
}

DEMO 这里，结果是：

void 转换(T const&)

作者的真正意思是什么？

Answer 1

考虑一个类模板的偏特化：

template<class U, class V> class T { };

template<class V> class T<void, V> { };

当你写T<void, int>时，将使用部分特化。

现在考虑一个函数模板：

template <typename R, typename T>
R convert(T const&) { return /* something */; } 

请注意，R 和 T 的顺序在上面的模板参数列表中互换。这可能就是这样一个模板的编写方式——您编写convert<R>(something)，明确指定目标类型，同时让编译器推断源类型。

现在假设您希望convert<void>(something) 做一些不同的事情。你不能用重载来做到这一点：

template <typename T>
void convert(T const&) { } 

如果您编写 convert(something) - 以前格式不正确，它将转到您的新重载，因为编译器无法为第一个模板推导出 R。但如果你写convert<void>(something) 甚至convert<void, T>(something)，它仍然会转到原始模板。更糟糕的是，像 convert<int>(1) 这样的东西现在格式不正确，因为它是模棱两可的。

换句话说，您不能让convert<void, T>(something) 使用与convert<int, T>(something) 不同的实现，而您可以使用类模板部分特化来做到这一点。