Python 3.6中如何将ForwardRef作为参数传入TypeVar？

你的思路是对的，Python 3.6 的 typing 模块没有对私有类型 _ForwardRef 作为 TypeVar/Union 入参的场景做兼容，必须通过版本适配处理。下面是更规范、同时能兼容类型检查的实现方案：

步骤1：版本兼容导入 #

首先适配不同 Python 版本的 ForwardRef 导入逻辑：

import sys
import typing
from typing import TypeVar, TYPE_CHECKING

PY36 = sys.version_info[:2] == (3, 6)
if sys.version_info >= (3, 7):
    from typing import ForwardRef as PyForwardRef
else:
    from typing import _ForwardRef as PyForwardRef

步骤2：安全修复 Python 3.6 的兼容性问题 #

不要直接修改全局 typing 模块的属性，采用最小侵入的补丁逻辑：

if PY36:
    if hasattr(typing, '_gorg'):
        # 适配 3.6.2 及更早版本
        _orig_gorg = typing._gorg
        def _patched_gorg(a):
            return None if a is PyForwardRef else _orig_gorg(a)
        typing._gorg = _patched_gorg
    else:
        # 适配 3.6.3 及更高 3.6 小版本
        PyForwardRef._gorg = None

步骤3：兼容类型检查的 TypeVar 定义 #

通过 TYPE_CHECKING 标记区分运行时和类型检查阶段的逻辑，解决 PyCharm 等 IDE 类型检查失效的问题：

if TYPE_CHECKING:
    # 类型检查阶段用标准定义，IDE 可正常识别规则
    FREF = TypeVar('FREF', str, ForwardRef)
else:
    # 运行时用适配后的实际类型
    FREF = TypeVar('FREF', str, PyForwardRef)

验证效果 #

你原来的测试用例可以正常运行，同时类型检查完全符合预期：

class MyClass: ...

def my_func(typ: FREF):
    pass

# 类型检查通过
my_func('testing')
my_func(PyForwardRef('MyClass'))

# 类型检查报错
my_func(23)
my_func(MyClass)

这个方案的优势是对 typing 模块的侵入性极低，不会影响其他依赖 typing 的代码逻辑，同时兼容所有 3.6 小版本和 3.7+ 版本。

内容的提问来源于stack exchange，提问作者Wizard.Ritvik