Pylance误报「代码不可达」，但实际测试显示代码可执行

问题描述 #

以下Python代码中，Pylance会将if not dfs:分支下的代码标记为不可达并置灰，但实际运行时，当传入全为None的元组参数时，该分支是可以正常执行的：

import pandas as pd

def concat_dfs(dfs: tuple[pd.DataFrame | None], logger) -> pd.DataFrame | None:
    # 过滤掉None值的DataFrame
    dfs = [df for df in dfs if df is not None]
    
    # 合并非空的DataFrame
    if not dfs:
        logger.warning("所有传入的DataFrame都是None，没有可分析的输入") 
        return None # 被Pylance标灰，认为不可达
    else:
        return pd.concat(dfs).sort_index()

测试验证：当传入全None的元组时，过滤后的dfs为空列表，not dfs返回True，分支确实可达：

dfs = (None, None)
dfs = [df for df in dfs if df is not None] # 得到空列表
not dfs # 返回True，分支应该被执行

即使尝试将else分支的返回值改为仅返回dfs（排除pd.concat相关bug的影响），Pylance的误判依然存在。

解决办法 #

针对Pylance的类型推断误判问题，可以尝试以下几种方案：

• 显式标注过滤后列表的类型
  明确告诉Pylance过滤后的dfs是可能为空的pd.DataFrame列表，修正类型推断：

  import pandas as pd
  from typing import List
  
  def concat_dfs(dfs: tuple[pd.DataFrame | None], logger) -> pd.DataFrame | None:
      # 显式标注类型，说明列表可能为空
      dfs: List[pd.DataFrame] = [df for df in dfs if df is not None]
      
      if not dfs:
          logger.warning("所有传入的DataFrame都是None，没有可分析的输入") 
          return None
      else:
          return pd.concat(dfs).sort_index()
  

• 临时禁用该位置的不可达警告
  在被误判的代码行添加注释，跳过Pylance的不可达检查：

  if not dfs:
      logger.warning("所有传入的DataFrame都是None，没有可分析的输入") 
      return None # type: ignore[unreachable]
  

• 更新Pylance到最新版本
  该问题可能是Pylance旧版本的类型推断bug，更新到最新版后可能已被修复。

• 使用类型断言强制修正推断结果
  通过typing.cast明确告诉Pylance列表的实际类型：

  from typing import cast, List
  import pandas as pd
  
  def concat_dfs(dfs: tuple[pd.DataFrame | None], logger) -> pd.DataFrame | None:
      dfs = cast(List[pd.DataFrame], [df for df in dfs if df is not None])
      
      if not dfs:
          logger.warning("所有传入的DataFrame都是None，没有可分析的输入") 
          return None
      else:
          return pd.concat(dfs).sort_index()
  

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