パチスロ 乃木坂k8 カジノPython 3.10の新機能:型ヒントに関連する新機能仮想通貨カジノパチンコぱちんこ 新作

パチスロ 乃木坂k8 カジノPython 3.10の新機能:型ヒントに関連する新機能仮想通貨カジノパチンコぱちんこ 新作

パチスロ 乃木坂k8 カジノPython 3.10の新機能:型ヒントに関連する新機能仮想通貨カジノパチンコぱちんこ 新作

国内 レバレッジ 仮想 通貨k8 カジノ 「Python最新情報キャッチアップ」のインデックス

d750 raw jpg スロット連載目次

 2021年10月4日にPython 3.10がリリースされた。主要な新機能や変更点をかいつまんでまとめると以下のようになる(詳しくは「What’s New In Python 3.10」を参照されたい)。

ネストしたコンテキストマネジャーの簡潔な記述分かりやすくなったエラーメッセージデバッグやプロファイリング用に提供される行番号がより正確なものに構造的パターンマッチファイル操作などでエンコーディングを明示しなかった際にEncodingWarning警告クラスを送出するようにオプトイン可能「|」演算子を使用したユニオン型の指定パラメーター仕様変数明示的な型エイリアスユーザー定義の型ガード

 前回はwith文の簡潔な記述、エラーメッセージの改善、EncodingWarning警告クラスについて見た。Pythonはバージョン3.5から型ヒントをサポートするようになった。今回は、その後も進化を続けている型ヒントに関連する新機能を紹介する。

「|」演算子を使用したユニオン型の指定

 ユニオン型は、変数やパラメーター、あるいは戻り値などが、ある型と別の型の値を持つことを表すのに使用する。主に型ヒントを記述するために使われる。

 このような型を記述するのに、Python 3.9までは以下のようにtypingモジュールのUnion型を用いて次のように記述していた。

from typing import Unionnum: Union[int, float] = 1.0 # 変数numは整数値か浮動小数点値を保持するs: Union[str, bytes] = 1.0 # 変数sは文字列かバイト列のみを保持するはずだが……def plus_one_309(x: Union[int, float]) -> Union[int, float]: return x + 1print(plus_one_309(num))print(plus_one_309('string')) # 実行時にTypeError

typing.Union型を使った型ヒントの指定(Python 3.9)

 最初の例では変数numはint型かfloat型の値を持つことが示されており、そこに1.0が代入されているので問題はない。一方、変数sはstr型かbytes型の値を保持するはずだが、1.0が代入されている。また、plus_one_309関数の定義では、パラメーターxには上と同じくint型の値かfloat型の値を受け取ることが示されている。そして、この関数を呼び出している2つのコードのうち、2つ目では文字列が渡されている。

 このコードをPylanceによる型チェックを有効化したVisual Studio Code(以下、VS Code)で記述すると次のように問題ある部分がきちんとチェックされる(VS CodeでPylanceによる型チェックを有効にするには、”python.analysis.typeCheckingMode”項目の値を”basic”か”strict”にする)。

VS Codeで型チェックが行われて型エラーが発生したところ(赤線部分)VS Codeで型チェックが行われて型エラーが発生したところ(赤線部分)

 Python 3.10では、このようなユニオン型の指定を「|」演算子を用いて、「型0 | 型1 | ……」のように、より簡潔に記述できるようになった。例えば、上記のコードは以下のように書き換えられる(関数名を「plus_one_310」に変更している)。

num: int | float = 1.0 # 変数numは整数値か浮動小数点値を保持するs: str | bytes = 1.0 # 変数sは文字列かバイト列のみを保持するはずだが……def plus_one_310(x: int | float) -> int | float: return x + 1print(plus_one_310(num))print(plus_one_310('string')) # 実行時にTypeError

「|」演算子を使って書き直したコード(Python 3.10)

 これらの型情報はisinstance関数/issubclass関数に与えることも可能だ。

s: str | bytes = 'string'if isinstance(s, str | bytes): print(f'type of num is str or bytes')

isinstance関数でユニオン型を使用する例(Python 3.10)

 ただし、isinstance関数/issubclass関数の第2引数にユニオン型を指定できるようになったのはPython 3.10からであり、Python 3.9で以下のようなコードを書いても実行時に例外が発生する。

from typing Unions: Union[str, bytes] = 'string'if isinstance(s, Union[str, bytes]): # TypeError print(f'type of num is str or bytes')

Python 3.9ではisinstance関数の第2引数にユニオン型を指定できないパラメーター仕様変数

 次に上で見たplus_one_309関数を次に示すdecorate_309デコレーターで修飾することを考えてみよう(Python 3.9)。

