递归追溯返回类型？
可能重复：
尾随返回类型使用带有可变参数模板函数的decltype
我想创建一个总结多个值的函数。 如果我不使用尾随返回类型，则count()使用第一个参数的类型，因为它是返回类型。 但是，当使用尾随返回类型时，我无法获得编译的代码：
#include <iostream>
template<typename T>
inline T sum(T a) {
return a;
}
template<typename T, typename... Args>
inline auto sum(T a, Args... b) -> decltype(a + sum(b...)) {
return (a + sum(b...));
}
int main() {
std::cout << sum(1, 2.5f, 3, 4);
return 0;
}
错误（GCC）是：
main.cpp: In function ‘int main()’:
main.cpp:16:30: error: no matching function for call to ‘sum(int, float, int, int)’
main.cpp:16:30: note: candidates are:
main.cpp:5:10: note: template<class T> T sum(T)
main.cpp:10:13: note: template<class T, class ... Args> decltype ((a + sum(sum::b ...))) sum(T, Args ...)
我怎样才能使这个工作？
这不是很漂亮，但我使用模板结构工作：
#include <iostream>
template<typename... Args>
struct sum_helper;
template<typename T>
struct sum_helper<T> {
typedef T sum_type;
};
template<typename T, typename... Args>
struct sum_helper<T, Args...> {
typedef decltype(*(T*)0 + *(typename sum_helper<Args...>::sum_type*)0) sum_type;
};
template<typename T>
inline T sum(T a) {
return a;
}
template<typename T, typename... Args>
inline typename sum_helper<T, Args...>::sum_type sum(T a, Args... b) {
return a + sum(b...);
}
int main()
{
std::cout << sum(1, 2, 3) << " "
<< sum(1, 1.1, 1.11) << std::endl;
return 0;
}
http://ideone.com/7wYXf
链接地址: http://www.djcxy.com/p/66497.html