Почему структуры C# неизменяемы?

структуры нет...вот почему изменчивые структуры-это зло.

создание изменяемых структур может привести ко всем видам странного поведения в вашем приложении, и поэтому они считаются очень плохой идеей (исходя из того, что они выглядят как ссылочный тип, но на самом деле являются типом значения и будут скопированы всякий раз, когда вы их передаете).

строки, с другой стороны, есть. Это делает их по своей природе потокобезопасными, а также позволяет оптимизировать через строку интернирование. Если вам нужно построить сложную строку на лету, вы можете использовать StringBuilder.

понятия изменчивости и неизменности имеют различные значения применительно к структурам и классам. Ключевым аспектом (часто, ключевой слабостью) изменяемых классов является if Foo поле Bar типа List<Integer>, который содержит ссылку на список, содержащий (1,2,3), другой код, который имеет ссылку на тот же список, может изменить его, так что Bar содержит ссылку на список, содержащий (4,5,6), даже если этот другой код не имеет никакого доступа к Bar. Напротив, если Foo поле Biz типа System.Drawing.Point, только так что-нибудь может изменить любой аспект Biz будет чтобы иметь доступ на запись в это поле.

поля (открытые и закрытые) структуры могут быть изменены любым кодом, который может изменить место хранения, в котором хранится структура, и не могут быть изменены любым кодом, который не может изменить место хранения, где он хранится. Если вся информация инкапсулирована внутри структуры, удерживаемой в своих полях, такая структура может эффективно сочетать управление неизменяемым типом с удобством изменяемого типа, если структура не закодирована таким образом, чтобы удалить такое удобство (привычка, которую, к сожалению, некоторые программисты Microsoft рекомендуют).

"проблема" со структурами заключается в том, что когда метод (включая реализацию свойства) вызывается в структуре в контексте только для чтения (или неизменяемом местоположении), система копирует структуру, выполняет метод на временной копии и молча отбрасывает результат. Такое поведение заставило программистов выдвинуть неудачное представление о том, что способ избежать проблем с мутирующими методами заключается в том, чтобы многие структуры запрещали кусочно обновлять, когда проблем можно было бы лучше избежать с помощью просто замена свойств с открытыми полями.

Кстати, некоторые люди жалуются, что когда свойство класса возвращает удобно изменяемую структуру, изменения в структуре не влияют на класс, из которого он пришел. Я бы сказал, что это хорошо-тот факт, что возвращаемый элемент является структурой, делает поведение ясным (особенно если это структура с открытым полем). Сравните фрагмент кода, используя гипотетическую структуру и свойство на Drawing.Matrix С одним использованием фактического свойства этого класса, реализованного Microsoft:

// Hypothetical struct
public struct {
  public float xx,xy,yx,yy,dx,dy;
} Transform2d;

// Hypothetical property of "System.Drawing.Drawing2d.Matrix"
public Transform2d Transform {get;}

// Actual property of "System.Drawing.Drawing2d.Matrix"
public float[] Elements { get; }

// Code using hypothetical struct
Transform2d myTransform = myMatrix.Transform;
myTransform.dx += 20;
... other code using myTransform

// Code using actual Microsoft property
float[] myArray = myMatrix.Elements;
myArray[4] += 20;
... other code using myArray

глядя на фактическое свойство Microsoft, есть ли способ сказать, является ли запись myArray[4] будет аффект myMatrix? Даже глядя на страницу http://msdn.microsoft.com/en-us/library/system.drawing.drawing2d.matrix.elements.aspx есть ли способ сказать? Если бы свойство было записано с использованием эквивалента на основе структуры, не было бы путаницы; свойство, которое возвращает структуру, не будет возвращать ни больше, ни меньше, чем текущее значение шести чисел. Изменение myTransform.dx будет не более и не менее, чем запись в переменную с плавающей запятой, которая была не привязана ко всему остальному. Всем, кому не нравится то, что меняется myTransform.dx не влияет myMatrix должно быть одинаково раздражает, что писать myArray[4] не влияет myMatrix либо, за исключением того, что независимость myMatrix и myTransform очевидно, в то время как независимость myMatrix и myArray нет.

тип структуры не является неизменяемым. Да, струны есть. Сделать свой собственный тип неизменяемым легко, просто не предоставляйте конструктор по умолчанию, сделайте все поля частными и не определяйте никаких методов или свойств, которые изменяют значение поля. Есть метод, который должен мутировать объект возвращает новый объект вместо этого. Существует угол управления памятью, вы, как правило, создаете много копий и мусора.

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

изменчивые структуры порождают ошибки.