为什么下面的模板函数重载分辨率不明确

Why is the following template function overload resolution ambiguous?

本文关键字：函数 重载 分辨率 不明确 为什么      更新时间：2023-10-16

根据我对C++部分排序算法的理解，似乎第一个严格来说是第二个定义的子集。因此，只要两者都可以选择，就应该首选第一个。但是我收到以下错误消息：

p_o.cpp:13:10: error: call to 'f' is ambiguous
  return f<R>(args...);
         ^~~~
p_o.cpp:17:12: note: in instantiation of function template specialization 'f<int, double, int>' requested here
  auto a = f<int>(0.3, 1);
           ^
p_o.cpp:7:3: note: candidate function [with T = int, Ts = <>]
T f(T a, Ts ...args) {
  ^
p_o.cpp:12:3: note: candidate function [with R = int, T = int, Ts = <>]
R f(T a, Ts ...args) {
  ^
1 error generated.

有人可以解释一下我哪里出错了吗？我是元编程的新手。

#include <tuple>
using namespace std;
template <typename T, typename ...Ts>
T f(T a, Ts ...args) {
  return a;
}
template <typename R, typename T, typename ...Ts>
R f(T a, Ts ...args) {
  return f<R>(args...);
}
int main() {
  auto a = f<int>(0.3, 1);
  static_assert(is_same<int, decltype(a)>::value);
}

您可以将违规案例归结为以下内容：

f<int>(1);

这可以解释为对以下的调用：

R f<R, T, Ts...>(T, Ts...) // with `R = int`, `T=int` and `Ts = <>`

或致电：

T f<T, Ts>(T, Ts...) // with `T = int` and `Ts = <>`

请注意，部分模板排序的更专业推理适用于参数类型，在这里，它们都是相同的，因此，2 个重载被认为对您的调用同样有效，从而导致歧义。

要解决这个问题，您需要一些东西来取消两个重载之一的资格。您似乎想提取与请求类型匹配的包的第一个成员......为此，您可以使用基于 SFINAE 的设计：

template< typename R, typename T, typename... Ts >
std::enable_if_t< std::is_same< R, T >::value, R > f( T a, Ts... )
{
    return a;
}
template< typename R, typename T, typename... Ts >
std::enable_if_t< ! std::is_same< R, T >::value, R > f( T, Ts... args )
{
    return f< R >( args... );
}
相关文章：