如何解释新的（__ p）_Tp（__ val）？

Question

我对初始指针的方式感到困惑。这是我的代码：

    int *p;
    int a = 5;
    new(p) int(a);

如果是运算符的新函数，int（a）是什么意思？为什么语句可以实现指针的初始化？