在 C++98/03 的泛型编程中,模板实例化有一个很烦琐的地方,那就是连续两个右尖括号(>>)会被编译器解释成右移操作符,而不是模板参数表的结束。
【实例】C++98/03 中不支持连续两个右尖括号的示例。
使用 gcc 编译时,会得到如下错误提示:
error: '>>' should be '>>' within a nested template argument list Foo>::type xx;
意思就是,这种写法是不被支持的,要写成这样(注意两个右尖括号之间的空格)。
这种限制无疑是很没有必要的。在 C++ 的各种成对括号中,目前只有右尖括号连续写两个会出现这种二义性。static_cast、reinterpret_cast 等 C++ 标准转换运算符,都是使用来获得待转换类型(type-id)的。若这个 type-id 本身是一个模板,用起来会很不方便。
现在在 C++11 中,这种限制终于被取消了。在 C++11 标准中,要求编译器对模板的右尖括号做单独处理,使编译器能够正确判断出是一个右移操作符还是模板参数表的结束标记(delimiter,界定符)。
不过这种自动化的处理在某些时候会与老标准不兼容,比如下面这个例子:
在 C++98/03 的编译器中编译是没问题的,但 C++11 的编译器会显示:
error: expected unqualif?ied-id before '>' token Foo> 2> xx;
解决的方法是这样写:
Foo> 2)> xx; // 注意括号
这种加括号的写法其实也是一个良好的编程习惯,使得在书写时倾向于写出无二义性的代码。
领取专属 10元无门槛券
私享最新 技术干货