from typing import Uniondef decorate_309(f): def inner(*args, **kwargs): print('inner') return f(*args, **kwargs) return inner@decorate_309def plus_one_309(x: Union[int, float]) -> Union[int, float]: return x + 1

decorate_309デコレーターはまだ型ヒントを付加していない(Python 3.9)

 decorate_309デコレーターは、元の関数を実行する前に「inner」と表示する処理を付加するだけのものだ。これに型ヒントを与えるとしたらどうなるだろう。

 Pythonの型ヒントでは関数のような呼び出し可能なものは「Callable[[引数の型のリスト], 戻り値の型]」のように記述できる。つまり、decorate_309デコレーターは関数を受け取り、関数を返送するので、疑似コードで型ヒントを書くと次のようになる(「引数の型のリスト」を「引数」と、「戻り値の型」を「戻り値」と省略して表記)。

from typing import Union, Callabledef decorate_309(f: Callable[[引数], 戻り値]) -> Callable[[引数], 戻り値]: def inner(*args, **kwargs): print('inner') return f(*args, **kwargs) return inner@decorate_309def plus_one_309(x: Union[int, float]) -> Union[int, float]: return x + 1

decorate_309デコレーターは関数を受け取り、関数を返す(疑似コード)

 ここで、戻り値の型をtypingモジュールのTypeVar型(型変数を表すクラス)を使って表すことにしよう。

from typing import Union, Callable, TypeVarR = TypeVar('R') # 戻り値の型をRとするdef decorate_309(f: Callable[[引数], R]) -> Callable[[引数], R]: def inner(*args, **kwargs) -> R: print('inner') return f(*args, **kwargs) return inner@decorate_309def plus_one_309(x: Union[int, float]) -> Union[int, float]: return x + 1

戻り値の型を型変数(TypeVar)として表現(疑似コード)

 decorate_309デコレーターの内部で定義しているinner関数は、このデコレーターの戻り値であるから、「Callable[[引数], R]」に一致する必要がある。すなわち、その戻り値の型はRとなるので、上のinner関数の定義ではそのことを記述してある。plus_one_309関数をこのデコレーターでラップすると、関数定義にある戻り値の型「Union[int, float]」がRにキャプチャーされる。

 問題は[引数]の部分、つまりデコレーターが受け取る引数の型のリストだ。このデコレーターがどんな関数に使われるかは分からない。もちろん、plus_one_309関数はそうだが、別のパラメーターリストを持つ関数にも適用できる必要があるだろう。そうできるように[引数]を指定する必要がある。簡単にいえば何でも受け入れるということだ。Callableに対して「パラメーターリストの型を指定せずに、戻り値の型Rだけを指定する」には「Callable[…, R]」となる([引数]部分に「…」を指定するときにはそれを囲む[]は必要ない。ただし、全ての引数リストに対応するが、それは型チェックが行われないということでもある)。これを反映すると次のようになる。

from typing import Union, Callable, TypeVarR = TypeVar('R') # 戻り値の型をRとするdef decorate_309(f: Callable[…, R]) -> Callable[…, R]: def inner(*args, **kwargs) -> R: print('inner') return f(*args, **kwargs) return inner@decorate_309def plus_one_309(x: Union[int, float]) -> Union[int, float]: return x + 1

引数の型チェックを行わない形で型ヒントを記述(Python 3.9)

 残るは、デコレーター内部で定義されているinner関数のパラメーターリスト「*args, **kwargs」の型ヒントをどうするかだ(inner関数は、今述べたように全ての引数リスト受け入れて、それをラップした関数にそのまま渡している。これはデコレーターとそれがラップする関数との間で、引数を受け渡すための典型的なやり方といえる)。ただし、可変長のパラメーターリストを適切に表現する型ヒントの構文がない。

 ではどうするかというと、PEP 612では「*args: object, **kwargs: object」のようにしている。また、Pylanceによる型チェックを有効にしたVS Codeでこれらの型がどうなっているかを見ると「*args: Any, **kwargs: Any」となっていた。

Pylanceは*argsと**argsの型をAnyと判断しているPylanceは*argsと**argsの型をAnyと判断している

 ここではPylanceの表示を採用して、Python 3.9までは次のようなコードで型ヒントを記述したものとしよう。

from typing import Union, Callable, TypeVar, AnyR = TypeVar('R') # 戻り値の型をRとするdef decorate_309(f: Callable[…, R]) -> Callable[…, R]: def inner(*args: Any, **kwargs: Any) -> R: print('inner') return f(*args, **kwargs) return inner@decorate_309def plus_one_309(x: Union[int, float]) -> Union[int, float]: return x + 1

内部で定義する関数に型ヒントを記述(Python 3.9)

 ここでplus_one_309関数を呼び出すコードを書いてみる。

