如何让自定义函数在传入非空列表时触发Intellisense警告？

要在编辑阶段（而非运行时）让编辑器显示黄色警告波浪线，你需要依赖静态代码分析工具（比如VS Code的Pylance/Pyright、mypy），而非运行时的warnings模块。以下是几种实用方案：

方案1：断言+类型守卫（最简单） #

在函数开头添加断言检查列表是否为空，同时让静态检查工具识别这个断言的约束。当用户传入非空列表时，编辑器会提示断言可能失败：

from typing import TypeVar, List

T = TypeVar('T')

def append_to_empty_list(lst: List[T], value: T) -> None:
    # 断言列表为空，静态检查工具会在传入非空列表时触发警告
    assert len(lst) == 0, "函数预期接收空列表"
    lst.append(value)

# 测试：传入非空列表时，编辑器会显示警告
my_list = [1, 2]
append_to_empty_list(my_list, 3)

开启编辑器的静态检查（比如VS Code中启用Pylance的strict模式）后，传入非空列表时会出现黄色警告波浪线，提示“断言条件可能为假”。

方案2：自定义空列表类型（强约束） #

通过NewType创建一个仅代表空列表的类型，强制用户使用专门的函数生成空列表。这样类型检查工具会在传入非空列表时直接提示类型不匹配：

from typing import TypeVar, List, NewType

T = TypeVar('T')
# 定义空列表的专属类型
EmptyList = NewType('EmptyList', List[T])

def create_empty_list() -> EmptyList[T]:
    # 仅允许通过这个函数生成空列表实例
    return EmptyList([])

def append_to_empty_list(lst: EmptyList[T], value: T) -> None:
    lst.append(value)

# 正确用法
empty_lst = create_empty_list()
append_to_empty_list(empty_lst, 5)

# 错误用法：传入非空列表时，编辑器直接提示类型不匹配
non_empty_lst = [1, 2]
append_to_empty_list(non_empty_lst, 3)

这种方式约束性更强，能从类型层面避免传入非空列表的情况。

方案3：Pyright自定义警告（灵活配置） #

如果你使用VS Code的Pylance（基于Pyright），可以通过特殊注释让工具针对非空列表的情况显示自定义警告：

from typing import TypeVar, List

T = TypeVar('T')

def append_to_empty_list(lst: List[T], value: T) -> None:
    if len(lst) != 0:
        # 告诉Pyright触发自定义警告
        # pyright: warn("传入的列表非空，函数预期接收空列表")
        pass
    lst.append(value)

需要确保你的编辑器启用了Pyright的静态检查功能，这样就能在编辑时看到黄色警告。

内容的提问来源于stack exchange，提问作者Boye