11

当我使用构造函数调用表示法(declare-)定义指向指针的指针(而不是赋值表示法 - 当然在运行时会做同样的事情;这只是一个约定),我得到一个编译器错误。我想知道为什么会这样。

struct  Foo 
{ /* ... */ };

int main(int argc, char** argv)
{
  Foo*  parFoo = new Foo[2];
  Foo** ppFoo(&parFoo); // invalid: C2059
  Foo** ppFoo = &parFoo; // OK

  delete[] parFoo;
}

错误是 C2059 - 无效令牌,这并没有说太多。但是,这&不是问题(这意味着它可能不是运算符优先级错误)。如果我执行以下操作:

int main(int argc, char** argv)
{
  Foo*  parFoo = new Foo[2];
  Foo** ppFoo = &parFoo; // OK
  Foo** ppFoo2(ppFoo); // invalid: C2061

  delete[] parFoo;
}

...然后我得到一个 C2061,这意味着这一次是ppFoo在错误位置的标识符。

什么语法规则导致了这种情况,即为什么不能使用构造函数调用符号来定义指向指针的指针,而只能使用“较少程度指向”类型?

4

2 回答 2

12

它看起来像有效的 C++。而且,正如其他人指出的那样,GCC 确实接受了它。根据您得到的编译器错误,它看起来像是 MSVC 解析器中的错误。

事实上,添加括号有助于它正确解析代码:

Foo*  parFoo = new Foo[2];
Foo (**ppFoo2)(&parFoo); // compiles in MSVC too
于 2012-12-10T18:54:46.867 回答
2

在 VS2005 中,代码可以简化为

int main() {
  int** ppFoo(0);
}

它会产生相同的错误。显然这是编译器中的一个错误。

于 2012-12-10T19:38:30.507 回答