### Python `__new__` 方法不返回对象但也不抛出错误的原因 当 `__new__` 方法被调用却不返回任何对象时，默认情况下 Python 会抛出 `TypeError` 异常[^1]。然而，在某些特定场景下，即使 `__new__` 不返回新创建的对象也不会立即引发异常。 #### 特殊情况下的行为分析 对于不可变类型的子类化操作而言，有时开发者希望自定义对象的创建过程而不实际生成新的实例。此时可以通过让 `__new__` 返回已存在的对象来实现这一目标。例如： ```python class Singleton(object): _instance = None def __new__(cls, *args, **kwargs): if not cls._instance: # 创建并保存唯一实例 cls._instance = super(Singleton, cls).__new__(cls, *args, **kwargs) return cls._instance ``` 在这个例子中，如果 `_instance` 已经存在，则不再重新创建而是直接返回已有实例；这并不会导致程序崩溃或报错，因为所返回的是合法有效的对象引用而非 `None` 或其他非法值[^2]。 另外一种常见的情况是在元编程领域内处理抽象基类（ABCs）。通过继承 `abc.ABCMeta` 并适当覆盖 `__new__` 可以控制何时允许实例化以及如何构建这些实例。在这种情形之下，即便 `__new__` 没有显式地构造一个新的实体，只要最终能够提供一个合理的替代品给后续流程使用就不会有问题发生。 #### 示例代码展示 下面给出一段简单的演示代码片段说明此现象: ```python from abc import ABCMeta, abstractmethod class AbstractBase(metaclass=ABCMeta): @abstractmethod def must_implement(self): pass def __new__(cls, *args, **kwargs): print("__new__() called.") # 如果当前类不是最具体的子类则阻止其实例化 if cls is AbstractBase: raise TypeError("Cannot instantiate an abstract class directly.") obj = super().__new__(cls) setattr(obj, 'special_attribute', True) return obj class Concrete(AbstractBase): def must_implement(self): print("Concrete implementation") try: a = AbstractBase() except Exception as e: print(e) c = Concrete() print(c.special_attribute) ``` 这段代码展示了两个要点：一是尝试直接实例化抽象基类将会失败，并且不会由于 `__new__()` 的特殊逻辑而产生未捕获的异常；二是成功创建具体子类实例的同时为其添加额外属性，证明了尽管 `__new__` 中进行了复杂判断但仍能正常工作。