Entity Framework: Запись значений в иммутабельные типы

@Элд Хасп · Регистрация: 21.04.2018

Студворк — интернет-сервис помощи студентам

Столкнулся с ситуацией, которую даже не знаю куда копать.
Есть иммутабельный тип-сущность:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
namespace SqlLiteExamples
{
    public class ExampleData
    {
        private static int num;
 
        /// <summary>Номер экземпляра для тестирования.</summary>
        public int Num { get; } = ++num;
 
        public override string ToString() => $"{{{Num}: {Id}, {Text}, {IsSelect}}}";
 
        public ExampleData(int id, string text, bool isSelect)
        {
            Id = id;
            Text = text;
            IsSelect = isSelect;
        }
 
        public int Id { get; }
 
        public string Text { get; }
 
        public bool IsSelect { get; }
    }
}

Простой контекст для SQLite 9.0:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
using Microsoft.EntityFrameworkCore;
 
namespace SqlLiteExamples
{
    public class ExampleContext : DbContext
    {
        public DbSet<ExampleData>? Examples { get; }
 
        protected override void OnConfiguring(DbContextOptionsBuilder optionsBuilder)
        {
            _ = optionsBuilder.UseSqlite("Data Source=example.db");
        }
        protected override void OnModelCreating(ModelBuilder modelBuilder)
        {
            modelBuilder
                .Entity<ExampleData>()
                .HasKey(e => e.Id);
 
            modelBuilder
                .Entity<ExampleData>()
                .Property(e => e.Text);
 
            modelBuilder
                .Entity<ExampleData>()
                .Property(e => e.IsSelect);
 
            modelBuilder
                .Entity<ExampleData>()
                .HasData("Форум программистов C#. Использование технологии ADO.NET и работа с базами данных в .NET".Split().Select((t, i) => new ExampleData(i + 1, t, false)));
 
            base.OnModelCreating(modelBuilder);
        }
 
    }
}

Тест изменения сущности:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
using Microsoft.EntityFrameworkCore;
using SqlLiteExamples;
using System.Collections.ObjectModel;
{
    // Создание постоянного контекста и загрузка локального кеша.
    ExampleContext context = new ExampleContext();
    context.Database.EnsureDeleted();
    context.Database.EnsureCreated();
    DbSet<ExampleData> examples = context.Set<ExampleData>();
    examples.Load();
    ObservableCollection<ExampleData> localExamples = examples.Local.ToObservableCollection();
 
    // Получение сущности по ключу.
    ExampleData inst = examples!.Find(3)!;
    Console.WriteLine(inst);
 
    // Сорздание временного контекста.
    using (ExampleContext temp = new ExampleContext())
    {
        // Обновление записи в таблице.
        ExampleData e = new(inst.Id, inst.Text, true);
        temp.Set<ExampleData>().Update(e);
        temp.SaveChanges();
    }
 
    // Получение обновлённой сущности.
 
    var ent = examples.Local.FindEntry(3);
    ent.Reload();
    ExampleData upd = examples!.Find(3)!;
 
    Console.WriteLine(inst);
    Console.WriteLine(upd);
    Console.WriteLine(ReferenceEquals(inst, upd));
}

Вывод результата:

