Question

通过一些模板教程，我遇到以下错误：

错误（活动）E0304没有重载函数“ sum”的实例与参数列表模板匹配

我知道我在这里处理可变参数模板，但是我看不到为什么未检测到多个参数的重载。还值得一提的是，我所遵循的教程中的确切代码不会引发任何错误。

#include <iostream>
#include <string>
#include <memory>
#include <tuple>
#include <array>
#include <vector>
#include <complex>

using namespace std;



typedef complex<double> cd;




// specialization for when there is only one argument
template <typename T>
T sum(T t) { return t; }

// -> defines a return type as a result of sum values
template<typename T, typename ...U>
auto sum(T t, U ...u) -> decltype(t + sum(u...))
{
    return t + sum(u...);
}


void variadic()
{ 
    cout << sum(1, 2, 3, 4) << endl;
}

int main()
{
    //consuming_templates();
    //template_functions();
    variadic();
    getchar();
    return 0;
}

错误：

Severity    Code    Description Project File    Line    Suppression State
Error   C2672    'sum': no matching overloaded function found   Templates

Severity    Code    Description Project File    Line    Suppression State
Error   C2893    Failed to specialize function template 'unknown-type sum(T,U...)'  Templates   

Severity    Code    Description Project File    Line    Suppression State
Error   C2780    'T sum(T)': expects 1 arguments - 4 provided   Templates   C:\Users\erind\source\repos\Templates\Templates\Templates.cpp   35

Answer 1

这是std::common_type的作品。

我的意思是...尝试如下重写您的sum()可变参数版本

template<typename T, typename ...U>
auto sum(T t, U ...u) -> typename std::common_type<T, U...>::type
{
    return t + sum(u...);
}

您的代码中的问题是

template<typename T, typename ...U>
auto sum(T t, U ...u) -> decltype(t + sum(u...))
{
    return t + sum(u...);
}

您尝试使用decltype(t + sum(u...))递归设置返回类型，但是不起作用。

从C ++ 14开始，您可以简单地使用auto，而不必跟踪返回类型

template<typename T, typename ...U>
auto sum(T t, U ...u)
{
    return t + sum(u...);
}

从C ++ 17开始，您可以使用模板折叠并完全避免递归

template <typename ... U>
auto sum (U ... u)
 { return (u + ...); }

即使定义了它们，为什么仍出现“找不到匹配的过载”错误

1 个答案: