how to correctly create a dict subclass with typing #1033
-
|
we have a lot of classes that subclass I'm not able to create a custom subclass of Currently, trying to figure out the What's the correct return type for example below # Module "builtins" has no attribute "dict_values"
from builtins import dict_values # type: ignore
import time
from typing import Any
from typing import cast
from typing import Dict, List
from typing import Tuple
from typing import TypeVar
from typing import ValuesView
_KT = TypeVar("_KT", |
Beta Was this translation helpful? Give feedback.
Replies: 2 comments 9 replies
-
|
Yeah this was broken in 3.10, see here: https://bugs.python.org/issue46399 We're trying to figure out some solutions! |
Beta Was this translation helpful? Give feedback.
-
|
the first place I'd look would be how does pylance handle this? or do they have the same bug. seemed like they didn't. |
Beta Was this translation helpful? Give feedback.
-
|
also, doesn't dict_keys / dict_values implement the interface given by typing.KeysView / typing.ValuesView (I assume they are protocols)? why wouldn't the typeshed stubs use KeysView/ ValuesView for how these methods are typed and not expose private implementation details of Python? |
Beta Was this translation helpful? Give feedback.
-
|
Pylance also uses typeshed stubs, so if there isn't the same issue with pylance, it's probably because they're special-casing it somehow. But I don't really know -- @erictraut might know more? |
Beta Was this translation helpful? Give feedback.
-
|
OK pyright doesn't report an error because it appears to lack the level of checking that is testing the overridden method against the return type of the superclass. I can make the method like this: and pyright says OK it returns "str", it doesn't care about the fact that Dict.values() returns dict_values. I still think linking key_values / dict_values to typing.KeysView / typing.ValuesView is the most correct approach. |
Beta Was this translation helpful? Give feedback.
-
|
@zzzeek, pyright will flag this as an error if you enable the |
Beta
Was this translation helpful?
Give feedback.
-
|
i know this is a different question but similar area, what's the correct typing for setdefault()? if I have a dict[str, str], how is the None value implied by setdefault accommodated? import typing
from typing import Dict
x: Dict[str, str] = {"a": "b"}
# we would think typing would raise an error for this
q = x.setdefault("c")
if typing.TYPE_CHECKING:
# Revealed type is "builtins.str*"
reveal_type(q)
# which is wrong. it's None
assert q is not None |
Beta Was this translation helpful? Give feedback.
-
|
I think https://github.com/python/typeshed/blob/master/stdlib/typing.pyi#L480 is buggy. It needs an overload for the case where the second argument is not specified. |
Beta Was this translation helpful? Give feedback.
Yeah this was broken in 3.10, see here: https://bugs.python.org/issue46399
We're trying to figure out some solutions!