c – 默认模板类参数混淆g？

template<typename A,typename B>
class Foo { };

struct Bar {
   void method ( Foo<int,int> const& stuff = Foo<int,int>() );
};

foo.cpp:5: error: expected `,' or `...' before '>' token
foo.cpp:5: error: wrong number of template arguments (1,should be 2)
foo.cpp:2: error: provided for `template<class A,class B> struct Foo'
foo.cpp:5: error: default argument missing for parameter 2 of `void Bar::method(const Foo<int,int>&,int)'

template<typename A,typename B>
class Foo { };

struct Bar {
   typedef Foo<int,int> FooType;
   void method ( FooType const& stuff = FooType() );
};

template<typename A,typename B>
class Foo { };

void method ( Foo<int,int>() );

我不太确定这是g中的一个bug(从4.2.4版本开始).代码现在通过g 4.4(参见下面的UPDATE).为了让这段代码为其他版本的编译器编译,您可以在默认参数周围添加一组括号：

template<typename A,typename B>
class Foo { };

struct Bar {
  void method ( Foo<int,int> const& stuff = ( Foo<int,int>() ) );
};

IMO,这些括号是必需的,因为还有一个额外的要求,默认参数可以引用类的一个成员,该类的成员稍后可以在类体中被声明：

struct Bar {
  void method ( int i = j);  // 'j' not declared yet
  static const int j = 0;
};

上述代码是合法的,当“方法”的声明被解析时,成员’j’尚未被看到.因此,编译器只能使用语法检查(即匹配括号和逗号)来解析默认参数.当g解析您的原始声明时,实际看到的是：

void method ( Foo<int,int> const& stuff = Foo<int // Arg 1 with dflt.,int>() );                         // Arg 2 - syntax error

添加额外的括号集确保默认参数被正确处理.

以下情况显示了g成功但Comeau仍然生成语法错误的示例：

template<int J,int K>
class Foo { };

struct Bar {
  void method ( Foo<0,0> const & i = ( Foo<j,k> () ) );
  static const int j = 0;
  static const int k = 0;
};

编辑：

响应评论：“你可以同样有一个函数调用有多个参数”,这不引起问题的原因是函数调用中的逗号在括号中包围：

int foo (int,int,int);
struct Bar {
  void method ( int j =
                    foo (0,0) ); // Comma's here are inside ( )
};

因此,可以使用表达式的语法来解析它.在C中,所有'(‘必须与’)匹配,因此这很容易解析.这里的问题的原因是’<'不需要匹配,因为它在C中重载,所以可以是少于操作符或模板参数列表的开始.以下示例显示'<'在默认参数中使用,暗示小于运算符：

template<int I,int J>
class Foo { };

struct Bar {
  template <typename T> struct Y { };

  void method ( ::Foo<0,0> const& stuff = Foo<10,Y < int >  = Y<int>() );

  struct X {
    ::Foo<0,0> operator< (int);
  };

  static X Foo;
};

上述“Foo <10”是对“运算符”的调用在“X”中定义,而不是模板参数列表的开头.再次,Comeau在上述代码上生成语法错误,g(包括3.2.3)正确解析. FYI,适当的参考文献是8.3.6 / 5中的注释：

[Note: in member function declarations,names in default argument expressions are looked
up as described in 3.4.1…

然后在3.4.1 / 8

A name used in the definition of a member function (9.3) of class X following the function’s declaratorid29)
shall be declared in one of the following ways:

…

— shall be a member of class X or be a member of a base class of X (10.2),or

这里的子弹是强制编译器在默认参数的意义上“延迟”查找,直到所有的类成员都被声明为止.

< UPDATE>

正如“已经雇用的俄罗斯人”所指出的,现在可以解释所有这些例子.不过,直到07年才被C标准委员会解决,我还没准备好把这个称作“错误”.我认为需要长期额外的括号才能确保对其他编译器/工具的可移植性(甚至是g的未来版本).

根据我的经验,C标准并不要求编译器供应商都应该使用相同的解析器技术,而且也不能指望所有技术同样强大.因此,解析要求通常不要求供应商执行超人的专长.为了说明这一点,请考虑以下两个示例：

typedef T::TYPE TYPE;
T::TYPE t;

如果“T”依赖,则给定每个上下文“TYPE”必须是一个typename,但是该标准仍然需要typename关键字.这些示例是明确的,只能表示一件事情,但是标准(为了允许所有解析器技术)仍然需要typename关键字.

可能的是,DR可能被解决,使得无法解析这些示例的编译器仍将是“标准符合”,只要额外的括号允许代码解析.

< / UPDATE>