如何创建继承int基类且具备输入验证功能的Python类？

你提到的问题核心在于Python的不可变内置类型（比如int、str、float、tuple）和可变类型（list、dict等）的实例创建机制不同——对于不可变类型，实例的创建是通过__new__方法完成的，而不是__init__，这也是你原来的代码无法工作的原因。

为什么你的初始代码不起作用？ #

当你继承int这样的不可变类型时：

1. 创建实例时，Python首先调用类的__new__方法生成实例对象，而__init__是在实例已经被创建之后才执行的，它的作用是初始化实例的额外属性，无法改变不可变实例本身的值。
2. 你在__init__里写的self = value完全无效，因为self是已经创建好的int实例，赋值操作只是改变了局部变量self的指向，不会修改原来的实例。

正确实现：重写__new__方法验证输入 #

对于不可变类型，我们需要重写__new__方法——这个方法负责创建并返回新的实例，我们可以在调用父类的__new__之前先完成输入验证。

以你需求的MyInt为例：

class MyInt(int):
    def __new__(cls, value):
        # 先执行范围验证
        if not (0 <= value <= 100):
            raise ValueError(f'MyInt objects must be in range 0-100, value was {value}')
        # 调用父类的__new__创建并返回实例
        return super().__new__(cls, value)

测试一下这个实现：

# 合法值，正常创建实例
valid_int = MyInt(50)
print(valid_int)  # 输出: 50
print(valid_int + 20)  # 输出: 70，完全支持int的所有操作

# 非法值，触发验证错误
invalid_int = MyInt(101)  # 抛出 ValueError: MyInt objects must be in range 0-100, value was 101

关于访问/修改实例值的说明 #

因为int是不可变类型，你无法直接修改一个已创建的MyInt实例的值——这是不可变类型的特性。如果需要"修改"，本质上是创建一个新的MyInt实例，这时候依然会经过__new__方法的验证：

valid_int = MyInt(50)
# 这不是修改原实例，而是创建新实例并重新赋值
valid_int = MyInt(60)  # 合法，通过验证
valid_int = MyInt(101) # 触发错误

扩展到其他内置类型 #

1. 字符串（str，不可变）

比如限制字符串长度不超过5：

class MyStr(str):
    def __new__(cls, value):
        if len(value) > 5:
            raise ValueError(f'MyStr must be 5 characters or shorter, got {len(value)}')
        return super().__new__(cls, value)

2. 浮点数（float，不可变）

比如只允许正数：

class MyFloat(float):
    def __new__(cls, value):
        if value < 0:
            raise ValueError(f'MyFloat must be positive, got {value}')
        return super().__new__(cls, value)

3. 元组（tuple，不可变）

比如只允许包含偶数：

class MyTuple(tuple):
    def __new__(cls, iterable):
        if not all(x % 2 == 0 for x in iterable):
            raise ValueError('MyTuple can only contain even numbers')
        return super().__new__(cls, iterable)

4. 列表（list，可变）

对于可变类型，我们可以重写__init__来验证初始元素，同时还要重写append、extend等修改列表的方法，防止后续添加非法元素：

class MyList(list):
    def __init__(self, iterable):
        # 验证初始元素
        for item in iterable:
            if item % 2 != 0:
                raise ValueError('MyList can only contain even numbers')
        super().__init__(iterable)
    
    def append(self, item):
        if item % 2 != 0:
            raise ValueError('MyList can only contain even numbers')
        super().append(item)
    
    def extend(self, iterable):
        for item in iterable:
            if item % 2 != 0:
                raise ValueError('MyList can only contain even numbers')
        super().extend(iterable)

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