使用显式模板参数调用流运算符模板 oerload
calling stream operator template oerload with explicit template parameters
函数
模板上的显式模板参数一次又一次地让我感到惊讶,即使在琐碎的代码上下文中也是如此。这样的代码应该被视为反模式吗?一些开发人员在其他 StackOverflow 线程中假设了这一点。
在下面的代码中,编译器在代码位置 (1( 报告错误,指出找不到合适的函数重载。如果编译器检测到歧义,我会不那么惊讶,但事实并非如此。有什么提示吗?我正在使用 gcc 4.6.2
编辑:我不是在寻找解决方案。cpp首选项中记录了一个示例解决方案。我正在寻找一个解释。
#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;
}
您可以删除第一个重载,效果将是相同的。第一个重载从来都不是候选者,因为它只需要一个T
tuple
。
看第二个重载,问题是模板参数的顺序错误,即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));
}
相关文章:
- 为什么比较运算符如此快速
- C++映射:具有自定义类的运算符[]不起作用(总是返回0)
- 使用C++中的模板和运算符重载执行矩阵运算
- 为什么这个运算符<重载函数对 STL 算法不可见?
- 增量运算符与后缀混淆
- 一个关于在C++中重载布尔运算符的问题
- 运算符C++ "delete []"仅删除 2 个前值
- 模板类无法识别友元运算符
- 我可以使用条件运算符初始化C风格的字符串文字吗
- 关闭||运算符优化
- 通过继承类使用来自不同命名空间的运算符
- C++Cast运算符过载
- 如何使用AngelScript注册SFML Vector2运算符
- 重载元组索引运算符-C++
- 如何使用重载的相等(==)运算符向测试用例添加描述
- 为什么Mat类的两个对象可以在不重载运算符+的情况下添加
- 多个If语句与使用逻辑运算符计算条件的单个语句的比较
- 布尔比较运算符是如何在C++中工作的
- 重载运算符new[]的行为取决于析构函数
- 使用显式模板参数调用流运算符模板 oerload