绕过构造函数在堆上构造C++对象是否符合C++语言规范？

首先直接给结论：C标准没有从规则层面完全禁止开发者绕过普通构造调用创建对象，但你给出的示例代码**完全不符合C规范，属于未定义行为，甚至存在直接无法编译的语法错误**。

代码的显性问题 #

你贴出的代码最后一行写的是delete A;，这行从语法上就不成立：delete操作符要求操作数是指向动态分配对象的指针，而A是类名，不是指针变量，这段代码根本无法通过编译。就算你把这行修正为delete a;，整个逻辑依然不符合标准要求。

规则层面的核心逻辑 #

很多人存在一个误区：只有逻辑复杂的类才需要走构造函数，简单的结构体/类malloc完直接给成员赋值就行，这个认知是错的，合法性边界和类的业务逻辑复杂度没有关系，完全由C++标准定义的对象生命周期规则决定：

• malloc的本质功能只有一个：申请一块满足指定大小要求的连续原始内存块，它不会在这块内存上启动任何C++对象的生命周期。你拿到的返回值本质上是一块原始存储区域的地址，不是一个指向活的A类型对象的指针。
• 如果你给类A自定义了构造函数、析构函数或者其他非平凡成员（也就是你代码注释里写的那些内容），那A就不属于隐式生命周期类型。这种情况下你跳过构造直接给成员赋值，属于在不存在有效对象的内存上执行成员访问，是标准明确规定的未定义行为，运行时出现任何问题都符合预期。
• 就算你把A改成完全没有自定义构造、析构的平凡聚合类（也就是只有两个public int成员的最简版本）：
  • 在C++17及更早标准下，malloc返回的内存上不会自动创建A类型的对象，直接访问成员依然属于未定义行为。
  • 在C++20及之后标准下，A这类平凡类型属于隐式生命周期类型，满足对齐、大小要求的malloc内存上会隐式创建一个A对象，但这时候你对这个指针调用delete依然是非法的：delete必须和new表达式配对使用，它背后会走全局operator delete的内存回收逻辑，和malloc配对的free不是一套分配机制，混用必然触发内存分配器崩溃，属于明确的未定义行为。

合法绕过构造的前提 #

标准从未完全禁止手动在原始内存上构造对象的操作，但必须严格满足以下要求，否则全是未定义行为：

• 申请的原始内存必须满足目标类型的大小、内存对齐要求
• 对于非隐式生命周期类型，必须通过placement new在内存上显式调用构造函数，完成对象生命周期的启动
• 内存操作必须严格配对：malloc分配的内存必须用free释放，new分配的内存必须用delete释放；通过placement new构造的对象，必须先手动调用其析构函数销毁对象，再回收对应的原始内存。

举个符合C++20标准的最简合法示例：

#include <cstdlib>

class A {
public:
    int a;
    int b;
};

int main() {
    A* a = (A*)malloc(sizeof(A));
    a->a = 1;
    a->b = 2;
    // 用完对象后用free回收malloc分配的内存，由于A是平凡类型不需要手动调用析构
    free(a);
    return 0;
}

注意上面的合法示例成立的前提是A是完全平凡的隐式生命周期类型、内存用malloc/free配对操作，只要你给A加了自定义构造/析构、或者把free换成delete，代码立刻就会变成未定义行为。

内容的提问来源于stack exchange，提问作者esam