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