实现语义

这一课你将能做到

1. 审查 Service 层代码时识别出空指针、边界条件、并发竞态三类最常见的逻辑缺陷
2. 判断事务、缓存、消息队列的使用是否与业务语义匹配
3. 用「如果输入是 X 会怎样」的提问法，系统性暴露实现漏洞

为什么要学

代码能编译、测试能跑过，不代表逻辑对。实现语义审查关注的是：这段代码做的事情，和它应该做的事情，是不是同一件事。

人话：API 审查看「合同写没写对」，实现审查看「干活干没干对」。一个方法叫 transferMoney，结果没加锁、没校验余额、没记流水——编译过、单测过（如果单测也是糊弄的话）、上线就出钱灾。

先建立图像

典型的「看起来对、其实错」的实现模式：

┌──────────────────────────────────────────┐
│ 读缓存 → 缓存没有 → 查数据库 → 写缓存     │
│                                          │
│ 看着很标准？想想这几个问题:               │
│ 1. 数据库里也没有怎么办（缓存穿透）       │
│ 2. 两个人同时查同一个 key 都 miss 会怎样   │
│ 3. 数据库更新后缓存多久失效              │
│ 4. 缓存挂了是直接打 DB 还是降级           │
└──────────────────────────────────────────┘

实现语义审查的本质：对每一行代码问「然后呢」「如果失败呢」「如果并发呢」「如果是边界值呢」。

跟着做

步骤 1：审空值与边界

❌ 反例（本站课程模块常见的坏味道）：

public CourseDetailVO getDetail(Long courseId) {
    Course course = courseMapper.selectById(courseId);
    User author = userMapper.selectById(course.getAuthorId());  // course 可能是 null
    List<Chapter> chapters = chapterMapper.listByCourse(courseId);
    return CourseDetailVO.builder()
            .title(course.getTitle())
            .authorName(author.getNickname())                   // author 可能是 null
            .chapterCount(chapters.size())                      // chapters 可能是 null
            .build();
}

✅ 正例：

public CourseDetailVO getDetail(Long courseId) {
    Assert.notNull(courseId, "courseId 不能为空");

    Course course = courseMapper.selectById(courseId);
    if (course == null) {
        throw new BizException(ErrorCode.COURSE_NOT_FOUND);
    }

    User author = userMapper.selectById(course.getAuthorId());
    String authorName = author != null ? author.getNickname() : "已注销用户";

    List<Chapter> chapters = chapterMapper.listByCourse(courseId);
    int chapterCount = chapters == null ? 0 : chapters.size();

    return CourseDetailVO.builder()
            .title(course.getTitle())
            .authorName(authorName)
            .chapterCount(chapterCount)
            .build();
}

审查动作：对每个外部依赖返回值（DB、RPC、缓存）问「能不能是 null？是 null 时业务应该报错还是降级？」

步骤 2：审并发与竞态

❌ 反例：经典 check-then-act 竞态

public void enroll(Long courseId, Long userId) {
    Integer count = enrollMapper.countByCourse(courseId);
    if (count >= MAX_CAPACITY) {
        throw new BizException("名额已满");
    }
    // 两个请求同时通过校验 → 超卖
    enrollMapper.insert(new Enroll(courseId, userId));
}