pytype和mypy都没有抱怨类型错误吗？
pytype和mypy是两种常用的静态类型检查工具，用于Python代码的类型检查。它们的主要作用是帮助开发者在编写代码时发现潜在的类型错误，提高代码的可靠性和可维护性。
pytype是由Google开发的一种静态类型检查工具，它可以分析Python代码并检查类型错误。pytype使用了基于类型注解的方法来推断变量的类型，并通过类型检查来捕获潜在的错误。它可以检查函数参数、返回值、变量赋值等情况，并提供详细的错误报告和建议。pytype可以与其他工具集成，如IDE、构建系统等，以提供更好的开发体验。
mypy是另一种常用的静态类型检查工具，它也可以对Python代码进行类型检查。mypy同样使用基于类型注解的方法来推断变量的类型，并进行类型检查。mypy支持多种类型注解语法，并提供了丰富的类型系统，可以检查函数参数、返回值、变量赋值等情况。mypy还支持通过配置文件来自定义类型检查的行为，并可以与其他工具集成。
虽然pytype和mypy都可以帮助开发者发现类型错误，但它们并不是完美的工具，也不能保证完全没有类型错误的代码。在使用这些工具时，开发者需要注意以下几点：
- 类型注解的准确性：pytype和mypy都依赖于类型注解来推断变量的类型，因此类型注解的准确性非常重要。如果类型注解错误或不完整，这些工具可能无法正确检查类型错误。
- 动态特性的限制：Python是一种动态类型语言，允许在运行时动态改变变量的类型。pytype和mypy在进行类型检查时，可能无法捕获到所有的动态类型变化，因此仍然存在一定的风险。
- 工具配置和规则：pytype和mypy都提供了一些配置选项和规则，开发者可以根据自己的需求进行调整。正确配置这些工具可以提高类型检查的准确性和效果。
总结来说，pytype和mypy是两种常用的静态类型检查工具，它们可以帮助开发者发现潜在的类型错误，提高代码的可靠性和可维护性。然而，它们并不是完美的工具，开发者在使用时需要注意类型注解的准确性、动态特性的限制以及工具的配置和规则。
相关·内容
今天，我被介绍了在Python中使用静态类型检查的多种方法(由)。它列出了、和。然后我找到了另一个，来自谷歌的，叫做。
这些选择有冲突吗？他们中的任何一个依赖于其他的吗？它们中的任何一个(子集)是否使其他任何一个成为不必要的？
浏览 14提问于2018-03-05得票数 1
我在我的python代码中练习干净的代码和注释。如果类型没有被检查，我不知道定义NewType对象的功能是什么。 示例： UserId = NewType('UserId', int)
some_id = UserId('Hello World!')
type(some_id)
>> str 我预计会出现某种警告或错误，指示类型不匹配...或者： UserId = NewType('UserId', int)
some_id = UserId('Hello World!')
type(some_id)
>&
浏览 29提问于2021-01-30得票数 2
回答已采纳
4回答
我在python3.5代码上使用了mypy，我收到了很多消息，如下所示：
文件:行号:错误:变量需要类型注释
但是我读到了python 3.6中的一些新特性，它只在python 3.6中引入了变量注释的语法。
PEP 484介绍了函数参数类型注释的标准，即k.a。输入提示。这个PEP为Python添加了语法，用于注释变量的类型，包括类变量和实例变量.
如果我试图在python 3.5程序中向变量添加变量类型注释，它会抛出SyntaxError。
我该怎么办？忽略这条信息？更新到python 3.6？为什么mypy像用python 3.6编写的那样编译我的代码
浏览 6提问于2017-06-18得票数 21
回答已采纳
我正在使用python元类，并试图编写一些为其子类动态更改或添加方法的元类。
例如，这里有一个元类，其目的是在子类中查找async方法(它们的名称也以字符串“_async”结尾)，并添加该方法的另一个“同步”版本：
class AsyncClientMetaclass(type):
@staticmethod
def async_func_to_sync(func):
return lambda *_args, **_kwargs: run_synchronized(func(*_args, **_kwargs))
def __new__(mcs, *
浏览 4提问于2022-04-25得票数 0
4回答
我注意到Python3.5和Python3.6增加了许多关于静态类型检查的特性，所以我尝试了下面的代码(在python3.6中，稳定版本)。
from typing import List
a: List[str] = []
a.append('a')
a.append(1)
print(a)
令我惊讶的是，Python没有给出错误或警告，尽管1被附加到只应该包含字符串的list中。Pycharm检测到了类型错误并给了我一个警告，但是它并不明显，并且没有显示在输出控制台中，我担心有时我可能会错过它。我希望有以下效果：
如果显然我使用了错误的类型，如上面所示，抛出一个警告或
浏览 5提问于2016-12-28得票数 55
回答已采纳
2回答
在Python类中键入签入
、、、、
我试图使用静态类型检查工具来检查变量的赋值是否错误。例如，将字符串赋值给int变量。
我试过pytype和mypy。两人都没给我任何警告。
class A:
def __init__(self):
self.x : int = None
if __name__ == '__main__':
a = A()
a.x = 'abc'
print(a.x)
我希望静态类型检查工具可以在上面的行给我一个警告：
a.x = 'abc'
我是否需要使用一些选项或其他辅助工具来检测这种赋值语句？
浏览 2提问于2019-08-13得票数 1
回答已采纳
1回答
我有一个Python代码：
from typing import List, Optional
class MyClass:
pass
def generate_list() -> List[List[Optional[MyClass]]]:
my_list = [[None for _ in range(10)] for _ in range(10)]
# assignments might be extended in the future
my_list[0][0] = MyClass()
return my_list
我希望gene
浏览 0提问于2018-07-11得票数 1
回答已采纳
1回答
我编写了一些Python代码，它一个一个地打开文件，做一些工作，并将数据写入文件系统。我想，我想利用我的能力，我已经把程序重构到这里面了。
from multiprocessing import Pool
import glob
def work(file_name):
# do work
pass
if __name__ == "__main__":
pool = Pool()
pool.map(work, (glob.iglob('.somedir/**/*.data', recursive=True)))
poo
浏览 0提问于2020-04-01得票数 -2
回答已采纳
mypy报告了以下代码中的一个错误：
import enum
from sqlalchemy.ext.declarative import declarative_base
from sqlalchemy import Column, Enum
Base = declarative_base()
class MyEnum(enum.Enum):
A = 1
B = 2
class MyTable(Base):
__tablename__ = 'my_table'
col = Column(Enum(MyEnum), nullable=Fa
浏览 10提问于2021-02-10得票数 9
4回答
我经常在python中输入错误的变量名称，而python是动态的，所以我只在不正确的代码运行时才检测到它。如何防止在python中输入错误？
浏览 0提问于2011-03-19得票数 0
在评论建议之前，请阅读下面的注释。问题不是强类型、动态类型化、静态类型化的语言等等，而是在程序中的任何地方开始使用变量，改变其中一个而不是另一个会导致巨大的行为变化。
如果PyLint flake8 或可以提供帮助，请给出一个示例来建议配置，这样我就可以很容易地实现它。如果我能够做一些类似于语法错误的类型提示，而不是像pylint或flake 8那样的话，那就太好了，这是通过稍后运行来检查类似测试来完成的。
中有一个变量，如下所示:
def func():
is_name_appropriate = False
while not is_name_appropriate:
浏览 1提问于2020-11-19得票数 1
回答已采纳
多年来，我一直在使用通过CLI创建的角项目中提供的可用皮棉文件。主要是TSLINT规则的衣料项目。
我还了解到，即使是SONARQUBE也通过远程服务器检查代码质量。
但是，有人能解释一下使用A LINT文件和使用SONARQUBE的主要功能区别是什么吗？
哪个系统最适合使用？
或者我们可以同时使用它们吗？
浏览 2提问于2020-11-19得票数 0
回答已采纳
我在python3中找到了如下代码： def twoSum(self, nums: List[int], target: int) -> List[int]:
return sum(nums) 据我所知，对于python def，我们只需要执行以下操作： def twoSum(self, nums, target):
return sum(nums) nums: List[int], target: int和->List[int]是什么意思？这些是python 3的新特性吗？我从来没见过这些。 谢谢
浏览 1705提问于2019-06-18得票数 9
回答已采纳
1回答
在用Python编写函数时，类型提示如下所示：
def foo(token: Token=None):
pass
它将转换为以下类型提示：Optional[Token]。对于可选选项，None值也被接受。
当为类字段编写相同类型的提示时，它的行为不一样：
class bar:
foo: Token = None
在这里，键入类似于PyCharm报告中集成的提示检查程序：
期望类型‘令牌’，没有得到代替。
我的问题是：
为什么在参数情况下，提示和None隐式组合到Optional[...]
为什么字段的行为不同，同时具有相同的语法？
我使用PyCharm 201
浏览 2提问于2020-01-16得票数 2
回答已采纳
2回答
我发现Python打算支持静态类型，但它仍然处于beta阶段。我在python 3.4.3中尝试了以下代码：
def somme(a: int, b: int) -> int:
return a + b
语法是受支持的，但我没有得到预期的结果。如果输入somme('1', '3')，则得到13，而TypeError异常表示int variable expected。
有人知道为什么不能用吗？
浏览 2提问于2016-05-30得票数 6
回答已采纳
对用C编写的Python扩展模块进行单元测试相当简单(如果繁琐的话)，包括许多Python/C API的错误情况，比如PyArg_ParseTuple。例如，启动实现Python函数或方法的C函数的惯用方式如下所示：
if (!PyArg_ParseTuple(args, "someformat:function_name")) {
return NULL;
}
这种情况的成功案例可以通过使用正确的参数数量和类型调用函数来进行单元测试。还可以通过调用函数来测试失败情况，首先使用错误数量的参数，然后使用正确数量的参数，但传递错误类型的值。这导致了对
浏览 2提问于2012-02-14得票数 6
2回答
我试图理解为什么要在python中使用类型注释。例如，我可以编写如下函数：
def some_function(a: int, b: int) -> int:
return a + b
当我把它和int一起使用时，一切都变好了：
some_function(1, 2) # return 3, type int
但当我竞选的时候
some_function(1, 2.0) # return 3.0, type float
我的结果没有任何注释，类型是错误的。那么使用类型注释的原因是什么呢？
浏览 6提问于2017-02-25得票数 1
回答已采纳
1回答
带装饰器的类型检查
、、、、
我有以下几点：
在myfile.py中：
from file1 import REQ
@has_request_variable
def fun(request, REQ(validator=check_int))
/* body */
在file1.py
class REQ(object):
def __init__(self, validator=None):
self.validator = validator
def has_request_variables(view_func):
/* body */
# Below I
浏览 5提问于2016-05-07得票数 0
3回答
在编程语言中，推断类型和动态类型有什么区别？我知道动态类型，但不知道动态类型与推断类型有何不同，以及如何？谁能举个例子解释一下吗？
浏览 5提问于2014-07-06得票数 6
回答已采纳
我开始在Python中使用Type提示。我的职能如下：
def func(arg: Optional[str]):
# ...
# make sure arg is a string and not None
do_something(arg) # do_something expects a string
只有当arg确实是一个字符串而不是一个字符串时才能调用do_something，但是mypy并不能自己解决它(这不是一个类型问题，它不能理解所有的东西)。所以mypy标记对do_something的调用，因为arg可能是空的。
在类型记录中，类似的情况可以用arg
浏览 4提问于2020-06-21得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储活动推荐
腾讯云开发者
