1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

import json
from typing import cast, Any


data: Any = json.loads('["apple", "banana"]')







fruits = cast(list[str], data)
for f in fruits:
    print(f.upper())

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

from typing import Any
from typing_extensions import TypeIs




def is_str_list(val: Any) -> TypeIs[list[str]]:
    
    if not isinstance(val, list):
        return False
    return all(isinstance(x, str) for x in val)

def process_api_response(data: Any):
    if is_str_list(data):
        
        
        
        for item in data:
            print(item.upper())
    else:
        
        print("API 返回了非法的数据格式")

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

from typing import Union
from typing_extensions import TypeGuard, TypeIs

def old_is_int(val: Union[int, str]) -> TypeGuard[int]:
    return isinstance(val, int)

def new_is_int(val: Union[int, str]) -> TypeIs[int]:
    return isinstance(val, int)

def test_types(data: Union[int, str]):
    if old_is_int(data):
        
        pass
    else:
        
        pass

    if new_is_int(data):
        
        pass
    else:
        
        pass

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

from typing import Any
from typing_extensions import TypedDict, TypeIs

class ErrorState(TypedDict):
    error_code: int
    message: str

class SuccessState(TypedDict):
    result: str


def is_error_state(state: Any) -> TypeIs[ErrorState]:
    return isinstance(state, dict) and "error_code" in state

def handle_graph_state(state: Any):
    if is_error_state(state):
        
        print(f"Agent 发生崩溃: {state['error_code']}")
        return