- •6Vpj7-h3cxh-hbtpt-x4t74-3yvy7
- •Оглавление
- •Предисловие
- •Введение
- •1.1. Понятие класса и объекта. Инкапсуляция
- •1.2. Определение классов. Компоненты. Доступность
- •Class_key /*class_id*/ { /*members_list*/ };
- •Value_type class_id::function_id(parameters) {statements}
- •CPoint point1(100,70); // локальный объект
- •Static cPoint point3(50,120); // статический объект
- •Class_id(parameters) /*:initializer_list*/ {/*statements*/}
- •CString(const char *);
- •Delete[] __thematrix;
- •1.4. Обращение к компонентам объектов
- •1.5. Статические и нестатические компоненты классов
- •1.7. Указатель this
- •В опросы для самопроверки
- •2. Механизм наследования. Полиморфизм
- •2.1. Формы наследования. Базовые и производные классы
- •Class_key class_id: inheritance_specifier base_class_id {member_list};
- •2.3. Абстрактные классы
- •2.4. Множественное наследование и виртуальные классы
- •2.5. Преобразование динамических типов. Динамическая идентификация типов
- •Catch ( std::bad_cast & ) { // обработка исключения
- •Return 0;
- •Вопросы для самопроверки
- •3. Дружественные функции и классы
- •3.1. Дружественные функции
- •3.2. Дружественные классы
- •Вопросы для самопроверки
- •4. Механизм вложения
- •4.1. Вложенные классы
- •4.2. Локальные классы
- •Вопросы для самопроверки
- •5. Объектная модель и шаблоны
- •5.1. Определение, описание и инстанцирование шаблонов
- •::Function_id(function_parameter_list) { statements }
- •5.2. Параметры и аргументы шаблонов
- •Class identifier typename identifier
- •// Key, Data – параметры-типы (типы ключа и данных отображения)
- •// Container – контейнер, где содержится информация отображения class сMap {
- •Class MyTemplate
- •Int array[10]; struct Structure { int m; static int sm; } str;
- •5.3. Шаблоны компонентных функций
- •Value_type function_template_id(function_parameter_list) { statements }
- •::Function_template_id(function_parameter_list) { statements }
- •5.4. Специализация шаблонов
- •Вопросы для самопроверки
- •6. Перегрузка операций
- •Value_type operator @ (parameter_list);
- •Value_type operator @ (parameter_list) { statements }
- •Return fail();
- •6.3. Перегрузка бинарных операций
- •Value_type operator @ (parameter); // компонентная функция
- •Value_type operator @ (parameter, parameter); // глобальная функция friend value_type operator @ (parameter, parameter); // дружественная функция
- •Return *this;
- •Return *this;
- •/* Присваиваем собственные данные класса d */
- •6.4. Перегрузка операций управления памятью
- •Typedef void (*new_handler) ();
- •Extern new_handler set_new_handler( new_handler new_p );
- •Void operator delete(void * memory) {
- •... // Специальная обработка пользователя ::operator delete(memory); // освободить память
- •Вопросы для самопроверки
- •7. Механизм исключений
- •Throw expression
- •7.3. Специальные средства поддержки механизма исключений
- •Unexpected_function set_unexpected(unexpected_function func_name);
- •Typedef void (* unexpected_function) ();
- •Extern char * __throwExceptionName; extern char * __throwFileName; extern unsigned __throwLineNumber;
- •Вопросы для самопроверки
- •8. Подсчет ссылок
- •8.1. Назначение механизма подсчета ссылок
- •8.2. Контекстно-независимая модель счетчика ссылок
- •8.4. Внедрение подсчета ссылок в существующий класс
- •Вопросы для самопроверки
- •9. Стандартная библиотека шаблонов (stl)
- •9.1. Назначение и архитектура stl
- •9.2. Последовательные контейнеры
- •Class vector {
- •// Определение итераторов
- •Sort(first,last); // сортировка вектора в диапазоне итераторов
- •Ifstream ifile ("example.In"); ofstream ofile ("example.Out");
- •OutputIterator copy(
- •InputIterator first, InputIterator last, OutputIterator result );
- •// Заполнение списка
- •Operator- (int)
- •Operator- (random access iterator) operator[] (int)
- •InputIterator find(InputIterator first, InputIterator last, const t & value);
- •InputIterator find(InputIterator first, InputIterator last, const t & value)
- •Return first;
- •OutputIterator copy (InputIterator first, InputIterator last, OutputIterator result)
- •Return result;
- •OutputIterator transform (InputIterator first, InputIterator last, OutputIterator result, UnaryOperation op)
- •Return result;
- •Void sort (RandomAccessIterator first, RandomAccessIterator last, Compare comp)
- •__Quick_sort_loop(first, last, comp); __final_insertion_sort(first, last, comp);
- •T accumulate(InputIterator first, InputIterator last, t init, Function f);
- •V.Push_back(2); V.Push_back(5);
- •9.5. Функторы
- •T operator()(const t & X) const { return -X; }
- •9.7. Адаптеры
- •S1.Push(1); s1.Push(5);
- •// Записать в вектор числа 1 2 3 4
- •// Сортировать по неубыванию
- •// Записать в вектор числа 4 6 10 3 13 2
- •Вопросы для самопроверки
- •Заключение
- •Библиографический Список
- •6Vpj7-h3cxh-hbtpt-x4t74-3yvy7
Class MyTemplate
{ /* ... */ };
...
MyTemplate<short,unsigned,CAnotherClass,11> v;
// инстанцируется класс MyTemplate<short,unsigned,CAnotherClass<U>,unsigned=11>
...
MyTemplate<short,unsigned,CAnotherClass> vv;
// инстанцируется класс MyTemplate<short,unsigned,CAnotherClass<U>,unsigned=0>
...
MyTemplate<short,int> vvv;
// инстанцируется класс MyTemplate<short,int,CSomeClass<T>,int=0>
...
MyTemplate<unsigned> vvvv;
// инстанцируется класс MyTemplate<unsigned,unsigned,CSomeClass<T>,unsigned=0>
...
MyTemplate<> vvvvv;
// инстанцируется класс MyTemplate<int,int,CSomeClass<T>,int=0>
Каждому виду параметров шаблона соответствует свой набор аргументов (это, в частности, уже должно быть ясно из приведенного примера и всего изложения). Аргументы тоже делятся на аргументы-типы, шаблонные аргументы и ординарные аргументы.
Аргумент-тип представляет собой идентификатор стандартного или определенного пользователем типа. Этот тип не может быть локальным. Он должен иметь какой-либо из типов компоновки. Наконец, он должен иметь имя.
Шаблонный аргумент – это имя ранее определенного шаблонного класса. Специализации шаблонов в качестве таких аргументов не допускаются.
Ординарный аргумент – это имя или выражение, подставляемое вместо ординарного параметра.
Ординарный параметр может иметь интегральный или перечислимый тип (возможно, с модификаторами), быть ссылкой или указателем на объект или функцию, а также быть указателем на компонент. Если ординарный параметр не является ссылкой, то он представляет собой праводопустимое выражение (соответственно, нельзя получить его адрес, ему нельзя присвоить значение и т.д.). Ординарный параметр не может иметь тип void, он также не может быть вещественным (но может быть указателем или ссылкой на вещественный тип) и не может быть классом.
Ординарный аргумент может представлять собой константное выражение интегрального или перечислимого типа, имя ординарного параметра, имя объекта или функции с внешним типом компоновки (включая шаблоны функций), адрес объекта, функции или шаблона функций с внешним типом компоновки, а также указатель на компонент. Он не может быть ни строковым литералом, ни адресом элемента массива, ни адресом или именем нестатического компонента класса. Также недопустимым ординарным аргументом будет леводопустимое выражение без внешней компоновки. При необходимости выполняются автоматические преобразования типов ординарных аргументов (например, расширение интегральных типов22, преобразование вида «массив–указатель» и др.).
Ниже приводится пример, иллюстрирующий использование различных аргументов шаблонов и перечисленные ограничения.
Пример
template <const int & cnref> struct Template1 { /* ... */ };
...
Template1<100> object1; // ошибка, привязка ссылки к временному объекту
int nvar = 100;
Template1<nvar> object2; // нормально
...
template <int * pn> class Template2 { /* ... */ };
Int array[10]; struct Structure { int m; static int sm; } str;
...
Template2<&array[0]> object3; // ошибка, адрес элемента массива
Template2<&str.m> object4; // ошибка, адрес нестатического компонента
Template2<&Structure::sm> object5; // нормально, адрес статического компонента
...
template <class T, char * psz> class Template3 { /* ... */ };
...
Template3<int,”token”> object6; // ошибка, строковый литерал
char psz[] = “another token”;
Template3<int,psz> object7; // нормально