Cannot combine NewType and Literal

未关闭
#9,650 1 条评论 2 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

评估

难度
4/5
预计耗时
3-5 天
新手友好度
35/100
Issue 类型
功能
描述清晰度
基本清楚
活跃度
停滞
技术栈
python
领域
compilers

调研方向

首先使用 Baz = NewType("Baz", Foo) 示例和已报告的可子类化错误，追踪 mypy 如何验证 NewType 的第二个参数，以及它如何表示 Literal 类型。定义从 Literal 派生的 NewType 所应具有的类型检查行为，然后添加覆盖测试，展示被接受的定义及其在类型检查方面的优势。

由索引模型根据 Issue 内容生成。

描述

feature topic-literal-types topic-newtype

(This seems related to, but different from, #2448.)

Feature

Allow the creation of a NewType derived from Literal.

Pitch

Currently you can define the following types:

Foo = Literal["foo"]
Bar = NewType("Bar", str)

But you can't do this:

Baz = NewType("Baz", Foo)

If you attempt to, Python won't throw any error, but mypy will complain:

error: Argument 2 to NewType(...) must be subclassable

This prevents a strict definition of a literal-based type: you either have to accept all values of the literal's type or you need to lose the type check benefits of NewType.

主要语言
Python
星标
20.6k
派生
3.3k
平均合并
1 天 18 小时
30 天内合并 PR
54

贡献指南

打开贡献指南

从这里开始

  1. 先读完整个 Issue，再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库，在一个分支上完成修改。
  4. 提交 Pull Request，并在描述里引用这个 Issue 编号。

python/mypy 的其他 Issue

查看 python/mypy 的全部 Issue

相似的 Issue

更多 Python Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。