Д. Вандевурд, Н.М. Джосаттис - Шаблоны C++. Справочник разработчика (2003) (1160769), страница 77
Текст из файла (страница 77)
Кроме того, здесь применяется функция типа ТуреОр из раздела' 15.2.3 (стр. 295), благодаря которой создается ссылочный тип, даже если тип поля сам является ссылкой. Приведенная ниже полная реализация класса ВцоЧа1ие аналогична обсуждавшейся ранее реализации класса ВпоТ (элементы этой реализации рассматриваются позже). 2).2. Рекурсивное вложение объектов класса Рис 427 // Специализация для 1-го поля обычного дуэта Геир1ате <сурепаие А, сурепке В> с1авв Пиоча1ие<1, Оно<А, В» ( риЬ11с: втатйс Ай дет(рис<А, В> йд) ( гесигп с).ч1(); втатйс А сопвтй дес(рис<А, В> сопят йс)) ( ге сиги с) . ч1 ( ]; // Специализация для 2-го поля обычного дуэта тевр1асе <сурепаве А, Сурепке В> с1авз ВиоЧа1ие<2, Поп<А, В» ( риЬ11с: втатйс Вй дет(рис<А, В> йс)) ( гетигп с).ч2(); ) втатйс В сопвтй дес(Рис<А, В> сопят йс)) ( гесигп с).ч2(); ) // Специализация для И-го поля рекурсивного дуэта теир1асе <1пс Б, сурепке А, турепате В, турепаие С> всгисс ВиоЧа1ие<Я, Оно<А, Био<В,С» > ( всат1с турепаие Туребр<сурепате ВиоТ<И-1, ))по<В,С> >::Кеви1тТ>::КеЕТ дет())но<А, рис<В,С» йд) ( гегигп Пиоча1ие<И-1, Оно<В,С»::дес(с).ч2()); ) всат1с Гурепаие туреОр<сурепаие ))нот<К-1, Рис<В, с> >::Кеви1тТ>::КебСопвГТ дег(рис<А, Оно<В,С» сопвс йс() ( гетигп 0иоЧа1ие<Б-1, рис<В,С»::дет(с).ч2()); ) // Специализация для 1-го поля рекурсивного дуэта Геир1асе <гурепаие А, турепаве В, сурепке с> с1азв пиоча1ие<1, Био<А, Пио<В,С» > ( риЬ11с: втатйс Ай дет())по<А, рис<В,С» йд) гесигп с(.ч1()> Глава 21.
Кортежи 428 зтатйс А сопзгй дев(Рис<А, Рис<В,С» сопев йб) ( гетигп г).ч1(); ) // Специализация для 2-го поля рекурсивного дуэта. Гешр1асе <Гурепаше А, сурепаше В, Сурепаше С> с1авв ()иоча1ие<2, био<А, ))по<В,С» > ( ри)э11с: втатйс Вй дег(био<А, био<В,С» йс)) ( гетигп Й.ч2().ч1(); ) зтатйс В сопвсй дев(био<А, Рис<В,С» сопят йс)) [ тееигп с).ч2() .ч1(); ); Как и а классе РиоТ, а обобщенном определении класса Виоча1ие происходит отображение на функции, возвращающие результат типа чо16. Шаблоны функций могут возвращать выражения типа чо16, благодаря чему функция ча1 ( ) применима к объектам, тип которых отличен от био или которые выходят за рамки допустимых значений )т (зто упрощает реализацию неко)орых шаблонов). // Первичный шаблон для значения Б-го поля (дуэта) Т сешр1аге <Тпт н, турепаше Т> с1авв Виоча1ие ( риЬ11с: вгат1с чойс) дес(Тй) ( // В общем случае ) // значение отсутствует.
зтат1с чойб дев(Т сопзтй) ( ) Как и ранее, сначала специализируется случай нерекурсианых дуэтов. // Специализация для 1-го поля обычного дуэта сешр1асе <Гурепаше А, сурепке В> с1авв Эиоча1ие«1, Рис<А, В» ( ри)э11с: зтатйс Ай дев(био<А, В> йг)) ( гегигп Й.ч1() г ) всасйс А сопвтй дес()зио<А, В> сопит йб) ( гегитп с).ч1()г ) затем мы переходим к рекурсивным дуэтам (здесь снова пригодится шаблон пист). 21.2.
Рекурсивное вложение объектов класса 0ио 429 Гетр1аге <1пс и, сурепке А, сурепазве В, Гурепазве С> с1авв ))иоЧа1ие<М, Вио<А, Вио<В,С» > ( риЫхс: вгагйс гурепазве туребр<гурепазве Виот<ы-1, Вио<в,с»::кеви1гт> ::КейТ дев()зио<А, Био<В,С» йс() гесигп ()иоЧа1ие<И-1, ()по<В,С» ::дес(с).ч2()); ) // Специализация для 1-го поля рекурсивного дуэта Гезвр1асе <Гурепазве А, сурепазве В, Гурепазве С> с1авв ВиоЧа1ие<1, Вио<А, рис<В,С» > ( риЫйс: всас1с Ай дес()зио<А, Рис<В,С» йс)) ( гесигп с).ч1(); ) // Специализация для 2-го поля рекурсивного дуэта Гевр1асе <Гурепалзе А, сурепазве В, сурепазве С> с1авв ПиоЧа1ие<2, Рис<А, Рис<В,С» > риЫйс: всасйс Вй дес(рис<А, Рис<В,С» йс() ( гесигп с).ч2().ч1(); В приведенной ниже программе демонстрируется, как используются дуэты.
// гирр1ев/6ио5.срр ()йпс1ис)е "Жо1.ЬРР" $1пс1ийе "дио2.ЬРР" ()1пс1ис)е "диоЗ.ЬРР" ()1пс1ис)е "с)ио4.ЬРР" $1пс1ис)е "с)ио5.ЬРР" Мйпс1иде <1овггеав> 1пс пайп() ( // Создание и использование обычного дуэта Вио<Ьоо1, 1пс> 6; всс)::соис «б,ч1() «зсб::епа1; вес)::соис « ча1<1>(с() « вМ::еп61; Глава 21. Кортежи $30 /у Создание и использование трио (Эио<Ъоо1, )Эио<1пп, Е1оас» с; ча1<1>(с) = сгие; ча1<2>(с) = 42; ча1<3>(с) = 0.2; зсс)::соис « ча1<1>(с) « зМ::епд1; зМ::соис « ча1<2>(С) « зпс)::епс)1; зЫ::соис «ча1<3>(с) «вЫ::епд1; ) Вызов функции ча1<3>(с) в конечном счете означает следующее: с.ч2 () .ч2 () Поскольку на этапе компиляции рекурсия раскрывается путем инстанцирования.шаблонов, а функции представляют собой обычные встроенные функции доступа, приведенный выше код оказывается весьма эффективным. Хорошие компиляторы преобразуют такие программы в код, эквивю(рнтный коду доступа к полям обычной структуры.
Однако объявление и создание рекурсивных объектов класса )эио все еще выглядит громоздко. Следующий раздел посвящен этому вопросу. 21.3. Создание класса Тнр1е Благодаря вложенной структуре рекурсивных дуэтов к ним удобно применять методы шаблонного метапрограммирования. Однако программисту приятнее работать с интерфейсом этих конструкций в таком виде, будто это интерфейс обычной структуры. Для этого можно определить рекурсивный шабдон Тир1е со многими параметрами, производный от рекурсивного типа )Эио соответствующего размера. Ниже приводится код этого класса, в котором количество полей не превышает пяти, однако создать подобный шаблон с десятью или двенадцатью полями ненамного сложнее. Код шаблона Тир1е можно найти в файле сир1ев у сир1е1.
Ърр. Вели количество полей в объектах типа Тир1е будет меняться, то некоторые параметры типа останутся неиспользованными. По умолчанию эти параметры принадлежат типу ыи11т, который определен именно для этого использования в качестве заполнителя. Тип Ь|и11Т пришлось применить вместо типа чо16 потому, что тип чойй не может выступать в роли параметра. // Тип, представляющий неиспользованные параметры типа с1азв Ии11Т ( ): Шаблон класса тир1е определен как производный от шаблона класса )эио, в котором на один параметр больше (последний параметр имеет тип Яи11т). 21.3. Создание класса Тнр!е 431 // Шаблон Тир1е<> является производным от шаблона био<>, // в котором на один параметр типа Ми11Т больше севр1асе <сурепаве Р1, сурепаве Р2 = Ии11Т, Сурепаве РЗ = Ии11Т, сурепаве Р4 = Ыи11Т, Сурепаве Р5 = Ыи11Т> с1авв Тир1е риЫТс Эио<Р1,еурепаве Тир1е<Р2,РЗ,Р4,Р5,Ыи11Т>::ВавеТ> ( риЫ1с: сурет)ей Оио<Р1,пурепаве Тир1е<рг,РЗ,Р4.Р5,ии11Т>::Ваяет> ВаяеТ; // Конструкторы: Тир1е() () Тир1е(Туребр<Р1>::КеЕСопвСТ а1, Туребр<Р2>::КейСопвСТ а2, Туребр<РЗ>::КебСопвСТ аЗ = Ми11Т(), ТуреОР<Р4>::КейСопвСТ а4 = Ыи11Т(), Туребр<Р5>::КейСопвСТ а5 =.Ыи11Т()) ВаяеТ(а1, Тир1е<Р2, РЗ, Р4, Р5,В)и11Т> (а2,аЗ,а4,а5) ) Обратите внимание, как происходит сдвиг параметров при их передаче в ходе шага рекурсии.
Поскольку в базовом типе, который мы наследуем, определены типы-члены Т1 и Т2, в производном классе вместо обычных идентификаторов Тп используются идентификаторы Рп . з Для завершения рекурсии понадобится специализация, которая относится к нерекурсивному дуэту. // Специализация, завершающая рекурсию наследования Севр1апе <Сурепаве Р1, сурепазве Р2> с1авя Тир1е<Р1,Р2,Ии11Т,Ыи11Т,Ыи11Т> : риЫ1с Вио<Р1,Р2> ( риЫ1с: Суребеб Оио<Р1,Р2> ВавеТ; Тир1е() () Тир1е(Туребр<Р1>::КебСопвСТ а1, Туребр<Р2>::КебСопвСТ а2, Туребр<Ыи11Т>::КеЕСопвСТ = Ыи11Т(), Туребр<Ни11т>::КейСопвст = Ии11Т(), з Согласно правилу поиска имен, принятому в С++.
имена, наследуемые от независимых базовых классов, обрабатываются раньше, чем имена параметров шаблонов. В данном случае это ие должно вызывать проблем, поскольку базовый класс является зависимым. Однако некоторые компиляторы нз имеющихся в наличии во время написания данной книги неправильно воспринимали рассматриваемые ксвструкинн. Глава 21. Кортежи 432 Туребр<Мц11Т»::ВейСопвеТ = 1чи11Т()) ВавеТ(а1, а2) ( ) Ь Например, объявление Тцр1е<Ьоо1,1пк,б1оас,йоиЬ1е» е4(сгце,42,13,1.95993) 1 приводит к цепочке наследований, показанной на рис. 21.1. Рис. 21 1 Тип обьемта Тцр1 е<Ьоо1, 1ле, г1оае, ИоцЬ1 е» Другая специализация предусматривается на случай, когда дуэт на самом деле содержит одно поле.
// Специализация для объекта с одним полем семр1аее <сурепаае Р1» с1авв Тир1е<Р1,1<ц11Т,)яц11Т,Ви11Т,(чц11Т» риЬ11с Вцо<Р1,чокай» рцЬ11с: суре<)ей Вцо<Р1,ноЫ» ВавеТ; Т р1е() () Тир1е(ТуреОР<Р1»::ВейСопваТ а1, Туребр<Ии11Т»::ВейСопвеТ )чи11Т(), Туребр<Иц11Т»::ВеТСопвсТ = Ви11Т(), Туребр<Бц11Т»::йеТСопвСТ = Ии11Т(), ТуреОР<Би11Т»: <йейсопвсТ = Ви11Т()) ВавеТ(а1) ( Наконец, возникает естественное желание имел в своем распораженин функцию, аналогичную определенной а разделе 21.1, стр. 417, функции азаке био (), с помешаю 21.3.
Создание класса Тнр)е 433 которой можно было бы автоматически выводить параметры шаблона. К сожалению, шаблон этой функции приходится объявлять отдельно для объектов класса тцр1е каждого возможного размера, поскольку в шаблонах функций нельзя применять аргументы шаблонов по умолчанию, а применяемые по умолчанию аргументы функций не принимают участия в процессе вывода параметров шаблонов. Ниже приведены определения этих функций. // Функция с одним аргументом Гевр1аге <Гурепаве Т1> 1п11пе Тцр1е<Т1> ваКе Сцр1е(Т1 сопве йа1) ( гееигп Тцр1е<Т1>(а1)1 // Функция с двумя аргументами Севр1аке <Сурепаве Т1, Сурепаве Т2> тп11пе Тцр1е<Т1,Т2> ва)се Сцр1е(Т1 сопвс йа1, Т2 сспвг йа2) ( гегигп Тир1е<т1,т2>(а1,а2); ) // Функция с тремя аргументами Севр1аее <Сурепаве т1, Сурепаве Т2, Сурепаве ТЗ> 1п11пе тцр1е<Т1,Т2,ТЗ> ва)се Сцр1е(Т1 сопве йа1, Т2 сопвс йа2, тз сопвс йаз) ( гегцгп тцр1е<Т1,Т2,ТЗ>(а1,а2,аз) 1 ) // Функция с четырьмя аргументами севр1аее <Сурепаве Т1, СурепавЕ Т2, Сурепаве ТЗ, Сурепаве Т4> 1п11пе Тцр1е<Т1,Т2,ТЗ,Т4> ва)се Сцр1е(Т1 сопвг йа1, Т2 сопвс йа2, ТЗ сопвс йаз, Т4 сопвг йа4) ( гегигп Тцр1е<Т1,Т2,ТЗ,Т4>(а1,а2,аз,а4); ) // Функция с пятью аргументами севр1асе <сурепаве Т1, сурепаве т2, сурепаве тз, Прн нересмотре стандарта С++ это ограннченне, скорее всего, будет сняв (см.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
