С++. Аргументы по умолчанию у шаблонов класса.
Для ознакомления с материалом рекомендуется знать:
В шаблонах классов (но не в шаблонных функций) существует понятие аргумент(ы) шаблона по умолчанию. Работает это по аналогии с аргументами по умолчанию обычных функций.
|
1 2 3 4 5 6 7 8 9 10 11 12 13 |
//Листинг #1 Аргументы по умолчанию у обычных функций #include <iostream> using namespace std; void foo(const int& x=200){ cout << x << "\n"; } int main(){ foo(); //Показывает 200, срабатывает аргумент по умолчанию foo(333); //Показывает 333, срабатывает аргумент назначенный } |
Параметры по умолчанию в шаблонных классах действуют точно по такому же принципу. Сейчас может быть немного тяжеловато. Для примера выбраны контейнеры STL (в старых компиляторах STL нет), но более менее наглядно можно показать используя STL. Не хочу описывать 2 класса-велосипеда, поэтому выбор для описания именно такой, какой он есть.
Итак, делаю класс MyClass, внутри которого размещаю обычную функциональность для работы с вектором. Вот основа для дальнейшего разбора. Это чтобы видно было, от чего отталкиваться будем.
|
1 2 3 4 5 6 7 8 |
//Листинг #2 Пример, основа к этой теме class MyClass{ vector<int> data; public: void push(int const& value); void show(); }; |
Вот такой вот класс (листинг #2) превратим в шаблонный класс и установим шаблонный аргумент по умолчанию для него.
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 |
//Листинг #3 #include <iostream> #include <vector> #include <deque> //Для очереди deque из std::deque using namespace std; template <typename T, typename CONT = vector<T>> // Шаблон с указанием аргумента тип, которого Т и параметром по умолчанию CONT class MyClass{ CONT data; //data - это контейнер, в который мы будем укладывать данные. public: void push(const T& value); //Прототип метода для укладки данных в контейнер void show() const; //Прототип метода для отображения контейнера на экране. }; template <typename T, typename CONT > //Шаблон с аргументом и с аргументом по умолчанию void MyClass<T, CONT>::show() const{ typename CONT::const_iterator it = data.begin(); //Обратите внимание, что здесь у CONT указывается, что это имя типа. for (it=data.begin(); it!=data.end(); ++it) cout << *it << "\t"; //Обход вектора с помощью итератора cout << "\n"; } template <typename T, typename CONT> //Шаблон с аргументом и аргументом по умолчанию void MyClass<T, CONT>::push(const T& value){ data.push_back(value); //Укладываем значение в контейнер data } int main(){ MyClass<int> MyObj1; //Объявили переменную типа MyClass, в угловых скобках указали, что //использовать будем тип int, второй тип не показывали, а значит //сработает аргумент шаблона по умолчанию, как в функциях. MyObj1.push(100); //Укладываем значения в контейнер вовнутрь класса. MyObj1.push(200); MyObj1.push(300); MyObj1.show(); //Выводим данные на экран MyClass<string,deque<string>> MyObj2; //Объявили переменную типа MyClass, //В угловых скобках указали, что тип данных для укладки string //Вторым параметром указали, что контейнером для хранения будет deque, хранящая string MyObj2.push("Test string"); //Укладываем данные MyObj2.push("Two string"); MyObj2.push("three"); MyObj2.show(); //Показываем на экране } |
Такой вот код. В начале шаблонному классу был скормлен только один параметр. Этот параметр пришёл в первый аргумент, в T. Второй параметр мы не отдавали, но в шаблонном классе второй аргумент описан как аргумент по умолчанию, поэтому если мы не отдаём в него параметров, он автоматически присваивает себе то значение, которое ему указано. Так, в этом примере, аргументу по умолчанию было указано, чтобы он принимал тип vector (Вектор, хранящий целые числа). Так и вышло, что в объекте класса MyObj1 образовался вектор для целочисленных значений, в который мы стали записывать данные.
Во втором же случае вторым аргументом в угловых скобках было указано, что второй параметр — это deque, хранящий данные, тип у которых string, а следовательно во второй аргумент шаблонного класса пришёл именно этот deque, он перекрыл тот тип, который был указан по умолчанию. Своего рода захватчик. Поэтому во втором случае в объекте класса образовалась очередь deque, хранящая данные, тип у которых string.
Попробуем создать еще один объект:
|
1 2 3 4 |
//Листинг #a1 MyClass<string,deque<int>> MyObj3; MyObj3.push("25"); //Первый случай MyObj3.push(25); //Второй случай |
Не получится ни на первый случай, ни на второй. В первом случае мы пытаемся записать в очередь deque, предназначенную для хранения int значения с типом string, но нельзя произвести такую запись в С++ простым образом. Во втором случае мы пытаемся записать целое число с типом int в объект-вектор, предназначенный для хранения string, но нельзя произвести такую запись простым образом, нужны дополнительные телодвижения, описывающие конвертацию строки в число. Всё это значит, что нужно следить за типами.
В STL и у std::vector и у std::deque есть одноименный метод: push_back(). Кто незнаком с STL и это не очень понятно, можете считать, что есть два независимых класса. В этих классах есть метод с одинаковым названием. Благодаря тому что в двух независимых классах есть одноимённый метод, выполняющий одну и ту же задачу, мы можем легко производить подмену классов, что и было использовано при демонстрции листинга #3.
Пример я старался показать максимально простой. Но он может сложнее восприниматься, чем мог бы. Буду надеяться, что изложил достаточно доступно.
Случайная книга в электронном формате
Добавить комментарий