Теперь, когда вы узнали кое-что об основных преимуществах, присущих .NET Core, давайте ознакомимся с ключевыми (и взаимосвязанными) компонентами, которые делают возможным все упомянутое ранее — Core Runtime (формально CoreCLR и CoreFX), CTS и CLS. С точки зрения программиста приложений платформу .NET Core можно воспринимать как исполняющую среду и обширную библиотеку базовых классов. Уровень исполняющей среды содержит набор минимальных реализаций, которые привязаны к конкретным платформам (Windows, iOS, Linux) и архитектурам (х86, х64, ARM), а также все базовые типы для .NET Core.

Еще одним строительным блоком .NET Core является общая система типов (CTS). Спецификация CTS полностью описывает все возможные типы данных и все программные конструкции, поддерживаемые исполняющей средой, указывает, каким образом эти сущности могут взаимодействовать друг с другом, и как они представлены в формате метаданных .NET Core (дополнительную информацию о метаданных ищите далее в главе, а исчерпывающие сведения — в главе 17).

Важно понимать, что отдельно взятый язык .NET Core может не поддерживать абсолютно все функциональные средства, определяемые спецификацией CTS. Существует родственная общеязыковая спецификация (CLS), где описано подмножество общих типов и программных конструкций, которое должны поддерживать все языки программирования .NET Core. Таким образом, если вы строите типы .NET Core, открывающие доступ только к совместимым с CLS средствам, то можете быть уверены в том, что их смогут потреблять все языки .NET Core. И наоборот, если вы применяете тип данных или программную конструкцию, которая выходит за границы CLS, тогда не сможете гарантировать, что каждый язык программирования .NET Core окажется способным взаимодействовать с вашей библиотекой кода .NET Core. К счастью, как вы увидите далее в главе, компилятору C# довольно просто сообщить о необходимости проверки всего кода на предмет совместимости с CLS.

Инфраструктура .NET Core также предоставляет набор библиотек базовых классов (BCL), которые доступны всем языкам программирования .NET Core. Библиотеки базовых классов не только инкапсулируют разнообразные примитивы вроде потоков, файлового ввода-вывода, систем визуализации графики и механизмов взаимодействия с разнообразными внешними устройствами, но вдобавок обеспечивают поддержку для многочисленных служб, требуемых большинством реальных приложений.

В библиотеках базовых классов определены типы, которые можно применять для построения программного приложения любого вида и для компонентов приложений, взаимодействующих друг с другом.

Даже с учетом выхода .NET 5.0 количество библиотек базовых классов в .NET Framework намного превышает количество библиотек подобного рода в .NET Core. Учитывая 14-летнее преимущество .NET Framework над .NET Core, ситуация вполне объяснима. Такое несоответствие создает проблемы при попытке использования кода .NET Framework с кодом .NET Core. Решением (и требованием) для взаимодействия .NET Framework/. NET Core является стандарт .NET Standard.

.NET Standard — это спецификация, определяющая доступность API-интерфейсов .NET и библиотек базовых классов, которые должны присутствовать в каждой реализации. Стандарт обладает следующими характеристиками:

• определяет унифицированный набор API-интерфейсов BCL для всех реализаций .NET, которые должны быть созданы независимо от рабочей нагрузки;

• позволяет разработчикам производить переносимые библиотеки, пригодные для потребления во всех реализациях .NET, с использованием одного и того же набора API-интерфейсов;

• сокращает или даже устраняет условную компиляцию общего исходного кода API-интерфейсов .NET, оставляя ее только для API-интерфейсов операционной системы.

Синтаксис языка программирования C# выглядит очень похожим на синтаксис языка Java. Однако называть C# клоном Java неправильно. В действительности и С#, и Java являются членами семейства языков программирования, основанных на С (например, С, Objective-C, C++), поэтому они разделяют сходный синтаксис.

Правда заключается в том, что многие синтаксические конструкции C# смоделированы в соответствии с разнообразными аспектами языков VB и C++. Например, подобно VB язык C# поддерживает понятия свойств класса (как противоположность традиционным методам извлечения и установки) и необязательных параметров. Подобно C++ язык C# позволяет перегружать операции, а также создавать структуры, перечисления и функции обратного вызова (посредством делегатов).

Более того, по мере проработки материала книги вы очень скоро заметите, что C# поддерживает средства, такие как лямбда-выражения и анонимные типы, которые традиционно встречаются в различных языках функционального программирования (например, LISP или Haskell). Вдобавок с появлением технологии LINQ (Language Integrated Query — язык интегрированных запросов) язык C# стал поддерживать конструкции, которые делают его довольно-таки уникальным в мире программирования. Но, несмотря на все это, наибольшее влияние на него оказали именно языки, основанные на С.

Поскольку C# — гибрид из нескольких языков, он является таким же синтаксически чистым, как Java (если не чище), почти настолько же простым, как VB, и практически таким же мощным и гибким, как C++. Ниже приведен неполный перечень ключевых особенностей языка С#, которые характерны для всех его версий.

• Указатели необязательны ! В программах на C# обычно не возникает потребности в прямых манипуляциях указателями (хотя в случае абсолютной необходимости можно опуститься и на уровень указателей, как объясняется в главе 11).

• Автоматическое управление памятью посредством сборки мусора. С учетом этого в C# не поддерживается ключевое слово вроде delete.

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

• Аналогичная языку C++ возможность перегрузки операций для специальных типов без особой сложности.

• Поддержка программирования на основе атрибутов. Разработка такого вида позволяет аннотировать типы и их члены для дополнительного уточнения их поведения. Например, если пометить метод атрибутом [Obsolete], то при попытке его использования программисты увидят ваше специальное предупреждение.

С выходом версии .NET 2.0 (примерно в 2005 году) язык программирования C# был обновлен с целью поддержки многочисленных новых функциональных возможностей, наиболее значимые из которых перечислены далее.

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

• Поддержка анонимных методов, которые позволяют предоставлять встраиваемую функцию везде, где требуется тип делегата.

• Возможность определения одиночного типа в нескольких файлах кода (или при необходимости в виде представления в памяти) с использованием ключевого слова partial.

