简介这份资源是面向高校计算机课程设计的Java项目源码包主题为汽车销售管理系统适合正在完成课程设计或希望积累Java Web实战经验的学生与开发者。系统并不面向购车者而是服务于车辆管理员与销售人员管理员负责车辆属性维护销售人员则围绕合同签订与购车流程展开需记录车辆id、用户身份证与联系方式、住址以及保险、上牌、订单时间、全款或分期结算方式、总费用、已付费用、折扣、定金、交付时间、以旧换新和销售分成等字段并跟踪付款、交税、上牌等环节是否完成交付时间还设有期限约束。压缩包共24个文件以20个java源码为核心辅以xml配置、properties参数文件、sql建表脚本和md说明文档整体约18KB结构紧凑便于阅读与二次开发。目前已有194人学习下载可作为课程设计参考方案帮助读者快速理解业务建模、实体字段设计与流程控制思路。1. 从一份 .rar 说起汽车销售管理系统到底要解决什么很多计算机专业的学生在拿到「基于 Java 开发的汽车销售管理系统」这个课程设计题目时第一反应是去搜现成源码把.rar解压、导入 IDE、跑起来、截图、写报告然后交差。但真正做过一轮答辩的人都知道老师问的从来不是「你跑起来没有」而是「你的库存扣减和订单状态是怎么保证一致的」「为什么用 Spring 的声明式事务而不是手动 commit」「车辆 VIN 码重复插入你怎么拦」。这个题目表面是 CRUD内核其实是一道关于数据一致性、状态机和权限边界的工程题。它适合三类人一是正在做课程设计、想拿高分而不是及格的学生二是想用一个完整业务系统练手 Java Web 全链路的自学者三是面试前想找一个能讲清楚「事务、索引、分层」的真实项目当谈资的人。下面我按一个能真正跑起来、经得起追问的实现路径把选型、建表、核心代码、参数和踩坑一次讲透。2. 技术选型与数据库设计别一上来就堆框架2.1 为什么我建议 Spring Boot MyBatis 而不是纯 JSP课程设计里最常见的两种做法一种是纯 JSP Servlet JDBC另一种是 Spring Boot MyBatis。前者能让你看清 HTTP 请求怎么走到数据库但代码量巨大一个车辆列表页要写 Servlet、DAO、JSP 三份文件后期改字段能改到崩溃。后者把连接池、事务、参数绑定都封装好了你能把精力放在业务逻辑上。我一般会这么选如果课程要求「体现分层思想」用 Spring Boot 3.x MyBatis-PlusJDK 用 17注意java: 警告: 源发行版 17 需要目标发行版 17这个报错就是编译级别没对齐后面避坑章会讲。前端不用上 VueThymeleaf 或纯 HTML fetch 调 REST 接口就够了课程设计不考察前端工程化。依赖清单控制在最小集!-- pom.xml 关键依赖版本按你本地仓库实际可用的填 -- dependency groupIdorg.springframework.boot/groupId artifactIdspring-boot-starter-web/artifactId /dependency dependency groupIdcom.baomidou/groupId artifactIdmybatis-plus-boot-starter/artifactId version3.5.5/version /dependency dependency groupIdcom.mysql/groupId artifactIdmysql-connector-j/artifactId scoperuntime/scope /dependency这段配置的作用是引入 Web 容器、MyBatis-Plus 的自动配置和 MySQL 驱动。参数上唯一要注意的是 MyBatis-Plus 版本和 Spring Boot 版本的兼容性3.5.x 对应 Boot 3.x如果你用 Boot 2.7 就要降到 3.5.3 以下否则启动时报NoClassDefFoundError。2.2 六张核心表怎么切分汽车销售管理系统的实体比想象中多但课程设计不需要全铺开。我一般保留六张表user员工/管理员、car车辆库存、customer客户、sale_order销售订单、order_item订单明细可选、inventory_log库存流水。前五张是业务必需第六张是加分项——它让「库存为什么少了」有据可查。关键字段设计上car表必须有vin车架号并加唯一索引status用枚举值0 在库 / 1 已预订 / 2 已售出。sale_order表要有order_no业务单号唯一、car_id、customer_id、total_amount、status0 待付款 / 1 已付款 / 2 已交车 / 3 已取消、create_time。CREATE TABLE car ( id BIGINT PRIMARY KEY AUTO_INCREMENT, vin VARCHAR(17) NOT NULL, brand VARCHAR(50) NOT NULL, model VARCHAR(80) NOT NULL, price DECIMAL(12,2) NOT NULL, status TINYINT NOT NULL DEFAULT 0 COMMENT 0在库 1已预订 2已售出, create_time DATETIME DEFAULT CURRENT_TIMESTAMP, UNIQUE KEY uk_vin (vin), KEY idx_status (status) ) ENGINEInnoDB DEFAULT CHARSETutf8mb4;vin的唯一索引是防止同一辆车被重复录入status上的普通索引是为了「查所有在库车辆」这个高频查询。金额用DECIMAL而不是FLOAT这是财务数据的铁律浮点误差在累加订单金额时会暴露出来。2.3 分层结构落地成目录包结构按controller / service / mapper / entity / dto / config分。Controller 只做参数校验和调用Service 写业务和事务Mapper 只写 SQL。这个划分不是形式主义——答辩时老师看你的Transactional加在哪一层就知道你懂不懂事务边界。事务必须加在 Service 方法上加在 Controller 上会导致事务范围过大加在 Mapper 上则完全无效。3. 核心业务实现下单、扣库存、状态流转3.1 销售下单接口的完整实现下单是整个系统最容易出问题的地方。业务规则是客户选中一辆在库车辆 → 生成订单 → 车辆状态改为已预订 → 付款后改为已售出。这三步必须在一个事务里否则会出现「订单生成了但车还在库」的脏数据。Service public class SaleOrderService { Autowired private CarMapper carMapper; Autowired private SaleOrderMapper orderMapper; Transactional(rollbackFor Exception.class) public String createOrder(Long carId, Long customerId) { // 1. 悲观锁查车辆防止并发下单同一辆车 Car car carMapper.selectByIdForUpdate(carId); if (car null) { throw new BizException(车辆不存在); } if (car.getStatus() ! 0) { throw new BizException(该车辆当前不可售状态 car.getStatus()); } // 2. 生成订单号时间戳 车辆ID后四位 String orderNo System.currentTimeMillis() String.format(%04d, carId % 10000); SaleOrder order new SaleOrder(); order.setOrderNo(orderNo); order.setCarId(carId); order.setCustomerId(customerId); order.setTotalAmount(car.getPrice()); order.setStatus(0); orderMapper.insert(order); // 3. 更新车辆状态为已预订 carMapper.updateStatus(carId, 1); return orderNo; } }逻辑说明第一步用selectByIdForUpdate走的是SELECT ... FOR UPDATE在 InnoDB 里对这条记录加行锁第二个并发请求会阻塞到第一个事务提交从而避免超卖。参数上rollbackFor Exception.class保证任何异常都回滚默认只回滚RuntimeException受检异常不回滚是个经典坑。订单号用时间戳加车辆 ID 后缀简单但够用生产环境一般用雪花算法。对应的 Mapper 方法Select(SELECT * FROM car WHERE id #{id} FOR UPDATE) Car selectByIdForUpdate(Param(id) Long id); Update(UPDATE car SET status #{status} WHERE id #{id}) int updateStatus(Param(id) Long id, Param(status) Integer status);3.2 状态流转用枚举而不是魔法数字订单状态从 0 到 3 的流转如果到处写if (status 1)后期维护就是灾难。我一般定义一个枚举加一个流转校验方法public enum OrderStatus { UNPAID(0, 待付款), PAID(1, 已付款), DELIVERED(2, 已交车), CANCELED(3, 已取消); private final int code; private final String desc; OrderStatus(int code, String desc) { this.code code; this.desc desc; } public static boolean canTransfer(int from, int to) { if (from 0 (to 1 || to 3)) return true; if (from 1 to 2) return true; return false; } }canTransfer把合法流转路径集中在一处待付款可以转已付款或已取消已付款只能转已交车。这样任何状态变更前先调这个方法非法流转直接抛异常比散落各处的 if 判断可靠得多。3.3 分页查询与条件筛选车辆列表页需要支持按品牌、状态、价格区间筛选并分页。MyBatis-Plus 的Page对象能省掉手写 limit 的麻烦public PageCar pageQuery(int pageNum, int pageSize, String brand, Integer status) { PageCar page new Page(pageNum, pageSize); LambdaQueryWrapperCar wrapper new LambdaQueryWrapper(); wrapper.like(StringUtils.hasText(brand), Car::getBrand, brand) .eq(status ! null, Car::getStatus, status) .orderByDesc(Car::getCreateTime); return carMapper.selectPage(page, wrapper); }like和eq的第一个参数是条件开关为 false 时该条件不拼进 SQL这样一套代码能覆盖「只按品牌查」「只按状态查」「都不传查全部」三种场景。pageNum从 1 开始pageSize建议限制在 100 以内防止有人传pageSize999999把内存打爆。4. 避坑与排查课程设计里最容易翻车的五件事4.1 编译报「源发行版 17 需要目标发行版 17」现象mvn compile或 IDE 构建时报java: 警告: 源发行版 17 需要目标发行版 17或者直接编译失败。原因是你本地装了多个 JDKIDE 的项目 SDK 设成了 17但 Maven 的maven.compiler.source还是 1.8两边不一致。解决在pom.xml的properties里显式声明java.version17/java.version并在 IDE 的 Project Structure 里把 Language Level 也改成 17两处必须一致。4.2 事务加了但不回滚现象下单时车辆状态更新失败抛了异常但订单记录还是插进去了。原因通常是异常被try-catch吞掉了或者抛的是受检异常而Transactional默认不回滚受检异常。解决要么在注解里写rollbackFor Exception.class要么别在 Service 里 catch 后不重新抛出。血泪经验是catch 块里只打日志不抛事务管理器根本感知不到异常。4.3 并发下单同一辆车现象压测或两个人同时点「下单」同一辆车生成了两条订单。原因是没有对车辆记录加锁两个事务都读到status0。解决用SELECT ... FOR UPDATE悲观锁或者用乐观锁在car表加version字段更新时WHERE version #{oldVersion}影响行数为 0 就重试。课程设计用悲观锁足够实现简单。4.4 中文乱码现象车辆品牌存进去是「??」或者页面显示问号。原因有三处可能数据库字符集不是utf8mb4、JDBC 连接串没加characterEncodingutf8、Tomcat 的 URI 编码没配。解决建库时CHARACTER SET utf8mb4 COLLATE utf8mb4_general_ci连接串写jdbc:mysql://localhost:3306/car_sale?useUnicodetruecharacterEncodingutf8serverTimezoneAsia/Shanghai三处对齐基本就不会乱码。4.5 前端传的日期后端解析失败现象提交订单时带saleDate字段后端报Failed to convert value of type String to Date。原因是前端传的是2024-01-01这种字符串Spring 默认不支持这个格式。解决在 DTO 的日期字段上加JsonFormat(pattern yyyy-MM-dd, timezone GMT8)或者用DateTimeFormat。注意时区一定要写否则跨时区部署会差 8 小时。5. 让系统经得起追问一致性验证与一个实用技巧答辩和面试里最能拉开差距的不是你写了多少功能而是你能不能证明数据是对的。我一般会加一个「库存流水」表每次车辆状态变更都插一条记录字段包括car_id、from_status、to_status、operator、create_time。这样任何一辆车的历史状态都能追溯老师问「你怎么知道这辆车什么时候被预订的」你直接查流水表就行。验证一致性有个简单办法写一个对账接口遍历所有status2已售出的车辆检查是否存在对应的已付款订单反之亦然。如果数量对不上说明有事务没兜住。GetMapping(/check/consistency) public MapString, Object checkConsistency() { // 已售出但无有效订单的车辆 ListCar soldCars carMapper.selectList( new LambdaQueryWrapperCar().eq(Car::getStatus, 2)); long mismatch soldCars.stream() .filter(c - orderMapper.countPaidByCarId(c.getId()) 0) .count(); MapString, Object result new HashMap(); result.put(soldCarCount, soldCars.size()); result.put(mismatchCount, mismatch); return result; }这个接口平时不用但演示时调一次mismatchCount为 0 就是最有力的正确性证明。参数上没什么可调的逻辑就是「已售出的车必须有已付款订单」。最后一个技巧把application.yml里的mybatis-plus.configuration.log-impl设成org.apache.ibatis.logging.stdout.StdOutImpl控制台会打印每条执行的 SQL 和参数。调事务和锁的问题时你能亲眼看到FOR UPDATE有没有生效、事务有没有提交比盲猜快十倍。这个习惯我从做第一个课程设计保持到现在每次遇到玄学问题先看 SQL 日志八成能定位。希望帮到你。本文还有配套的精品资源点击获取 Java汽车销售管理系统课程设计：事务、锁与状态机实战
简介这份资源是面向高校计算机课程设计的Java项目源码包主题为汽车销售管理系统适合正在完成课程设计或希望积累Java Web实战经验的学生与开发者。系统并不面向购车者而是服务于车辆管理员与销售人员管理员负责车辆属性维护销售人员则围绕合同签订与购车流程展开需记录车辆id、用户身份证与联系方式、住址以及保险、上牌、订单时间、全款或分期结算方式、总费用、已付费用、折扣、定金、交付时间、以旧换新和销售分成等字段并跟踪付款、交税、上牌等环节是否完成交付时间还设有期限约束。压缩包共24个文件以20个java源码为核心辅以xml配置、properties参数文件、sql建表脚本和md说明文档整体约18KB结构紧凑便于阅读与二次开发。目前已有194人学习下载可作为课程设计参考方案帮助读者快速理解业务建模、实体字段设计与流程控制思路。1. 从一份 .rar 说起汽车销售管理系统到底要解决什么很多计算机专业的学生在拿到「基于 Java 开发的汽车销售管理系统」这个课程设计题目时第一反应是去搜现成源码把.rar解压、导入 IDE、跑起来、截图、写报告然后交差。但真正做过一轮答辩的人都知道老师问的从来不是「你跑起来没有」而是「你的库存扣减和订单状态是怎么保证一致的」「为什么用 Spring 的声明式事务而不是手动 commit」「车辆 VIN 码重复插入你怎么拦」。这个题目表面是 CRUD内核其实是一道关于数据一致性、状态机和权限边界的工程题。它适合三类人一是正在做课程设计、想拿高分而不是及格的学生二是想用一个完整业务系统练手 Java Web 全链路的自学者三是面试前想找一个能讲清楚「事务、索引、分层」的真实项目当谈资的人。下面我按一个能真正跑起来、经得起追问的实现路径把选型、建表、核心代码、参数和踩坑一次讲透。2. 技术选型与数据库设计别一上来就堆框架2.1 为什么我建议 Spring Boot MyBatis 而不是纯 JSP课程设计里最常见的两种做法一种是纯 JSP Servlet JDBC另一种是 Spring Boot MyBatis。前者能让你看清 HTTP 请求怎么走到数据库但代码量巨大一个车辆列表页要写 Servlet、DAO、JSP 三份文件后期改字段能改到崩溃。后者把连接池、事务、参数绑定都封装好了你能把精力放在业务逻辑上。我一般会这么选如果课程要求「体现分层思想」用 Spring Boot 3.x MyBatis-PlusJDK 用 17注意java: 警告: 源发行版 17 需要目标发行版 17这个报错就是编译级别没对齐后面避坑章会讲。前端不用上 VueThymeleaf 或纯 HTML fetch 调 REST 接口就够了课程设计不考察前端工程化。依赖清单控制在最小集!-- pom.xml 关键依赖版本按你本地仓库实际可用的填 -- dependency groupIdorg.springframework.boot/groupId artifactIdspring-boot-starter-web/artifactId /dependency dependency groupIdcom.baomidou/groupId artifactIdmybatis-plus-boot-starter/artifactId version3.5.5/version /dependency dependency groupIdcom.mysql/groupId artifactIdmysql-connector-j/artifactId scoperuntime/scope /dependency这段配置的作用是引入 Web 容器、MyBatis-Plus 的自动配置和 MySQL 驱动。参数上唯一要注意的是 MyBatis-Plus 版本和 Spring Boot 版本的兼容性3.5.x 对应 Boot 3.x如果你用 Boot 2.7 就要降到 3.5.3 以下否则启动时报NoClassDefFoundError。2.2 六张核心表怎么切分汽车销售管理系统的实体比想象中多但课程设计不需要全铺开。我一般保留六张表user员工/管理员、car车辆库存、customer客户、sale_order销售订单、order_item订单明细可选、inventory_log库存流水。前五张是业务必需第六张是加分项——它让「库存为什么少了」有据可查。关键字段设计上car表必须有vin车架号并加唯一索引status用枚举值0 在库 / 1 已预订 / 2 已售出。sale_order表要有order_no业务单号唯一、car_id、customer_id、total_amount、status0 待付款 / 1 已付款 / 2 已交车 / 3 已取消、create_time。CREATE TABLE car ( id BIGINT PRIMARY KEY AUTO_INCREMENT, vin VARCHAR(17) NOT NULL, brand VARCHAR(50) NOT NULL, model VARCHAR(80) NOT NULL, price DECIMAL(12,2) NOT NULL, status TINYINT NOT NULL DEFAULT 0 COMMENT 0在库 1已预订 2已售出, create_time DATETIME DEFAULT CURRENT_TIMESTAMP, UNIQUE KEY uk_vin (vin), KEY idx_status (status) ) ENGINEInnoDB DEFAULT CHARSETutf8mb4;vin的唯一索引是防止同一辆车被重复录入status上的普通索引是为了「查所有在库车辆」这个高频查询。金额用DECIMAL而不是FLOAT这是财务数据的铁律浮点误差在累加订单金额时会暴露出来。2.3 分层结构落地成目录包结构按controller / service / mapper / entity / dto / config分。Controller 只做参数校验和调用Service 写业务和事务Mapper 只写 SQL。这个划分不是形式主义——答辩时老师看你的Transactional加在哪一层就知道你懂不懂事务边界。事务必须加在 Service 方法上加在 Controller 上会导致事务范围过大加在 Mapper 上则完全无效。3. 核心业务实现下单、扣库存、状态流转3.1 销售下单接口的完整实现下单是整个系统最容易出问题的地方。业务规则是客户选中一辆在库车辆 → 生成订单 → 车辆状态改为已预订 → 付款后改为已售出。这三步必须在一个事务里否则会出现「订单生成了但车还在库」的脏数据。Service public class SaleOrderService { Autowired private CarMapper carMapper; Autowired private SaleOrderMapper orderMapper; Transactional(rollbackFor Exception.class) public String createOrder(Long carId, Long customerId) { // 1. 悲观锁查车辆防止并发下单同一辆车 Car car carMapper.selectByIdForUpdate(carId); if (car null) { throw new BizException(车辆不存在); } if (car.getStatus() ! 0) { throw new BizException(该车辆当前不可售状态 car.getStatus()); } // 2. 生成订单号时间戳 车辆ID后四位 String orderNo System.currentTimeMillis() String.format(%04d, carId % 10000); SaleOrder order new SaleOrder(); order.setOrderNo(orderNo); order.setCarId(carId); order.setCustomerId(customerId); order.setTotalAmount(car.getPrice()); order.setStatus(0); orderMapper.insert(order); // 3. 更新车辆状态为已预订 carMapper.updateStatus(carId, 1); return orderNo; } }逻辑说明第一步用selectByIdForUpdate走的是SELECT ... FOR UPDATE在 InnoDB 里对这条记录加行锁第二个并发请求会阻塞到第一个事务提交从而避免超卖。参数上rollbackFor Exception.class保证任何异常都回滚默认只回滚RuntimeException受检异常不回滚是个经典坑。订单号用时间戳加车辆 ID 后缀简单但够用生产环境一般用雪花算法。对应的 Mapper 方法Select(SELECT * FROM car WHERE id #{id} FOR UPDATE) Car selectByIdForUpdate(Param(id) Long id); Update(UPDATE car SET status #{status} WHERE id #{id}) int updateStatus(Param(id) Long id, Param(status) Integer status);3.2 状态流转用枚举而不是魔法数字订单状态从 0 到 3 的流转如果到处写if (status 1)后期维护就是灾难。我一般定义一个枚举加一个流转校验方法public enum OrderStatus { UNPAID(0, 待付款), PAID(1, 已付款), DELIVERED(2, 已交车), CANCELED(3, 已取消); private final int code; private final String desc; OrderStatus(int code, String desc) { this.code code; this.desc desc; } public static boolean canTransfer(int from, int to) { if (from 0 (to 1 || to 3)) return true; if (from 1 to 2) return true; return false; } }canTransfer把合法流转路径集中在一处待付款可以转已付款或已取消已付款只能转已交车。这样任何状态变更前先调这个方法非法流转直接抛异常比散落各处的 if 判断可靠得多。3.3 分页查询与条件筛选车辆列表页需要支持按品牌、状态、价格区间筛选并分页。MyBatis-Plus 的Page对象能省掉手写 limit 的麻烦public PageCar pageQuery(int pageNum, int pageSize, String brand, Integer status) { PageCar page new Page(pageNum, pageSize); LambdaQueryWrapperCar wrapper new LambdaQueryWrapper(); wrapper.like(StringUtils.hasText(brand), Car::getBrand, brand) .eq(status ! null, Car::getStatus, status) .orderByDesc(Car::getCreateTime); return carMapper.selectPage(page, wrapper); }like和eq的第一个参数是条件开关为 false 时该条件不拼进 SQL这样一套代码能覆盖「只按品牌查」「只按状态查」「都不传查全部」三种场景。pageNum从 1 开始pageSize建议限制在 100 以内防止有人传pageSize999999把内存打爆。4. 避坑与排查课程设计里最容易翻车的五件事4.1 编译报「源发行版 17 需要目标发行版 17」现象mvn compile或 IDE 构建时报java: 警告: 源发行版 17 需要目标发行版 17或者直接编译失败。原因是你本地装了多个 JDKIDE 的项目 SDK 设成了 17但 Maven 的maven.compiler.source还是 1.8两边不一致。解决在pom.xml的properties里显式声明java.version17/java.version并在 IDE 的 Project Structure 里把 Language Level 也改成 17两处必须一致。4.2 事务加了但不回滚现象下单时车辆状态更新失败抛了异常但订单记录还是插进去了。原因通常是异常被try-catch吞掉了或者抛的是受检异常而Transactional默认不回滚受检异常。解决要么在注解里写rollbackFor Exception.class要么别在 Service 里 catch 后不重新抛出。血泪经验是catch 块里只打日志不抛事务管理器根本感知不到异常。4.3 并发下单同一辆车现象压测或两个人同时点「下单」同一辆车生成了两条订单。原因是没有对车辆记录加锁两个事务都读到status0。解决用SELECT ... FOR UPDATE悲观锁或者用乐观锁在car表加version字段更新时WHERE version #{oldVersion}影响行数为 0 就重试。课程设计用悲观锁足够实现简单。4.4 中文乱码现象车辆品牌存进去是「??」或者页面显示问号。原因有三处可能数据库字符集不是utf8mb4、JDBC 连接串没加characterEncodingutf8、Tomcat 的 URI 编码没配。解决建库时CHARACTER SET utf8mb4 COLLATE utf8mb4_general_ci连接串写jdbc:mysql://localhost:3306/car_sale?useUnicodetruecharacterEncodingutf8serverTimezoneAsia/Shanghai三处对齐基本就不会乱码。4.5 前端传的日期后端解析失败现象提交订单时带saleDate字段后端报Failed to convert value of type String to Date。原因是前端传的是2024-01-01这种字符串Spring 默认不支持这个格式。解决在 DTO 的日期字段上加JsonFormat(pattern yyyy-MM-dd, timezone GMT8)或者用DateTimeFormat。注意时区一定要写否则跨时区部署会差 8 小时。5. 让系统经得起追问一致性验证与一个实用技巧答辩和面试里最能拉开差距的不是你写了多少功能而是你能不能证明数据是对的。我一般会加一个「库存流水」表每次车辆状态变更都插一条记录字段包括car_id、from_status、to_status、operator、create_time。这样任何一辆车的历史状态都能追溯老师问「你怎么知道这辆车什么时候被预订的」你直接查流水表就行。验证一致性有个简单办法写一个对账接口遍历所有status2已售出的车辆检查是否存在对应的已付款订单反之亦然。如果数量对不上说明有事务没兜住。GetMapping(/check/consistency) public MapString, Object checkConsistency() { // 已售出但无有效订单的车辆 ListCar soldCars carMapper.selectList( new LambdaQueryWrapperCar().eq(Car::getStatus, 2)); long mismatch soldCars.stream() .filter(c - orderMapper.countPaidByCarId(c.getId()) 0) .count(); MapString, Object result new HashMap(); result.put(soldCarCount, soldCars.size()); result.put(mismatchCount, mismatch); return result; }这个接口平时不用但演示时调一次mismatchCount为 0 就是最有力的正确性证明。参数上没什么可调的逻辑就是「已售出的车必须有已付款订单」。最后一个技巧把application.yml里的mybatis-plus.configuration.log-impl设成org.apache.ibatis.logging.stdout.StdOutImpl控制台会打印每条执行的 SQL 和参数。调事务和锁的问题时你能亲眼看到FOR UPDATE有没有生效、事务有没有提交比盲猜快十倍。这个习惯我从做第一个课程设计保持到现在每次遇到玄学问题先看 SQL 日志八成能定位。希望帮到你。本文还有配套的精品资源点击获取