Симон Робинсон - C# для профессионалов. Том II

Одним исключением является Variant, для которого нет прямого эквивалента в C#. Тип данных Variantв VB является очень общим типом данных, который в некоторой степени существует только, чтобы поддерживать языки сценариев, которые не знают никаких других типов данных. Философия C#, однако, состоит в том, что язык является строго типизированным. Главная идея: если в каждом месте программы явно указывать используемый тип данных, то будет исключен один из основных источников ошибок времени выполнения. В связи с этим тип данных Variantв действительности не соответствует C#. Но все равно существуют ситуации, в которых необходимо ссылаться на переменную, не указывая тип этой переменной, и для этих случаев C# имеет тип данных object. objectв C# очень похож на Objectв VB. Однако в VB Objectссылается конкретно на объект COM и поэтому может использоваться только для ссылок на объекты, которые в терминологии VB означают ссылочные типы данных. Нельзя, например, использовать объектную ссылку для ссылки на Integerили на Single. В C#, напротив, объекты могут использоваться для ссылки на любой тип данных .NET, и так как в C# все типы данных являются типами данных .NET, это означает, что вы в праве преобразовать что угодно в object, включая int, floatи все предопределенные типы данных. В этом смысле objectв C# выполняет роль, аналогичную Variantв VB.

В Visual Basic существует четкое различие между типами данных значений и ссылочными типами данных. Типы данных значений включают большинство предопределенных типов данных: Integer, Single, Doubleи даже Variant(хотя строго говоря Variantможет содержать также ссылку). Ссылочными типами данных являются любые объекты, включая определяемые модули классов и объекты ActiveX. Как можно было заметить из примеров в этом приложении, C# также делает различие между типами данных значений и ссылочными типами данных. Однако C# допускает больше гибкости, позволяя при определении класса найти, что этот класс будет типом данных значений. Это делается с помощью объявления класса структурой(struct). В той степени, насколько это касается C#, структура является по сути специальным типом класса, который представляется как значение, а не как ссылка. Накладные расходы, связанные с созданием экземпляров структур и их разрушением при завершении с ними работы меньше, чем связанные с созданием экземпляров и разрушением классов. Однако C# ограничивает свойства структур. В частности, нельзя выводить классы или другие структуры из структур. Причина этого состоит в том, что структуры предназначены для использования в качестве динамичных, простых объектов, для которых наследование в действительности не подходит. Фактически все предопределенные классы в C# — int, long, float, doubleявляются на самом деле структурами .NET, вот почему на них можно вызывать такие методы, как ToString(). Тип данных stringявляется, однако, ссылочным типом и поэтому в действительности является классом.

Необходимо сказать несколько слов об операторах в C#, так как они действуют несколько иным образом по сравнению с операторами VB, и это может внести путаницу, если программист привык работать с VB. В VB существует на самом деле два типа операторов:

□ Оператор присваивания =, который присваивает значения переменным.

□ Все другие операторы: +, -, *и /, каждый из которых возвращает какое-то значение.

Здесь существует важное различие в том, что ни один из операторов, кроме =, не имеет никакого эффекта в смысле изменения какого-либо значения. Со своей стороны, =присваивает значение, но ничего не возвращает. Не существует оператора, который делает и то и другое.

В C# такого разделения просто не существует. Правило в C# гласит, что все операторы возвращают значение, а некоторые операторы имеют также дополнительный побочный эффект, присваивая некоторое значение переменной. Фактически мы уже видели пример этого, когда рассматривали оператор сложения-присваивания +=:

int А = 5, В = 15;

А += В; // выполняет арифметическую операцию

// и присваивает А результат (20)

Таким образом, +=возвращает, а также присваивает значение. Он возвращает новое значение, которое было присвоено. В связи с этим можно на самом деле написать: