继承相关：能否强制派生类的变量固定为特定值？

针对你说的「子类固定属性值，不单纯依赖构造函数」的需求，有两种简单易懂的实现方式，完全符合你的要求：

方法一：子类定义类级常量 + 重写基类只读属性 #

这种方式把固定值绑定在类本身上，所有实例共享同一个值，而且没法被修改，也不用在构造函数里重复赋值。

以Python为例：

# 基类：定义必须实现的属性
class Vehicle:
    @property
    def number_of_wheels(self):
        # 强制子类必须实现这个属性，不然会报错
        raise NotImplementedError("所有Vehicle子类必须定义number_of_wheels")

    @property
    def max_speed(self):
        raise NotImplementedError("所有Vehicle子类必须定义max_speed")

# Bike子类：固定值写在类的常量里
class Bike(Vehicle):
    # 类级常量，属于整个Bike类的固定值
    _WHEEL_COUNT = 2
    _MAX_SPEED = 30

    @property
    def number_of_wheels(self):
        return self._WHEEL_COUNT

    @property
    def max_speed(self):
        return self._MAX_SPEED

# Car子类：同理
class Car(Vehicle):
    _WHEEL_COUNT = 4
    _MAX_SPEED = 120

    @property
    def number_of_wheels(self):
        return self._WHEEL_COUNT

    @property
    def max_speed(self):
        return self._MAX_SPEED

不管你创建多少个Bike实例，它们的number_of_wheels都是2，而且因为是@property只读属性，外部没法修改这个值。

方法二：基类用抽象方法强制子类返回固定值 #

如果用Java、C#这类强类型语言，用抽象方法更直接——基类强制子类必须实现方法返回固定值，编译器会帮你检查有没有遗漏。

以Java为例：

// 基类：抽象类，定义抽象方法
abstract class Vehicle {
    public abstract int getNumberOfWheels();
    public abstract int getMaxSpeed();
}

// Bike子类：实现抽象方法，固定返回值
class Bike extends Vehicle {
    @Override
    public int getNumberOfWheels() {
        return 2;
    }

    @Override
    public int getMaxSpeed() {
        return 30;
    }
}

// Car子类：同理
class Car extends Vehicle {
    @Override
    public int getNumberOfWheels() {
        return 4;
    }

    @Override
    public int getMaxSpeed() {
        return 120;
    }
}

这种方式的核心是：固定值只在子类里写一次，所有实例都用这个值，不会因为构造函数写错或者漏写而出错。

为什么这两种方法比构造函数好？ #

• 构造函数是给每个实例赋值，万一子类构造函数里写错了数值，或者忘了赋值，就会出问题；而上面的方法是类级别的固定定义，所有实例共享同一个正确值。
• 当有多个固定属性时，只需要在子类里添加对应的常量和属性/方法，逻辑清晰，不容易漏写。

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