Читать «Справочное руководство по C++» онлайн - страница 75
Бьярн Страустрап
class X {
public:
int b;
};
class Y: public X {
public:
int c;
};
void f()
{
X x1;
Y y1;
x1 = y1; // нормально
y1 = x1; // ошибка
}
В этом примере y1.b присваивается x1.b, а x1.c не копируется.
Копирование одного объекта в другой с помощью стандартной операции копирования или стандартного конструктора копирования не изменяет структуру обоих объектов. Приведем пример:
struct s {
virtual f();
//…
};
struct ss: public s {
f();
//…
};
void f()
{
s a;
ss b;
a = b; // на самом деле выполняется a.s::operator=(b)
b = a; // ошибка
a.f(); // вызов s::f
b.f(); // вызов ss::f
(s&)b = a; // присваивание a b
// на самом деле выполняется ((s&)b).s::operator=(a)
b.f(); // все еще вызов ss::f
}
Вызов a.f() приведет к вызову s::f() (как и должно быть для объекта класса s (§R.10.2)), а вызов b.f() приведет к вызову ss::f() (как и должно быть для объекта класса ss).
R.13 Перегрузка
Говорят, что имя перегружено, если для него задано несколько различных описаний функций в одной области видимости. При использовании имени выбор правильной функции производится путем сопоставления типов формальных параметров с типами фактических параметров, например:
double abs(double);
int abs(int);
abs(1); // вызов abs(int)
abs(1.0); // вызов abs(double)
Поскольку при любом типе T и для самого T, для и T& допустимо одно и то же множество инициализирующих значений, функции, типы параметров которых различаются только использованием, или не использованием ссылки, не могут иметь одинаковые имена, например:
int f(int i)
{
//…
}
int f(int& r) // ошибка: типы функций
{ // недостаточно различны
//…
}
Аналогично, поскольку для любом типе T для самого T, const T и volatile T допустимо одно и то же множество инициализирующих значений, функции, типы параметров которых отличаются только указанной спецификацией, не могут иметь одинаковые имена. Однако, различить const T&, volatile T& и просто T& можно, поэтому допустимы определения функций с одним именем, которые различаются только в указанном отношении. Аналогично, допустимы определения функций с одним именем, типы параметров которых различаются только как типы вида const T*, volatile T* и просто T*.
Не могут иметь одинаковые имена функции, которые отличаются только типом возвращаемого значения.
Не могут иметь одинаковые имена функции-члены, одна из которых статическая, а другая нет (§R.9.4).
С помощью конструкции typedef не создаются новые типы, а только определяется синоним типа (§R.7.1.3), поэтому функции, которые отличаются только за счет использования типов, определенных с помощью typedef, не могут иметь одинаковые имена. Приведем пример:
