在 Python 中，k != int 并非判断变量是否为整数类型，而是将变量 k 与 int 类（即 ）进行值比较，而实例永远不等于其类，因此该表达式恒为 True。正确做法是使用 isinstance(k, int) 进行类型检查。
在 python 中，`k != int` 并非判断变量是否为整数类型，而是将变量 `k` 与 `int` 类（即 `
你遇到的问题非常典型：初学者常误将类型名（如 int）当作“类型值”直接参与比较，但 Python 中 int 是一个内置类对象，而非某种“整数类型的标签”或“类型标识符”。
执行以下代码即可验证：
>>> int <class 'int'> >>> type(42) <class 'int'> >>> 42 == int False >>> type(42) == int True >>> isinstance(42, int) True
可见：
- int 是一个类（type 的实例），其类型是
； - 变量 k（例如 k = 3）是一个 int 类的实例，其类型是
； - 因此 k != int 实质是 3 !=
—— 数值与类对象属于完全不同的对象类别，Python 中它们必然不相等（且不可哈希比较以外的语义也无意义）。
回到你的原始函数：
立即学习“Python免费学习笔记（深入）”；
def falling(n, k):
if k != int or k > n: # ❌ 错误：k != int 恒为 True
return "error"
# ...此处 k != int 总为 True，导致函数几乎总是返回 "error"（除非 k > n 为 False 且 k != int 偶然为 False——但后者永不发生），逻辑完全失效。
✅ 正确的类型检查应使用 isinstance()：
def falling(n, k):
if not isinstance(k, int) or k > n or k < 0:
return "error"
elif k == 0:
return 1
else:
return n * falling(n - 1, k - 1)
print(falling(5, 3)) # 输出：60⚠️ 注意事项：
- isinstance(obj, type) 是推荐的类型检查方式，它支持继承关系（如 isinstance(True, int) 返回 True，因 bool 是 int 的子类）；
- 避免使用 type(obj) == int：虽能工作，但无法处理子类，且可读性较差；
- 更严谨的健壮函数还应校验 n 是否为整数、是否非负，以及防止递归过深（如加入 k
- 若需严格禁止布尔值（因 bool 是 int 子类），可额外排除：isinstance(k, int) and not isinstance(k, bool)。
总结：Python 的类型系统基于对象模型，int 是类，不是类型“字面量”。理解 类（class） 与 其实例（instance） 的根本区别，是写出可靠类型检查逻辑的第一步。
