mypy是否只在函数声明了返回类型时才对其进行类型检查？
mypy是一个静态类型检查工具，用于对Python代码进行类型检查。它可以在函数声明、变量赋值、函数调用等多个场景下进行类型检查，而不仅限于函数声明的返回类型。
在函数声明中，mypy可以对函数的参数类型和返回类型进行检查。例如，我们可以使用类型注解来声明函数的参数类型和返回类型，然后运行mypy来检查代码是否符合这些类型注解。示例代码如下：
def add(a: int, b: int) -> int:
return a + b
result = add(1, 2)在上述代码中，我们使用了类型注解来声明函数add的参数a和b的类型为int，并且声明了返回类型为int。通过运行mypy，它会对函数调用add(1, 2)进行类型检查，确保传入的参数类型和返回值类型符合声明。
除了函数声明，mypy还可以对变量赋值进行类型检查。例如，我们可以使用类型注解来声明变量的类型，然后运行mypy来检查代码是否符合这些类型注解。示例代码如下：
x: int = 1
y: str = "hello"
z = x + y # 这里会触发类型错误在上述代码中，我们使用了类型注解来声明变量x的类型为int，变量y的类型为str。通过运行mypy，它会对变量赋值z = x + y进行类型检查，发现x和y的类型不匹配，从而触发类型错误。
总结来说，mypy不仅在函数声明了返回类型时对其进行类型检查，还可以在其他场景下对函数调用、变量赋值等进行类型检查，以提高代码的类型安全性和可靠性。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云函数计算（SCF）：https://cloud.tencent.com/product/scf
- 腾讯云云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 腾讯云容器服务（TKE）：https://cloud.tencent.com/product/tke
- 腾讯云数据库（TencentDB）：https://cloud.tencent.com/product/cdb
- 腾讯云人工智能（AI）：https://cloud.tencent.com/product/ai
- 腾讯云物联网（IoT）：https://cloud.tencent.com/product/iotexplorer
- 腾讯云移动开发（移动推送、移动分析、移动测试等）：https://cloud.tencent.com/product/mobile
- 腾讯云对象存储（COS）：https://cloud.tencent.com/product/cos
- 腾讯云区块链（BCS）：https://cloud.tencent.com/product/bcs
- 腾讯云游戏多媒体引擎（GME）：https://cloud.tencent.com/product/gme
- 腾讯云视频处理（VOD）：https://cloud.tencent.com/product/vod
- 腾讯云音视频通信（TRTC）：https://cloud.tencent.com/product/trtc
- 腾讯云音视频处理（MPS）：https://cloud.tencent.com/product/mps
- 腾讯云元宇宙（Tencent XR）：https://cloud.tencent.com/product/xr
相关·内容
1回答
mypy是否只在函数声明了返回类型时才对其进行类型检查？
python、python-3.x、typechecking、mypy
myStr): return "".join(self.chars) 类型检查(注意字符应该是Liststr而不是Listint)：➜ Python python3 -m mypy temp.py => Success: no issues found in 1 sourcefile，但下面的代码(我在其中声明了toString的返回类型</
浏览 22提问于2020-06-08得票数 1
回答已采纳
1回答
mypy可以检测到错误的TypedDict返回类型吗？
pycharm、static-analysis、mypy、python-3.8
我正在尝试让mypy为我的项目做足够全面的工作。from typing import TypedDict
good: OurDict = {'x': 2} # mypy likes this
def get_bad() -> OurDict:retur
浏览 11提问于2020-02-27得票数 1
1回答
从带有mypy注释的python函数中返回None，多个返回类型
python、function、return-type、static-typing、mypy
我将静态类型检查引入到我正在处理的python项目中(使用mypy)。在类型记录中，从带注释以返回其他内容的函数(即字符串)返回null是有效的： if(flag) {mypy的python中，不允许从带注释以返回str的函数中返回None。] error:Incompatible return
浏览 0提问于2018-09-10得票数 26
回答已采纳
2回答
如何使用mypy的内部类型检查功能？
python、python-3.x、types、mypy
它所做的事情之一是让您将一个属性设置为某个值，我想看看它是否可以由在GUI中实现的一个类型处理程序来处理。本机python类型模块无法检查str是否是Optional[str]的有效类型，或者int对于Union[float, int, complex]是否有效等.然而，mypy静态地进行这种类型检查，并且有一个名为的函数，我认为这个函数
浏览 3提问于2020-07-29得票数 1
回答已采纳
1回答
python怪异行为中的模板/通用用户定义类
python、types、constructor、mypy
当我编写以下代码时，mypy会发出一个错误(就像它应该发出的那样)：Data = TypeVar("Data") def __init__(self) -> None:s = State[int]()
当我从ctor中删除(完全冗余的，对吗-> None部件时，mypy会忽略类型不匹
浏览 2提问于2021-11-16得票数 0
回答已采纳
5回答
isinstance(foo，bar) vs类型(Foo)是bar。
python、typechecking
RETURN_VALUE 我从中了解到，我们使用isinstance是因为它对继承更好。但是，如果我正在检查</e
浏览 10提问于2014-02-19得票数 30
回答已采纳
2回答
当对象通过一个类型化的函数时的类型行为？
python-3.x、mypy
我似乎不明白Mypy在下面的情况下的行为。这个问题的代码被简化了。...
...__persist()mypy docido_sdk/index/test.py --ignore-missing-imports --follow-imports当我删除assert isinstance(value, six.string_types)时，它才会抛
浏览 6提问于2019-11-29得票数 2
回答已采纳
1回答
类的实例按类型处理为任意--严格相等。
python、python-3.x、mypy
不幸的是，当将包含matcher实例的复合类型与非Any类型的值进行比较时，如下所示：然后，使用--strict-equality标志的类型抱怨“不重叠的等式检查”。现在，我正在通过函数调用构造函数，这些函数的返回类型被注释为Any，但我想知道是否
浏览 1提问于2021-06-24得票数 1
回答已采纳
1回答
如何在使用类型模块时检查类型兼容性？
python、type-hinting、mypy
我正在使用Python类型提示为我用PEP484编写的DSL编写类型检查器。如果我有一个函数希望它的参数类型为T，并且它是用S类型的表达式调用的，那么如何检查调用是否有效？使用issubclass(S, T)是否足够？如果是这样的话，为什么mypy有如此复杂的is_subtype检查？还是我应该只使用mypy版本？
浏览 2提问于2016-06-20得票数 4
回答已采纳
1回答
mypy伪错误："module“没有带有etree的属性"XPath”
python、lxml、mypy
我正在尝试使用mypy在一些使用库解析XML的代码中进行类型检查。
在我使用etree.XPath的每一行中，我从mypy得到一个虚假错误。我还在导入上尝试了#type:ignore，我认为这可能会告诉mypy不要对该库进行类型检查，但这并没有抑制错误。需要说明的是，我实际上并不关心mypy是否知道来自lxml库的结构的正确类型。我更关心的是把<
浏览 54提问于2016-09-08得票数 10
1回答
带装饰器的类型检查
python-2.7、python-3.x、typechecking、static-typing、mypy
我有以下几点：from file1 import REQdef fun(request, REQ(validator=check_int))在file1.py def __init__(self, validator=None): e
浏览 5提问于2016-05-07得票数 0
2回答
应该从Union选项中推断类型吗？
python、mypy、typing
在下面的代码中，fn_int只会以一个int作为参数进行调用，但是mypy抱怨说，我可能会传递一个str (反之亦然)。 elif arg == "str": else:> mypymypy_test.py
mypy</
浏览 10提问于2022-03-11得票数 0
回答已采纳
2回答
对项目的所有Python文件运行mypy
python、mypy
如何对项目中的所有.py文件运行mypy？我已经看到，我可以指定一个模块来运行mypy，但是不能指定文件掩码或类似的东西。
浏览 0提问于2018-04-16得票数 15
回答已采纳
5回答
为什么我们要在def ->中使用__init__(self，n) -> None:？
python、class、init
(请注意，__init__的返回类型应该用-> None注释。原因是微妙的。如果__init__假定了-> None的返回注释，这是否意味着一个参数少、未带注释的__init__方法仍然应该进行类型检查？我们只是说__init__应该有一个返回注释；因此，默认行为与其他方法相同。)
浏览 3提问于2020-11-20得票数 18
回答已采纳
1回答
为实现接口的类键入提示
python、python-3.x、type-hinting
假设我有一个带有单个函数的接口A。我将有一些工厂方法(比方说)，它将返回一个实现A的合适对象。因此，在本例中，当我在B和C中实现B和C时，应该重复类型提示吗？实际上，由于没有直接使用B和C，A的类型提示似乎就足够了。但我很好奇这种情况下的最佳实践，以及是否还有其他问题需要考虑。
浏览 2提问于2017-03-22得票数 9
1回答
__aenter__和__aexit__的返回类型是什么？
python-3.x
_my_api.close() # returns None
根据文档，__aenter__和__aexit__都必须返回一个awaitable，但在我的例子中不是。我还读到__aexit__隐式地返回bool。那么，在我的情况下，返回类型应该是什么？
浏览 0提问于2021-08-09得票数 2
回答已采纳
2回答
为什么Mypy在分配已在类主体中暗示的__init__中的属性时不提供类型错误？
python、mypy
_init__(self, name, age): self.age = age
但是，当我运行mypytest.py时，我得到以下输出Success: no issues found in 1 source file
它不应该抱怨它试图将5赋值给name变量，并且我已经指出它应该是str类型的
浏览 1提问于2021-02-20得票数 4
回答已采纳
4回答
是否有方法使flake8检查源中的类型提示
python、python-3.x
我正在启动一个新的python项目(python 3.5+)，我希望在整个代码库中强制执行类型提示。有什么方法可以用flake8或其他工具来实现吗？
浏览 16提问于2017-04-03得票数 18
回答已采纳
2回答
输入返回提示，不返回，而根本不返回？
python、type-hinting、python-typing
这三个函数之间的返回类型提示有什么不同吗？None
print("Hello World") print("Hello World")
它们是否都应该有-> None返回类型提示，因为这实际上是它们显式或隐式返回的？或者my_func2或my_func3是否真的没有返回类型</
浏览 2提问于2020-09-25得票数 16
回答已采纳
1回答
如何使用mypy的打字机强制可调用类型的签名
python-3.x、type-hinting、mypy
函数x可以有两种不同类型的签名，我想通过类型提示来执行这一点：TYPE_B = Callable[[int], int]
我不知道如何检查x是TYPE_A还是TYPE_B。我尝试使用isinstance(x, TYPE_A)，它会生成一个类型错误。如果我使用另一种方法来确定x的类型，例如，使用signature来确定x在my_func中的签名(如果x有一个参数或两个参
浏览 0提问于2018-03-03得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
活动推荐
腾讯云开发者
