EF Core 8.0 中 AlterColumn 迁移操作的非空约束问题解析

在 EF Core 8.0 版本中，开发者在手动编写数据库迁移代码时可能会遇到一个关于 AlterColumn 操作的有趣现象：当尝试将列从可空修改为非空时，迁移操作没有生成预期的 SQL 语句。

问题现象

考虑以下典型的迁移场景：

1. 首先添加一个可空的新列
2. 使用 SQL 语句为新列填充数据
3. 然后将该列修改为非空

开发者编写的迁移代码如下：

migrationBuilder.AddColumn<DateTimeOffset>(
    name: "updated_at",
    table: "identity_user",
    type: "timestamp with time zone",
    nullable: true);

migrationBuilder.Sql("UPDATE identity_user SET updated_at = created_at;");

migrationBuilder.AlterColumn<DateTimeOffset>(
    name: "updated_at",
    table: "identity_user",
    type: "timestamp with time zone",
    nullable: false,
    oldClrType: typeof(DateTimeOffset),
    oldType: "timestamp with time zone");

然而，生成的 SQL 迁移脚本中缺少了关键的 ALTER COLUMN SET NOT NULL 语句。

问题根源

经过分析，问题的关键在于 AlterColumn 方法的参数配置。在上述代码中，虽然指定了 nullable: false 来表示要将列改为非空，但缺少了 oldNullable: true 参数来明确声明列的原始状态是可空的。

EF Core 的迁移系统需要明确知道列的原始状态和修改后的状态差异，才能正确生成相应的 SQL 语句。当缺少 oldNullable 参数时，EF Core 无法确定是否需要生成修改非空约束的 SQL。

解决方案

修正后的代码应该包含 oldNullable: true 参数：

migrationBuilder.AlterColumn<DateTimeOffset>(
    name: "updated_at",
    table: "identity_user",
    type: "timestamp with time zone",
    nullable: false,
    oldClrType: typeof(DateTimeOffset),
    oldType: "timestamp with time zone",
    oldNullable: true);  // 明确指定原始列是可空的

这样修改后，EF Core 就能正确生成包含 ALTER COLUMN SET NOT NULL 的 SQL 语句了。

最佳实践

1. 完整参数配置：在使用 AlterColumn 方法时，确保提供所有必要的旧值参数，特别是 oldNullable。

2. 默认值考虑：对于非空列，考虑设置合理的默认值，特别是在已有数据的表上添加新列时。

3. 测试迁移：生成迁移后，检查生成的 SQL 脚本是否符合预期。

4. 理解迁移机制：EF Core 的迁移系统是基于模型差异来生成 SQL 的，明确的状态差异是正确生成 SQL 的关键。

通过理解 EF Core 迁移系统的工作原理，开发者可以更有效地编写和调试数据库迁移代码，确保数据库架构变更的正确执行。