plus_one_309(1.5)plus_one_309('foo')

plus_one_309関数を呼び出すコード(Python 3.9)

 既に述べたように、関数の引数に対する型チェックは実質的には行われていないので、2つ目のコードも型チェックが成功する(が、もちろん、実行時に例外が発生する)。これでは型付きでPythonのコードを記述する意味があまりない。

 このようにある関数のパラメーターと別の関数のパラメーターとの間に依存関係がある際に、そのことを示す型ヒントを記述できるようにPython 3.10ではtypingモジュールにParamSpecとConcatenate演算子が追加された。ParamSpecを使うと、先のコードは次のように書き換えられる(デコレーターと関数名の名前を「_310」で終わるように変更している点に注意)。

from typing import Callable, TypeVar, ParamSpecR = TypeVar('R') # 戻り値の型をRとするP = ParamSpec('P') # パラメーターを表す型ヒントdef decorate_310(f: Callable[P, R]) -> Callable[P, R]: def inner(*args: P.args, **kwargs: P.kwargs) -> R: print('inner') return f(*args, **kwargs) return inner@decorate_310def plus_one_310(x: int | float) -> int | float: return x + 1

ParamSpecを使って型ヒントを記述(Python 3.10)

 「P = ParamSpec(‘P’)」とすることで、パラメーター仕様(関数のパラメーターの型)を表す変数が得られる。これは「Callable[P, R]」のようにCallableの第1引数として使用する。これにより、関数の位置引数とキーワード引数がPにキャプチャーされるが、関数のパラメーターに対して型ヒントを記述する際に、位置引数は上記コードのように「P.args」として、キーワード引数は「P.kwargs」として表現する。

 このようにして先ほどと同様にplus_one_310関数を呼び出すコードを記述すると、次のように型チェックにより2つ目の関数呼び出しに問題あることが事前に分かるようになる。

ParamSpecを使って型ヒントを書き直したことで型エラーが発生するようになったParamSpecを使って型ヒントを書き直したことで型エラーが発生するようになった

 デコレーターにより関数のパラメーターの数が変化する場合もある。このようなときには、typingモジュールのConcatenate演算子を使用する。詳細は省略するが、以下に例を示す。

from typing import Callable, TypeVar, ParamSpec, Concatenatefrom datetime import datetimeR = TypeVar('R')P = ParamSpec('P')def reduce_param(f: Callable[Concatenate[str, P], R]) -> Callable[P, R]: def inner(*args: P.args, **kwargs: P.kwargs) -> R: s = str(datetime.now()) return f(s, *args, **kwargs) return inner@reduce_paramdef foo(s: str, x: int, y: int) -> str: # 3引数 return f's: {s}, x: {x}, y: {y}'print(foo(1, 1)) # inner関数で第1引数を設定するので、foo関数は2引数で呼び出しdef add_param(f: Callable[P, bool]) -> Callable[Concatenate[int, P], bool]: def inner(a: int, *args: P.args, **kwargs: P.kwargs) -> bool: print(f'a: {a}') return f(*args, **kwargs) return inner@add_paramdef bar(x: int, y: int) -> bool: # 2引数 return x == yprint(bar(100, 0, 0)) # デコレーターから返された関数は3引数になっている

Concatenate演算子の使用例(Python 3.10)

 ざっくりと話をしておくと、ConcatenateはCallableの第1引数として使用して、そこにパラメーターの型を並べていき、最後にパラメーター仕様変数(P)を置く。このとき、パラメーター仕様変数以外の型は、関数の*argsと**kwargsに前置される位置引数の型を指定するようなものだ。

 最初のreduce_paramデコレーターではそのパラメーターリストの内部で「Callable[Concatenate[str, P], R]」のようにして、戻り値の型は「Callable[P, R]」としている。これは、ラップする関数の第1パラメーターの型が文字列で、その後に*argsと**kwargsが並んでいるものとして考えられる。そして、inner関数の中でラップする関数の第1パラメーターに渡す値のセットアップが行われて呼び出される。そのため、戻り値となる関数では、パラメーターの数が1つ減ることになる。

 次のadd_paramパラメーターでは戻り値の型が「Callable[Concatenate[int, P], bool]」となっている。よって、デコレーターが返す関数ではパラメーターの数が1つ増えることになる(この場合は、int型の値を第1引数に指定する必要がある)。

明示的な型エイリアス/ユーザー定義の型ガード仮想通貨カジノパチンコネイマール & メッシ

コメントを残す

業界連盟:k8 カジノ k8 カジノ パチンコ 大工 の 源 さん k8 カジノ k8カジノ k8 カジノ k8 カジノ k8 ログイン | Feed | RSS | sitemap.html | Sitemap