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

Ouverte
  • Quelque chose ne va pas ?
#4,097 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub

Les mainteneurs répondent en général sous 1 jour

Personne n'a encore pris cette issue.

Évaluation

Difficulté
3/5
Temps estimé
1-2 jours
Accessibilité débutants
70/100
Type d'issue
Bug
Clarté
Clairement spécifiée
Activité
Active
Stack technique
csharp, postgresql
Domaine
databases

Piste de recherche

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.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

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.

Langage dominant
C#
Étoiles
1.8k
Forks
268
Merge moyen
2 h 35 min
PR mergées (30 j)
136

Préparer son environnement

Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de npgsql/efcore.pg

Toutes les issues de npgsql/efcore.pg

Issues similaires

Plus d'issues C#

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.