Python如何实现类似C# where T : new()的可实例化泛型类型约束

Python类型系统没有提供和C# where T : new()完全一致的原生语法，但可以通过带约束的Protocol实现你要的两个限制：

• 类型必须继承自Button基类
• 类型为可实例化的非抽象类
  实现后Pylance可以在静态检查阶段就识别出传入抽象基类Button的错误，不需要等到运行时。

具体实现步骤 #

1. 定义带构造函数约束的Protocol #

通过Protocol定义可实例化的要求，同时通过bound=Button限制类型必须是Button的子类，避免Protocol允许无关类传入的问题：

from typing import Protocol, TypeVar, Type
from abc import ABC, abstractmethod

# 你原有的Button类、SquareButton、CircleButton定义保持不变
class Button(ABC):
    def __init__(self) -> None:
        self._name = ""
    @abstractmethod
    def show(self) -> None:
        pass
    def set_name(self, value:str) -> None:
        self._name = value

class SquareButton(Button):
    def show(self) -> None:
        print("[",self._name,"]")

class CircleButton(Button):
    def show(self) -> None:
        print("(",self._name,")")

# 新增：定义可实例化的Button约束
class ConstructableButton(Protocol, bound=Button):
    # 匹配你现有类的无参构造函数签名，如果构造函数有参数可以同步调整
    def __init__(self) -> None: ...

T = TypeVar("T", bound=ConstructableButton)

2. 原有业务代码无需修改 #

你之前的MenuBuilder和调用代码不需要调整，Pylance会自动生效检查：

class MenuBuilder:
    def build(self,class_type: Type[T]) -> None:
        pb1: Button = class_type()
        pb2: Button = class_type()
        pb3: Button = class_type()
        pb1.set_name("button1")
        pb2.set_name("button2")
        pb3.set_name("button3")
        pb1.show(); pb2.show(); pb3.show()

mb: MenuBuilder = MenuBuilder()
mb.build(Button) # Pylance会直接报类型错误，提前拦截
mb.build(CircleButton) # 类型检查通过，运行正常

补充运行时校验（可选） #

如果需要额外的运行时防护，可以在build方法开头增加抽象类检查：

from inspect import isabstract

def build(self, class_type: Type[T]) -> None:
    if isabstract(class_type):
        raise TypeError(f"不能传入抽象类{class_type.__name__}")
    # 原有逻辑

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