public struct Unit
{
Unit u;
}
Причины:
Член структуры «Unit.u» типа «Unit» вызывает цикл в макете структуры.
Но
public class Unit
{
Unit u;
}
компилирует. Я понимаю проблему, я полагаю. При обращении к объекту Unit будет формироваться бесконечный цикл, так как ему придется инициализировать другой элемент Unit и так далее. Но почему компилятор ограничивает проблему только для structs? Разве проблема не сохраняется и для class? Я что-то упускаю?
Проблема заключается в макете.
Когда Unit является структурой, любое значение для Unit должно содержать другое значение того же типа (и, следовательно, того же размера), до бесконечности. Это невозможно. Я полагаю, вы могли бы возразить, что без других полей поля для Unit не должны занимать памяти, поэтому вы могли бы содержать их внутри себя, но я считаю, что способ работы CLR гарантирует, что все структуры занимают хотя бы 1 байт...
Когда Unit является классом, объект Unit должен содержать только ссылку на другой объект Unit. Нет проблем с хранением, и значение может быть нулевым для начала.
Подумайте об этом так: у вас не может быть дома, в котором есть другой дом, построенный по тому же чертежу, но вы, безусловно, можете иметь дом, в котором есть лист бумаги с адресом такого же дома...
struct Int32 { private Int32 value; }, но с точки зрения CLR Int32 — это именно структура, единственным полем которой является Int32. Очевидно, чтобы это было разумно, CLR должна иметь специальные знания: что Int32 имеет четыре байта. У него нет таких специальных знаний о рекурсивно определенной структуре оригинального плаката.
- person Eric Lippert; 14.01.2013
Классы являются ссылочными типами, поэтому я полагаю, что разница в том, что в примере class нужно только сохранить ссылку на другой экземпляр. Для вашего struct, типа значения, потребуется снова включить всю структуру, следовательно, бесконечный цикл.
struct автоматически инициализируется значением, поэтому в вашем примере значение Unit содержит значение Unit, которое содержит значение Unit, которое содержит значение Unit и т. д.
В вашем примере class инициализируется только ссылка на null, которая не имеет бесконечного регресса. Однако вы столкнулись бы с аналогичной проблемой, если бы сделали следующее:
class Unit
{
Unit mUnit = new Unit();
}
Теперь построение Unit создает Unit, который создает Unit и т. д. В этом случае вы столкнетесь с исключением переполнения стека во время выполнения, если/когда вы попытаетесь создать экземпляр объекта Unit.
Я думал, что вы сможете избежать проблемы struct, используя тип, допускающий значение NULL, но проблема остается. Я считаю, что это связано с тем, что struct с нулевым значением все еще создается, когда установлено значение null.
Потому что Struct это value type. Unit может хранить значение как самого себя? Я думаю, что это невозможно.
Но когда Unit это class, class это reference type. Unit может содержать ссылку на другой объект Unit. Это нормально.
