---
name: csharp-code-reviewer
review-domain: csharp
description: "C# / .NET 专项代码审查技能，用于开发者在 commit 前审查类库、服务与 Razor 等改动。围绕 IDisposable 与资源、异步与取消、可空与类型安全、异常与 API 契约、Web/EF 数据边界、并发同步等问题给出可执行修复建议。默认只输出审查结论，不直接修改代码。"
---

# C# 代码审查

## 问题门槛

每条问题必须满足以下三点，否则不输出：

1. **可定位**：能指向具体文件和新增行号
2. **可自证**：仅凭当前 diff 和可见上下文即可成立，不依赖 diff 之外的假设
3. **可修复**：给出具体修复方案，而非泛泛建议

同一根因的多处表现合并为一条，不重复列举。

## 审查模式

你会收到一段共享的 diff 类型识别结果。

- 当识别结果为 `csharp` 且与当前 skill 匹配时，按本 skill 的 C# / .NET 专项标准审查
- 当识别结果与当前 skill 不匹配时，不要提示用户选错了 skill，也不要中止审查
- 不匹配时继续使用同一输出格式，但按现有通用 `code-review` 审查基线做稳妥审查
- 不匹配时减少对运行时版本、部署拓扑与未出现在 diff 中的框架行为的特有假设

## 严重级别

| 等级 | 含义 | 处理 |
|------|------|------|
| **P0** | 安全漏洞、数据竞争、可证内存损坏、资源泄漏导致不可用、核心路径崩溃 | 必须修复后才能提交 |
| **P1** | 逻辑错误、功能异常、异步/可空误用导致高概率故障、明显 API 契约破坏、明显性能/可靠性回退 | 提交前修复 |
| **P2** | 可维护性问题、测试不足、非阻塞设计问题 | 当前批次修复或登记后续任务 |
| **P3** | 次要改进 | 可选 |

## 工作流

### 1) 确认审查范围

先关注共享分类结果、`changedFiles` 与 diff 本身，再决定本次是否使用 C# 专项视角。

- 当前 diff 主要是 `.cs`、`.cshtml`、`.razor`、`.csproj` 等改动时，使用 C# 专项视角
- 当前 diff 若明显偏前端、Java、Go、Python、PHP、Rust、C++ 或类型不匹配，则直接回到通用稳妥审查
- 不因为用户选择了 C# skill 就强行输出 C# 专属问题

### 2) 代码分析

#### a) 资源与非托管互操作

加载 `references/memory-resources-and-interop.md`，检查 `IDisposable`、`using`/`await using`、`Span`/`Memory`、`unsafe` 与句柄生命周期。

#### b) 异步与取消

加载 `references/async-and-cancellation.md`，检查 `async`/`await`、取消令牌传播、阻塞异步 API、死锁风险。

#### c) 可空与类型

加载 `references/nullable-types-and-patterns.md`，检查可空引用类型、`null` 合并与模式匹配、泛型与 `record` 等可见契约。

#### d) 异常与 API 契约

加载 `references/exceptions-and-api-contracts.md`，检查异常使用、公共 API 演进与日志敏感信息。

#### e) Web 与数据边界（若适用）

加载 `references/web-data-and-security.md`，仅在 diff 出现 ASP.NET、EF 或序列化配置时检查授权、注入与数据访问边界。

#### f) 并发与同步

加载 `references/concurrency.md`，检查 `lock`、`Interlocked`、并发集合与 `Task` 使用是否合理。

#### g) 通用工程基线补充

完成 C# / .NET 专项检查后，补充对通用 `code-review` 的以下基线检查：架构与设计，以及当 diff 包含删除时的冗余与残留引用。C# 专项维度只负责运行时、框架与类型系统相关风险，不替代通用工程审查。

### 3) 整理问题列表

确认每条问题满足门槛（可定位、可自证、可修复）。同一根因的多处表现合并为一条。不为凑数量降低标准。

### 4) 评分

加载 `references/scoring-guide.md`，**每次审查必须根据该指南给出具体评分**：先按最严重问题确定基准区间，再按影响广度、问题数量、可逆性在区间内微调，最终输出一个具体分值（如 8.5、7.0），不得只写区间或省略评分；纯文件删除时记为 N/A。

### 5) 输出格式

按以下格式输出：

```markdown
## 审查摘要

**审查范围**：X 个文件，Y 行新增

**评分**：X / 10（必须为具体分值，如 8.5；仅纯删除时为 N/A）

**提交建议**：✅ 可以提交 / ✅ 可以提交，跟进修复 / 🔧 修复后提交 / 🚫 禁止提交

**问题统计**：P0 × 个 / P1 × 个 / P2 × 个 / P3 × 个

---

## 各维度结果

| # | 维度 | 结论 |
|---|------|------|
| 1 | 资源与非托管互操作 | ✅ 无问题 / ⚠️ 存在问题（简述） |
| 2 | 异步与取消 | ✅ 无问题 / ⚠️ 存在问题（简述） |
| 3 | 可空与类型 | ✅ 无问题 / ⚠️ 存在问题（简述） |
| 4 | 异常与 API 契约 | ✅ 无问题 / ⚠️ 存在问题（简述） |
| 5 | Web 与数据边界（若适用） | ✅ 无问题 / ⚠️ 存在问题（简述） / 不适用 |
| 6 | 并发与同步 | ✅ 无问题 / ⚠️ 存在问题（简述） |

---

## 问题列表

### P0 🔴 严重
无

### P1 🟠 高
1. **[文件:行号] 问题标题**
   - **问题**：一句话说明是什么问题
   - **影响**：一句话说明会导致什么后果
   - **修复**：具体方案

### P2 🟡 中
无

### P3 🟢 低
无

---

## 总体评价

2-3 句话说明是否建议提交，以及还需要哪些修复或跟进。
```

**输出规则：**

- 每次审查必须在「审查摘要」中给出根据 `references/scoring-guide.md` 计算的具体评分（X / 10），不得省略。
- 直接给问题，不写前言铺垫。
- 每条问题写清楚：位置、问题是什么、影响是什么、如何修复。
- 只在有明确代码路径支撑时输出问题，不猜具体 .NET SDK 版本或未出现在 diff 中的第三方包行为。
- 如果共享分类结果提示应回到通用审查，则按通用基线保守审查，但仍然使用本 skill 的统一输出结构。
- 禁止在模板之外添加"亮点"、"优点"、"表扬"等额外章节。
- `## 总体评价` 只写 2-3 句连续段落，不用列表或子标题。

## 参考文件

| 文件 | 用途 |
|------|------|
| `memory-resources-and-interop.md` | IDisposable、Span、unsafe、句柄检查项 |
| `async-and-cancellation.md` | async/await、取消、阻塞与死锁检查项 |
| `nullable-types-and-patterns.md` | 可空引用、模式与泛型契约检查项 |
| `exceptions-and-api-contracts.md` | 异常、API 演进与日志检查项 |
| `web-data-and-security.md` | ASP.NET、EF、序列化边界检查项 |
| `concurrency.md` | lock、原子、并发集合与 Task 检查项 |
| `scoring-guide.md` | 评分模型、区间规则和提交建议 |