NodaTime time-zone conversions disagree with NodaTime: ambiguous local times, date parts in the session time zone, `Instant.InZone().ToInstant()`

未关闭
  • 哪里不对？
#4,085 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

维护者通常 1 天内回复

还没有人认领这个 Issue。

评估

难度
3/5
预计耗时
1-2 天
新手友好度
70/100
Issue 类型
缺陷
描述清晰度
描述清楚
活跃度
活跃
技术栈
csharp, postgresql, sql
领域
databases

调研方向

Start by reading src/EFCore.PG.NodaTime/Query/Internal/NpgsqlNodaTimeMethodCallTranslatorPlugin.cs (lines 179-180, 201-210) and NpgsqlNodaTimeMemberTranslatorPlugin.cs (lines 309-319) to see how LocalDateTime and Instant are translated. Run the repro from the issue and the existing test LocalDateTimeTranslationsTest.InZoneLeniently_ToInstant. Done means the generated SQL matches NodaTime semantics for ambiguous times, zoned date parts, and Instant.InZone().ToInstant() identity, with tests updated.

由索引模型根据 Issue 内容生成。

描述

Environment
PostgreSQL 18.6 (postgres:18), session TimeZone Etc/UTC
.NET 10 runtime 10.0.11, Npgsql.EntityFrameworkCore.PostgreSQL.NodaTime 10.0.3, EF Core 10.0.4
.NET 11 runtime 11.0.0-rc.2, Npgsql.EntityFrameworkCore.PostgreSQL.NodaTime 11.0.0-rc.2, EF Core 11.0.0-rc.2
Also Npgsql 10.0.3 on both lines, NodaTime 3.2.2, macOS arm64

Both lines print the same output. main at 150011d has the same code.

Three translations around AT TIME ZONE give answers that differ from NodaTime, without an error.

LINQ Row .NET PostgreSQL SQL
r.Local.InZoneLeniently(Tzdb["Europe/Berlin"]).ToInstant() 2026-10-25 02:30, which happens twice 2026-10-25T00:30:00Z 2026-10-25T01:30:00Z r."Local" AT TIME ZONE 'Europe/Berlin'
r.Local.InZoneLeniently(Tzdb["Europe/Berlin"]).Hour 2026-06-15 10:30 10 8 date_part('hour', r."Local" AT TIME ZONE 'Europe/Berlin')::int
r.Instant.InZone(Tzdb["Europe/Berlin"]).ToInstant() == r.Instant any every row no row r."Instant" AT TIME ZONE 'Europe/Berlin' = r."Instant"
Repro 
using Microsoft.EntityFrameworkCore;
using Microsoft.Extensions.Logging;
using NodaTime;
using Npgsql;

await using var context = new TestContext();
await context.Database.EnsureDeletedAsync();
await context.Database.EnsureCreatedAsync();

context.Rows.Add(new Row { Local = new LocalDateTime(2026, 10, 25, 2, 30), Instant = Instant.FromUtc(2026, 6, 15, 12, 0) }); // 02:30 happens twice in Berlin
context.Rows.Add(new Row { Local = new LocalDateTime(2026, 6, 15, 10, 30), Instant = Instant.FromUtc(2026, 6, 15, 12, 0) });
await context.SaveChangesAsync();
var rows = await context.Rows.AsNoTracking().OrderBy(r => r.Id).ToListAsync();

// 1. An ambiguous local time
Console.WriteLine($"InZoneLeniently(Berlin).ToInstant(): .NET {rows[0].Local.InZoneLeniently(DateTimeZoneProviders.Tzdb["Europe/Berlin"]).ToInstant()}, database {await context.Rows.Where(r => r.Id == 1).Select(r => r.Local.InZoneLeniently(DateTimeZoneProviders.Tzdb["Europe/Berlin"]).ToInstant()).SingleAsync()}");

// 2. Date parts of the zoned value are taken in the session time zone (UTC, set in OnConfiguring), not in Berlin
Console.WriteLine($"InZoneLeniently(Berlin).Hour: .NET {rows[1].Local.InZoneLeniently(DateTimeZoneProviders.Tzdb["Europe/Berlin"]).Hour}, database {await context.Rows.Where(r => r.Id == 2).Select(r => r.Local.InZoneLeniently(DateTimeZoneProviders.Tzdb["Europe/Berlin"]).Hour).SingleAsync()}");

// 3. Instant.InZone(z).ToInstant() is the identity in .NET
Console.WriteLine($"Instant.InZone(Berlin).ToInstant() == Instant: .NET {rows.Count(r => r.Instant.InZone(DateTimeZoneProviders.Tzdb["Europe/Berlin"]).ToInstant() == r.Instant)}, database {await context.Rows.CountAsync(r => r.Instant.InZone(DateTimeZoneProviders.Tzdb["Europe/Berlin"]).ToInstant() == r.Instant)}");

public class TestContext : DbContext
{
    public DbSet<Row> Rows => Set<Row>();

    protected override void OnConfiguring(DbContextOptionsBuilder optionsBuilder)
        => optionsBuilder
            .UseNpgsql(new NpgsqlConnectionStringBuilder(Environment.GetEnvironmentVariable("Test__Npgsql__DefaultConnection")) { Timezone = "UTC" }.ConnectionString, o => o.UseNodaTime())
            .LogTo(Console.WriteLine, LogLevel.Information)
            .EnableSensitiveDataLogging();
}

public class Row
{
    public int Id { get; set; }
    public LocalDateTime Local { get; set; }
    public Instant Instant { get; set; }
}

Output, the same on both lines:

InZoneLeniently(Berlin).ToInstant(): .NET 2026-10-25T00:30:00Z, database 2026-10-25T01:30:00Z
InZoneLeniently(Berlin).Hour: .NET 10, database 8
Instant.InZone(Berlin).ToInstant() == Instant: .NET 2, database 0
  • Ambiguous local times. For a local time that happens twice, PostgreSQL picks the later instant and NodaTime's lenient resolver the earlier one. A skipped local time (2026-03-29 02:30 in Berlin) agrees. The translation is NpgsqlNodaTimeMethodCallTranslatorPlugin.cs#L201-L210. LocalDateTimeTranslationsTest.InZoneLeniently_ToInstant uses 2018-04-20 10:31, which is not near a transition. Matching NodaTime needs the earlier candidate in the ambiguous case. If that's not worth the SQL, a note in the translation table would at least make the difference visible.
  • Date parts of a zoned local time. timestamp AT TIME ZONE z is a timestamptz, an instant, but TranslateZonedDateTime types it as LocalDateTime (NpgsqlNodaTimeMemberTranslatorPlugin.cs#L309-L319). date_part, the ::date cast and comparisons then go through the session time zone, so the answer is only right when the session TimeZone equals z. For a LocalDateTime operand, the local value in that zone is the operand itself, apart from skipped times.
  • Instant.InZone(z).ToInstant(). Instant.InZone builds the same pending expression (NpgsqlNodaTimeMethodCallTranslatorPlugin.cs#L179-L180), and ToInstant then applies AT TIME ZONE as if the operand were a LocalDateTime. For an Instant operand the result is the operand.
主要语言
C#
星标
1.8k
派生
268
平均合并
2 小时 35 分钟
30 天内合并 PR
136

环境准备

这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。

从这里开始

  1. 先读完整个 Issue，再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库，在一个分支上完成修改。
  4. 提交 Pull Request，并在描述里引用这个 Issue 编号。

npgsql/efcore.pg 的其他 Issue

查看 npgsql/efcore.pg 的全部 Issue

相似的 Issue

更多 C# Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。