CSBasicCourse2ndedPodbelsky / CSBasicCourse2ndedPodbelsky

Результат выполнения программы: simb = b

b = simb 196 = 2 simb

Обратите внимание на выражение simb+simb+" = 2simb". В соответствии с правилами ассоциации для операции + оно вычисляется так: (simb+simb)+ "= 2simb".

В скобках символы "ведут себя" как целочисленные значения, и их сумма 196 затем преобразуется в строку.

Хотя мы уже применяли строки в виде строк-литералов и в примерах определяли строку как переменную типа string, но более подробное рассмотрение строк и их взаимоотношений с другими типами языка C# необходимо перенести дальше в раздел, специально посвящённый строкам.

Унарные операции "операции:унарные операции ++ и --" ++ и –– изменяют значение кода символьной переменной, однако, она не превращается в целочисленную величину, а сохраняет тип char. В то же время, суммирование символьной переменной с единицей приводит к получению целочисленного значения. Сложение и вычитание символьных переменных также приводят к соответствующим операциям над их кодами с формированием целочисленных

результатов. Следующая программа иллюстрирует приведенные правила.

// 04_05.cs - выражения с символами и строками using System;

class Program

{

static void Main()

{

char cOld = 'a', cNew = cOld; Console.Write("В последовательности ");

Console.WriteLine(cNew - cOld + " буквы");

}

}

Результат выполнения программы:

В последовательности bcd 3 буквы

Чтобы получить символ с нужным числовым значением кода, нужно применить операции явного приведения типов.

Например, так:

char ch = (char)94; // значение ch – символ '^'

Для обратного преобразования (из char, например, в uint) достаточно автоматического приведения типов:

uint cod = ch; // значением cod будет 94.

4.5. Тернарная (условная) операция

В отличие от классических арифметических и логических операций,

унаследованных языками программирования из математики (арифметики и алгебры), условная операция требует трёх операндов. В выражении с условной операцией используются два размещённых не подряд символа '?' и ':'. Они разделяют

(или соединяют) три операнда:

операнд_1 ? операнд_2 : операнд_3

Операнд_1 – логическое выражение; операнд_2 и операнд_3 – выражения

одного типа или выражения, которые могут быть неявно (автоматически) приведены

результатом. Если операнд_1 равен false, то вычисляется значение операнда_3, и

оно становится результатом всего выражения с тернарной операцией.

Классический пример:

x < 0 ? –x : x.

Если x – переменная арифметического типа, то результат выполнения операции – абсолютное значение x.

Ранг операции ?: очень низок, но она имеет приоритет перед операциями

присваивания. Поэтому с операцией присваивания выражения с тернарной операцией можно достаточно часто использовать без скобок. Например, можно так вычислить абсолютное значение разности кодов двух символов, не обращаясь к таблице кодов:

int почта = 'f'>'z' ? 'f'-'z' : 'z'-'f';

Для наглядности операнды тернарной операции и всё условное выражение желательно в ряде случаев заключать в скобки. В качестве примера рассмотрим следующее выражение с переменными арифметического типа:

res = (x<y) ? ((y<z) ? z : y):(x<z) ? z : x;

Переменная res получает наибольшее из значений переменных x, y, z.

Приведённое выражение будет правильно исполняться и при отсутствии скобок:

res = x<y ? y<z ? z : y : x<z ? z : x;

Однако для наглядности и надёжности скобки лучше применить.

Тип результата тернарной операции определяется типом операндов,

разделённых двоеточием. Например, если нужно выбрать из двух символов тот,

который имеет большее значение кода, то можно записать такое выражение:

char ch ='g'>'e' ? 'g' : 'e'

Приведённые примеры и правила иллюстрирует следующая программа:

// 04_06.cs - выражения с тернарной операцией using System;

class Program

{

static void Main()

{

char c = 'a', h = 'e', ch;

int norma = c > h ? c - h : h - c; Console.WriteLine("|c-h| = " + norma); ch = c > h ? c : h; Console.WriteLine("ch = "+ch); double x = 4, y = 7, z = 5, res;

res = (x < y) ? ((y < z) ? z : y) : ((x < z) ? z : x);

Console.WriteLine("res = " + res); res = x < y ? y < z ? z : y : x < z ? z : x; Console.WriteLine("res = " + res);

}

}

Результат выполнения программы:

|c-h| = 4 ch = e res = 7 res = 7

Контрольные вопросы

Что такое автоматическое приведение (преобразование) типов?

К каким типам может быть автоматически приведено значение типа int? Что такое "расширяющее преобразование" типов?

При каких сочетаниях типов автоматическое приведение типов невозможно?

Вкаких случаях два операнда разных типов приводятся к типу int? Назовите особые ситуации, которые могут возникнуть при вычислении

арифметических выражений.

Какие значения может принимать переменная типа bool? Назовите условные логические бинарные операции языка C#. Что такое отношение?

Каковы ранги операций отношений?

Ввыражениях с какими операциями могут использоваться символьные данные? Каков результат применения операции ++ к переменной типа char?

Какой тип имеет результат суммирования переменной символьного типа с единицей?

Сколько операндов должно входить в выражение с операцией "?:"? Какой тип должен иметь первый (левый) операнд операции "?:"?

Каков приоритет (ранг) операции "?:" по отношению к операции присваивания?

