0

我刚刚在我们的项目中提取了以下问题。下面的代码用 g++ 编译得很好

#include <vector>

class A {};

typedef std::vector<A*> vec_t;

class bar {
public:
  bar(vec_t) {};
};

class foo
{
public:
  foo(bar* a = new bar(vec_t())) {};
};

class B
{};

int main()
{
  return 0;
}

但是，Visual Studio 编译器（VC12，但我也认为所有其他编译器）不理解在foo的 c'tor的默认参数中，调用bar的 c'tor，它将向量的实例作为参数. 这会导致在此表达式之后声明的每个类/结构出现错误：

error C2462: 'B' : cannot define a type in a 'new-expression'

我不想讨论 c'tor 的软件设计，但这是编译器问题还是标准 C++ 中不允许，而 g++ 对此并不严格？

首先，我认为默认参数中的模板实例化可能不允许或默认参数中嵌套 c'tors。但是，如果我使用向量的另一个 c'tor：

foo(bar* a = new bar(vec_t(0))) {}

它用 MSVC 编译。我只是不明白为什么上版本不应该编译？对此有什么想法吗？

4

1 回答 1

0

看起来这是“最令人头疼的解析”的问题（有关更多信息，请参阅Wikipedia文章）。消除新表达式歧义的一种方法是像这样在构造函数周围添加括号

foo(bar* a = new bar((vec_t()))) {};

当谈到标准合规性时，我不确定。我浏览了N3690的第 6.8 节（歧义分辨率）和 5.3.4（新），并没有想太多，这两种方法都没有任何突出之处。也许真正的语言律师需要介入以给出答案。

于 2013-11-15T00:43:27.963 回答