В версию C# 9, выпущенную 10 ноября 2020 года в составе .NET 5, добавлены следующие средства:

• записи;

• средства доступа только для инициализации;

• операторы верхнего уровня;

• улучшения сопоставления с образцом;

• улучшения производительности для взаимодействия;

• средства "подгонки и доводки";

• поддержка для генераторов кода.

Важно отметить, что язык C# может применяться только для построения программного обеспечения, которое функционирует под управлением исполняющей среды .NET Core (вы никогда не будете использовать C# для создания COM-сервера или неуправляемого приложения в стиле C/C++). Выражаясь официально, для обозначения кода, ориентированного на исполняющую среду .NET Core, используется термин управляемый код. Двоичный модуль, который содержит управляемый код, называется сборкой (сборки более подробно рассматриваются далее в главе). И наоборот, код, который не может напрямую обслуживаться исполняющей средой .NET Core, называется неуправляемым кодом.

Как упоминалось ранее, инфраструктура .NET Core способна функционировать в средах разнообразных операционных систем. Таким образом, вполне вероятно создавать приложение C# на машине Windows с применением Visual Studio и запускать его под управлением iOS с использованием исполняющей среды .NET Core. Кроме того, приложение C# можно построить на машине Linux с помощью Visual Studio Code и запускать его на машине Windows. С помощью Visual Studio для Mac на компьютере Мае можно разрабатывать приложения .NET Core, предназначенные для выполнения под управлением Windows, macOS или Linux.

Программа C# по-прежнему может иметь доступ к неуправляемому коду, но тогда она привяжет вас к специфической цели разработки и развертывания.

Независимо от того, какой язык .NET Core выбран для программирования, важно понимать, что хотя двоичные модули .NET Core имеют такое же файловое расширение, как и неуправляемые двоичные компоненты Windows (*.dll), внутренне они устроены совершенно по-другому. В частности, двоичные модули .NET Core содержат не специфические, а независимые от платформы инструкции на промежуточном языке (Intermediate Language — IL) и метаданные типов.

Теперь давайте займемся детальными исследованиями кода CIL, метаданных типов и манифеста сборки. Язык CIL находится выше любого набора инструкций, специфичных для конкретной платформы. Например, приведенный далее код C# моделирует простой калькулятор. Не углубляясь пока в подробности синтаксиса, обратите внимание на формат метода Add() в классе Calc.

В дополнение к инструкциям CIL сборка .NET Core содержит полные и точные метаданные, которые описывают каждый определенный в двоичном модуле тип (например, класс, структуру, перечисление), а также члены каждого типа (скажем, свойства, методы, события). К счастью, за выпуск актуальных метаданных типов всегда отвечает компилятор, а не программист. Из-за того, что метаданные .NET Core настолько основательны, сборки являются целиком самоописательными сущностями.

Чтобы проиллюстрировать формат метаданных типов .NET Core, давайте взглянем на метаданные, которые были сгенерированы для исследуемого ранее метода Add() класса Calc, написанного на C# (метаданные для версии Visual Basic метода Add() похожи, так что будет исследоваться только версия С#):

Последний, но не менее важный момент: вспомните, что сборка .NET Core содержит также и метаданные, которые описывают ее саму (формально называемые манифестом). Помимо прочего манифест документирует все внешние сборки, которые требуются текущей сборке для ее корректного функционирования, номер версии сборки, информацию об авторских правах и т.д. Подобно метаданным типов за генерацию манифеста сборки всегда отвечает компилятор. Ниже представлены некоторые существенные детали манифеста, сгенерированного при компиляции показанного ранее в главе файла кода Calc.cs (ради краткости некоторые строки не показаны):

Сборка может содержать любое количество различающихся типов. В мире .NЕТ Core тип ― это просто общий термин, применяемый для ссылки на член из на­ бора {класс, интерфейс, структура, перечисление, делегат}. При построении решений на любом языке .NЕТ Core почти наверняка придется взаимодействовать со многими такими типами. Например, в сборке может быть определен класс, реализующий не­ которое количество интерфейсов. Возможно, метод одного из интерфейсов принимает перечисление в качестве входного параметра и возвращает вызывающему компоненту структуру.

Вспомните, что СТS является формальной спецификацией, которая документирует, каким образом типы должны быть определены, чтобы они могли обслуживаться .NЕТ Runtime. Внутренние детали СТS обычно интересуют только тех, кто занимается построением инструментов и/или компиляторов, предназначенных для .NЕТ Core. Однако всем программистам .NЕТ Core важно знать о том, как работать с пятью типами, определенными в CTS, на выбранных ими языках. Ниже приведен краткий обзор.

В каждом языке .NЕТ Core поддерживается, по меньшей мере, понятие типа класса, которое является краеугольным камнем объектно-ориентированного программирования. Класс может состоять из любого количества членов (таких как конструкторы, свойства, методы и события) и элементов данных (полей). В языке С# классы объявляются с использованием ключевого слова class, примерно так:

// Тип класса С# с одним методом.

class Calc

{

  public int Add(int addendl, int addend2)

  {

    return addendl + addend2;

  }

}

