Question

根据我对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);
}

Answer 1

您可以将违法案件归结为以下内容：

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... );
}

为什么以下模板函数重载解析度不明确？

1 个答案: