time.struct_time结构

Question

的不堪不透明为什么IDE中的pylint的和智能感知功能具有难以识别的time.struct_time实例？下面的代码包含了对类的现有/不存在属性的一些简单测试，名为元组和名称元组，如time.struct_time。一切正常的pylint的，和的IntelliJ VSCode - 在每种情况下，除了time.struct_time报告给缺少的属性的访问 - 它产生任何这些工具没有警告或错误。他们为什么不能说出它是什么以及它的属性是什么？

import time 
from collections import namedtuple 

t = time.localtime() 
e = t.tm_mday 
e = t.bad # this is not reported by linters or IDEs. 

class Clz: 
    cvar = 'whee' 

    def __init__(self): 
     self.ivar = 'whaa' 

o = Clz() 
e = Clz.cvar 
e = o.ivar 
e = Clz.bad 
e = o.bad 

Ntup = namedtuple('Ntup', 'thing') 
n = Ntup(thing=3) 
e = n.thing 
e = n.bad 

这个问题的背景是pipenv以下最新的错误 -

# Halloween easter-egg.   
if ((now.tm_mon == 10) and (now.tm_day == 30)) 

显然，通路径从来没有进行测试，但它似乎是典型的静态分析工具就不会到这里任何帮助。这对于标准库中的类型来说很奇怪。

（修复可全额在https://github.com/kennethreitz/pipenv/commit/033b969d094ba2d80f8ae217c8c604bc40160b03可以看出）

Answer 1

time.struct_time是在C语言中定义的对象，这意味着它不能静态内省。自动完成软件可以解析Python代码，并对什么类和命名对象支持进行合理的猜测，但是他们不能对C定义的对象执行此操作。

工作，各地的大多数系统使用是产生存根文件;通常通过在运行时检查对象（导入模块并记录找到的属性）。例如，CodeIntel（Komodo IDE的一部分）使用XML file format called CIX。然而，这是一个小更容易出错所以这样的系统，然后慎之又慎的一侧，并不会明确地标示不明的属性是错误的。

如果您在Python 3编码，你可以考虑使用type hinting。对于C扩展，您仍然需要存根文件，但社区现在很擅长维护这些文件。标准库存根文件保存在project called typeshed中。

你不得不类型提示添加到您的项目：

#!/usr/bin/env python3 
import time 
from collections import namedtuple 


t: time.struct_time = time.localtime() 
e: int = t.tm_mday 
e = t.bad # this is not reported by linters or IDEs. 


class Clz: 
    cvar: str = 'whee' 
    ivar: str 

    def __init__(self) -> None: 
     self.ivar = 'whaa' 


o = Clz() 
s = Clz.cvar 
s = o.ivar 
s = Clz.bad 
s = o.bad 

Ntup = namedtuple('Ntup', 'thing') 
n = Ntup(thing=3) 
e = n.thing 
e = n.bad 

但随后flake8 tool与flake8-mypy plugin合并将检测到糟糕的属性：

$ flake8 test.py 
test.py:8:5: T484 "struct_time" has no attribute "bad" 
test.py:22:5: T484 "Clz" has no attribute "bad" 
test.py:23:5: T484 "Clz" has no attribute "bad" 
test.py:28:5: T484 "Ntup" has no attribute "bad" 

PyCharm建立在这项工作太，也许可以检测到相同的无效使用。它当然directly supports pyi files。