TypeVar( 'T'、A、B)とTypeVar( 'T'、bound = Union [A、B])の違い

4
joel 2020-01-27 15:18.

次の2つTypeVarの違いに頭を悩ませるのに苦労しています

from typing import TypeVar, Union

class A: pass
class B: pass

T = TypeVar("T", A, B)
T = TypeVar("T", bound=Union[A, B])

誰かが私を啓発したいですか?

私が得られないものの例...

T = TypeVar("T", bound=Union[A, B])

class AA(A): pass


class X(Generic[T]):
    pass


class XA(X[A]):
    pass


class XAA(X[AA]):
    pass

型チェックに合格T = TypeVar("T", A, B)しますが、それで失敗します

generics.py:31:エラー:「X」の型変数「T」の値を「AA」にすることはできません

一般的な質問に関連する:との違いに関するこの質問Union[A, B]TypeVar("T", A, B)

2 answers

10
Michael0x2a 2020-01-28 02:43.

あなたがそうするときT = TypeVar("T", bound=Union[A, B])、あなたはTがのいずれかUnion[A, B]または任意のサブタイプにバインドできると言っていますUnion[A, B]。それは組合の上限です。

したがって、たとえば、タイプの関数がある場合def f(x: T) -> T、次のタイプのいずれかの値を渡すことは合法です。

  1. Union[A, B](または、などのAとBのサブタイプの和集合Union[A, BChild]
  2. A (またはAの任意のサブタイプ)
  3. B (またはBの任意のサブタイプ)

これは、ほとんどのプログラミング言語でジェネリックスがどのように動作するかです。ジェネリックスを使用すると、単一の上限を課すことができます。


しかし、そうするときT = TypeVar("T", A, B)、あなたは基本的にAによって上限が定められているか、Bによって上限が定められているT 必要があると言っています。つまり、単一の上限を確立する代わりに、複数を確立することができます。

この手段は、だから、どちらかの型の値を渡すために法的になりながら、AまたはBf、考えないで渡すことが合法的でUnion[A, B]労働組合がどちらもAもBで上位制限されていないので、


したがって、たとえば、intまたはstrのいずれかを含むことができるiterableがあるとします。

この反復可能にintまたはstrの任意の混合を含める場合は、Union[int, str]。の上限を1つだけ必要とします。例えば:

from typing import TypeVar, Union, List, Iterable

mix1: List[Union[int, str]] = [1, "a", 3]
mix2: List[Union[int, str]] = [4, "x", "y"]
all_ints = [1, 2, 3]
all_strs = ["a", "b", "c"]


T1 = TypeVar('T1', bound=Union[int, str])

def concat1(x: Iterable[T1], y: Iterable[T1]) -> List[T1]:
    out: List[T1] = []
    out.extend(x)
    out.extend(y)
    return out

# Type checks
a1 = concat1(mix1, mix2)

# Also type checks (though your type checker may need a hint to deduce
# you really do want a union)
a2: List[Union[int, str]] = concat1(all_ints, all_strs)

# Also type checks
a3 = concat1(all_strs, all_strs)

対照的に、関数がすべてのintまたはすべてのstrのリストを受け入れるが、どちらの混合も受け入れないようにする場合は、複数の上限が必要になります。

T2 = TypeVar('T2', int, str)

def concat2(x: Iterable[T2], y: Iterable[T2]) -> List[T2]:
    out: List[T2] = []
    out.extend(x)
    out.extend(y)
    return out

# Does NOT type check
b1 = concat2(mix1, mix2)

# Also does NOT type check
b2 = concat2(all_ints, all_strs)

# But this type checks
b3 = concat2(all_ints, all_ints)
0
Intrastellar Explorer 2020-05-24 02:52.

たくさん読んだ後、mypytype-varはOPの質問でエラーを正しく引き起こしていると思います:

generics.py:31:エラー:「X」の型変数「T」の値を「AA」にすることはできません

以下の説明を参照してください。


2番目のケース: TypeVar("T", bound=Union[A, B])

@ Michael0x2aの答えは、何が起こっているのかを説明するのに素晴らしい仕事をしていると思います。その答えを参照してください。


最初のケース: TypeVar("T", A, B)

その理由は、振る舞いサブタイピングとしても知られるリスコフの置換原則(LSP)に要約されます。これを説明することはこの答えの範囲外です、あなたはinvariancevsの意味を読んで+理解する必要があるでしょうcovariance

のpythonのtypingドキュメントからTypeVar

デフォルトでは、型変数は不変です。

この情報に基づくと、T = TypeVar("T", A, B)型変数にTはクラスAとの値制限がありますBが、不変であるため、これら2つのみを受け入れます(Aまたはの子クラスは受け入れませんB)。

したがって、渡されるとAA、mypyは正しくtype-varエラーを発生させます。


あなたはその後、言うかもしれない:まあ、いないAA正しくの行動のサブタイプが一致しますかA?そして私の意見では、あなたは正しいでしょう。

どうして?1が適切と出て代用することができるためAAA、プログラムの動作は変わらないだろう。

ただし、mypyは静的型チェッカーであるため、mypyはこれを理解できません(実行時の動作をチェックできません)。構文を使用して、共分散を明示的に記述する必要がありますcovariant=True

また、共分散を指定するTypeVar場合は_co、型変数名に接尾辞を使用する必要があります。これは、ここのPEP484に記載されています。

from typing import TypeVar, Generic

class A: pass
class AA(A): pass

T_co = TypeVar("T_co", AA, A, covariant=True)

class X(Generic[T_co]): pass

class XA(X[A]): pass
class XAA(X[AA]): pass

出力: Success: no issues found in 1 source file


それで、あなたは何をすべきですか?

私は使用しますTypeVar("T", bound=Union[A, B])、なぜなら:

  • ABは関係ありません
  • あなたは彼らのサブクラスが許可されることを望みます

mypyのLSP関連の問題に関する詳細:

  • python / mypy#2984:List [subclass]はList [superclass]と互換性がありません
  • python / mypy#7049:[質問]インスタンスメソッドパラメーターで共変型変数が許可されないのはなぜですか?
    • @ Michael0x2aからの良い例が含まれています

Related questions

MORE COOL STUFF

「水曜日」シーズン1の中心には大きなミステリーがあります

「水曜日」シーズン1の中心には大きなミステリーがあります

Netflixの「水曜日」は、典型的な10代のドラマ以上のものであり、実際、シーズン1にはその中心に大きなミステリーがあります.

ボディーランゲージの専門家は、州訪問中にカミラ・パーカー・ボウルズが輝くことを可能にした微妙なケイト・ミドルトンの動きを指摘しています

ボディーランゲージの専門家は、州訪問中にカミラ・パーカー・ボウルズが輝くことを可能にした微妙なケイト・ミドルトンの動きを指摘しています

ケイト・ミドルトンは、州の夕食会と州の訪問中にカミラ・パーカー・ボウルズからスポットライトを奪いたくなかった、と専門家は言う.

一部のファンがハリー・スタイルズとオリビア・ワイルドの「非常に友好的な」休憩が永続的であることを望んでいる理由

一部のファンがハリー・スタイルズとオリビア・ワイルドの「非常に友好的な」休憩が永続的であることを望んでいる理由

一部のファンが、オリビア・ワイルドが彼女とハリー・スタイルズとの間の「難しい」が「非常に友好的」な分割を恒久的にすることを望んでいる理由を見つけてください.

エリザベス女王の死後、ケイト・ミドルトンはまだ「非常に困難な時期」を過ごしている、と王室の専門家が明らかにする 

エリザベス女王の死後、ケイト・ミドルトンはまだ「非常に困難な時期」を過ごしている、と王室の専門家が明らかにする 

エリザベス女王の死後、ケイト・ミドルトンが舞台裏で「非常に困難な時期」を過ごしていたと伝えられている理由を調べてください.

セントヘレナのジェイコブのはしごを登るのは、気弱な人向けではありません

セントヘレナのジェイコブのはしごを登るのは、気弱な人向けではありません

セント ヘレナ島のジェイコブズ ラダーは 699 段の真っ直ぐ上る階段で、頂上に到達すると証明書が発行されるほどの難易度です。

The Secrets of Airline Travel Quiz

The Secrets of Airline Travel Quiz

Air travel is far more than getting from point A to point B safely. How much do you know about the million little details that go into flying on airplanes?

Where in the World Are You? Take our GeoGuesser Quiz

Where in the World Are You? Take our GeoGuesser Quiz

The world is a huge place, yet some GeoGuessr players know locations in mere seconds. Are you one of GeoGuessr's gifted elite? Take our quiz to find out!

バイオニック読書はあなたをより速く読むことができますか?

バイオニック読書はあなたをより速く読むことができますか?

BionicReadingアプリの人気が爆発的に高まっています。しかし、それは本当にあなたを速読術にすることができますか?

Total War:Warhammer:Kotakuレビュー

Total War:Warhammer:Kotakuレビュー

私はこのゲームを嫌う準備ができていました。先週の前に、Total War:Warhammerについての私の考えがありました:それでもここに私は、私の手にある完成品であり、私は変わった男です。

涙の道:軍事化された帝国主義勢力がスタンディングロックキャンプを占領

涙の道:軍事化された帝国主義勢力がスタンディングロックキャンプを占領

スタンディングロックスー族のメンバーと水の保護者は、ノースダコタ州のスタンディングロックにあるオセティサコウィンキャンプを去ります。(Twitter経由のCNNスクリーンショット)火と煙がスカイラインを覆い、スタンディングロックスー族のメンバーと水の保護者が、聖なるものを守りながら建てた家、オセティサコウィン(セブンカウンシルファイアーズ)キャンプから行進し、太鼓を打ち、歌い、祈りました。ダコタアクセスパイプラインとしても知られる「ブラックスネーク」からの土地。

シアーズとKマートはイヴァンカ・トランプの商品を自分たちで取り除いています

シアーズとKマートはイヴァンカ・トランプの商品を自分たちで取り除いています

写真:APシアーズとKマートは、イヴァンカ・トランプのトランプホームアイテムのコレクションも、誰も購入したくないために削除しました。シアーズとKマートの両方の親会社であるシアーズホールディングスは、土曜日のABCニュースへの声明で、彼らが気にかけていると辛抱強く説明しましたトランプラインを売り続けるにはお金を稼ぐことについてあまりにも多く。

ポテトチップスでたった10分でスペインのトルティーヤを作る

ポテトチップスでたった10分でスペインのトルティーヤを作る

伝統的なスペインのトルティーヤは通常、オリーブオイルで柔らかくなるまで調理されたポテトから始まります(30分以上かかる場合があります)が、ケトルで調理されたポテトチップスの助けを借りてわずか10分でテーブルに置くことができます。上のビデオはすべてがバラバラにならないように裏返す方法を含め、レシピ全体を説明しますが、必要なのは4〜5個の卵と3カップのケトルチップスだけです。

ケイト・ミドルトンとウィリアム王子は、彼らが子供たちと行っているスパイをテーマにした活動を共有しています

ケイト・ミドルトンとウィリアム王子は、彼らが子供たちと行っているスパイをテーマにした活動を共有しています

ケイト・ミドルトンとウィリアム王子は、子供向けのパズルの本の序文を書き、ジョージ王子、シャーロット王女、ルイ王子と一緒にテキストを読むと述べた.

事故で押しつぶされたスイカは、動物を喜ばせ水分補給するために野生生物保護団体に寄付されました

事故で押しつぶされたスイカは、動物を喜ばせ水分補給するために野生生物保護団体に寄付されました

Yak's Produce は、数十個のつぶれたメロンを野生動物のリハビリ専門家であるレスリー グリーンと彼女のルイジアナ州の救助施設で暮らす 42 匹の動物に寄付しました。

デミ・ロヴァートは、新しいミュージシャンのボーイフレンドと「幸せで健康的な関係」にあります: ソース

デミ・ロヴァートは、新しいミュージシャンのボーイフレンドと「幸せで健康的な関係」にあります: ソース

8 枚目のスタジオ アルバムのリリースに向けて準備を進めているデミ ロヴァートは、「スーパー グレート ガイ」と付き合っている、と情報筋は PEOPLE に確認しています。

Plathville の Kim と Olivia Plath が数年ぶりに言葉を交わすことへようこそ

Plathville の Kim と Olivia Plath が数年ぶりに言葉を交わすことへようこそ

イーサン プラスの誕生日のお祝いは、TLC のウェルカム トゥ プラスビルのシーズン 4 のフィナーレで、戦争中の母親のキム プラスと妻のオリビア プラスを結びつけました。

仕事の生産性を高める 8 つのシンプルなホーム オフィスのセットアップのアイデア

仕事の生産性を高める 8 つのシンプルなホーム オフィスのセットアップのアイデア

ホームオフィスのセットアップ術を極めよう!AppExert の開発者は、家族全員が一緒にいる場合でも、在宅勤務の技術を習得しています。祖父や曽祖父が共同家族で暮らしていた頃の記憶がよみがえりました。

2022 年、私たちのデジタル ライフはどこで終わり、「リアル ライフ」はどこから始まるのでしょうか?

20 年前のタイムトラベラーでさえ、日常生活におけるデジタルおよびインターネットベースのサービスの重要性に驚くことでしょう。MySpace、eBay、Napster などのプラットフォームは、高速化に焦点を合わせた世界がどのようなものになるかを示してくれました。

ニューロマーケティングの秘密科学

ニューロマーケティングの秘密科学

マーケティング担当者が人間の欲望を操作するために使用する、最先端の (気味が悪いと言う人もいます) メソッドを探ります。カートをいっぱいにして 3 桁の領収書を持って店を出る前に、ほんの数点の商品を買いに行ったことはありませんか? あなたは一人じゃない。

地理情報システムの日: GIS 開発者として学ぶべき最高の技術スタック

地理情報システムの日: GIS 開発者として学ぶべき最高の技術スタック

私たちが住んでいる世界を確実に理解するには、データが必要です。ただし、空間参照がない場合、このデータは地理的コンテキストがないと役に立たなくなる可能性があります。

Language