Question

根据Python打字的文件,这些是处理图尔斯的。

Tuple[()] - empty tuple
Tuple[int, int] - tuple of two int objects
Tuple[int, ...] - tuple of an arbitrary number of int objects

I want to create a type where I have a Tuple with at least 8 ints. My goal is somewhere in between the last two types (Tuple[int, int], and Tuple[int, ...]).

如果主修有......

8 ints? Good
9 ints? Good
32 ints? Good
4 ints? Bad
1 int? Bad

Is this even possible where PyCharm will not throw warnings? Here is what I tried below. However, PyCharm will "incorrectly" give me warnings on the assert statement

# Type Alias 
Byte = Tuple[int, int, int, int, int, int, int, int]           # 8 bits
Nibble = Tuple[int, int, int, int]                             # 4 bits

# BytePlus Type is not correct. The following code does not work
BytePlus = Tuple[int, int, int, int, int, int, int, int, ...]  # 8+ bits


def adder(byte1: Union[Byte, BytePlus], byte2: Byte) -> Byte:
    pass

# Incorrect warnings for parameters. 
# What I see...
#    - parameter 1 (Byte | BytePlus) has no warning, but it should. nibble = 4 bits
#    - parameter 2 (Byte) has a warning, good, but it will have a warning for 9 bits
assert adder(nibble(4), nibble(10)) == byte(14)

此处为<代码>尼布()和byte()的代码。

def byte(number) -> Byte:
    return (
        (number & 128) // 128,
        (number & 64) // 64,
        (number & 32) // 32,
        (number & 16) // 16,
        (number & 8) // 8,
        (number & 4) // 4,
        (number & 2) // 2,
        (number & 1) // 1
    )


def nibble(number) -> Nibble:
    return (
        (number & 8) // 8,
        (number & 4) // 4,
        (number & 2) // 2,
        (number & 1) // 1
    )

Answer 1

PEP 646 ,其中介绍了variadic generals,还允许图形类型为un Packed :

TripleInt: TypeAlias = tuple[int, *tuple[int, int]]
# TripleInt = tuple[int, int, int]

作为tuple[int, ......] denotes a tuple with 0 or more ints, 包含至少8个int内容的图谱的类型是:

_{(playground links:}Mypy, Pyright (PEP 695 syntax))

Byte: TypeAlias = tuple[
    int, int, int, int, int, int, int, int,  # 8 `int`
    *tuple[int, ...]
]

应加以利用,因为光彩的表述会造成<条码>SyntaxError:

Byte: TypeAlias = tuple[
    int, int, int, int, int, int, int, int,  # 8 `int`
    Unpack[tuple[int, ...]]
]

友情链接