Влияет ли на что-нибудь ссылочное поле в структуре C#?

Question

[Iq51]

Например:

struct MyStruct
{
    int id;
    MyClass myClass;
}

Или лучше обойтись без ссылочных типов в структуре?

Answer 1

[Артем]

Делайте, как того требует ситуация. Ограничений никаких нет.
Возможно, будут некоторые неудобства при сохранении в БД или сериализации, но это опять же зависит от ситуации и есть масса решений, позволяющих от этих неудобств избавляться.

Comments

[Iq51]

Нет, сериализация не требуется, это временные структуры. Для меня выбор - либо хранить ссылку, либо индекс в массиве (int)

[Артем]

В большинстве случаев я бы хранил ID. Просто из опыта. Но если удобно хранить ссылку - никто не ограничивает. Выбирать из массива структур можно, например, LINQ'ом.

Answer 2

[Евгений]

Нужно быть осторожным при их копировании.

В твоём случае, в поле myClass хранится ссылка на область памяти в куче. При копировании value type( к чему относится struct) создаётся просто новое значение на стеке.

var a = 0;
var b = a; //на стек помещается значение 0. Число есть число, ни на что не ссылается

В копии структуры ссылочное поле инициализируется копией ссылки(а она ведет к тому же объекту на кучу) которая помещается на стек. Иными словами ты получишь поверхностную или shallow копию. При изменении свойств объекта ссылочного типа в одной структуре ты увидишь те же изменения и в поле копии.

Comments

[Iq51]

да, ссылка нужна только для доступа к свойствам объекта. Если хранить вместо ссылки - int индекс на объект в массиве, то приходится обращаться через массив к свойствам данного объекта - что дороже.
Если shallow копия, то с GC проблем не должно быть?

[Евгений]

Iq51: я другое имел ввиду: ссылочные поля двух структур будут указывать на одну область(читай один объект) в куче. У тебя будет по сути один и тот же объект в двух инстансах структур. Следовательно, получение доступа к объекту из скопированной структуры - потенциально опасная операция. Выхода два: быть уверенным, что ты не копируешь структуры в проекте, или объявлять ссылочные поля в структуре как readonly - чтобы исключить возможность их изменения "извне".

P.S. ничего не понял про кашу с индеком на объект в массиве, и как связаны GC и shallow копии...

[Iq51]

Спасибо, за разъяснение. Эти структуры являются вершинами графа. Граф строится динамически во время поиска пути (A*) - здесь очень критична производительность. Совершенно нельзя напрягать GC. Каждая структура должна содержать информацию о действии (ребре), которое создало эту вершину. Тут вижу 2 варианта: хранить либо ID действия, либо ссылку на само действие (объект). Объект по ссылке никак не меняется во время работы. Под все структуры память выделена заранее (структуры в массивах), чтобы в процессе избежать проблем с GC.
Во время работы алгоритма, структуры копируются, полю с ссылкой присваивается ссылка на другой объект. Поэтому readonly никак.