類型暗示python

我有一些問題，把類型暗示在我的python程序。它來自python 3.5。類型暗示python

有了這個例子：

# -*- coding: utf-8 -*- 
import collections 
import typing 

XV = typing.TypeVar('XV') 


class Coll(collections.OrderedDict[str, XV]): 

    def sorted(self) -> collections.OrderedDict[str, XV]: 
     dict_sorted = collections.OrderedDict() # type: collections.OrderedDict[str,XV] 
     for key in sorted(self.keys()): 
      dict_sorted[key] = self[key] 
     return dict_sorted 

    def __str__(self) -> str: 
     retour = "" # type:str 
     if len(self) == 0: 
      return "" 
     test = self.sorted() # type: collections.OrderedDict[str,XV] 
     for l in test: 
      if retour: 
       retour += "\n{0!s}".format(self[l]) 
      else: 
       retour = "{0!s}".format(self[l]) 
     return retour 

    def __repr__(self) -> str: 
     return self.__str__()

當我運行mypy

，我有以下幾點：

example.py:8: error: Invalid type "example.XV" 
example.py: note: In function "__str__": 
example.py:20: error: Invalid type "example.XV"

的事情，我不明白的是，爲什麼我有這些錯誤。

來源

2016-11-03 francois

'collections.OrderedDict'不帶類型參數。 – user2357112

OrderedDict不是typing.Generic的子類，因此無法進行參數化。但是如下您可以很容易地定義相應類型：

from typing import MutableMapping, TypeVar 
from collections import OrderedDict 

KT = TypeVar('KT') # Key type. 
VT = TypeVar('VT') # Value type. 

class OrderedDictType(OrderedDict, MutableMapping[KT, VT], extra=OrderedDict): 
    __slots__ =() 

    def __new__(cls, *args, **kwds): 
     raise TypeError("Type OrderedDictType cannot be instantiated;" + 
         " use OrderedDict() instead") 

# isinstance check 
a = OrderedDict() 
assert isinstance(a, OrderedDictType)

然後你可以在所有類型提示使用它：OrderedDictType[str,XV]代替OrderedDict[str,XV]。

請參閱https://docs.python.org/3/library/typing.html#user-defined-generic-types 和typing.py詳細資料和示例源（我使用typing.List類作爲示例）。

來源

2017-07-25 13:48:01 smarie

類型暗示python

回答

相關問題