C++是否存在与Python __new__功能等价的实现方式？

能力基准对标 #

先明确讨论的核心对标点：Python中重写__new__的核心能力，是开发者可以完全接管类的实例创建入口——当调用方执行A类()发起构造时，开发者可以在自定义逻辑里不返回A类的实例，甚至可以返回和A完全没有继承关系的其他类对象，整个过程不需要额外的接口封装，完全符合原生构造调用的语法形式。

C++ 的原生能力边界 #

首先给明确结论：C++不存在和Python __new__ 完全等价的无约束原生机制，这是静态强类型系统的天然边界——从语法规则层面，只要你写new A()或者在栈上定义A obj;，编译器就会硬性要求最终生成的对象内存布局必须符合A类的定义，根本没法绕过规则返回一个和A完全无关的类实例。
很多从Python迁移过来的开发者刚开始会觉得不适应：原来随便改下__new__就能返回别的类实例的灵活性没了，但只要用几行原生语法组合，完全可以实现同等的业务价值——也就是构造的决策逻辑完全由类的实现方掌控，调用方根本不需要感知内部实际返回的是哪个具体类的实例。常见实现方式包括：

• 静态工厂模式：将类的所有构造函数设为私有，对外暴露和构造调用逻辑一致的静态方法，方法内部可以根据业务逻辑返回任意和当前类存在继承关系的子类实例。配合C++17之后的RVO/NRVO返回值优化，这种写法的运行效率和直接构造完全没有差异。示例代码：

class BaseSolver {
private:
    // 屏蔽外部直接调用构造函数
    BaseSolver() = default;
public:
    // 对外暴露的工厂入口，完全接管创建逻辑
    template <typename... Args>
    static std::unique_ptr<BaseSolver> create(Args&&... args) {
        // 根据运行条件选择返回不同的具体实现类实例
        if (run_in_gpu_mode) {
            return std::make_unique<GPULinSolve>(std::forward<Args>(args)...);
        }
        return std::make_unique<CPUIterSolve>(std::forward<Args>(args)...);
    }
};

• 重载全局/类级别的operator new：这个机制属于C++原生的内存分配钩子，可以拦截new操作的内存申请流程，但它只能控制内存的分配逻辑，没法直接替换最终返回的对象类型，只能作为辅助实现的手段，不能完全替代__new__的全流程接管能力。

Java 场景下的模拟实现逻辑 #

你之前在Java里做的跨类构造模拟，本质上是因为Java本身没有原生的无约束跨类构造能力：Java的构造方法是纯粹的实例初始化逻辑，没有返回值，JVM会强制要求构造流程结束后必须返回当前类的实例，就算你在构造方法里写了其他类型的对象引用，最终返回的还是当前类的实例。
所以Java场景下的模拟实现逻辑和上面提到的C++静态工厂思路完全一致：把目标类的所有构造器设为私有，对外暴露静态工厂方法，方法内部根据逻辑返回当前类的任意子类实例，从调用方视角看，和直接调用构造的体感差异很小。

其他编程语言的同类原生实现 #

• JavaScript/TypeScript：存在和Python __new__ 几乎1:1对标的原生能力。JS中类的constructor本身就可以返回任意对象，哪怕是和当前类完全无关的对象，都不需要额外的语法封装——比如你写class A { constructor() { return {x: 1} } }，调用new A()拿到的就是这个字面量对象，根本不是A类的实例。
• C#：通过dynamic动态绑定、静态工厂、DI容器的实例解析能力，可以实现和Python __new__ 高度相似的使用体验，支持在构造入口灵活返回不同的实现类实例。
• Rust：因为本身没有强制绑定的“构造函数”概念，所有对象创建都是通过关联函数实现，开发者完全可以在名为new的关联函数里返回任意实现了对应trait的类型实例，灵活度完全可以覆盖跨类构造的需求。
• Go：没有类的概念，通常通过对外暴露的NewXXX工具函数实现对象创建逻辑，本身就没有构造调用和类型的强制绑定，天然适合做跨实现类的实例创建逻辑。

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