我来一步步拆解你的问题，结合我使用MyPy和Python类型检查工具的经验：

一、各类MyPy报告的含义与解读方法 #

1. --txt-report 文本报告 #

你遇到的0 LOC其实是MyPy的统计逻辑导致的：它的LOC（代码行数）只统计实际进行类型分析的代码行——也就是带有类型注解、或者被严格模式触发检查的行，完全无注解的代码不会被计入。

你的测试文件里：

• kuki函数没有任何类型注解，MyPy在--strict模式下只会标记它缺失注解，但不会把它的代码行纳入统计
• buki虽然有参数和返回值注解，但函数体里的print和return都是简单常量操作，MyPy不需要对这些行做类型分析，所以最终统计显示0 LOC，0.00% imprecise也就合理了。

2. --linecount-report 行数统计报告 #

这个报告的列含义很直观，默认输出的几列分别是：

• module：对应的Python模块/文件名
• total_lines：文件的总有效代码行数（不含空行、注释）
• typed_lines：带有类型注解、或者被MyPy进行类型分析的代码行数
• percent_typed：已注解/分析行数占总行数的比例
• missing_annotations：缺失类型注解的代码行数（比如无类型的函数参数、返回值）

3. --linecoverage-report JSON覆盖率报告 #

生成的JSON数组里的数字对应每一行的类型检查状态：

• 0：该行不需要类型检查（空行、注释、非Python代码等）
• 1：该行已被MyPy完全类型检查（有完整注解，无类型问题）
• 2：该行存在类型问题（比如类型不匹配、缺失注解）
• 3：该行MyPy无法进行精确类型推断（比如使用了Any类型、动态赋值导致类型不确定）

4. --lineprecision-report 精度报告 #

这个报告专门统计MyPy无法精确推断类型的代码行，只有当代码中存在这类场景时才会有输出——比如使用了Any类型、动态修改变量类型、或者依赖外部无注解库导致的类型模糊。

二、--lineprecision-report无输出的原因 #

你的测试代码里完全没有触发“类型推断不精确”的场景：

• kuki函数无注解，MyPy直接标记为缺失注解，不会进入“精度不精确”的统计范畴
• buki函数的参数、返回值都有明确注解，函数体里的操作都是简单常量，MyPy可以100%确定类型，没有模糊的推断场景，所以这个报告自然没有内容输出。

三、替代工具：统计带注解/无注解的函数数量 #

MyPy确实没有直接提供“正常/异常函数数量统计”这类指标，推荐两个工具来满足需求：

1. Pyright #

微软开发的类型检查工具，自带更丰富的统计功能。执行命令：

pyright --stats /tmp/tmp_py/

它会直接输出清晰的统计结果，包括总函数数、带完整注解的函数数、缺失注解的函数数，以及各类类型问题的明细。

2. annotations-stats #

这是一个专门统计Python代码类型注解覆盖率的小工具，安装后执行：

annotations-stats /tmp/tmp_py/

它会详细统计函数/方法的注解覆盖率、参数与返回值的注解情况，还能按模块或文件拆分统计结果。

如果你不想额外装工具，也可以用Python的ast模块写个简单脚本，解析代码里的FunctionDef节点，检查每个函数的参数注解和返回值注解是否为空，自己统计数量。

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