C++模板歧义

new A<(b > c)>(d);

正如Leon&Lee所述,14.2/3(C++ '03)明确定义了这种行为.

C++'0x增加了类似规则适用的乐趣>>.基本概念是,在解析模板参数列表时,非嵌套>>将被视为两个不同的> >标记而不是右移运算符:

template 
struct A {
  A(bool);
  A(void*);
};

template 
class C
{
public:
  C (int);
};

int main() {
    A *d = 0;
    const int b = 2;
    const int c = 1;
    new C >  (c) > (d); // #1
    new C  >  (c) > (d); // #2
}

"#1"和"#2"在上面等同.

这当然解决了必须在嵌套特化中添加空格的烦恼:

C> c;  // Parse error in C++ '98, '03 due to "right shift operator"