Глава 5. Типы С# как классы платформы .NET Framework

5.1. Платформа .NET Framework и спецификация CTS

Язык C# и средства его поддержки в настоящее время крепко связаны с

платформой разработки .NET Framework. Названная платформа (см. [7,10])

включает: общеязыковую исполняющую среду "общеязыковая исполняющая среда

– CLR" (CLR – Common Language Runtime) и библиотеку классов "библиотека

классов – FCL" (FCL – Framework Class Library). Платформа .Net Framework

разработана Microsoft и реализована в последних версиях OC Windows.

Планируется постепенное включение CLR и FCL в операционные системы портативных устройств и компьютеров разных типов. Для обеспечения этой возможности Европейская ассоциация производителей компьютеров (ECMA – European Computer Manufacturers Association) приняла стандарты CLR, FCL и языка

C# [2].

В операционные системы, начиная с Windows Vista, среда .NET Framework

уже включена. При использовании более старых версий Windows (например, Windows XP) для исполнения приложений, написанных на C#, .NET Framework

необходимо установить дополнительно. Microsoft разработала установочный файл,

который можно бесплатно поставлять со своими приложениями.

Следует заметить, что язык C# является только одним из многих языков, на которых можно писать программы, работающие на платформе .NET Framework. В

среду разработки Visual Studio .NET включены средства для программирования на

Visual Basic, C++, Jscript. Сторонние производители программных продуктов (не фирма Microsoft) поставляют компиляторы других языков для платформы .NET

Framework.

При использовании платформы .NET Framework подготовленный

программистом код (текст программы, например, на C#) вначале транслируется в код на общем для всех исходных языков промежуточном языке (CIL – Common Intermediate Language, иногда сокращенно IL – Intermediate Language).

Последовательность процессорных команд появляется позже – во время исполнения команд CIL средой CLR. Этот временной «разрыв» между трансляцией

исходного текста и появлением процессорного кода не случаен. Код на промежуточном «универсальном» языке CIL может исполняться на процессорах с

разной архитектурой (PowerPC, x86, IA64, Alpha и др.). Единственное, но

обязательное требование – на компьютере, где выполняется приложение на языке

CIL, должна быть развернута среда .NET Framework, то есть установлены CLR и

"общая система типов – CTS" (CTS – Common Type System), которую используют все языки, ориентированные на CLR. Так как наша книга посвящена только одному языку программирования, то все ограничения, которые возникают при использовании в одном приложении частей, написанных на разных языках, мы рассматривать не будем. Достаточно отметить, что для обеспечения межъязыкового взаимодействия необходимо придерживаться общеязыковой спецификации (CLS –

Common Language Specification), предложенной Microsoft. Эта спецификация

ограничивает все разнообразие типов того или иного языка программирования тем подмножеством, которое присутствует одновременно во всех языках. Любой из типов, соответствующих спецификации CLS, присутствует в каждом из языков и

«понятен» в каждой части многоязыковой программы.

рассматривать правила определения типов именно на языке C#. Сейчас очень кратко

остановимся только на основных требованиях CTS.

Во-первых, CTS утверждает, что каждый тип – это класс, который может

включать нуль или более членов. Отдельным членом может быть [10]:

Поле "поле" – переменная, определяющая состояние класса или объекта. Поле идентифицируется именем и имеет конкретный тип.

Метод "метод" – функция, выполняющая действие над классом или объектом. Метод идентифицируется сигнатурой и для него определён тип возвращаемого значения.

Свойство "свойство" – средство для получения или задания значения некоторой характеристики, зависящей от состояния объекта. Для вызывающей стороны свойство синтаксически неотличимо от поля. В реализации типа свойство представлено одним или двумя методами с фиксированными именами.

Событие "событие" – средство для уведомления адресатов (других объектов, классов, методов) об изменении состояния объекта или о воздействии на него.

Спецификация CTS описывает правила видимости классов и доступа к их

членам, правила наследования классов, возможности виртуальных функций и т.д.

Следующее правило CTS состоит в требовании для всех типов иметь единый

базовый класс. В соответствии с этим требованием, все типы являются

производными от класса System.Object. Происхождение всех типов от базового

класса System.Object гарантирует для каждого типа присутствие заранее

определенной минимальной функциональности "минимальная функциональность" .

Эта функциональность предусматривает для каждого экземпляра (для объекта)

любого типа возможности:

сравнения с другим экземпляром;

получения хэш-кода;

определения (идентификации) типа;

копирования;

формирования строкового представления значения.

Изучая программирование на языке C#, мы познакомимся не с CTS, а с ее

«проекций» на конкретный язык программирования (на C#). В конкретном языке

для упрощения вводят «надстройки» над CTS, обеспечивающие более высокий

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

массивы и другие конструкции, которые будут нами подробно рассмотрены.

Кроме того, для упрощения записи программ развернутое обозначение типов,

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

5.2. Простые (базовые) типы C# как классы

Система типов C# построена на основе классов. Уже несколько раз сказано,

что любой класс в C# является производным от базового класса object. Таким

образом, в языке C# вообще нет типов, отличных от классов и структур. (Чем

структура отличается от класса, нам ещё предстоит разобрать и понять.) Простые

(фундаментальные, базовые) типы, такие как int и char, на самом деле являются не самостоятельными типами, а представляют собой обозначения (условные названия)