Си++/Объектно-ориентированное программирование: различия между версиями

Полем класса может быть функция:

 

class C

{

void f();

};

 

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

 

f(); // вызовется глобальная f

C::f(); // ошибка

C* ptr;

ptr->f(); // тоже можно

 

Такую функцию можно описать прямо внутри класса, это означает то же, что <tt>inline</tt> для глобальных функций:

 

class C

{

}

};

 

Но можно её описать (т.е. написать тело) и ниже, например, в .cpp при помещении объявления класса в .h:

 

class C

{

printf("We are %p\n", this);

}

 

Такие функции называются «функции-члены» или «методы».

Так как метод всегда зовется для какого-то объекта, ему всегда передается адрес этого объекта. Этот указатель доступен в теле метода как ключевое слово this. Типа псевдо-переменной this — C* const, если метод описан без слова const в конце, и const C* const — иначе:

 

class C

{

}

 

 

Т.е. метод со словом <tt>const</tt> не может изменять свой объект.

* глобалы.

 

class C

{

}

 

 

=== static поля и методы ===

Вот тут <tt>var</tt> — не поле класса, а просто такая хитрая глобальная переменная:

 

class C

{

static int var;

};

 

Её надо обязательно где-то описать, в классе она лишь объявлена:

 

int C::var = 1;

 

Отличия от глобала:

Точно так же <tt>statfunc</tt> — не настоящий метод, а просто такая функция:

 

class C

{

static void statfunc();

};

 

Описывается она так же, как и метод, но в ней не бывает <tt>this</tt> и она не может прямо использовать имена нестатических (настоящих) полей и методов класса.

Возможно:

 

class B

{

int fd;

};

 

Это означает, что в объекте класса <tt>D</tt> есть все поля класса <tt>B (fb)</tt>, плюс ещё и

Возможно указать несколько базовых классов (т.н. «множественное наследование»):

 

class B

{

int fd;

};

 

Тут в объекте <tt>D</tt> будет подобъекты <tt>B</tt> и <tt>B2</tt>, и три поля: <tt>fb</tt>, <tt>fb2</tt> и <tt>fd</tt>.

Представим себе:

 

class B

{

pb->f();

 

 

то в данном случае решение о том, какую функцию звать — <tt>B::f</tt> или <tt>D::f</tt> — принимается на основе известного компилятору типа указателя, т.е. <tt>B::f</tt>.

Эта возможность есть, она выглядит так:

 

 

class B

};

 

 

В этом случае <tt>pb->f()</tt> будет исполнять совсем иной код. Обычно этот код находит указатель на

Допустимо ещё и такое:

 

 

class B

};

 

 

Это так называемая чисто-виртуальная функция. Объект класса, в котором есть такое, не может быть создан напрямую, только как подобъект в классе-наследнике. Такой класс нельзя использовать в объявлениях объектов, но можно в объявлениях указателей на них и в списках базовых классов других классов.

=== Полиморфизм и множественное наследование ===

 

struct B

{

// и потом зовет D::b2, и именно адрес этого "переходничка" и кладут в __vtbl

 

 

См. ассемблерный код, сгенеренный при использовании библиотеки Microsoft ATL — там такое на каждом шагу.

Синтаксически [[w:Конструктор (объектно-ориентированное программирование)|конструктор]] есть метод, имя которого совпадает с именем [[w:Класс (программирование)|класса]]:

 

class C

{

}

};

 

Создание объекта такого класса обязательно требует указания параметра типа <tt>int</tt>, который помещается в поле <tt>i</tt> объекта.

Конструкторы локалов зовутся явно по ходу исполнения операторов в блоке.

Синтаксис для глобалов и локалов:

MyClass c;

MyClass c1(); // одно и то же, используется конструктор без параметров - УЖЕ НЕТ в новом

// конструктора из int во временный объект MyClass, который потом копируется

// в c6 - временный объект исключается компилятором

 

В С++ есть ключевое слово <tt>explicit</tt>, позволяющее запретить неявное преобразование аргумента конструктора. Применяется только к конструкторам.

class MyClass

{

return 0;

}

Вообще, если конструктор имеет 1 параметр, рекомендуется использовать <tt>explicit</tt>, т.к. неявное преобразование типов потенциально опасно.

 

Создание массива по <tt>new</tt> обязательно использует конструктор без параметров.

Иначе же:

MyClass* obj = new MyClass(1, 2);

Скобки круглые (квадратные скобки - массив) и идут за именем класса (скобки за словом <tt>new</tt> передают параметры в <tt>operator new</tt>, а не в конструктор).

 

 

Для таких случаев в синтаксисе конструктора предусмотрен так называемый <tt>ctor</tt>-инициализатор (список инициализации):

class B

{

{

}

 

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

Более того, Си++ не делает разницы в синтаксисе для классовых и неклассовых типов, т.е. синтаксис <tt>long(1)</tt> вполне возможен и опять же есть то же самое, что и <tt>(long)1</tt>. Точно так же можно:

 

long i = 1;

long i(1); // одно и то же

 

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

Для такого разрушения используется [[w:деструктор|деструктор]]. Синтаксически это функция с именем <tt>~MyClass</tt>:

 

class C

{

~C();

};

 

Деструктор вызывается когда-то для любого объекта.