Эндрю Троелсен - ЯЗЫК ПРОГРАММИРОВАНИЯ С# 2005 И ПЛАТФОРМА .NET 2.0. 3-е издание

// удвоенной длине стороны квадрата.

r.Width = s.Length * 2;

}

}

С такими изменениями вы получаете возможность преобразовывать указанные типы так.

static void Main(string[] args) {

…

// Неявное преобразование: все OK!

Square s3;

s3.Length = 83;

Rectangle rect2 = s3;

Console.WriteLine("rect2 = {0}", rect2);

DrawSquare(s3);

// Синтаксис явного преобразования: тоже OK!

Square s4;

S4.Length = 3;

Rectangle rect3 = (Rectangle)s4;

Console.WriteLine("rect3 = {0}", rect3);

…

}

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

public struct Square {

…

// Можно вызывать как Square sq2 = (Square)90;

// или как Square sq2= 90;

public static implicit operator Square(int sideLength) {

Square newSq;

newSq.Length = sideLength;

return newSq;

// Должно вызываться как int side = (Square)mySquare;

public static explicit operator int(Square s) { return s.Length; }

}

}

Как и в случае перегруженных операций, те методы, которые обозначены ключевыми словами implicit или explicit, получают "специальные имена" в терминах CIL: op_Implicit и op_Explicit соответственно (рис. 9.2).

Рис. 9.2. Представление пользовательских подпрограмм преобразования в терминах CIL.

На этом мы завершаем обзор возможностей пользовательских подпрограмм преобразования. Как и в случае перегруженных операций, соответствующий синтаксис является лишь сокращённым вариантом определения "нормальных" членов-функций, и с этой точки зрения он не является обязательным.

Исходный код.Проект CustomConversions размещен в подкаталоге, соответствующем главе 9.

В завершение главы мы рассмотрим ряд ключевых слов C#, применение которых требует от разработчика несколько большего опыта в программировании:

• checked/unchecked;

• unsafe/stackalloc/fixed/sizeof.

Сначала мы выясним, как с помощью ключевых слов checked и unchecked в C# обеспечивается автоматическое выявление условий переполнения и потери значимости при выполнении арифметических операций.

Вы, несомненно, прекрасно знаете, что любой числовой тип данных имеет свои строго заданные верхний и нижний пределы (значения которых можно выяснить программными средствами с помощью свойств MaxValue и MinValue). При выполнении арифметических операций с конкретным типом вполне возможно случайное переполнение блока хранения данного типа (попытка присвоения типу значения, которое оказывается больше максимально допустимого) или потеря значимости (попытка присвоения значения, которое оказывается меньше минимально допустимого). Чтобы "идти в ногу" с CLR, обе эти возможности будут обозначаться, как "переполнение". (И переполнение, и потеря значимости приводят к созданию типа System.OverflowException. Типа System.UnderflowException в библиотеках базовых классов нет.)

Для примера предположим, что мы создали два экземпляра типа System.Byte (тип byte в C#), присвоив им значения, не превышающие максимального (255). При сложении значений этих типов (с условием преобразования результата в тип byte) хотелось бы предполагать, что результат будет точной суммой соответствующих членов.

namespace CheckedUnchecked {

class Program {

static void Main(string[] args) {

// Переполнение для System.Byte.

Console.WriteLine("Макс, значение для byte равно {0}", byte.MaxValue);

Console.WriteLine("Мин. значение для byte равно {0}", byte.MinValue);

byte b1 = 100;

byte b2 = 250;

byte sum = (byte)(b1 + b2);

// Значением sum должно быть 350, но.…

Console.WriteLine("sum = {0}", sum);

Console.ReadLine();

}

}

}

Вывод этого приложения покажет, что sum содержит значение 94 (а не ожидаемое 350). Причина очень проста. Поскольку System.Byte может содержать только значения, находящиеся между 0 и 255 (что в итоге составляет 256 значений), sum будет содержать значение переполнения (350 – 256 = 94). Как видите, в отсутствие специальной коррекции переполнение происходит без генерирования исключений. Иногда скрытое переполнение не создает никаких проблем. В других случаях соответствующая потеря данных может быть совершенно неприемлемой.