c++ - 为什么用构造函数调用符号定义指向指针变量的指针是非法的？

Question

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

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 - 无效 token ，这并没有说明太多。但是，& 不是问题所在(这意味着它可能不是运算符优先级错误)。如果我执行以下操作:

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

  delete[] parFoo;
}

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

什么句法规则导致了这种情况，即为什么构造函数调用符号不能用于定义指向指针的指针，只能定义“较少程度指向”类型？

Answer 1

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

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

Foo*  parFoo = new Foo[2];
Foo (**ppFoo2)(&parFoo); // compiles in MSVC too