函数模板上的显式模板参数一次又一次让我感到惊讶,即使在简单的代码环境中也是如此。这些代码应该被视为反模式吗?一些开发人员已在其他StackOverflow线程中假设这一点。
在下面的代码中,编译器在代码位置(1)报告错误,指出找不到合适的函数重载。如果编译器检测到歧义,我会不那么惊讶,但事实并非如此。任何提示?我正在使用gcc 4.6.2
编辑:我不是在寻找解决方案。 cppreference中记录了一个示例解决方案。我正在寻找解释。#include <iostream>
#include <tuple>
#include <type_traits>
using namespace std;
template<typename T, size_t N = 1>
//typename enable_if<integral_constant<bool, N==1>::value, ostream>::type &
ostream & operator << (ostream& stream, tuple<T> const & t)
{
return stream << get<0>(t) << endl;
}
template<typename ...T, size_t N = sizeof...(T)>
//typename enable_if<integral_constant<bool, N!=1>::value, ostream>::type &
ostream & operator << (ostream& stream, tuple<T...> const & t)
{
operator << <T...,N-1> (stream, t); // (1) compile error
return stream << get<N-1>(t) << endl;
}
int main ()
{
auto t = make_tuple ("hallo", 1L, 1.1);
cout << t << endl;
}
答案 0 :(得分:2)
您可以删除第一个重载,效果也一样。第一个重载永远不会成为候选者,因为tuple
只有一个T
。
查看第二个重载,问题是模板参数的顺序错误,即size_t
和参数包T...
。编译器需要在最后有参数包。对此的规则基本上是:
由于交换参数,这里允许递归调用本身,但现在编译器本身将以无限递归结束:
#include <iostream>
#include <tuple>
using namespace std;
template<size_t N, typename ...T>
ostream & print (ostream& stream, tuple<T...> const & t)
{
print< N-1, T... > (stream, t);
return stream << get<N-1>(t) << endl;
}
template<typename ...T>
ostream & operator << (ostream& stream, tuple<T...> const & t)
{
return print< sizeof...(T), T... >( stream, t );
}
int main ()
{
auto t = make_tuple ("hallo", 1L, 1.1);
cout << t << endl;
}
你可以尝试一下(没有什么事情会发生),经过一段时间后,你会收到编译器的错误信息。
为了进一步说明这个问题,请看一下这个简化的例子:
#include <tuple>
// everything after the first parameter pack *must* be deduced or come from a default
template<typename ...T, int S=0>
void f(const std::tuple<T...>& arg) {}
int main() {
// OK
f(std::tuple<int>(1));
f<int>(std::tuple<int>(1));
// Fail
f<int,0>(std::tuple<int>(1));
}