EF Core / Postgresq 自增序列作为主键

序列将在数据库中生成唯一的顺序数值。 序列不与特定表相关联，并且可以将多个表设置为从同一序列中绘制值。

目标是一个可自定起始值的自增序列，在EF6中本来希望使用注解的方式，但没找到方法，只能使用Fluent API。

https://docs.microsoft.com/zh-cn/ef/core/modeling/sequences
官方文档的例子是：

 modelBuilder.HasSequence<int>("OrderNumbers", schema: "shared")
        .StartsAt(1000)
 modelBuilder.Entity<Order>()
        .Property(o => o.OrderNo)
        .HasDefaultValueSql("NEXT VALUE FOR shared.OrderNumbers");

开始没注意这是SQL Server的方言，使用出了问题，在postgresql中使用需要注意两点：

比较明显的是获取序列的下个值的语法，NEXT VALUE FOR shared.OrderNumbers >> nextval('\"OrderNumbers\"')，其次就是序列名字需使用双括号""包裹。

https://www.npgsql.org/efcore/modeling/generated-properties.html#standard-sequence-driven-columns

在npgsql的文档中也是这么做的，原因是ef/npgsql将这一句

modelBuilder.HasSequence<int>("OrderNumbers", schema: "shared") .StartsAt(1000);

翻译为

CREATE SEQUENCE shared."OrderNumbers" START WITH 100000000 INCREMENT BY 1 NO MINVALUE NO MAXVALUE NO CYCLE;

而shared."OrderNumbers"和shared.OrderNumbers不被认为是同一个序列，所以完整的例子为：

   modelBuilder.HasSequence<int>("OrderNumbers")
                .StartsAt(1000)
 
    modelBuilder.Entity<Order>()
                .Property(o => o.OrderNo)
                .HasDefaultValueSql("nextval('\"OrderNumbers\"')");