Concatenate は ParamSpec と組み合わせて、関数の引数に新しいパラメータを追加する型を表現します。
基本的な使い方
from typing import Callable, Concatenate, ParamSpec, TypeVar
P = ParamSpec("P")
T = TypeVar("T")
def with_context(
func: Callable[Concatenate[str, P], T]
) -> Callable[P, T]:
def wrapper(*args: P.args, **kwargs: P.kwargs) -> T:
context = "default_context"
return func(context, *args, **kwargs)
return wrapper
Concatenate[str, P] は「最初に str 型の引数があり、その後に P の引数が続く」という意味です。
実用例：認証付きデコレータ
from typing import Callable, Concatenate, ParamSpec, TypeVar
P = ParamSpec("P")
T = TypeVar("T")
class User:
def __init__(self, name: str):
self.name = name
def authenticated(
func: Callable[Concatenate[User, P], T]
) -> Callable[P, T]:
def wrapper(*args: P.args, **kwargs: P.kwargs) -> T:
user = User("current_user") # 実際は認証処理
return func(user, *args, **kwargs)
return wrapper
@authenticated
def get_profile(user: User, detailed: bool = False) -> dict:
return {"name": user.name, "detailed": detailed}
# 呼び出し時は user を渡さない
result = get_profile(detailed=True)
メソッドに self を追加
from typing import Callable, Concatenate, ParamSpec, TypeVar
P = ParamSpec("P")
T = TypeVar("T")
S = TypeVar("S")
def bind_self(
func: Callable[Concatenate[S, P], T]
) -> Callable[P, T]:
...
Concatenate の位置
Concatenate の追加パラメータは常に先頭に来ます。
# 正しい
Concatenate[int, str, P] # int, str, その後に P の引数
# 不正（Concatenate の後に他のパラメータは置けない）
# Concatenate[P, int] # エラー
Concatenate を使うと、デコレータが引数を追加・削除する場合でも、正確な型情報を維持できます。型チェッカーが呼び出しの正当性を検証できるため、バグの早期発見に役立ちます。
