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。