Pythonは動的型付け言語なので、基本的に型を意識する必要がない。
が、VS CodeなどのIDEでインテリセンスがあまり効かないため、
どんなデータ型が渡されているかを推測しながら書く必要がある。

これは、静的型付け言語に慣れた身にはつらい。

typingを利用

3.5から、typingモジュールが標準でセットされ、
型ヒントがサポートされた。
実行時エラーは発生しないものの、
VS Codeでコーディング時に次の挙動をしてくれる。

型に応じたインテリセンスを提示
定義した型が渡されなかった場合にエラー表示

基本的な使い方

関数定義時に利用したり、変数定義時に利用する

関数定義：
- 返値のある場合：def func(args:型) -> 型 :
- 返値のない場合：def funca(args:型) -> NoReturn:
  ※from typing import NoReturnをしておく

型は、strやintなど色々指定できる

型ヒントに自作クラスを指定する

どうやるんだろ？と思い、typingモジュールのドキュメントを探索。
typing.Type()という関数があったので、これを試してみることにする。

入門Python3の例題をちょっと改変
class_test.pyというクラスを作り、挙動を確認する

class_test.py

import typing as tp

class Tail():
    def __init__(self, tail:str):
        self.__tail = tail
    @property
    def tail(self) -> str:
        return(self.__tail)
    @tail.setter
    def tail(self,tail:str):
        self.__tail = tail


class pBill():
    """型指定なし
    """
    def __init__(self, description):
        self.__description = description
    @property
    def description(self):
        return(self.__description)
    @description.setter
    def description(self,description):
        self.__description = description


class Bill():
    """型指定あり
    """
    def __init__(self, description:str):
        self.__description = description
    @property
    def description(self) -> str:
        return(self.__description)
    @description.setter
    def description(self,description:str):
        self.__description = description


class pDack():
    """型指定なし
    """
    def __init__(self, bill, tail):
        self.bill = bill
        self.tail = tail
    def about(self):
        print("This duck has a ",self.bill.description," and tail=",self.tail.tail)

class Dack():
    """型指定あり
    """
    def __init__(self, bill:tp.Type[Bill], tail:tp.Type[Tail]):
        self.bill = bill
        self.tail = tail
    def about(self):
        print("This duck has a ",self.bill.description," and tail=",self.tail.tail)


cbill = Bill('くちばし')
ctail = Tail('しっぽ')
cdack = Dack(cbill,ctail)
cdack.about()

### 以下のコードは実行時エラーなし　のはず
bill = Bill([]) 
tail = Tail({}) 
dack = Dack(bill,tail) 
dack2 = Dack(1,2) 
dack.about()

まずは挙動の確認から。
class_test.pyを実行してみる。
予想通り、エラーは起きない

terminal

$ python class_test.py
This duck has a  くちばし  and tail= しっぽ
This duck has a  []  and tail= {}

続いて、インテリセンスの挙動を確認。
型指定なしの場合
self.bill にはどんな型が来るのか明示していないので、
self.bill. と打っても何もでない。

型指定ありの場合
self.bill にBillクラスが渡されることを明示しているので、
self.bill.と打つとインテリセンスが表示される。
また、descriptionはstr型とわかる。

補足

tp.Type[Bill]とか長ったらしくしなくても
通常の変数みたいに :クラス名で大丈夫らしい。
こっちのほうがすっきりする。

python

class Dack():
    """型指定あり
    """
    def __init__(self, bill:Bill, tail:Tail):
        self.bill = bill
        self.tail = tail
    def about(self):
        print("This duck has a ",self.bill.description," and tail=",self.tail.tail)

参考

typing --- 型ヒントのサポート¶
Pythonではじまる、型のある世界