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

MyBaseClass Mine;

Mine = new MyClass(); // все нормально, если MyClass будет производным

// от MyBaseClass

Если желательно, чтобы ссылка ссылалась на произвольный объект (эквивалент void*в C++), можно определить ее как objectв C#, так как C# отображает objectв класс System.Object, из которого выводятся все другие классы.

object Mine2 = new MyClass();

Виртуальные функции поддерживаются в C# таким же образом, как и в C++. Однако в C# существуют некоторые синтаксические отличия, которые созданы, чтобы исключить возможную неоднозначность в C++. Это означает, что некоторые типы ошибок, которые появляются в C++ только во время выполнения, будут идентифицированы в C# во время компиляции.

Отметим также, что в C# классы всегда доступны по ссылке (что эквивалентно доступу через указатель в C++).

Если в C++ требуется, чтобы функция была виртуальной необходимо просто определить ключевое слово virtualв базовом и производном классах. В противоположность этому в C# необходимо объявить функцию как virtualв базовом классе и как overrideв версиях производных классов.

class MyBaseClass {

public virtual void DoSomething(int X) {

// и т.д.

}

// и т.д.

}

class MyClass : MyBaseClass {

public override void DoSomething(int X) {

// и т.д.

}

// и т.д.

}

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

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

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

class MyBaseClass {

public void DoSomething(int X) {

// и т.д.

}

// и т.д.

}

class MyClass : MyBaseClass {

public new void DoSomething(int X) {

// и т.д.

} и т.д.

}

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

В C# можно объявить абстрактную функцию, также как это делается в C++ (в C++ она называются еще чисто виртуальной функцией), но в C# синтаксис будет отличаться: вместо использования =0в конце определения применяется ключевое слово abstract.

C++:

public:

virtual void DoSomething(int X) = 0;

C#:

public abstract void Dosomething(int X);

Как и в C++, можно создать экземпляр класса, только если он сам не содержит абстрактных методов и предоставляет реализации всех абстрактных методов, которые были определены в любом из его базовых классов.

Синтаксис определения структур в C# соответствует синтаксису определения классов.

struct MyStruct {

private SomeField;

public int SomeMethod() {

return 2;

}

}

Наследование и связанные концепции, виртуальные и абстрактные функции не допускаются. В остальном базовый синтаксис идентичен синтаксису классов, за исключением того, что ключевое слово structзаменяет в определении class.

Существуют, однако, различия между структурами и массами, когда дело доходит до создания. В частности, структуры всегда имеют конструктор по умолчанию, который обнуляет все поля, и этот конструктор по-прежнему присутствует, даже если определены другие собственные конструкторы. Также невозможно явно определить конструктор без параметров для замены конструктора по умолчанию. Можно определить только конструкторы с параметрами. В этом отношении структуры в C# отличаются от своих аналогов в C++.