分配动态数组而不指定大小格式正确的代码？

Question

下面的简单程序 sn-p 给出了 gcc-4.3.4 的编译错误。

计划：

int main() 
{   
    char *ptr = new char[10];     
    char *ptr1 = new char[];      
    return 0; 
}  

编译错误：

prog.cpp：在函数“int main()”中：
prog.cpp:4：错误：“]”标记之前的预期主表达式
prog.cpp:3：警告：未使用的变量“ptr”
prog.cpp:4：警告：未使用的变量“ptr1”

但是使用 MSVC 可以干净地编译，没有任何诊断消息。

所以我的问题是：
标准是否允许在不指定 size 的情况下调用 new []？或者这是 MSVC 中的错误？
有人可以提供来自标准的参考，最终会说上面的代码示例格式错误或格式正确吗？

---

我看过了：

5.3.4 新 [expr.new] &
18.4.1.2 数组形式 [lib.new.delete.array]

但找不到任何关于该行为的确凿证据。

---

编辑：
添加Language Lawyer 标签。
我期待观察到的行为的答案，无论它是否有用，我完全知道它没有用也不推荐。

Answer 1

这在语法上不正确。

查看syntax 的新表达式。

noptr-new-declarator 必须在方括号之间包含一个表达式，并且一个表达式 中必须有一个标记。

Answer 2

这不是合法的 c++。

5.3.4 New [expr.new] 显示了在包含以下行的大列表中调用 new 的合法方式：

noptr-new-declarator:
        [ expression ] attribute-specifier-seqopt
        noptr-new-declarator [ constant-expression ] attribute-specifier-seqopt

稍后它解释了常量表达式可以是什么（在 5.4.3/6 和 5.4.3/7 中）：

noptr-new-declarator 中的每个常量表达式都应该是一个整数常量表达式 (5.19)，并计算为严格的正值。

---

经过一番思考，接下来的项目应该是相关的：

8.3.4/1 [dcl.array]，这些部分：

在声明 T D 中，其中 D 具有以下形式

    D1 [ constant-expressionopt ] attribute-specifier-seqopt

且声明T D1中的标识符类型为“derived-declarator-type-list T”，则D的标识符类型为数组类型；

和

如果省略常量表达式，则 D 的标识符类型为“derived-declarator-type-list array of unknown bound of T”，不完整的对象类型。

5.3.4/1 告诉：

这个类型应该是一个完整的对象类型，而不是抽象类类型或其数组

由于你省略了数组大小，所以类型不完整，你的程序不是有效的c++。