草庐IT

python 3.7 : check if type annotation is "subclass" of generic

coder 2023-08-14 原文

我试图找到一种可靠的/跨版本 (3.5+) 的方法来检查类型注释是否是给定泛型类型的“子类”(即从类型注释对象中获取泛型类型)。

在 Python 3.5/3.6 上,如您所料,它运行起来轻而易举:

>>> from typing import List

>>> isinstance(List[str], type)
True

>>> issubclass(List[str], List)
True

而在 3.7 上,泛型类型的实例看起来不再是 type 的实例,因此它会失败:

>>> from typing import List

>>> isinstance(List[str], type)
False

>>> issubclass(List[str], List)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/usr/lib/python3.7/typing.py", line 716, in __subclasscheck__
    raise TypeError("Subscripted generics cannot be used with"
TypeError: Subscripted generics cannot be used with class and instance checks

想到的其他想法是检查实际的实例类型,但是:

python 3.6/3.5:

>>> type(List[str])
<class 'typing.GenericMeta'>

python 3.7:

>>> type(List[str])
<class 'typing._GenericAlias'>

但这并没有真正进一步说明哪个是实际的泛型类型(可能不是 List);此外,以这种方式进行检查感觉很不对,尤其是因为 _GenericAlias 现在变成了“私有(private)”类型(请注意下划线)。

另一件可以检查的事情是类型的 __origin__ 参数,但这也不是正确的方法。

它在 3.7 上仍然不同:

>>> List[str].__origin__
<class 'list'>

3.5/3.6 时:

>>> List[str].__origin__
typing.List

我一直在寻找执行此操作的“正确”方法,但尚未在 Python 文档/谷歌搜索中找到它。

现在,我假设必须有一种干净的方法来进行这种检查,因为像 mypy 这样的工具会依赖它来进行类型检查..?

更新:关于用例

好的,在这里添加更多上下文......

因此,我的用例是对函数签名(参数类型/默认值、返回类型、文档字符串)进行自省(introspection),以自动为它们生成 GraphQL 模式(从而减少样板文件的数量)。

对于这是否是个好主意,我仍然有些纠结。

从可用性的角度来看,我喜欢它(无需学习另一种声明函数签名的方法:只需以通常的方式注释您的类型);请参阅此处的两个代码示例以了解我的意思:https://github.com/rshk/pyql

我想知道以这种方式使用 typing 中的类型来支持泛型类型(列表、字典、联合...)是否会增加太多的“黑魔法”,这可能会以意想不到的方式中断。 (目前这不是一个大问题,但是 future 的 Python 版本,超过 3.7 会怎么样?这会成为维护的噩梦吗?)。

当然,另一种方法是只使用支持更可靠/面向 future 的检查的自定义类型注释,例如:https://github.com/rshk/pyql/blob/master/pyql/schema/types/core.py#L337-L339

..但不利的一面是,这会迫使人们记住他们必须使用自定义类型注释。此外,我不确定 mypy 将如何处理(我假设需要在某处声明自定义类型与 typing.List.. 完全兼容?听起来还是很老套)。

(我主要是征求关于这两种方法的建议,最重要的是,我可能错过了这两种选择的任何优缺点。希望这不会变得“太宽泛”,所以……)。

最佳答案

首先:没有定义 API 来内省(introspection)由 typing 定义的类型提示对象模块。类型提示工具应该在运行时处理源代码,即文本,而不是 Python 对象; mypy不反省List[str]对象,而是处理已解析的 Abstract Syntax Tree您的源代码。

因此,尽管您始终可以访问 __origin__ 等属性,您实际上是在处理实现细节 ( internal bookkeeping ),并且这些实现细节可以并且将会随着版本的不同而变化。

也就是说,核心 mypy/typing 贡献者创建了 typing_inspect module为类型提示开发内省(introspection) API。该项目仍然将自己记录为实验性,并且您可以预期它也会随着时间的推移而改变,直到它不再是实验性的。它不会在这里解决您的问题,因为它不支持 Python 3.5,并且它是 get_origin()函数返回与 __origin__ 完全相同的值属性提供。

排除所有这些注意事项后,您想要在 Python 3.5/Python 3.6 上访问的是 __extra__。属性;这是用于驱动 issubclass() 的基本内置类型/isinstance()支持最初实现的库(但在 3.7 中删除):

def get_type_class(typ):
    try:
        # Python 3.5 / 3.6
        return typ.__extra__
    except AttributeError:
        # Python 3.7
        return typ.__origin__

这会产生 <class 'list'>在 Python 3.5 及更高版本中,无论如何。它仍然使用内部实现细节,并且很可能会在未来的 Python 版本中中断。

关于 python 3.7 : check if type annotation is "subclass" of generic,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/53854463/

有关python 3.7 : check if type annotation is "subclass" of generic的更多相关文章

  1. python - 如何使用 Ruby 或 Python 创建一系列高音调和低音调的蜂鸣声? - 2

    关闭。这个问题是opinion-based.它目前不接受答案。想要改进这个问题?更新问题,以便editingthispost可以用事实和引用来回答它.关闭4年前。Improvethisquestion我想在固定时间创建一系列低音和高音调的哔哔声。例如:在150毫秒时发出高音调的蜂鸣声在151毫秒时发出低音调的蜂鸣声200毫秒时发出低音调的蜂鸣声250毫秒的高音调蜂鸣声有没有办法在Ruby或Python中做到这一点?我真的不在乎输出编码是什么(.wav、.mp3、.ogg等等),但我确实想创建一个输出文件。

  2. ruby-on-rails - rails : "missing partial" when calling 'render' in RSpec test - 2

    我正在尝试测试是否存在表单。我是Rails新手。我的new.html.erb_spec.rb文件的内容是:require'spec_helper'describe"messages/new.html.erb"doit"shouldrendertheform"dorender'/messages/new.html.erb'reponse.shouldhave_form_putting_to(@message)with_submit_buttonendendView本身,new.html.erb,有代码:当我运行rspec时,它失败了:1)messages/new.html.erbshou

  3. ruby-on-rails - 由于 "wkhtmltopdf",PDFKIT 显然无法正常工作 - 2

    我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中,我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-

  4. ruby - 检查 "command"的输出应该包含 NilClass 的意外崩溃 - 2

    为了将Cucumber用于命令行脚本,我按照提供的说明安装了arubagem。它在我的Gemfile中,我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作,我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了,但失败的原因是错误的:@announceScenario:Testingcucumber/ar

  5. ruby-on-rails - 迷你测试错误 : "NameError: uninitialized constant" - 2

    我遵循MichaelHartl的“RubyonRails教程:学习Web开发”,并创建了检查用户名和电子邮件长度有效性的测试(名称最多50个字符,电子邮件最多255个字符)。test/helpers/application_helper_test.rb的内容是:require'test_helper'classApplicationHelperTest在运行bundleexecraketest时,所有测试都通过了,但我看到以下消息在最后被标记为错误:ERROR["test_full_title_helper",ApplicationHelperTest,1.820016791]test

  6. ruby-on-rails - 相关表上的范围为 "WHERE ... LIKE" - 2

    我正在尝试从Postgresql表(table1)中获取数据,该表由另一个相关表(property)的字段(table2)过滤。在纯SQL中,我会这样编写查询:SELECT*FROMtable1JOINtable2USING(table2_id)WHEREtable2.propertyLIKE'query%'这工作正常:scope:my_scope,->(query){includes(:table2).where("table2.property":query)}但我真正需要的是使用LIKE运算符进行过滤,而不是严格相等。然而,这是行不通的:scope:my_scope,->(que

  7. 使用 ACL 调用 upload_file 时出现 Ruby S3 "Access Denied"错误 - 2

    我正在尝试编写一个将文件上传到AWS并公开该文件的Ruby脚本。我做了以下事情:s3=Aws::S3::Resource.new(credentials:Aws::Credentials.new(KEY,SECRET),region:'us-west-2')obj=s3.bucket('stg-db').object('key')obj.upload_file(filename)这似乎工作正常,除了该文件不是公开可用的,而且我无法获得它的公共(public)URL。但是当我登录到S3时,我可以正常查看我的文件。为了使其公开可用,我将最后一行更改为obj.upload_file(file

  8. ruby - 安装 Ruby 时遇到问题(无法下载资源 "readline--patch") - 2

    当我尝试安装Ruby时遇到此错误。我试过查看this和this但无济于事➜~brewinstallrubyWarning:YouareusingOSX10.12.Wedonotprovidesupportforthispre-releaseversion.Youmayencounterbuildfailuresorotherbreakages.Pleasecreatepull-requestsinsteadoffilingissues.==>Installingdependenciesforruby:readline,libyaml,makedepend==>Installingrub

  9. ruby - RVM "ERROR: Unable to checkout branch ."单用户 - 2

    我在新的Debian6VirtualBoxVM上安装RVM时遇到问题。我已经安装了所有需要的包并使用下载了安装脚本(curl-shttps://rvm.beginrescueend.com/install/rvm)>rvm,但以单个用户身份运行时bashrvm我收到以下错误消息:ERROR:Unabletocheckoutbranch.安装在这里停止,并且(据我所知)没有安装RVM的任何文件。如果我以root身份运行脚本(对于多用户安装),我会收到另一条消息:Successfullycheckedoutbranch''安装程序继续并指示成功,但未添加.rvm目录,甚至在修改我的.bas

  10. ruby - 如何关闭 ruby​​ gem "Spreadsheet?"中的文件 - 2

    下面的代码在我第一次运行它时就可以正常工作:require'rubygems'require'spreadsheet'book=Spreadsheet.open'/Users/me/myruby/Mywks.xls'sheet=book.worksheet0row=sheet.row(1)putsrow[1]book.write'/Users/me/myruby/Mywks.xls'当我再次运行它时,我会收到更多消息,例如:/Library/Ruby/Gems/1.8/gems/spreadsheet-0.6.5.9/lib/spreadsheet/excel/reader.rb:11

随机推荐