c – 新A [0] – 法律,但有什么用？它实际上做了什么？

When the value of the expression in a direct-new-declarator is zero,
the allocation function is called to allocate an array with no
elements.

通过我的阅读,这意味着此代码是合法的并具有指定的效果：

#include <iostream>
#include <string>
using namespace std;

class A
{
public:
    A() : a_(++aa_) {};
    int a_;
    static int aa_;
};
int A::aa_ = 0;

int main()
{
    A* a = new A[0];
    // cout << "A" << a->a_ << endl; // <-- this would be undefined behavior
}

当我在调试器下运行此代码时,我发现永远不会调用A的构造函数. new不抛出,并返回一个非null,显然有效的指针.但是,a-> a_的值是未初始化的存储器.

问题：

>在上面的代码中,实际指向的是什么？
>“分配没有元素的数组是什么意思？”
>分配具有零元素的数组有什么实际用途？