Есть ли причина, по которой Microsoft решила создать эти структуры?
Все три изменяемы. Мне было бы намного проще иметь с ними дело, если бы они были либо неизменяемыми, либо ссылочными типами.
Если есть причины, по которым они должны быть структурами, почему они изменяемы?
Семантика значений
Между двумя идентичными экземплярами этих значений нет существенной разницы. Любая Point с координатами, [2,3] равна любой другой точке с теми же координатами, как равны любые две int с одинаковым значением. Это соответствует руководству по проектированию:
Он логически представляет одиночное значение, подобное примитивным типам (целое число, двойное число и т. д.).
Производительность
Типы значений дешевле выделять и освобождать.
Часто требуется создать множество экземпляров этих значений. Создание структур обходится дешевле, и если они являются локальными значениями, они будут создаваться в стеке, снимая нагрузку со стороны сборщика мусора.
Размер
Рассмотрим размер этих значений:Point : 8 байтSize: 8 байтRectangle: 16 байт
Для Point и Size их размер такой же, как у ссылки на экземпляр класса в 64-битной системе.
Цитаты взяты из рекомендаций Microsoft: Выбор между Классы и структуры
Эти структуры полностью изменяемы. Это делается (вопреки рекомендациям) ради производительности, поскольку позволяет избежать необходимости создавать новые значения для операций модификации.
Относительно примера кода OP в комментариях:
Point[] points = new Point[] { new Point(0,0), new Point(1,1), new Point(2,2) };
foreach (Point p in points)
{
p.X += 1;
}
Единственная причина, по которой этот foreach терпит неудачу, заключается в том, что p упакован в object, чтобы обеспечить итерацию, и вы Cannot modify the result of an unboxing conversion,
Это отлично работает:
for (int i = 0; i < points.Length; i++)
{
points[i].X += 1;
}
Rectangle нарушает три из четырех правил Microsoft по этой ссылке.
- person Flash; 07.01.2013
Rectangle имеет метод Offset для изменения своих координат. В-третьих, для меня Rectangle не представляет собой единственное значение, но я полагаю, что это субъективно :)
- person Flash; 07.01.2013
foreeach, например. foreach (int i in myInts) i += 1;. Это приводит к ошибке компилятора.
- person Rotem; 06.07.2017
В основном это небольшие конструкции.
Rectangle Structure хранит набор из четырех целых чисел.Point Structure представляет упорядоченную пару целых чисел x- и y -координаты.Size Structure хранит упорядоченную пару целых чисел.Если они определены как class, для структуры Point одни и те же координаты могут относиться к разным объектам в памяти. Определяя как struct, мы знаем, что между разными точками с одинаковыми координатами нет разницы. Это означает, что они являются типами значений. Типы значений почти всегда дешевле выделять. Посмотрите на их размер;
Point : 8 bytes
Size: 8 bytes
Rectangle: 16 bytes
Кто хочет выделять новую часть памяти каждый раз, когда они создают Point(1,2)?
structness вызывает у вас проблемы? - person Damien_The_Unbeliever schedule 07.01.2013foreach (Point r in points) { r.X += 1; }‹-- не работает. По сути, я ожидаю, что они будут вести себя как ссылочные типы, но постоянно должен напоминать себе, что это не так. - person Flash schedule 07.01.2013foreach, который упаковывает значения. Он работает в простом циклеfor. Все три структуры полностью изменяемы. - person Rotem schedule 07.01.2013r.X += 1подразумевает, чтоrимеет ссылочную семантику. Другой пример: если мне разрешено делатьr.X += x, мне должно быть позволено заставить работатьvoid offsetX(Point p, int xOffset), не прибегая кref. Я могу заставить его работать, зная, что это тип значения, но почему Microsoft должна меня смущать? - person Flash schedule 07.01.2013r.X += 1работает, означает только то, что это поле доступно для записи, а не то, что это значение или ссылочный тип. В вашем методе вы должны использоватьref, потому что в противном случае вы будете изменять копиюPoint, а это не то, что вам нужно. - person Rotem schedule 07.01.2013