`ExecuteUpdate` copying an out-of-range JSON array element sets the whole JSON column to NULL

Offen
  • Stimmt etwas nicht?
#4,097 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Maintainer antworten meist innerhalb von 1 Tag

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit
3/5
Geschätzter Aufwand
1-2 Tage
Anfängerfreundlichkeit
70/100
Issue-Typ
Bug
Klarheit
Klar beschrieben
Aktivitätsstatus
Aktiv
Tech-Stack
csharp, postgresql
Bereich
databases

Rechercherichtung

Start in src/EFCore.PG/Query/Internal/NpgsqlQueryableMethodTranslatingExpressionVisitor.cs at the setter (lines 1405-1416) and the element nullability checks (lines 926-931, 1490). Run the C# repro from the issue to observe the JSON column becoming NULL. Done means an out-of-range JSON array index in ExecuteUpdate sets the target property to null, not the whole document to NULL.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

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

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

// Doc is {"Age": 1, "Name": "keep-me", "Nums": [1, 2]}, so Nums[5] is out of range
await context.Rows.ExecuteUpdateAsync(s => s.SetProperty(r => r.Doc!.Age, r => (int?)r.Doc!.Nums[5]));

UPDATE "Rows" AS r
SET "Doc" = jsonb_set(r."Doc", '{Age}', r."Doc" #> '{Nums,5}')

r."Doc" #> '{Nums,5}' is NULL, and jsonb_set(doc, path, NULL) returns NULL, so the whole document is gone. At worst, Age should become null.

Repro 
using Microsoft.EntityFrameworkCore;
using Microsoft.Extensions.Logging;

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

context.Rows.Add(new Row { Doc = new Doc { Name = "keep-me", Age = 1, Nums = [1, 2] } });
await context.SaveChangesAsync();

// Nums has two elements, so Nums[5] is out of range: Age should become null, at worst
await context.Rows.ExecuteUpdateAsync(s => s.SetProperty(r => r.Doc!.Age, r => (int?)r.Doc!.Nums[5]));

Console.WriteLine($"Document after the update: {await context.Database.SqlQueryRaw<string>("""SELECT coalesce("Doc"::text, 'NULL') AS "Value" FROM "Rows" """).SingleAsync()}");

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

    protected override void OnConfiguring(DbContextOptionsBuilder optionsBuilder)
        => optionsBuilder
            .UseNpgsql(Environment.GetEnvironmentVariable("Test__Npgsql__DefaultConnection"))
            .LogTo(Console.WriteLine, LogLevel.Information)
            .EnableSensitiveDataLogging();

    protected override void OnModelCreating(ModelBuilder modelBuilder)
        => modelBuilder.Entity<Row>().ComplexProperty(r => r.Doc, d => d.ToJson());
}

public class Row
{
    public int Id { get; set; }
    public Doc? Doc { get; set; }
}

public class Doc
{
    public string Name { get; set; } = "";
    public int? Age { get; set; }
    public List<int> Nums { get; set; } = [];
}

Output, the same on both lines:

Document after the update: NULL

The element access is created as non-nullable (isElementNullable, NpgsqlQueryableMethodTranslatingExpressionVisitor.cs#L926-L931), so MayReturnNull (NpgsqlQueryableMethodTranslatingExpressionVisitor.cs#L1490) says no, and the setter (NpgsqlQueryableMethodTranslatingExpressionVisitor.cs#L1405-L1416) uses plain jsonb_set, without COALESCE(..., 'null') and without jsonb_set_lax. #3850 fixed the sources that are visibly nullable; an out-of-range index is still unprotected. Treating JSON element access as nullable in the setter would close this.

Vorherrschende Sprache
C#
Sterne
1.8k
Forks
268
Ø Merge
2 Std. 35 Min.
Gemergte PRs (30 T.)
136

Entwicklungsumgebung

Dieses Projekt bietet weder Dev-Container noch Dockerfile noch Beitragsleitfaden – die Einrichtung liegt bei Ihnen. Beginnen Sie mit der README; die allgemeinen Schritte stehen in unserem Leitfaden für den ersten Beitrag.

Erste Schritte

  1. Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
  3. Forken Sie das Repository und arbeiten Sie in einem Branch.
  4. Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus npgsql/efcore.pg

Alle Issues in npgsql/efcore.pg

Ähnliche Issues

Weitere Issues zu C#

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.