Формальное знакомство с построением типов классов в С# начнется в главе 5, а пока в таблице 1.1 приведен перечень характеристик, свойственных типам классов.

 Интерфейсы представляют собой всего лишь именованные коллекции определений и/или (начиная с версии C# 8) стандартных реализаций абстрактных членов, которые могут быть реализованными (необязательно при наличии стандартных реализаций) в заданном классе или структуре. В языке C# типы интерфейсов определяются с применением ключевого слова interface.

По соглашению имена всех интерфейсов .NET Core начинаются с прописной буквы I, как показано в следующем примере:

 Концепция структуры также формализована в CTS. Если вы имели дело с языком С, то вас наверняка обрадует, что эти определяемые пользователем типы (user-defined type — UDT) сохранились в мире .NET Core (хотя их внутреннее поведение несколько изменилось). Попросту говоря, структуру можно считать легковесным типом класса, который имеет семантику, основанную на значении. Тонкости структур более подробно исследуются в главе 4. Обычно структуры лучше всего подходят для моделирования геометрических и математических данных и создаются в языке C# с применением ключевого слова struct, например:

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

Wizard (маг), Fighter (воин) или Thief (вор). Вместо отслеживания простых числовых значений, представляющих каждую категорию, можно было бы создать строго типизированное перечисление, используя ключевое слово enum:

Делегаты являются эквивалентом .NET Core указателей на функции в стиле С, безопасных в отношении типов. Основная разница в том, что делегат .NET Core представляет собой класс, производный от System.MulticastDelegate, а не простой указатель на низкоуровневый адрес в памяти. В языке C# делегаты объявляются с помощью ключевого слова delegate:

Теперь, когда было представлено краткое описание каждого типа, формализованного в CTS, следует осознать тот факт, что большинство таких типов располагает любым количеством членов. Формально член типа ограничен набором {конструктор, финализатор, статический конструктор, вложенный тип, операция, метод, свойство, индексатор, поле, поле только для чтения, константа, событие}.

В спецификации CTS определены разнообразные характеристики, которые могут быть ассоциированы с заданным членом. Например, каждый член может иметь характеристику видимости (открытый, закрытый или защищенный). Некоторые члены могут быть объявлены как абстрактные (чтобы обеспечить полиморфное поведение в производных типах) или как виртуальные (чтобы определить заготовленную, но допускающую переопределение реализацию). Вдобавок большинство членов могут быть сконфигурированы как статические (связанные с уровнем класса) или члены экземпляра (связанные с уровнем объекта). Создание членов типов будет описано в нескольких последующих главах.

Финальный аспект спецификации CTS, о котором следует знать на текущий момент, заключается в том, что она устанавливает четко определенный набор фундаментальных типов данных. Хотя в каждом отдельном языке для объявления фундаментального типа данных обычно имеется уникальное ключевое слово, ключевые слова всех языков .NET Core в конечном итоге распознаются как один и тот же тип CTS, определенный в сборке по имени mscorlib.dll. В табл. 1.2 показано, каким образом основные типы данных CTS выражаются в языках VB. NET и С#.

Учитывая, что уникальные ключевые слова в управляемом языке являются просто сокращенными обозначениями для реальных типов в пространстве имен System, больше не нужно беспокоиться об условиях переполнения/потери значимости для числовых данных или о том, как строки и булевские значения внутренне представляются в разных языках. Взгляните на следующие фрагменты кода, в которых определяются 32-битные целочисленные переменные в C# и Visual Basic с применением ключевых слов языка, а также формального типа данных CTS:

// Определение целочисленных переменных в С #.

int i = 0;

System.Int32 j = 0;

' Определение целочисленных переменных в VB.

Dim i As Integer = 0

Dim j As System.Int32 = 0

 Как вы уже знаете, разные языки программирования выражают одни и те же программные конструкции с помощью уникальных и специфичных для конкретного языка терминов. Например, в C# конкатенация строк обозначается с использованием операции "плюс" (+), а в VB для этого обычно применяется амперсанд (&). Даже если два разных языка выражают одну и ту же программную идиому (скажем, функцию, не возвращающую значение), то высока вероятность того, что синтаксис на первый взгляд будет выглядеть не сильно отличающимся:

Как вы увидите при чтении книги, в языке C# определено несколько программных конструкций, несовместимых с CLS. Однако хорошая новость заключается в том, что компилятор C# можно инструктировать о необходимости проверки кода на предмет совместимости с CLS, используя единственный атрибут .NET Core:

Любой из нас понимает важность библиотек кода. Главное назначение библиотек платформы — предоставлять разработчикам четко определенный набор готового кода, который можно задействовать в создаваемых приложениях. Однако C# не поставляется с какой-то специфичной для языка библиотекой кода. Взамен разработчики на С# используют нейтральные к языкам библиотеки .NET Core. Для поддержания всех типов внутри библиотек базовых классов в организованном виде внутри .NET Core широко применяется концепция пространств имен.

Пространство имен — это группа семантически родственных типов, которые содержатся в одной или нескольких связанных друг с другом сборках. Например, пространство имен System.IO содержит типы, относящиеся к файловому вводу-выводу, пространство имен System.Data — типы для работы с базами данных и т.д. Важно понимать, что одна сборка может содержать любое количество пространств имен, каждое из которых может иметь любое число типов.

Основное отличие между таким подходом и специфичной для языка библиотекой заключается в том, что любой язык, ориентированный на исполняющую среду .NET Core, использует те же самые пространства имен и те же самые типы. Например, следующие две программы представляют собой вездесущее приложение "Hello World", написанное на языках C# и VB:

Полезно снова повторить, что пространство имен — всего лишь удобный способ логической организации связанных типов, содействующий их пониманию. Давайте еще раз обратимся к пространству имен System. С точки зрения разработчика можно предположить, что конструкция System.Console представляет класс по имени Console, который содержится внутри пространства имен под названием System. Однако с точки зрения исполняющей среды .NET Core это не так. Исполняющая среда видит только одиночный класс по имени System.Console.

В языке C# ключевое слово using упрощает процесс ссылки на типы, определенные в отдельном пространстве имен. Давайте посмотрим, каким образом оно работает. В приведенном ранее примере Calc в начале файла находится единственный оператор using:

using System;

Он делает возможной следующую строку кода:

Console.WriteLine ("10 + 84 is {0}." , ans);

Без оператора using пришлось бы записывать так:

System.Console.WriteLine ("10 + 84 is {0}.", ans);

Хотя определение типа с использованием полностью заданного имени позволяет делать код более читабельным, трудно не согласиться с тем, что применение ключевого слова using в C# значительно сокращает объем набора на клавиатуре. В настоящей книге полностью заданные имена в основном использоваться не будут (разве что для устранения установленной неоднозначности), а предпочтение отдается упрощенному подходу с применением ключевого слова using.

Однако не забывайте о том, что ключевое слово using — просто сокращенный способ указать полностью заданное имя типа. Любой из подходов дает в результате тот же самый код CIL (учитывая, что в коде CIL всегда используются полностью заданные имена) и не влияет ни на производительность, ни на размер сборки.

В предшествующих версиях .NET Framework для установки библиотек инфраструктуры применялось общее местоположение, известное как глобальный кеш сборок (Global Assembly Cache — GAC). Инфраструктура .NET Core не использует GAC. Взамен каждая версия (включая младшие выпуски) устанавливается в собственное местоположение на компьютере (согласно версии). В среде Windows каждая версия исполняющей среды и SDK устанавливаются в с:\Program Files\dotnet.

В большинстве проектов .NET Core сборки добавляются путем добавления пакетов NuGet (раскрываются позже в книге). Тем не менее, приложения .NET Core, нацеленные и разрабатываемые в среде Windows, по-прежнему располагают доступом к библиотекам СОМ, что тоже рассматривается позже в книге.

Чтобы сборка имела доступ к другой сборке, которую строите вы (или кто-то другой), необходимо добавить ссылку из вашей сборки на другую сборку и обладать физическим доступом к этой другой сборке. В зависимости от инструмента разработки, применяемого для построения приложений .NET Core, вам будут доступны различные способы информирования компилятора о том, какие сборки должны включаться в цикл компиляции.

Чтобы приступить к разработке приложений с помощью C# 9 и .NET 5 (в среде Windows, macOS или Linux), необходимо установить комплект .NET 5 SDK (который также устанавливает исполняющую среду .NET 5). Все установочные файлы для .NET и .NET Core расположены на удобном веб-сайте www.dot.net. Находясь на домашней странице, щелкните на кнопке Download (Загрузить) и затем на ссылке All .NET downloads (Все загрузочные файлы .NET) под заголовком .NET. После щелчка на ссылке All .NET downloads вы увидите две LTS-версии .NET Core (2.1 и 3.1) и ссылку на .NET 5.0. Щелкните на ссылке .NET 5.0 (recommended) (.NET 5.0 (рекомендуется)). На появившейся странице выберите комплект .NET 5 SDK, который подходит для вашей ОС. В примерах книги предполагается, что вы установите SDK для .NET Core версии 5.0.100 или выше, что также приведет к установке исполняющих сред .NET, ASP.NET и .NET Desktop (в Windows).

На момент написания книги актуальной версией .NET 5 SDK была 5.0.100. Первые два числа (5.0) указывают наивысшую версию исполняющей среды, на которую можно нацеливаться, в данном случае — 5.0. Это означает, что SDK также поддерживает разработку для более низких версий исполняющей среды, таких как .NET Core 3.1. Следующее число (1) представляет квартальный диапазон средств. Поскольку речь идет о первом квартале года выпуска, оно равно 1. Последние два числа (00) указывают версию исправления. Если вы добавите в уме разделитель к версии, думая о текущей версии, как о 5.0.1.00, то ситуация чуть прояснится.

 Чтобы проверить, успешно ли установлены комплект SDK и исполняющая среда, откройте окно командной подсказки и воспользуйтесь интерфейсом командной строки (CLI) .NET 5, т.е. dotnet.ехе. В интерфейсе CLI доступны параметры и команды SDK. Команды включают создание, компиляцию, запуск и опубликование проектов и решений; позже в книге вы встретите примеры применения упомянутых команд. В этом разделе мы исследуем параметры SDK, которых четыре, как показано в табл. 2.1.

Параметр --version позволяет отобразить наивысшую версию комплекта SDK, установленного на компьютере, или версию, которая указана в файле global.json, расположенном в текущем каталоге или выше него. Проверьте версию .NET 5 SDK, установленную на компьютере, за счет ввода следующей команды:

dotnet -- version

Для настоящей книги результатом должен быть 5.0.100 (или выше).

Чтобы просмотреть все исполняющие среды .NET Core, установленные на компьютере, введите такую команду:

dotnet --list-runtimes

Существует три разных исполняющих среды:

• Microsoft.AspNetCore.Арр (для построения приложений ASP.NET Core);

• Microsoft.NETCore.Арр (основная исполняющая среда для .NET Core);

• Microsoft.WindowsDesktop.Арр (для построения приложений Windows Forms и WPF).

В случае если ваш компьютер работает под управлением ОС Windows, тогда версией каждой из перечисленных исполняющих сред должна быть 5.0.0 (или выше). Для ОС, отличающихся от Windows, понадобятся первые две исполняющих среды, Microsoft.NETCore.Арр и Microsoft.AspNetCore.Арр, версией которых тоже должна быть 5.0.0 (или выше).

Наконец, чтобы увидеть все установленные комплекты SDK, введите следующую команду:

dotnet --list-sdks

И снова версией должна быть 5.0.100 (или выше).

 Если вам необходимо привязать свой проект к более ранней версии .NET Core SDK, то можно воспользоваться файлом global.json, который создается с помощью такой команды:

Если у вас есть опыт построения приложений с применением технологий Microsoft предшествующих версий, то вполне вероятно, что вы знакомы с Visual Studio. На протяжении времени жизни продукта названия редакций и наборы функциональных возможностей менялись, но с момента выпуска .NET Core остались неизменными. Инструмент Visual Studio доступен в виде следующий редакций (для Window и Маc):

• Visual Studio 2019 Community (бесплатная);

• Visual Studio 2019 Professional (платная);

• Visual Studio 2019 Enterprise (платная).

Еще одной популярной IDE-средой от Microsoft следует считать Visual Studio Code (VSC). Продукт VSC — относительно новая редакция в семействе Microsoft. Он является бесплатным и межплатформенным, поставляется с открытым кодом и получил широкое распространение среди разработчиков в экосистеме .NET Core и за ее пределами. Как должно быть понятно из названия, в центре внимания Visual Studio Code находится код вашего приложения. Продукт VSC лишен многих встроенных средств, входящих в состав Visual Studio. Однако существуют дополнительные средства, которые можно добавить к VSC через расширения, что позволяет получить быструю IDE-среду, настроенную для имеющегося рабочего потока. Многочисленные примеры в данной книге были собраны и протестированы с помощью VSC. Загрузить VSC можно по ссылке https://code.visualstudio.com/download.

После установки VSC вы наверняка захотите добавить расширение С#, которое доступно по следующей ссылке:

https://marketplace.visualstudio.com/items?itemName=ms-dotnettools.csharp

Документация .NET Core и C# представляет собой исключительно хороший, понятный и насыщенный полезной информацией источник. Учитывая огромное количество предопределенных типов .NET (их тысячи), вы должны быть готовы засучить рукава и тщательно исследовать предлагаемую документацию. Вся документация от Microsoft доступна по ссылке https://docs.microsoft.com/ru-ru/dotnet/.

В первой половине книги вы будете чаще всего использовать документацию по C# и документацию по .NET Core, которые доступны по следующим ссылкам:

https://docs.microsoft.com/ru-ru/dotnet/csharp/

https://docs.microsoft.com/ru-ru/dotnet/fundamentals/

Язык C# требует, чтобы вся логика программы содержалась внутри определения типа (вспомните из главы 1, что тип — это общий термин, относящийся к любому члену из множества {класс, интерфейс, структура, перечисление, делегат}). В отличие от многих других языков программирования создавать глобальные функции или глобальные элементы данных в C# невозможно. Взамен все данные-члены и все методы должны находиться внутри определения типа. Первым делом создадим новое пустое решение под названием Chapter3_AllProject.sln, которое содержит проект консольного приложения по имени SimpleCSharpApp.

Выберите в Visual Studio шаблон Blank Solution (Пустое решение) в диалоговом окне Create a new project (Создание нового проекта). После открытия решения щелкните правой кнопкой мыши на имени решения в окне Solution Explorer (Проводник решений) и выберите в контекстном меню пункт Add►New Project (Добавить►Новый проект). Выберите шаблон ConsoleАрр (.NET Core) (Консольное приложение (.NET Core)) на языке С#, назначьте ему имя SimpleCSharpApp и щелкните на кнопке Create (Создать). Не забудьте выбрать в раскрывающемся списке Target framework (Целевая инфраструктура) вариант .NET 5.0.

Введите в окне командной строки следующие команды:

По умолчанию Visual Studio будет генерировать метод Main() с возвращаемым значением void и одним входным параметром в виде массива строк. Тем не менее, это не единственно возможная форма метода Main(). Точку входа в приложение разрешено создавать с использованием любой из приведенных ниже сигнатур (предполагая, что они содержатся внутри определения класса или структуры С#):

Хотя и верно то, что до выхода версии C# 9.0 все приложения .NET Core на языке C# обязаны были иметь метод Main(), в C# 9.0 появились операторы верхнего уровня, которые устраняют необходимость в большей части формальностей, связанных с точкой входа в приложение С#. Вы можете избавиться как от класса (Program), так и от метода Main(). Чтобы взглянуть на это в действии, приведите содержимое файла Program.cs к следующему виду:

Хотя в подавляющем большинстве случаев методы Main() или операторы верхнего уровня будут иметь void в качестве возвращаемого значения, возможность возвращения int (или Task<int>) сохраняет согласованность C# с другими языками, основанными на С. По соглашению возврат значения 0 указывает на то, что программа завершилась успешно, тогда как любое другое значение (вроде -1) представляет условие ошибки (имейте в виду, что значение 0 автоматически возвращается даже в случае, если метод Main() прототипирован как возвращающий void).

При использовании операторов верхнего уровня (следовательно, в отсутствие метода Main()) в случае, если исполняемый код возвращает целое число, то оно и будет кодом возврата. Если же явно ничего не возвращается, тогда все равно обеспечивается возвращение значения 0, как при явном применении метода Main().

В ОС Windows возвращаемое приложением значение сохраняется в переменной среды по имени %ERRORLEVEL%. Если создается приложение, которое программно запускает другой исполняемый файл (тема, рассматриваемая в главе 19), тогда получить значение %ERRORLEVEL% можно с применением свойства ExitCode запущенного процесса.

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

Теперь, когда вы лучше понимаете, что собой представляет возвращаемое значение метода Main() или операторов верхнего уровня, давайте посмотрим на входной массив строковых данных. Предположим, что приложение необходимо модифицировать для обработки любых возможных параметров командной строки. Один из способов предусматривает применение цикла for языка С#. (Все итерационные конструкции языка C# более подробно рассматриваются в конце главы.)

В реальности конечный пользователь при запуске программы имеет возможность предоставлять аргументы командной строки. Тем не менее, указывать допустимые флаги командной строки также может требоваться во время разработки в целях тестирования программы. Чтобы сделать это в Visual Studio, щелкните правой кнопкой на имени проекта в окне Solution Explorer, выберите в контекстном меню пункт Properties (Свойства), в открывшемся окне свойств перейдите на вкладку Debug (Отладка) в левой части окна, введите желаемые аргументы в текстовом поле Application arguments (Аргументы приложения) и сохраните изменения (рис. 3.1).

Указанные аргументы командной строки будут автоматически передаваться методу Main() во время отладки или запуска приложения внутри IDE-среды Visual Studio.

Почти во всех примерах приложений, создаваемых в начальных главах книги, будет интенсивно применяться класс System.Console. Справедливо отметить, что консольный пользовательский интерфейс может выглядеть не настолько привлекательно, как графический пользовательский интерфейс либо интерфейс веб-приложения. Однако ограничение первоначальных примеров консольными программами позволяет сосредоточиться на синтаксисе C# и ключевых аспектах платформы .NET 5, не отвлекаясь на сложности, которыми сопровождается построение настольных графических пользовательских интерфейсов или веб-сайтов.

Класс Console инкапсулирует средства манипулирования потоками ввода, вывода и ошибок для консольных приложений. В табл. 3.2 перечислены некоторые (но определенно не все) интересные его члены. Как видите, в классе Console имеется ряд членов, которые оживляют простые приложения командной строки, позволяя, например, изменять цвета фона и переднего плана и выдавать звуковые сигналы (еще и различной частоты).

Дополнительно к членам, описанным в табл. 3.2, в классе Console определен набор методов для захвата ввода и вывода; все они являются статическими и потому вызываются с префиксом в виде имени класса (Console). Как вы уже видели, метод WriteLine() помещает в поток вывода строку текста (включая символ возврата каретки). Метод Write() помещает в поток вывода текст без символа возврата каретки. Метод ReadLine() позволяет получить информацию из потока ввода вплоть до нажатия клавиши <Enter>. Метод Read() используется для захвата одиночного символа из потока ввода.

Чтобы реализовать базовый ввод-вывод с применением класса Console, создайте новый проект консольного приложения по имени BasicConsoleIO и добавьте его в свое решение, используя следующие команды:

В ходе изучения нескольких начальных глав вы могли заметить, что внутри различных строковых литералов часто встречались такие конструкции, как {0} и {1}. Платформа .NET 5 поддерживает стиль форматирования строк, который немного напоминает стиль, применяемый в операторе printf() языка С. Попросту говоря, когда вы определяете строковый литерал, содержащий сегменты данных, значения которых остаются неизвестными до этапа выполнения, то имеете возможность указывать заполнитель, используя синтаксис с фигурными скобками. Во время выполнения все заполнители замещаются значениями, передаваемыми методу Console.WriteLine().

Первый параметр метода WriteLine() представляет строковый литерал, который содержит заполнители, определяемые с помощью {0}, {1}, {2} и т.д. Запомните, что порядковые числа заполнителей в фигурных скобках всегда начинаются с 0. Остальные параметры WriteLine() — это просто значения, подлежащие вставке вместо соответствующих заполнителей.

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

Символы форматирования добавляются к заполнителям в виде суффиксов после двоеточия (например, {0:С}, {1:d}, {2:X}). В целях иллюстрации измените метод Main() для вызова нового вспомогательного метода по имени FormatNumericalData(), реализация которого в классе Program форматирует фиксированное числовое значение несколькими способами.

// Демонстрация применения некоторых дескрипторов формата,

static void FormatNumericalData()

{

  Console.WriteLine("The value 99999 in various formats:");

  Console.WriteLine("c format: {0:c}", 99999);

  Console.WriteLine("d9 format: {0:d9}", 99999);

  Console.WriteLine("f3 format: {0:f3}", 99999);

  Console.WriteLine("n format: {0:n}", 99999);

  // Обратите внимание, что использование для символа

  // шестнадцатеричного формата верхнего или нижнего регистра

  // определяет регистр отображаемых символов.

  Console.WriteLine("E format: {0:E}", 99999);

  Console.WriteLine("e format: {0:e}", 99999);

  Console.WriteLine("X format: {0:X}", 99999);

  Console.WriteLine("x format: {0:x}", 99999);

}

Ниже показан вывод, получаемый в результате вызова метода FormatNumericalData().

The value 99999 in various formats:

c format: $99,999.00

d9 format: 000099999

f3 format: 99999.000

n format: 99,999.00

E format: 9.999900E+004

e format: 9.999900e+004

X format: 1869F

x format: 1869f

В дальнейшем будут встречаться и другие примеры форматирования; если вас интересуют дополнительные сведения о форматировании строк, тогда обратитесь в документацию по .NET Core (https://docs.microsoft.com/ru-ru/dotnet/standard/base-types/formatting-types).

Напоследок следует отметить, что применение символов форматирования строк не ограничено консольными приложениями. Тот же самый синтаксис форматирования может быть использован при вызове статического метода string.Format(). Прием удобен, когда необходимо формировать выходные текстовые данные во время выполнения в приложении любого типа (например, в настольном приложении с графическим пользовательским интерфейсом, веб-приложении ASP.NET Core и т.д.).

Метод string.Format() возвращает новый объект string, который форматируется согласно предоставляемым флагам. Приведенный ниже код форматирует строку с шестнадцатеричным представлением числа:

Подобно любому языку программирования для фундаментальных типов данных в C# определены ключевые слова, которые используются при представлении локальных переменных, переменных-членов данных в классах, возвращаемых значений и параметров методов. Тем не менее, в отличие от других языков программирования такие ключевые слова в C# являются чем-то большим, нежели просто лексемами, распознаваемыми компилятором. В действительности они представляют собой сокращенные обозначения полноценных типов из пространства имен System. В табл. 3.4 перечислены системные типы данных вместе с их диапазонами значений, соответствующими ключевыми словами C# и сведениями о совместимости с общеязыковой спецификацией (CLS). Все системные типы находятся в пространстве имен System, которое ради удобства чтения не указывается.

На заметку! Вспомните из главы 1, что совместимый с CLS код .NET Core может быть задействован в любом другом управляемом языке программирования  .NET Core. Если в программах открыт доступ к данным, не совместимым с CLS, тогда другие языки .NET Core могут быть не в состоянии их использовать.

Все внутренние типы данных поддерживают так называемый стандартный конструктор (см. главу 5). Это средство позволяет создавать переменную, используя ключевое слово new, что автоматически устанавливает переменную в ее стандартное значение:

• переменные типа bool устанавливаются в false;

• переменные числовых типов устанавливаются в 0 (или в 0.0 для типов с плавающей точкой);

• переменные типа char устанавливаются в пустой символ;

• переменные типа BigInteger устанавливаются в 0;

• переменные типа DateTime устанавливаются в 1/1/0001 12:00:00 AM;

• объектные ссылки (включая переменные типа string) устанавливаются в null.

Интересно отметить, что даже элементарные типы данных в.NET Core организованы в иерархию классов. Если вы не знакомы с концепцией наследования, тогда найдете все необходимые сведения в главе 6. А до тех пор просто знайте, что типы, находящиеся в верхней части иерархии классов, предоставляют определенное стандартное поведение, которое передается производным типам. На рис. 3.2 показаны отношения между основными системными типами.

Обратите внимание, что каждый тип в конечном итоге оказывается производным от класса System.Object, в котором определен набор методов (например, ToString(), Equals(), GetHashCode()), общих для всех типов из библиотек базовых классов .NET Core (упомянутые методы подробно рассматриваются в главе 6).

Также важно отметить, что многие числовые типы данных являются производными от класса System.ValueType. Потомки ValueType автоматически размещаются в стеке и по этой причине имеют предсказуемое время жизни и довольно эффективны. С другой стороны, типы, в цепочке наследования которых класс System.ValueType отсутствует (такие как System.Type, System.String, System.Array, System.Exception и System.Delegate), размещаются не в стеке, а в куче с автоматической сборкой мусора. (Более подробно такое различие обсуждается в главе 4.)

Не вдаваясь глубоко в детали классов System.Object и System.ValueType, важно уяснить, что поскольку любое ключевое слово C# (скажем, int) представляет собой просто сокращенное обозначение соответствующего системного типа (в данном случае System.Int32), то приведенный ниже синтаксис совершенно законен. Дело в том, что тип System.Int32 (int в С#) в конечном итоге является производным от класса System.Object и, следовательно, может обращаться к любому из его открытых членов, как продемонстрировано в еще одной вспомогательной функции:

static void ObjectFunctionality()

{

  Console.WriteLine("=> System.Object Functionality:");

  // Ключевое слово int языка C# - это в действительности сокращение для

  // типа System.Int32, который наследует от System.Object следующие члены:

  Console.WriteLine("12.GetHashCode() = {0}", 12.GetHashCode());

  Console.WriteLine("12.Equals(23) = {0}", 12.Equals(23));

  Console.WriteLine("12.ToString() = {0}", 12.ToString());

  Console.WriteLine("12.GetType() = {0}", 12.GetType());

  Console.WriteLine();

}

Вызов метода ObjectFunctionality() внутри Main() дает такой вывод:

=> System.Object Functionality:

12.GetHashCode() = 12

12.Equals(23) = False

12.ToString() = 12

12.GetType() = System.Int32

Продолжая эксперименты со встроенными типами данных С#, следует отметить, что числовые типы .NET Core поддерживают свойства MaxValue и MinValue, предоставляющие информацию о диапазоне значений, которые способен хранить конкретный тип. В дополнение к свойствам MinValue и MaxValue каждый числовой тип может определять собственные полезные члены. Например, тип System.Double позволяет получать значения для бесконечно малой (эпсилон) и бесконечно большой величин (которые интересны тем, кто занимается решением математических задач). В целях иллюстрации рассмотрим следующую вспомогательную функцию:

 Рассмотрим тип данных System.Boolean. К допустимым значениям, которые могут присваиваться типу bool в С#, относятся только true и false. С учетом этого должно быть понятно, что System.Boolean не поддерживает свойства MinValue и MaxValue, но вместо них определяет свойства TrueString и FalseString (которые выдают, соответственно, строки "True" и "False").

Вот пример:

Текстовые данные в C# представляются посредством ключевых слов string и char, которые являются сокращенными обозначениями для типов System.String и System.Char (оба основаны на Unicode). Как вам уже может быть известно, string представляет непрерывное множество символов (например, "Hello"), a char — одиночную ячейку в string (например, 'Н').

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

Типы данных .NET Core предоставляют возможность генерировать переменную лежащего в основе типа, имея текстовый эквивалент (например, путем выполнения разбора) Такой прием может оказаться исключительно удобным, когда вы хотите преобразовывать в числовые значения некоторые вводимые пользователем данные (вроде элемента, выбранного в раскрывающемся списке внутри графического пользовательского интерфейса) Ниже приведен пример метода ParseFromStrings(), содержащий логику разбора:

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

В пространстве имен System определено несколько полезных типов данных, для которых отсутствуют ключевые слова языка С#, в том числе структуры DateTime и TimeSpan. (При желании можете самостоятельно ознакомиться с типом System.Void, показанным на рис. 3.2.)

Тип DateTime содержит данные, представляющие специфичное значение даты (месяц, день, год) и времени, которые могут форматироваться разнообразными способами с применением членов этого типа. Структура TimeSpan позволяет легко определять и трансформировать единицы времени, используя различные ее члены.

В пространстве имен System.Numerics определена структура по имени BigInteger. Тип данных BigInteger может применяться для представления огромных числовых значений, которые не ограничены фиксированным верхним или нижним пределом.

Временами при присваивании числовой переменной крупных чисел цифр оказывается больше, чем способен отслеживать глаз. В версии C# 7.0 был введен разделитель групп цифр в виде символа подчеркивания (_) для данных int, long, decimal, double или шестнадцатеричных типов. Версия C# 7.2 позволяет шестнадцатеричным значениям (и рассматриваемым далее новым двоичным литералам) после открывающего объявления начинаться с символа подчеркивания. Ниже представлен пример применения нового разделителя групп цифр:

В версии C# 7.0 появился новый литерал для двоичных значений, которые представляют, скажем, битовые маски. Новый разделитель групп цифр работает с двоичными литералами, а в версии C# 7.2 разрешено начинать двоичные и шестнадцатеричные числа начинать с символа подчеркивания. Теперь двоичные числа можно записывать ожидаемым образом, например:

Класс System.String предоставляет набор членов, вполне ожидаемый от служебного класса такого рода, например, члены для возвращения длины символьных данных, поиска подстрок в текущей строке и преобразования символов между верхним и нижним регистрами. В табл. 3.5 перечислены некоторые интересные члены этого класса.

Работа с членами System.String выглядит вполне ожидаемо. Просто объявите переменную string и задействуйте предлагаемую типом функциональность через операцию точки. Не следует забывать, что несколько членов System.String являются статическими и потому должны вызываться на уровне класса (а не объекта).

Создайте новый проект консольного приложения по имени FunWithStrings и добавьте его в свое решение. Замените существующий код следующим кодом:

Переменные string могут соединяться вместе для построения строк большего размера с помощью операции + языка С#. Как вам должно быть известно, такой прием формально называется конкатенацией строк. Рассмотрим следующую вспомогательную функцию:

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

Например, чтобы вывести строку, которая содержит символ табуляции после каждого слова, можно задействовать управляющую последовательность \t. Или предположим, что нужно создать один строковый литерал с символами кавычек внутри, второй — с определением пути к каталогу и третий — со вставкой трех пустых строк после вывода символьных данных. Для этого можно применять управляющие последовательности \", \\ и \n. Кроме того, ниже приведен еще один пример, в котором для привлечения внимания каждый строковый литерал сопровождается звуковым сигналом:

static void EscapeChars()

{

  Console.WriteLine("=> Escape characters:\a");

  string strWithTabs = "Model\tColor\tSpeed\tPet Name\a ";

  Console.WriteLine(strWithTabs);

  Console.WriteLine("Everyone loves \"Hello World\"\a ");

  Console.WriteLine("C:\\MyApp\\bin\\Debug\a ");

  // Добавить четыре пустых строки и снова выдать звуковой сигнал.

  Console.WriteLine("All finished.\n\n\n\a ");

  Console.WriteLine();

}

Синтаксис с фигурными скобками, продемонстрированный ранее в главе ({0}, {1} и т.д.), существовал в рамках платформы .NET еще со времен версии 1.0. Начиная с выхода версии C# 6, при построении строковых литералов, содержащих заполнители для переменных, программисты на C# могут использовать альтернативный синтаксис. Формально он называется интерполяцией строк. Несмотря на то что выходные данные операции идентичны выходным данным, получаемым с помощью традиционного синтаксиса форматирования строк, новый подход позволяет напрямую внедрять сами переменные, а не помещать их в список с разделителями-запятыми.

Взгляните на показанный ниже дополнительный метод в нашем классе Program(StringInterpolation()), который строит переменную типа string с применением обоих подходов:

Когда вы добавляете к строковому литералу префикс @, то создаете так называемую дословную строку. Используя дословные строки, вы отключаете обработку управляющих последовательностей в литералах и заставляете выводить значения string в том виде, как есть. Такая возможность наиболее полезна при работе со строками, представляющими пути к каталогам и сетевым ресурсам. Таким образом, вместо применения управляющей последовательности \\ можно поступить следующим образом:

Один из интересных аспектов класса System.String связан с тем, что после присваивания объекту string начального значения символьные данные не могут быть изменены. На первый взгляд это может показаться противоречащим действительности, ведь строкам постоянно присваиваются новые значения, а в классе System.String доступен набор методов, которые, похоже, только то и делают, что изменяют символьные данные тем или иным образом (скажем, преобразуя их в верхний или нижний регистр). Тем не менее, присмотревшись внимательнее к тому, что происходит "за кулисами", вы заметите, что методы типа string на самом деле возвращают новый объект string в модифицированном виде:

С учетом того, что тип string может оказаться неэффективным при необдуманном использовании, библиотеки базовых классов .NET Core предоставляют пространство имен System.Text. Внутри этого (относительно небольшого) пространства имен находится класс StringBuilder. Как и System.String, класс StringBuilder определяет методы, которые позволяют, например, заменять или форматировать сегменты. Для применения класса StringBuilder в файлах кода C# первым делом понадобится импортировать следующее пространство имен в файл кода (что в случае нового проекта Visual Studio уже должно быть сделано):

Теперь, когда вы понимаете, как работать с внутренними типами данных С#, давайте рассмотрим связанную тему преобразования типов данных. Создайте новый проект консольного приложения по имени TypeConversions и добавьте его в свое решение. Приведите код к следующему виду:

Давайте начнем с выяснения роли ключевого слова checked. Предположим, что в класс Program добавлен новый метод, который пытается просуммировать две переменные типа byte, причем каждой из них было присвоено значение, не превышающее допустимый максимум (255). По идее после сложения значений этих двух переменных (с приведением результата int к типу byte) должна быть получена точная сумма.

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

Для активизации флага /checked в Visual Studio откройте окно свойств проекта. В раскрывающемся списке Configuration (Конфигурация) выберите вариант All Configurations (Все конфигурации), перейдите на вкладку Build (Сборка) и щелкните на кнопке Advanced (Дополнительно). В открывшемся диалоговом окне отметьте флажок Check for arithmetic overflow (Проверять арифметическое переполнение), как показано на рис. 3.3. Включить эту настройку может быть удобно при создании отладочной версии сборки. После устранения всех условий переполнения в кодовой базе флаг /checked можно отключить для последующих построений (что приведет к увеличению производительности приложения).

На заметку! Если вы не выберете в списке вариант All Configurations, тогда настройка будет применена только к конфигурации, выбранной в текущий момент (т.е  Debug (Отладка) или Release (Выпуск)). 

А теперь предположим, что проверка переполнения и потери значимости включена в масштабах проекта, но есть блок кода, в котором потеря данных приемлема. Как с ним быть? Учитывая, что действие флага /checked распространяется на всю арифметическую логику, в языке C# имеется ключевое слово unchecked, которое предназначено для отмены генерации исключений, связанных с переполнением, в отдельных случаях. Ключевое слово unchecked используется аналогично checked, т.е. его можно применять как к единственному оператору, так и к блоку операторов:

Вплоть до этого места в главе при объявлении каждой локальной переменной явно указывался ее тип данных:

Неявное объявление Как утверждалось ранее, целые числа по умолчанию получают тип int, а числа с плавающей точкой — тип double. Создайте новый метод по имени DeclareImplicitNumerics и поместите в него показанный ниже код, в котором демонстрируется неявное объявление чисел:

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

Имейте в виду, что неявная типизация локальных переменных дает в результате строго типизированные данные. Таким образом, применение ключевого слова var в языке C# — не тот же самый прием, который используется в сценарных языках (вроде JavaScript или Perl). Кроме того, ключевое слово var — это не тип данных Variant в СОМ, когда переменная на протяжении своего времени жизни может хранить значения разных типов (что часто называют динамической типизацией).

Теперь, когда вы видели синтаксис, используемый для объявления неявно типизируемых локальных переменных, вас наверняка интересует, в каких ситуациях его следует применять. Прежде всего, использование var для объявления локальных переменных просто ради интереса особой пользы не принесет. Такой подход может вызвать путаницу у тех, кто будет изучать код, поскольку лишает возможности быстро определить лежащий в основе тип данных и, следовательно, затрудняет понимание общего назначения переменной. Поэтому если вы знаете, что переменная должна относиться к типу int, то сразу и объявляйте ее с типом int!

Однако, как будет показано в начале главы 13, в наборе технологий LINQ применяются выражения запросов, которые могут выдавать динамически создаваемые результирующие наборы, основанные на формате самого запроса. В таких случаях неявная типизация исключительно удобна, потому что вам не придется явно определять тип, который запрос может возвращать, а в ряде ситуаций это вообще невозможно. Посмотрите, сможете ли вы определить лежащий в основе тип данных subset в следующем примере кода LINQ?