2

下記のようなコードを書くと、b が Unknown になってしまいました。

h = {
    'bar1': 'baz',
    'bar2': 2,
}

b = h.get('bar1', '')

Unknownの様子
画像の説明をここに入力

  • おそらくPylanceが型を自動判定しているのだと推測しています(Popupに誰が判定しているのか出てないのであくまで推測です)
  • getの第2引数であるデフォルト値に '' 空文字を指定したので str と判定してくれるかと思ったのですが駄目でした

VSCodeで取り出すときに型を認識させる方法はありますか?


ちなみに

b: str = h.get('bar1', '')

Unknown | str でした。

Unknown | str の様子
画像の説明をここに入力

1

1 件の回答 1

3

もうちょっと前提がある気がしますが、質問に書いてあることだけで考えると、typing.TypedDict を使うのが適当かと思います。

from typing import TypedDict

class Bar(TypedDict):
    bar1: str
    bar2: int

h: Bar = {
    'bar1': 'baz',
    'bar2': 2,
}

b = h.get('bar1', '')

単純には

h: Bar = h

としてしまう。で、ほかに

h = {
    'bar1': 'baz',
    'bar2': 2,
}
assert isinstance(b, str)
l = len(b)  # strであると保証される

としてstrでなかった時に即時エラーにして type narrowing する

h = {
    'bar1': 'baz',
    'bar2': 2,
}
if isinstance(b, str):
    l = len(b)  # strであると保証される
else:
    s = b.bit_length()  # intであると保証される

としてisinstanceで type narrowing する

from typing import TypeGuard, Any

def is_bar(val: dict[Any, Any]) -> TypeGuard[Bar]:
    if 'bar1' not in val:
        return False
    if 'bar2' not in val:
        return False
    if not isinstance(val['bar1'], str):
        return False
    if not isinstance(val['bar2'], int):
        return False
    return True

assert is_bar(h)
b = h['bar1']  # Barであると保証される
l = len(b)  # strであると保証される

TypeGurde の関数を書いて辞書が期待通りの型であることを保証する

などになります。

2
  • upvoteしました。この回答自体は貴重ですが、「もうちょっと前提がある気がしますが」とおっしゃられている通り、オープンソースなどで、ディクショナリーの定義側はいじれないこと(ディクショナリーの生成時には型を指定できない)を想定しています。つまり、タイトルに記載したとおり "要素を取り出すとき" に指定したいです。 Commented 3月7日 11:38
  • 1
    率直には「strである保証がない(からできるはずがない)」なので、いま何に困っているのか? が知りたいです(いわゆるXY問題です ja.meta.stackoverflow.com/questions/2701/#answer-2702
    – quickquip
    Commented 3月7日 15:05

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。