Герберт Шилдт - C# 4.0 полное руководство - 2011

Но продвижение типов может иногда привести к неожиданным результатам. Если, например, в арифметической операции используются два значения типа byte, то происходит следующее. Сначала операнды типа byte продвигаются к типу int. А затем выполняется операция, дающая результат типа int. Следовательно, результат выполнения операции, в которой участвуют два значения типа byte, будет иметь тип int. Но ведь это не тот результат, который можно было бы с очевидностью предположить. Рассмотрим следующий пример программы.

// Пример неожиданного результата продвижения типов!

using System;

class PromDemo {

static void Main() { byte b;

b = 10;

b = (byte) (b * Ь); // Необходимо приведение типов!!

Console.WriteLine("b: "+ b);

}

}

Как ни странно, но когда результат вычисления выражения b*b присваивается обратно переменной Ь, то возникает потребность в приведении к типу byte! Объясняется это тем, что в выражении b*b значение переменной b продвигается к типу int и поэтому не может быть присвоено переменной типа byte без приведения типов. Имейте это обстоятельство в виду, если получите неожиданное сообщение об ошибке несовместимости типов в выражениях, которые, на первый взгляд, кажутся совершенно правильными.

Аналогичная ситуация возникает при выполнении операций с символьными операндами. Например, в следующем фрагменте кода требуется обратное приведение к типу char, поскольку операнды chi и ch2 в выражении продвигаются к типу int.

char chi = 'a', ch2 = 'b 1;

chi = (char) (chi•+ ch2);

Без приведения типов результат сложения операндов chi и ch2 будет иметь тип int, и поэтому его нельзя присвоить переменной типа char.

Продвижение типов происходит и при выполнении унарных операций, например с унарным минусом. Операнды унарных операций более мелкого типа, чем int (byte, sbyte, short и ushort), т.е. с более узким диапазоном представления чисел, продвигаются к типу int. То же самое происходит и с операндом типа char. Кроме того, если выполняется унарная операция отрицания значения типа uint, то результат продвигается к типу long.

Приведение типов в выражениях

Приведение типов можно применять и к отдельным частям крупного выражения. Это позволяет точнее управлять преобразованиями типов при вычислении выражения. Рассмотрим следующий пример программы, в которой выводятся квадратные корни чисел от 1 до 10 и отдельно целые и дробные части каждого числового результата. Для этого в данной программе применяется приведение типов, благодаря которому результат, возвращаемый методом Math . Sqrt ( ), преобразуется в тип int.

// Пример приведения типов в выражениях.

using System;

class CastExpr {

static void Main() { double n;

Console.WriteLine ();

}

}

}

Вот как выглядит результат выполнения этой программы.

Квадратный корень из

1

равен 1

Целая часть числа: 1

Дробная часть числа:

0

Квадратный корень из

2

равен 1.4142135623731

Целая часть числа: 1

Дробная часть числа:

0

.414213562373095

Квадратный корень из

3

равен 1.73205080756888

Целая часть числа: 1

Дробная часть числа:

0

.732050807568877

Квадратный корень из

4

равен 2

Целая часть числа: 2

Дробная часть числа:

0

Квадратный корень из

5

равен 2.23606797749979

Целая часть числа: 2

Дробная часть числа:

0

.23606797749979

Квадратный корень из

6

равен 2.44948974278318

Целая ч^сть числа: 2

Дробная часть числа:

0

.449489742783178

Квадратный корень из

7

равен 2.64575131106459

Целая часть числа: 2

Дробная часть числа:

0

.645751311064591

Квадратный корень из

8

равен 2.82842712474619

Целая часть числа: 2

Дробная часть числа:

0

.82842712474619

Квадратный корень из

9

равен 3

Целая часть числа: 3

Др'обная часть числа:

0

Квадратный корень из

10 равен 3.16227766016838

Целая часть числа: 3

Дробная часть числа:

0

.16227766016838

Как видите, приведение результата, возвращаемого методом Math . Sqrt ( ), к типу int позволяет получить целую часть числа. Так, в выражении

Math.Sqrt(n) - (int) Math.Sqrt(n)

приведение к типу int дает целую часть числа, которая затем вычитается из всего числа, а в итоге получается дробная его часть. Следовательно, результат вычисления данного выражения имеет тип double. Но к типу int приводится только значение, возвращаемое вторым методом Math. Sqrt ().

ГЛАВА 4 Операторы

В языке C# предусмотрен обширный ряд операторов, предоставляющих программирующему возможность полного контроля над построением и вычислением выражений. Большинство операторов в C# относится к следующим категориям: арифметические, поразрядные , логические и операторы отношения. Все перечисленные категории операторов рассматриваются в этой главе. Кроме того, в C# предусмотрен ряд других операторов для_ особых случаев, включая индексирование массивов, доступ к членам класса и обработку лямбда-выражений. Эти специальные операторы рассматриваются далее в книге вместе с теми средствами, в которых они применяются.

Арифметические операторы

Арифметические операторы, представленные в языке С#, приведены ниже.

Оператор

Действие

+

Сложение

-

Вычитание, унарный минус

*

Умножение

/

Деление

о.

Деление по модулю

—

Декремент

++

Инкремент

Операторы +, * и / действуют так, как предполагает их обозначение. Их можно

применять к любому встроенному числовому типу данных.

Действие арифметических операторов не требует особых пояснений, за исключением следующих особых случаев. Прежде всего, не следует забывать, что когда оператор / применяется к целому числу, то любой остаток от деления отбрасывается; например, результат целочисленного деления 10/3 будет равен 3. Остаток от этого деления можно получить с помощью оператора деления по модулю (%), который иначе называется оператором вычисления остатка. Он дает остаток от целочисленного деления. Например, 10 % 3 равно 1. В C# оператор % можно применять как к целочисленным типам данных, так и к типам с плавающей точкой. Поэтому 10.0 % 3.0 также равно 1. В этом отношении C# отличается от языков С и C++, где операции деления по модулю разрешаются только для целочисленных типов данных. В приведенном ниже примере программы демонстрируется применение оператора деления по модулю.