Полное руководство. С# 4.0
Шрифт:
Переменные могут быть объявлены в любом месте кодового блока, но они становят ся действительными только после своего объявления. Так, если объявить переменную в начале метода, то она будет доступна для всего остального кода в пределах этого метода. А если объявить переменную в конце блока, то она окажется, по существу, бес полезной, поскольку не будет доступной ни одному коду.
Если в объявление переменной включается инициализатор, то такая переменная инициализируется повторно при каждом входе в тот блок, в котором она объявлена. Рассмотрим следующий пример программы. // Продемонстрировать время существования переменной. using System; class VarInitDemo { static void Main { int x; for(x = 0; x < 3; x++) { int у = -1; // Переменная у инициализируется при каждом входе в блок. Console.WriteLine("у равно: " + у); // Здесь всегда выводится -1 у = 100; Console.WriteLine("у теперь равно: " + у); } } }
Ниже приведен результат выполнения этой программы. у равно: -1 у теперь равно: 100 у равно: -1 у теперь равно: 100 у равно: -1 у теперь равно: 100
Как видите, переменная у повторно инициализируется
В языке C# имеется еще одна особенность соблюдения правил области действия: не смотря на то, что блоки могут быть вложены, ни у одной из переменных из внутренней области действия не должно быть такое же имя, как и у переменной из внешней об ласти действия. В приведенном ниже примере программы предпринимается попытка объявить две разные переменные с одним и тем же именем, и поэтому программа не может быть скомпилирована. /* В этой программе предпринимается попытка объявить во внутренней области действия переменную с таким же самым именем, как и у переменной, определенной во внешней области действия. *** Эта программа не может быть скомпилирована. *** */ using System; class NestVar { static void Main { int count; for (count = 0; count < 10; count = count+1) { Console.WriteLine("Это подсчет: " + count); int count; // Недопустимо!!! for(count = 0; count < 2; count++) Console.WriteLine("В этой программе есть ошибка!"); } } } Если у вас имеется некоторый опыт программирования на С или C++, то вам долж но быть известно, что на присваивание имен переменным, объявляемым во внутренней области действия, в этих языках не существует никаких ограничений. Следовательно, в С и C++ объявление переменной count в кодовом блоке, входящем во внешний цикл for, как в приведенном выше примере, считается вполне допустимым. Но в С и C++ та кое объявление одновременно означает сокрытие внешней переменной. Разработчики C# посчитали, что такого рода сокрытие имен может легко привести к программным ошибкам, и поэтому решили запретить его. ## Преобразование и приведение типов В программировании нередко значения переменных одного типа присваиваются переменным другого типа. Например, в приведенном ниже фрагменте кода целое зна чение типа int присваивается переменной с плавающей точкой типа float.
int i; float f; i = 10; f = i; // присвоить целое значение переменной типа float Если в одной операции присваивания смешиваются совместимые типы данных, то значение в правой части оператора присваивания автоматически преобразуется в тип, указанный в левой его части. Поэтому в приведенном выше фрагменте кода значение переменной i сначала преобразуется в тип float, а затем присваивается переменной f. Но вследствие строгого контроля типов далеко не все типы данных в С# оказываются полностью совместимыми, а следовательно, не все преобразова ния типов разрешены в неявном виде. Например, типы bool и int несовместимы. Правда, преобразование несовместимых типов все-таки может быть осуществлено путем приведения. Приведение типов, по существу, означает явное их преобразова ние. В этом разделе рассматривается как автоматическое преобразование, так и при ведение типов. ### Автоматическое преобразование типов Когда данные одного типа присваиваются переменной другого типа, неявное преоб разование типов происходит автоматически при следующих условиях: * оба типа совместимы; * диапазон представления чисел целевого типа шире, чем у исходного типа. * Если оба эти условия удовлетворяются, то происходит расширяющее преобразование. Например, тип int достаточно крупный, чтобы вмещать в себя все действительные значения типа byte, а кроме того, оба типа, int и byte, являются совместимыми цело численными типами, и поэтому для них вполне возможно неявное преобразование. Числовые типы, как целочисленные, так и с плавающей точкой, вполне совместимы друг с другом для выполнения расширяющих преобразований. Так, приведенная ниже программа составлена совершенно правильно, поскольку преобразование типа long в тип double является расширяющим и выполняется автоматически.
// Продемонстрировать неявное преобразование типа long в тип double. using System;
class LtoD { static void Main { long L; double D; L = 100123285L; D = L; Console.WriteLine("L и D: " + L + " " + D); } } Если тип long может быть преобразован в тип double неявно, то обратное пре образование типа double в тип long неявным образом невозможно, поскольку оно не является расширяющим. Следовательно, приведенный ниже вариант предыдущей программы составлен неправильно.
// Эта программа не может быть скомпилирована. using System; class LtoD { static void Main { long L; double D; D = 100123285.0; L = D; // Недопустимо!!! Console.WriteLine("L и D: " + L + " " + D); } } Помимо упомянутых выше ограничений, не допускается неявное взаимное преоб разование типов decimal и float иди double, а также числовых типов и char или bool. Кроме того, типы char и bool несовместимы друг с другом. ### Приведение несовместимых типов Несмотря на всю полезность неявных преобразований типов, они неспособны удо влетворить все потребности в программировании, поскольку допускают лишь расши ряющие преобразования совместимых типов. А во всех остальных случаях приходится обращаться к приведению типов. Приведение — это команда компилятору преобразо вать результат вычисления выражения в указанный тип. А для этого требуется явное преобразование типов. Ниже приведена общая форма приведения типов.
(целевой_тип) выражение Здесь целевой_тип обозначает тот тип, в который желательно преобразовать ука занное
double х, у; Если результат вычисления выражения х/у должен быть типа int, то следует за писать следующее.
(int) (х / у) Несмотря на то что переменные х и у относятся к типу double, результат вычисле ния выражения х/у преобразуется в тип int благодаря приведению. В данном приме ре выражение х/у следует непременно указывать в скобках, иначе приведение к типу int будет распространяться только на переменную х, а не на результат ее деления на переменную у. Приведение типов в данном случае требуется потому, что неявное пре образование типа double в тип int невозможно. Если приведение типов приводит к сужающему преобразованию, то часть информа ции может быть потеряна. Например, в результате приведения типа long к типу int часть информации потеряется, если значение типа long окажется больше диапазона представления чисел для типа int, поскольку старшие разряды этого числового значе ния отбрасываются. Когда же значение с плавающей точкой приводится к целочислен ному, то в результате усечения теряется дробная часть этого числового значения. Так, если присвоить значение 1,23 целочисленной переменной, то в результате в ней оста нется лишь целая часть исходного числа (1), а дробная его часть (0,23) будет потеряна. В следующем примере программы демонстрируется ряд преобразований типов, требующих приведения. В этом примере показан также ряд ситуаций, в которых при ведение типов становится причиной потери данных.
// Продемонстрировать приведение типов. using System;
class CastDemo { static void Main { double x, y; byte b; int i; char ch; uint u; short s; long 1; x = 10.0; у = 3.0; // Приведение типа double к типу int, дробная часть числа теряется. i = (int) (х / у); Console.WriteLine("Целочисленный результат деления х / у: " + i); Console.WriteLine; // Приведение типа int к типу byte без потери данных, i = 255; b = (byte) i; Console.WriteLine("b после присваивания 255: " + b + " -- без потери данных."); // Приведение типа int к типу byte с потерей данных, i = 257; b = (byte) i; Console.WriteLine("b после присваивания 257: " + b + " -- с потерей данных."); Console.WriteLine; // Приведение типа uint к типу short без потери данных. u = 32000; s = (short) u; Console.WriteLine("s после присваивания 32000: " + s + " -- без потери данных."); // Приведение типа uint к типу short с потерей данных, u = 64000; s = (short) u; Console.WriteLine("s после присваивания 64000: " + s + " -- с потерей данных."); Console.WriteLine; // Приведение типа long к типу uint без потери данных. l = 64000; u = (uint) l; Console.WriteLine ("u после присваивания 64000: " + u + " -- без потери данных."); // Приведение типа long к типу uint с потерей данных. l = -12; u = (uint) l; Console.WriteLine("и после присваивания -12: " + u + " -- с потерей данных."); Console.WriteLine; // Приведение типа int к типу char, b = 88; // код ASCII символа X ch = (char) b; Console.WriteLine("ch после присваивания 88: " + ch); }
} Вот какой результат дает выполнение этой программы. Целочисленный результат деления х / у: 3 b после присваивания 255: 255 -- без потери данных. b после присваивания 257: 1 -- с потерей данных. s после присваивания 32000: 32000 -- без потери данных. s после присваивания 64000: -1536 -- с потерей данных. u после присваивания 64000: 64000 -- без потери данных. u после присваивания -12: 4294967284 -- с потерей данных. ch после присваивания 88: X
Рассмотрим каждую операцию присваивания в представленном выше примере программы по отдельности. Вследствие приведения результата деления х/у к типу int отбрасывается дробная часть числа, а следовательно, теряется часть информации.
Когда переменной b присваивается значение 255, то информация не теряется, по скольку это значение входит в диапазон представления чисел для типа byte. Но когда переменной b присваивается значение 257, то часть информации теряется, поскольку это значение превышает диапазон представления чисел для типа byte. Приведение типов требуется в обоих случаях, поскольку неявное преобразование типа int в тип byte невозможно.
Когда переменной s типа short присваивается значение 32 000 переменной и типа uint, потери данных не происходит, поскольку это значение входит в диапазон пред ставления чисел для типа short. Но в следующей операции присваивания перемен ная и имеет значение 64 000, которое оказывается вне диапазона представления чисел для типа short, и поэтому данные теряются. Приведение типов требуется в обоих случаях, поскольку неявное преобразование типа uint в тип short невозможно.
Далее переменной u присваивается значение 64 000 переменной l типа long. В этом случае данные не теряются, поскольку значение 64 000 оказывается вне диапа зона представления чисел для типа uint. Но когда переменной u присваивается зна чение -12, данные теряются, поскольку отрицательные числа также оказываются вне диапазона представления чисел для типа uint. Приведение типов требуется в обоих случаях, так как неявное преобразование типа long в тип uint невозможно.
И наконец, когда переменной char присваивается значение типа byte, информа ция не теряется, но приведение типов все же требуется. Преобразование типов в выражениях
Помимо операций присваивания, преобразование типов происходит и в самих вы ражениях. В выражении можно свободно смешивать два или более типа данных, при условии их совместимости друг с другом. Например, в одном выражении допускает ся применение типов short и long, поскольку оба типа являются числовыми. Когда в выражении смешиваются разные типы данных, они преобразуются в один и тот же тип по порядку следования операций.
Преобразования типов выполняются по принятым в C# правилам продвижения ти пов. Ниже приведен алгоритм, определяемый этими правилами для операций с двумя операндами.