// Создать класс, производный от класса В. class С : В { public С() {
Console.WriteLine("Конструирование класса С.");
}
}
class OrderOfConstruction { static void Main() {
С с = new С();
}
}
Вот к какому результату приводит выполнение этой программы.
Конструирование класса А.
Конструирование класса В.
Конструирование класса С.
Как видите, конструкторы вызываются по порядку выведения их классов.
Если хорошенько подумать, то в вызове конструкторов по порядку выведения их классов можно обнаружить определенный смысл. Ведь базовому классу ничего не известно ни об одном из производных от него классов, и поэтому любая инициализация, которая требуется его членам, осуществляется совершенно отдельно от инициализации членов производного класса, а возможно, это и необходимое условие. Следовательно, она должна выполняться первой.
Ссылки на базовый класс и объекты производных классов
Как вам должно быть уже известно, C# является строго типизированным языком программирования. Помимо стандартных преобразований и автоматического продвижения простых типов значений, в этом языке строго соблюдается принцип совместимости типов. Это означает, что переменная ссылки на объект класса одного типа, как правило, не может ссылаться на объект класса другого типа. В качестве примера рассмотрим следующую программу, в которой объявляются два класса одинаковой структуры.
// Эта программа не подлежит компиляции.
class X { int а;
public X(int i) { a = i; }
}
class Y { int a;
public Y(int i) { a = i; }
}
class IncompatibleRef { static void Main() {
X x = new X (10);
X x2;
Y у = new Y (5);
x2 = x; // верно, поскольку оба объекта относятся к одному и тому же типу х2 = у; // ошибка, поскольку это разнотипные объекты
}
}
Несмотря на то что классы X иYв данном примере совершенно одинаковы по своей структуре, ссылку на объект типаYнельзя присвоить переменной ссылки на объект типа X, поскольку типы у них разные. Поэтому следующая строка кода оказывается неверной и может привести к ошибке из-за несовместимости типов во время компиляции.
х2 = у; // неверно, поскольку это разнотипные объекты
Вообще говоря, переменная ссылки на объект может ссылаться только на объект своего типа.
