mypyの変数アノテーションのクラスを代入したときの記述方法

Question

環境

Python 3.7.2
mypy 0.670

前提・実現したいこと

とても初歩的なことなのかも知れませんが、検索しても分からなかったので質問させてください。

import re
r = re.compile(r"^a.*$")
print(type(r))
# <class 're.Pattern'>

class test:
    def __init__(self, hoge: int, huga: int) -> None:
        self.hoge = hoge
        self.huga = huga

t = test(1, 2)
print(type(t))
# <class '__main__.test'>

この場合の変数rと変数tに変数アノテーションを記載する方法を教えてください。
よろしくお願いします。

Answer 1

re.Patternのアノテーションはこちらで
https://docs.python.org/ja/3.6/library/typing.html#typing.Pattern

Comments

[michelseebach]

回答ありがとうございます。
```
import re
from typing import Pattern
r: Pattern = re.compile(r"^a.*$")
print(type(r))
```
とすることで無事に解決できました。

Answer 2

まとめ。

import re
from typing import Pattern

r:Pattern[str] = re.compile(r"^a.*$")

class test:
    def __init__(self, hoge: int, huga: int) -> None:
        self.hoge = hoge
        self.huga = huga

t:test = test(1, 2)

---

最初の回答に対する追記

reモジュールのPatternクラスはmypyが見つけられないんですかね。少し調べただけでは解決策がわかりませんでした。

import re

r:"re.Pattern" = re.compile(r"^a.*$")

$ mypy sample.py
sample.py:3: error: Name 're.Pattern' is not defined

---

最初の回答に対してさらに追記

quiquiさんのを転記。これが正解っぽい。

import re
from typing import Pattern

r:Pattern[str] = re.compile(r"^a.*$")

Comments

[michelseebach]

回答ありがとうございます。
下記によると3.6以降は変数にもアノテーションを記述できるらしいのですが、
それとは別に関数の引数にしかインスタンスを代入した場合のアノテーションは記述できないということでしょうか？

PEP 526: 変数アノテーションの文法
```
primes: List[int] = []

captain: str # Note: no initial value!

class Starship:
stats: Dict[str, int] = {}
```
https://docs.python.org/ja/3.6/whatsnew/3.6.html

[tachikoma]

すみません、回答を消したのですが、私自身が関数アノテーションのほうしか知りませんでした。mypyの使い方もきちんと分かっていないので一旦無視していただけるとありがたいです。

[michelseebach]

回答をいただけることがとても嬉しいです。
自作のクラスの場合はクラス名を記載すればいいとは盲点でした。
ありがとうございます。

[michelseebach]

まとめを追記して頂き、ありがとうございます。
書いてくださったように、Pattern[str]とした方がより具体的になりますね。
とても参考になります。