Code
1
2
3
4
{16: 3, C#., False}
{16: 3, C#., True}
{16: 3, C#., True}
True

Я в шоке!
Изменено значение иммутабельного свойства!
Каким образом? Здесь даже рефлексия не поможет!

@Rius · 05.01.2025, 00:30

Если вопрос в том, как избежать, то можно отсоединить от отслеживания:

C#
1
ExampleData inst = examples!.AsNoTracking().First(x => x.Id == 3)!;

@Элд Хасп · 05.01.2025, 00:53 **[ТС]**

Сообщение от Rius

Если вопрос в том, как избежать, то можно отсоединить от отслеживания:

Не.
Как избежать - это другое.
Мне нужно обновить сущность в локальном кеше представляемом через ObservableCollection:

C#
11
ObservableCollection<ExampleData> localExamples = examples.Local.ToObservableCollection();

Как сделать через замену экземпляра я представляю.
Но в данном вопросе, мне не понятен сам механизм изменения иммутабельного свойства.

Добавлено через 4 минуты

Сообщение от Элд Хасп

Как сделать через замену экземпляра я представляю.

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
using Microsoft.EntityFrameworkCore;
using SqlLiteExamples;
using System.Collections.ObjectModel;
{
    // Создание постоянного контекста и загрузка локального кеша.
    ExampleContext context = new ExampleContext();
    context.Database.EnsureDeleted();
    context.Database.EnsureCreated();
    DbSet<ExampleData> examples = context.Set<ExampleData>();
    examples.Load();
    ObservableCollection<ExampleData> localExamples = examples.Local.ToObservableCollection();
 
    // Получение сущности по ключу.
    ExampleData inst = examples!.Find(3)!;
    Console.WriteLine(inst);
 
    // Сорздание временного контекста.
    ExampleData e = new(inst.Id, inst.Text, true);
    using (ExampleContext temp = new ExampleContext())
    {
        // Обновление записи в таблице.
        temp.Set<ExampleData>().Update(e);
        temp.SaveChanges();
    }
 
    // Получение обновлённой сущности.
 
    var ent = examples.Local.FindEntry(3);
    ent.Reload();
    ExampleData upd = examples!.Find(3)!;
 
    Console.WriteLine(inst);
    Console.WriteLine(upd);
    Console.WriteLine(ReferenceEquals(inst, upd));
    Console.WriteLine();
 
 
    // Замена сущности в локальном кеше:
    for (int i = 0; i < 10; i++)
    {
        if (localExamples[i].Id == e.Id )
        {
            localExamples[i] = e;
            examples.Entry(e).State = EntityState.Unchanged;
            break; 
        }
    }
    upd = examples!.Find(3)!;
    Console.WriteLine(ReferenceEquals(inst, upd));

@HF · 05.01.2025, 01:28

(если я что-то не знаю, то узнаю если в чём-то ошибся

я уже давно с EF не работаю )
Но разве здесь не работает так как и должно работать? Сущность изменили в БД, Observable коллекция это отловила и обновила. Сущность изменилась везде. Что не так?

Это же EF, и все объекты - прокси-объекты, а не конечные, "неизменяемые". Скорее всего не свойство изменилось, а весь объект подменился. Ради интереса получи какой-то IntPtr или что-то круто-уникальное. И тогда уже сравни. Убедишься (по моей теории) что это разные объекты.

Добавлено через 7 минут

Сообщение от Элд Хасп

Мне нужно обновить сущность в локальном кеше представляемом через ObservableCollection

Кстати, в первом примере не было результата получения.

@Элд Хасп · 05.01.2025, 01:46 **[ТС]**

Сообщение от HF

Но разве здесь не работает так как и должно работать?

Обратите внимание на конструктор. Там стоит счётчик экземпляров.
Так как экземпляры иммутабельны, то для изменения изменения свойства, нужно создать новый экземпляр. Но экземпляр остаётся тот же (с номером #16, в данном примере).
Вот именно механизм изменения иммутабельного свойства мне и не понятен.

Сообщение от HF

Сущность изменили в БД, Observable коллекция это отловила и обновила.

В БД изменилась запись.
У сущности в локальном кеше изменилось свойство.
Но так как экземпляр остался прежним, то ObservableCollection не обновляется.

Сообщение от HF

Это же EF, и все объекты - прокси-объекты, а не конечные, "неизменяемые".

Нет.
Если получить типы, то у всех будет исходный тип. Никакаой виртуализации здесь нет. Можно даже запечатать тип.

C#
1
2
3
4
5
6
7
8
namespace SqlLiteExamples
{
    public sealed class ExampleData
    {
        private static int num;
 
        /// <summary>Номер экземпляра для тестирования.</summary>
        public int Num { get; } = ++num;

C#
29
30
31
32
33
34
    // Получение обновлённой сущности.
 
    var ent = examples.Local.FindEntry(3);
    ent.Reload();
    ExampleData upd = examples!.Find(3)!;
    Console.WriteLine(upd.GetType());

Code
1
2
3
4
5
6
7
{16: 3, C#., False}
SqlLiteExamples.ExampleData
{16: 3, C#., True}
{16: 3, C#., True}
True
 
False

Сообщение от HF

Скорее всего не свойство изменилось, а весь объект подменился.

Тогда изменился бы номер экземпляра.

Сообщение от HF

Ради интереса получи какой-то IntPtr или что-то круто-уникальное.

Я же провожу сравнение ссылок на экземпляры:

C#
38
    Console.WriteLine(ReferenceEquals(inst, upd));

Экземпляр один и тот же.
Кроме того, предыдущее получение из кеша я сохраняю в локальной переменой: ExampleData inst = examples!.Find(3)!;.
И EF ни как не может повлиять на внешнюю локальную переменную.
Поэтому изменение происходит в том же самом экземпляре - это без вариантов.

Сообщение от HF

Кстати, в первом примере не было результата получения.

Было:

C#
33
    ExampleData upd = examples!.Find(3)!;

@HF · 05.01.2025, 02:01

Сообщение от Элд Хасп

Было

Разве Observable коллекция это не localExamples ?

Сообщение от Элд Хасп

Кроме того, предыдущее получение из кеша я сохранению в локальной переменой: ExampleData inst = examples!.Find(3)!;.
И EF ни как не может повлиять на внешнюю локальную переменную.

Снова "разве". Разве никак? Или я что-то не так понимаю или перевод не верный, но вот цитата

https://learn.microsoft.com/ru... work-6.2.0

Возвращает объект , ObservableCollection<T> представляющий локальное представление всех добавленных, без изменений и измененных сущностей в этом наборе. Это локальное представление остается синхронизированным по мере добавления или удаления сущностей из контекста. Аналогичным образом добавляемые или удаляемые из этого локального представления сущности автоматически добавляются в контекст или удаляются из контекста.

Прочитал "по диагонали", и прочитал только последнее предложение, где как я понимаю - автоматически меняются, добавляются и удаляются. Короче говоря - полностью синхронизация состояния.
Не?

Сообщение от Элд Хасп

Так как экземпляры иммутабельны, то для изменения изменения свойства, нужно создать новый экземпляр. Но экземпляр остаётся тот же (с номером #16, в данном примере).

ORMки работают очень глубоко, и им даже часто всё равно на "иммунабельность". Они могут влёгкую изменять приватные поля, поэтому я и не удивлюсь что он всё-таки увидел что сущность изменилась и просто обновил изменённые значения.

Самым простым решением здесь всё-таки использовать нотрекинг. Поставь его глобально (на весь контекст) и снова проверь. Результат будет так же?

Сообщение от Элд Хасп

Можно даже запечатать тип.

Эмм... (вижу sealed модификатор у класса)
Унаследоваться нельзя. Но не "запечатать", заблочить, заимунировать и т.п. же

@Элд Хасп · 05.01.2025, 02:15 **[ТС]**

Сообщение от HF

Разве Observable коллекция это не localExamples ?

Да.
И при изменении в локальном кеше происходит изменения и в ней.
Но так как экземпляр не заменяется, то изменения не происходит.

Сообщение от HF

Снова "разве". Разве никак? Или я что-то не так понимаю или перевод не верный, но вот цитата

/Это иммутабельный тип.
Вот я именно и интересуюсь, за механизм используемый EF для изменения свойства "только для чтения".

Сообщение от HF

Короче говоря - полностью синхронизация состояния.

Для мутабельных типов - вопросов нет.
А каким образом для иммутабельных? Я думал, что через замену экземпляра.
Оказалось, что каким-то неведомым образом меняется свойство "только для чтения".

Сообщение от HF

ORMки работают очень глубоко, и им даже часто всё равно на "иммунабельность". Они могут влёгкую изменять приватные поля, поэтому я и не удивлюсь что он всё-таки увидел что сущность изменилась и просто обновил изменённые значения.

Как?
Обычно меняют через рефлексию.
Но в данном случае, рефлексия не помощник:

C#
56
57
    System.Reflection.PropertyInfo propr = typeof(ExampleData).GetProperty(nameof(ExampleData.IsSelect))!;
    propr.SetValue(upd, false); // Исключение "System.ArgumentException: "Property set method not found.""

Сообщение от HF

Унаследоваться нельзя. Но не "запечатать", заблочить, заимунировать и т.п. же

sealed - это и есть "запечатать" для наследования.
То что свойство иммутабельно это следует из его объявления:

C#
23
        public bool IsSelect { get; }

В типе все свойства "только для чтения" - такие типы называются иммутабльными. Сам тип запечатанный - поэтому через наследование внедрить каким-то хитрым образом мутабельность, тоже не выйдет.
Кроме того типы экземпляров считываются и выводятся. Поэтому гарантированно, что здесь точно нет наследования.

@IamRain · 05.01.2025, 09:11

Сообщение от Элд Хасп

Но так как экземпляр не заменяется, то изменения не происходит.

А разве реакция на изменения это не история про INotifyPropertyChanged?
ObservableCollection дает только реакцию на изменение самой коллекции (добавление/удаление элемента).

Это на фронте веб-фреймворки (react, vue, вроде angular в недефолтном change detection режиме) перерисовывают если ссылки обновляются.

Добавлено через 6 минут

Сообщение от IamRain

ObservableCollection дает только реакцию на изменение самой коллекции (добавление/удаление элемента).

However, to set up dynamic bindings so that insertions or deletions in the collection update the UI automatically, the collection must implement the INotifyCollectionChanged interface. This interface exposes the CollectionChanged event that must be raised whenever the underlying collection changes.

WPF provides the ObservableCollection<T> class, which is a built-in implementation of a data collection that exposes the INotifyCollectionChanged interface

И дальше отсылка на:

The individual data objects within the collection must satisfy the requirements described in the Binding Sources Overview.

И далее там уже про два способа уведомлений упоминается:

Implement the INotifyPropertyChanged interface.

This is the recommended mechanism for notifications. The INotifyPropertyChanged supplies the PropertyChanged event, which the binding system respects. By raising this event, and providing the name of the property that changed, you'll notify a binding target of the change.

Implement the PropertyChanged pattern.

Each property that needs to notify a binding target that it's changed, has a corresponding PropertyNameChanged event, where PropertyName is the name of the property. You raise the event every time the property changes.

Элд Хасп, странные ожидания у вас, как по мне.

@Элд Хасп · 05.01.2025, 10:22 **[ТС]**

Сообщение от IamRain

А разве реакция на изменения это не история про INotifyPropertyChanged?
ObservableCollection дает только реакцию на изменение самой коллекции (добавление/удаление элемента).

Совершенно верно.
И вопрос у меня не про отсутствие реакции ObservableCollection.

Вопрос у меня: Каким образом, используя какой механизм EF изменяет значение свойств "только для чтения" (иммутабельных свойств)?

Для примера, попробуйте "руками" повторить, то что желает EF: создайте любую коллекцию из ExampleData измените значение любого свойства одного из элементов этой коллекции, не заменяя сам экземпляр.
Напрямую или используя рефлексию - это не выйдет сделать. Но у EF это получается сделать.

@Rius · 05.01.2025, 10:26

Сообщение от Элд Хасп

не заменяя сам экземпляр

Почему не заменяя? EF Core разве не может создать новый экземпляр на основе старых и новых данных и поместить его в то же место?

Добавлено через 1 минуту
Судя по до сих пор не закрытой теме https://github.com/dotnet/efcore/issues/11457 , там всё не просто.

@Элд Хасп · 05.01.2025, 10:27 **[ТС]**

Я даже изменил реализацию сущности, чтобы EF не обращался к анонимным автополям:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
namespace SqlLiteExamples
{
    public sealed class ExampleData
    {
        private static int num;
 
        // Приватный массив для инкапсуляции значений.
        private object[] values = new object[4];
 
        /// <summary>Номер экземпляра для тестирования.</summary>
        public int Num => (int) values[0];
 
        public override string ToString() => $"{{{Num}: {Id}, {Text}, {IsSelect}}}";
 
        public ExampleData(int id, string text, bool isSelect)
        {
            values[0] = ++num;
            values[1] = id;
            values[2] = text;
            values[3] = isSelect;
        }
 
        public int Id => (int)values[1];
 
        public string Text => (string)values[2];
 
        public bool IsSelect => (bool)values[3];
    }
}

И теперь EF выкинул исключение:

System.InvalidOperationException: "No backing field could be found for property 'ExampleData.IsSelect' and the property does not have a setter."

Из этого следует, что EF использует неофициальные соглашения об именах автополей, чтобы через рефлексию изменить значения иммутабельных свойств.
Честно говоря, хлипкая конструкция. Имена могут быть другими, поля могут быть тоже объявлены "только для чтения".

Вопрос на свой ответ я нашёл.
Теперь буду думать как более оптимально реализовать то что мне нужно. Но это уже в другой теме.

@Элд Хасп · 05.01.2025, 11:05 **[ТС]**

Сообщение от Rius

EF Core разве не может создать новый экземпляр на основе старых и новых данных и поместить его в то же место?

Может, но не делает так.

Добавлено через 37 минут

Сообщение от Rius

Судя по до сих пор не закрытой теме https://github.com/dotnet/efcore/issues/11457 , там всё не просто.

Добавил туда свой коммент.
https://github.com/dotnet/efco... 2571534279

Новые блоги и статьи Все статьи Все блоги /
Хочу заставить корпорации вкладываться в здоровье сотрудников: делаю мат модель здравосохранения anaschu 22.03.2026 e7EYtONaj8Y Z4Tv2zpXVVo https:/ / github. com/ shumilovas/ med2. git	1С: Программный отбор элементов справочника по группе Maks 22.03.2026 Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа. В качестве фильтра для отбора справочника служит группа номенклатуры. Отбор по наименованию группы. . .	Как я обхитрил таблицу Word Alexander-7 21.03.2026 Когда мигает курсор у внешнего края таблицы, и нам надо перейти на новую строку, а при нажатии Enter создается новый ряд таблицы с ячейками, то мы вместо нервных нажатий Энтеров мы пишем любые буквы. . .	Krabik - рыболовный бот для WoW 3.3.5a AmbA 21.03.2026 без регистрации и смс. Это не торговля, приложение не содержит рекламы. Выполняет свою непосредственную задачу - автоматизацию рыбалки в WoW - и ничего более. Однако если админы будут против -. . .
1С: Программный отбор элементов справочника по значению перечисления Maks 21.03.2026 Установка программного отбора элементов справочника "Сотрудники" из модуля формы документа. В качестве фильтра для отбора служит значение перечислений. / / Событие "НачалоВыбора" реквизита на форме. . .	Переходник USB-CAN-GPIO Eddy_Em 20.03.2026 Достаточно давно на работе возникла необходимость в переходнике CAN-USB с гальваноразвязкой, оный и был разработан. Однако, все меня терзала совесть, что аж 48-ногий МК используется так тупо: просто. . .	Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip

Entity Framework: Запись значений в иммутабельные типы

Решение