программирование. Руководство su P# a n Reference в herbert schildt полное руководство с 0 герберт шилдт
![]()
|
Помимо обычных символов, строковый литерал может содержать одну или несколько управляющих последовательностей символов, о которых речь шла выше. Рассмотрим для примера программу, в которой используются управляющие последовательности \п и \t. // Продемонстрировать применение управляющих // последовательностей символов в строковых литералах. .using System; class StrDemo { static void Main() { Console.WriteLine("Первая строка\пВторая строка\пТретья строка"); Console.WriteLine("OflHH\tflBa\tTpn"); Console.WriteLine("Четыре^Пять\Шесть" ) ; // Вставить кавычки. Console.WriteLine("\"3ачем?\", спросил он."); } } Результат выполнения этой программы приведен ниже. Первая строка Вторая строка Третья строка Один Два Три Четыре Пять Шесть "Зачем?", спросил он. В приведенном выше примере программы обратите внимание на то, что для перехода на новую строку используется управляющая последовательность \п. Для вывода нескольких строк совсем не обязательно вызывать метод WriteLine () несколько раз – достаточно вставить управляющую последовательность \п в тех местах удлиненной текстовой строки (или строкового литерала), где должен происходить переход на новую строку. Обратите также внимание на то, как в текстовой строке формируется знак кавычек. Помимо описанной выше формы строкового литерала, можно также указать буквальный строковый литерал. Такой литерал начинается с символа @, после которого следует строка в кавычках. Содержимое строки в кавычках воспринимается без изменений и может быть расширено до двух и более строк. Это означает, что в буквальный строковый литерал можно включить символы новой строки, табуляции и прочие, не прибегая к управляющим последовательностям. Единственное исключение составляют двойные кавычки ("), для указания которых необходимо использовать две двойные кавычки подряд (" "). В приведенном ниже примере программы демонстрируется применение буквальных строковых литералов. // Продемонстрировать применение буквальных строковых литералов, using System; class Verbatim { , static void Main() { Console.WriteLine(@"Это буквальный строковый литерал, занимающий несколько строк. ") ; Console.WriteLine(@"А это вывод с табуляцией: 12 3 4 5 6 7 8 м) ; Console.WriteLine(@"Отзыв программиста: ""Мне нравится С#.,г""); Это буквальный строковый литерал, занимающий несколько строк. А это вывод с‑табуляцией: 1 ‘2 3 4 5 6 7 8 Отзыв программиста: "Мне нравится С#." Следует особо подчеркнуть, что буквальные строковые литералы выводятся в том же виде, в каком они введены в исходном тексте программы. Преимущество буквальных строковых литералов заключается в том, что они позволяют указать в программе выводимый результат именно так, как он должен выглядеть на экране. Но если выводится несколько строк, то переход на новую строку может нарушить порядок набора исходного текста программы с отступами. Именно по этой причине в примерах программ, приведенных в этой книге, применение буквальных строковых литералов ограничено. Тем не менее они приносят немало замечательных выгод во многих случаях, когда требуется форматирование выводимых результатов. И последнее замечание: не путайте строки с символами. Символьный литерал, например 1X1, обозначает одиночную букву типа char. А строка, состоящая из одного символа, например "X", по‑прежнему остается текстовой строкой. Более подробное рассмотрение переменных Переменные объявляются с помощью оператора следующей формы: тип имя_переменной ; где тип – это тип данных, хранящихся в переменной; а имя_переменной – это ее имя. Объявить можно переменную любого действительного типа, в том числе и описанных выше типов значений. Важно подчеркнуть, что возможности переменной определяются ее типом. Например, переменную типа bool нельзя использовать для хранения числовых значений с плавающей точкой. Кроме того, тип переменной нельзя изменять в течение срока ее существования. В частности, переменную типа int нельзя преобразовать в переменную типа char. Все переменные в C# должны быть объявлены до их применения. Это нужно для того, чтобы уведомить компилятор о типе данных, хранящихся в переменной, прежде чем он попытается правильно скомпилировать любой оператор, в котором используется переменная. Это позволяет также осуществлять строгий контроль типов в С#. В C# определено несколько различных видов переменных. Так, в предыдущих примерах программ использовались переменные, называемые локальными , поскольку они объявляются внутри метода. Инициализация переменной Задать значение переменной можно, в частности, с помощью оператора присваивания, как было не раз продемонстрировано ранее. Кроме того, задать начальное значение переменной можно при ее объявлении. Для этого после имени переменной указывается знак равенства (=) и присваиваемое значение. Ниже приведена общая форма инициализации переменной: тип имя_переменной = значение; где зна чение – это конкретное значение, задаваемое при создании переменной. Оно должно соответствовать указанному типу переменной. Ниже приведены некоторые примеры инициализации переменных. int count = 10; // задать начальное значение 10 переменной count. char ch = 'X'; // инициализировать переменную ch буквенным значением X. float f = 1.2F // переменная f инициализируется числовым значением 1,2. Если две или более переменные одного и того же типа объявляются списком, разделяемым запятыми, то этим переменным можно задать, например, начальное значение. int a, b=8, с=19, d; // инициализировать переменные b и с В данном примере инициализируются только переменные b и с. Динамическая инициализация В приведенных выше примерах в качестве инициализаторов переменных использовались только константы, но в C# допускается также динамическая инициализация переменных с помощью любого выражения, действительного на момент объявления переменной. Ниже приведен пример краткой программы для вычисления гипотенузы прямоугольного треугольника по длине его противоположных сторон. // Продемонстрировать динамическую инициализацию. using System; class Dynlnit { static void Main() { // Длина сторон прямоугольного треугольника. double si = 4.0; double s2 = 5.0; // Инициализировать переменную hypot динамически, double hypot = Math.Sqrt( (si * si) + (s2 * s2) ); Console.Write("Гипотенуза треугольника со сторонами " + si + " и " + s2 + " равна "); Console.WriteLine("{0:#.###}.", hypot); } } Результат выполнения этой программы выглядит следующим образом. Гипотенуза треугольника со сторонами 4 и 5 равна 6.403 В данном примере объявляются три локальные переменные: si, s2 и hypot. Две из них (si и s2) инициализируются константами, А третья (hypot) динамически инициализируется вычисляемой длиной гипотенузы. Для такой инициализации используется выражение, указываемое в вызываемом методе Math . Sqrt (). Как пояснялось выше, для динамической инициализации пригодно любое выражение, действительное на момент объявления переменной. А поскольку вызов метода Math. Sqrt () (или любого другого библиотечного метода) является действительным на данный момент, то его можно использовать для инициализации переменной hypot. Следует особо подчеркнуть, что в выражении для инициализации можно использовать любой элемент, действительный на момент самой инициализации переменной, в том числе вызовы методов, другие переменные или литералы. Неявно типизированные переменные Как пояснялось выше, все переменные в C# должны быть объявлены. Как правило, при объявлении переменной сначала указывается тип, например int или bool, а затем имя переменной. Но начиная с версии C# 3.0, компилятору предоставляется возможность самому определить тип локальной переменной, исходя из значения, которым она инициализируется. Такая переменная называется неявно типизированной. Неявно типизированная переменная объявляется с помощью ключевого слова var и должна быть непременно инициализирована. Для определения типа этой переменной компилятору служит тип ее инициализатора, т.е. значения, которым она инициализируется. Рассмотрим такой пример. var е = 2.7183; В данном примере переменная е инициализируется литералом с плавающей точкой, который по умолчанию имеет тип double, и поэтому она относится к типу double. Если бы переменная е была объявлена следующим образом: var е = 2.7183F; то она была бы отнесена к типу float. В приведенном ниже примере программы демонстрируется применение неявно типизированных переменных. Он представляет собой вариант программы из предыдущего раздела, измененной таким образом, чтобы все переменные были типизированы неявно. // Продемонстрировать применение неявно типизированных переменных, using System; class ImplicitlyTypedVar { static void Main() { // Эти переменные типизированы неявно. Они отнесены // к типу double, поскольку инициализирующие их // выражения сами относятся к типу double, var si = 4.0; var s2 = 5.0; // Итак, переменная hypot типизирована неявно и // относится к типу double, поскольку результат, // возвращаемый методом Sqrt(), имеет тип double, var hypot = Math.Sqrt( (si * si) + (s2 * s2) ); Console.Write("Гипотенуза треугольника со сторонами " + si + " by " + s2 + " равна "); Console.WriteLine("{0:#.###}.", hypot); // Следующий оператор не может быть скомпилирован, // поскольку переменная si имеет тип double и // ей нельзя присвоить десятичное значение. // si = 12.2М; // Ошибка! } } Результат выполнения этой программы оказывается таким же, как и прежде. Важно подчеркнуть, что неявно типизированная переменная по‑прежнему остается строго типизированной. Обратите внимание на следующую закомментированную строку из приведенной выше программы. // si = 12.2М; // Ошибка! Эта операция присваивания недействительна, поскольку переменная s 1 относится к типу double. Следовательно, ей нельзя присвоить десятичное значение. Единственное отличие неявно типизированной переменной от обычной, явно типизированной переменной, – в способе определения ее типа. Как только этот тип будет определен, он закрепляется за переменной до конца ее существования. Это, в частности, означает, что тип переменной s 1 не может быть изменен по ходу выполнения программы. Неявно типизированные переменные внедрены в C# не для того, чтобы заменить собой обычные объявления переменных. Напротив, неявно типизированные переменные предназначены для особых случаев, и самый примечательный из них имеет отношение к языку интегрированных запросов (LINQ), подробно рассматриваемому в главе 19. Таким образом, большинство объявлений переменных должно и впредь оставаться явно типизированными, поскольку они облегчают чтение и понимание исходного текста программы. И последнее замечание: одновременно можно объявить только одну неявно типизированную переменную. Поэтому объявление var si =4.0, s2=5.0; // Ошибка! является неверным и не может быть скомпилировано. Ведь в нем предпринимается попытка объявить обе переменные, si и s2, одновременно. Область действия и время существования переменных Все переменные, использовавшиеся в предыдущих примерах программ, объявлялись в самом начале метода Main (). Но в C# локальную переменную разрешается объявлять в любом кодовом блоке. Как пояснялось в главе 2, кодовый блок начинается открывающей фигурной скобкой и оканчивается закрывающей фигурной скобкой. Этот блок и определяет область действия. Следовательно, всякий раз, когда начинается блок, образуется новая область действия. Прежде всего область действия определяет видимость имен отдельных элементов, в том числе и переменных, в других частях программы без дополнительного уточнения. Она определяет также время существования локальных переменных. В C# к числу наиболее важных относятся области действия, определяемые классом и методом. Рассмотрение области действия класса (и объявляемых в ней переменных) придется отложить до того момента, когда в этой книге будут описываться классы. А до тех пор будут рассматриваться только те области действия, которые определяются методом или же в самом методе. Область действия, определяемая методом, начинается открывающей фигурной скобкой и оканчивается закрывающей фигурной скобкой. Но если у этого метода имеются параметры, то и они входят в область действия, определяемую данным методом. Как правило, локальные переменные объявляются в области действия, невидимой для кода, находящегося вне этой области. Поэтому, объявляя переменную в определенной области действия, вы тем самым защищаете ее от доступа или видоизменения вне данной области. Разумеется, правила области действия служат основанием для инкапсуляции. Области действия могут быть вложенными. Например, всякий раз, когда создается кодовый блок, одновременно образуется и новая, вложенная область действия. В этом случае внешняя область действия охватывает внутреннюю область. Это означает, что локальные переменные, объявленные во внешней области действия, будут видимы для кода во внутренней области действия. Но обратное не справедливо: локальные переменные, объявленные во внутренней области действия, не будут видимы вне этой области. Для того чтобы стала более понятной сущность вложенных областей действия, рассмотрим следующий пример программы. // Продемонстрировать область действия кодового блока, using System; class ScopeDemo { static void Main() { int x; // Эта переменная доступна для всего кода внутри метода Main(). х = 10; if (х == 10) { // начать новую область действия int у = 20; // Эта переменная доступна только в данном кодовом блоке. // Здесь доступны обе переменные, х и у. Console.WriteLine("х и у: " + х + " " + у); х = у * 2; } // у = 100; // Ошибка! Переменна у здесь недоступна. //А переменная х здесь по‑прежнему доступна. Console.WriteLine("х равно " + х) ; } } Как поясняется в комментариях к приведенной выше программе, переменная х объявляется в начале области действия метода Main () , и поэтому она доступна для всего последующего кода в пределах этого метода. В блоке условного оператора i f объявляется переменная у. А поскольку этот кодовый блок определяет свою собственную область действия, то переменная у видима только для кода в пределах данного блока. Именно поэтому строка line у = 1 00 ;, находящаяся за пределами этого блока, закомментирована. Если удалить находящиеся перед ней символы комментария (//), то во время компиляции программы произойдет ошибка, поскольку переменная у невидима за пределами своего кодового блока. В то же время переменная х может использоваться в блоке условного оператора i f , поскольку коду из этого блока, находящемуся во вложенной области действия, доступны переменные, объявленные в охватывающей его внешней области действия. Переменные могут быть объявлены в любом месте кодового блока, но они становятся действительными только после своего объявления. Так, если объявить переменную в начале метода, то она будет доступна для всего остального кода в пределах этого метода. А если объявить переменную в конце блока, то она окажется, по существу, бесполезной, поскольку не будет доступной ни одному коду. Если в объявление переменной включается инициализатор, то такая переменная инициализируется повторно при каждом входе в тот блок, в котором она объявлена. Рассмотрим следующий пример программы. // Продемонстрировать время существования переменной. using System; class VarlnitDemo { 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 Как видите, переменная у повторно инициализируется одним и тем же значением ‑1 при каждом входе во внутренний цикл for. И несмотря на то, что после этого цикла ей присваивается значение 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. Но вследствие строгого контроля типов далеко не все типы данных в C# оказываются полностью совместимыми, а следовательно, не все преобразования типов разрешены в неявном виде. Например, типы 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; 11 Приведение типа 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 без потери данных, и = 32000; s = (short) u; Console.WriteLine("s после присваивания 32000: " + s + " – без потери данных."); // Приведение типа uint к типу short с потерей данных, и = 64000; s = (short) u; Console.WriteLine("s после присваивания 64000: " + s + " – с потерей данных. ") ; Console.WriteLine(); // Приведение типа long к типу uint без потери данных. 1 = 64000; u = (uint) 1; Console.WriteLine("и после присваивания 64000: " + u + " ‑‑ без потери данных."); // Приведение типа long к типу uint с потерей данных. 1 = ‑ 12 ; u = (uint) 1; Console.WriteLine("и после присваивания ‑12: " + u + " – с потерей данных."); Console.WriteLine(); // Приведение типа int к типу char, b = 88; // код ASCII символа X ch = (char) b; Console.WriteLine("ch после присваивания 88: " + ch); } } Вот какой результат дает выполнение этой программы. Целочисленный результат деления х / у: 3 b после присваивания 255: 255 ‑‑ без потери данных. Ь после присваивания 257: 1 – с потерей данных.i s после присваивания 32000: 32000 ‑‑ без потери данных, s после присваивания 64000: ‑1536 ‑‑ с потерей данных. и после‑присваивания 64000: 64000 – без потери данных, и после присваивания ‑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 невозможно. Далее переменной и присваивается значение 64 000 переменной 1 типа long. В этом случае данные не теряются, поскольку значение 64 000 оказывается вне диапазона представления чисел для типа uint. Но когда переменной и присваивается значение ‑12, данные теряются, поскольку отрицательные числа также оказываются вне диапазона представления чисел для типа uint. Приведение типов требуется в обоих случаях, так как неявное преобразование типа long в тип uint невозможно. И наконец, когда переменной char присваивается значение типа byte, информация не теряется, но приведение типов все же требуется. Преобразование типов в выражениях Помимо операций прйсваивания, преобразование типов происходит и в самих выражениях. В выражении можно свободно смешивать два или более типа данных, при условии их совместимости друг с другом. Например, в одном выражении допускается применение типов short и long, поскольку оба типа являются числовыми. Когда в выражении смешиваются разные типы данных, они преобразуются в один и тот же тип по порядку следования операций. Преобразования типов выполняются по принятым в C# правилам продвижения типов. Ниже приведен алгоритм, определяемый этими правилами для операций с двумя операндами. ЕСЛИ один операнд имеет тип decimal, ТО и второй операнд продвигается к типу decimal (но если второй операнд имеет тип float или double, результат будет ошибочным). ЕСЛИ один операнд имеет тип double, ТО и второй операнд продвигается к типу double. ЕСЛИ один операнд имеет тип float, ТО и второй операнд продвигается к типу float. ЕСЛИ один операнд имеет тип ulong, ТО и второй операнд продвигается к типу ulong (но если второй операнд имеет тип sbyte, short, int или long, результат будет ошибочным). ЕСЛИ один операнд имеет тип long, ТО и второй операнд продвигается к типу long. ЕСЛИ один операнд имеет тип uint, а второй – тип sbyte, short или int, ТО оба операнда продвигаются к типу long. ЕСЛИ один операнд имеет тип uint, ТО и второй операнд продвигается к типу uint. ИНАЧЕ оба операнда продвигаются к типу int. Относительно правил продвижения типов необходимо сделать ряд важных замечаний. Во‑первых, не все типы могут смешиваться в выражении. В частности, неявное преобразование типа float или double в тип decimal невозможно, как, впрочем, и смешение типа ulong с любым целочисленным типом со знаком. Для смешения этих типов требуется явное их приведение. Во‑вторых, особого внимания требует последнее из приведенных выше правил. Оно гласит: если ни одно из предыдущих правил не применяется, то все операнды продвигаются к типу int. Следовательно, все значения типа char, sbyte, byte, ushort и short продвигаются к типу int в целях вычисления выражения. Такое продвижение типов называется целочисленным. Это также означает, что результат выполнения всех арифметических операций будет иметь тип не ниже int. Следует иметь в виду, что правила продвижения типов применяются только к значениям, которыми оперируют при вычислении выражения. Так, если значение переменной типа byte продвигается к типу int внутри выражения, то вне выражения эта переменная по‑прежнему относится к типу byte. Продвижение типов затрагивает только вычисление выражения. Но продвижение типов может иногда привести к неожиданным результатам. Если, например, в арифметической операции используются два значения типа 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 = 'b1; 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 (). |