}
// Специальный конструктор.
public PointWithReadOnly(int xPos, int yPos, string name)
{
X = xPos;
Y = yPos;
Name = name;
}
}
Для использования этой новой структуры добавьте к операторам верхнего уровня такой код:
PointWithReadOnly p3 =
new PointWithReadOnly(50,60,"Point w/RO");
p3.Display();
Использование структур ref (нововведение в версии 7.2)
При определении структуры в C# 7.2 также появилась возможность применения модификатора ref. Он требует, чтобы все экземпляры структуры находились в стеке и не могли присваиваться свойству другого класса. Формальная причина для этого заключается в том, что ссылки на структуры ref из кучи невозможны. Отличие между стеком и кучей объясняется в следующем разделе.
Ниже перечислены дополнительные ограничения структур ref:
• их нельзя присваивать переменной типа object или dynamic, и они не могут быть интерфейсного типа;
• они не могут реализовывать интерфейсы;
• они не могут использоваться в качестве свойства структуры, не являющейся ref;
• они не могут применяться в асинхронных методах, итераторах, лямбда-выражениях или локальных функциях.
Показанный далее код, в котором создается простая структура и затем предпринимается попытка создать в этой структуре свойство, типизированное как структура ref, не скомпилируется;
struct NormalPoint
{
// Этот код не скомпилируется.
public PointWithRef PropPointer { get; set; }
}
Модификаторы readonly и ref можно сочетать для получения преимуществ и ограничений их обоих.
Использование освобождаемых структур ref (нововведение в версии 8.0)
Как было указано в предыдущем разделе, структуры ref (и структуры ref, допускающие только чтение) не могут реализовывать интерфейсы, а потому реализовать IDisposable нельзя. В версии C# 8.0 появилась возможность делать структуры ref и структуры ref, допускающие только чтение, освобождаемыми, добавляя открытый метод void Dispose().
Добавьте в главный файл следующее определение структуры:
ref struct DisposableRefStruct
{
public int X;
public readonly int Y;
public readonly void Display()
{
Console.WriteLine($"X = {X}, Y = {Y}");
}
// Специальный конструктор.
public DisposableRefStruct(int xPos, int yPos)
{
X = xPos;
Y = yPos;
Console.WriteLine("Created!"); // Экземпляр создан!
}
public void Dispose()
{
// Выполнить здесь очистку любых ресурсов.
Console.WriteLine("Disposed!"); // Экземпляр освобожден!
}
}
Теперь поместите в конце операторов верхнего уровня приведенный ниже код, предназначенный для создания и освобождения новой структуры:
var s = new DisposableRefStruct(50, 60);
s.Display();
s.Dispose();
На заметку! Темы времени жизни и освобождения объектов раскрываются в главе 9.
Чтобы углубить понимание выделения памяти в стеке и куче, необходимо ознакомиться с отличиями между типами значений и ссылочными типами .NET Core.
Типы значений и ссылочные типы
На заметку! В последующем обсуждении типов значений и ссылочных типов предполагается наличие у вас базовых знаний объектно-ориентированного программирования. Если это не так, тогда имеет смысл перейти к чтению раздела "Понятие типов С#, допускающих null" далее в главе и возвратиться к настоящему разделу после изучения глав 5 и 6.
В отличие от массивов, строк и перечислений структуры C# не имеют идентично именованного представления в библиотеке .NET Core (т.е. класс вроде System.Structure отсутствует), но они являются неявно производными от абстрактного класса System.ValueType. Роль класса System.ValueType заключается в обеспечении размещения экземпляра производного типа (например, любой структуры) в стеке, а не в куче с автоматической сборкой мусора. Выражаясь просто, данные, размещаемые в стеке, могут создаваться и уничтожаться быстро, т.к. время их жизни определяется областью видимости, в которой они объявлены. С другой стороны, данные, размещаемые в куче, отслеживаются сборщиком мусора .NET Core и имеют время жизни, которое определяется многими факторами, объясняемыми в главе 9.