Г. Шилдт - Полный справочник по C++ (1109478), страница 87
Текст из файла (страница 87)
В следующем фрагменте указателю йр присваивается адрес объекта, на который ссылается указатель Ьр, только если этот объект действительно является экземпляром класса Рек1чей. Вазе *Ьр; Ревьчей *йр; // 11(сурезй(*Ьр) == еуре1й(Рег1чей) ) с)р = (Рек1чей *) Ьр," В этом фрагменте использустся традиционный оператор приведения.
Это вполне безопасно, поскольку оператор 1В проверяет легальность приведения с помощью оператора еуре1й. Однако в этой ситуации лучше заменить оператор еуре1й и уСЛовнЫй оператор 1В оператором йупалЫс саве. и йр = йупашзс савс<Рех.1чей *> (Ьр) Часть 11. Язык С++ Поскольку оператор йупашьс саве выполняется успешно, только если приводимый объект является либо зкзсмпляром результнрукнпего класса, либо обьектом класса, производного от результируюшего, указатель йр содержит либо нулевой указатель, либо адрес обьектов типа Рогачей. Поскольку оператор йупавй.с саве выполняется успешно, только если приведение является легальным, его применение иногда упрощает ситуацию. Замену оператора еуреай оператором йуваи1с саве иллюстрирует следующая программа.
В ней одна н та же операция выполняется дважды: сначала— с помоШью оператора суреай, а затем — оператора йупаш5.с санс. // Замена оператора Суреый оператором йупат1с саве. $1пс1ийе <говггеаш> $1пс1нйе <Гуре1пго> ив1пд оашеярасе всй/ с1авя Вазе роЬ11с: ч1гг оа1 чоай 1 [) () ): с1авв Регачей : риЬ11с Вазе риЬ11с: чотй йег1чейоп1у() ( соог « "Объект класса Рег1чей.[п"; ) ): 1пг ша1п() ( Вазе *Ьр, Ь оЬ; Регачей *йр, й оЬ; // * ** ** // Применение оператора Гуреай // * * Ьр = аЬ оЬ; 11(суре1й(*Ьр) =-.= Гуре1й(Пег гчей) ) йр = (Регйчей *) Ьр; йр->йегачейоп1у(); е1яе сонг « "Приведение типа Вазе к типу Регачей невозможно.тп"; Ьр = ай оЬ; 11(гуре1й(*Ьр) .== Гуреай(оегачей)) [ ( ) ) е г 1 ч е й ~ ) ) йр->йег1чейоп1у(]; ) е1ве соте « "Ошибка, приведение невозможно! то"; // ** * * * // Применение оператора йупаш1с саве // *>****В>*** **>************* >* **** Ьр = аЬ оЬ," йр = йупаш1с савс<Регачей *> (Ьр) 11(йр) йр->йегачейоп1у(); е1ве Глава 22.
Динамическая идентификация типа и операторы приведении соне « "Приведение типа Вазе к тину Оег1чей невозможно. тп"; Ьр = йй оЬ; г)р = г)упалис саве<пег>чей *> (Ьр); Тй(с)р) с)р->бегтчес)Оп1у(): е1ве сонг « "Ошибка, приведение невозможно( 1п"; гегпгп О; ) Как видим, оператор бупаийс саве упрощает логику приведения указателя базового типа к указателю производного типа. | Привадение типа Вазе к типу пегачед невозможно. Объект класса Оегачед. Приведение типа Вазе к типу Оегтчей невозможно. Объект класса Оегачег).
Применение оператора бупа(п(с саа$ к шаблонным классам Оператор йутщшТс саво можно применять к шаблонным классам Рассмотрим пример. // Применение операторв г)упаш1с саве к шаблонным классам. Втпс1пйе <Бовсгеаш> нвтпд пашеврасе вг<); гепр1аге <с1авв Т> с1авв Ншп ( ргогесгей: Т ча).; рцЫТс: Млп!Т х) ( ча1 = х1 ] ч1ггна1 Т десча1 О ( гегнгп ча1; ) // ); гешр1аге <с1авв т> с1авв Бцгнитп: раас мшп<т> ( рпЫТс: Б<)гипш(Т х): Нпш<Т>(х) ( Т цесча1() ( геспгп ча1 * ча1; Тпг шаьп() Ипш<тпе> *Ьр, пншХпг оЬ(2); Бцгмпш<1пг> *п)р, вг)г1пг оЬ(3); Мнш<йоиЫе> гплппонЫе оЬ(3.3); Ьр = г)упаш1с савс<йип<1пг> *> (йвс)гтпг оЫ; 1г(Ьр) ( сонг « "приведение типа Бг)гншп<тпг>* к типу мцш<1пг> « "выполнено успешно.1п"; соне « "Значение равно " « Ьр->Бееча1 О « епг)1; ) е1ве сонг « "Ошибка1п"; сонг « епб1; Часть (1.
Язык С++ с)р = бупашьс савг<яг)гнию«1пг> *> (ьпщп1п» о)>); 1»(др) сои» « 'бшибка1п"; е1ве ( сои» « "Приведение тиоа мипкзп»>* к типу Бцгииш<ап»>*" <« невозможно. 1п"; сои» «< "Приведение указателя на объект базового класса1п"; сои» «< "к указателю на объект производного класса невозможно.хп"; ) сои» « епг)1; )зр = бупашьс сав»<дипк1п»> *> (апипеэои)з1е о)з); ьг()>р) соиГ « 'Ошибка)о"; е1зе сои» « 'приведение типа галп<г)ои)з1е>' к типу млп<ьпг>* невозможно.
1л"; сои» « 'Это два разных типа. 1п ге»игл О; ) Результаты работы этой программы приведены ниже. Приведение типа Бцгнша<дог>* к типу Ниш<ьпг>* выполнено успешно. Значение равно Э Приведение типа Ншп<1пг>* к типу Яцгииш«дпг>* невозможно. Приведение указателя на объект базового класса к указателю на объект производного класса невозможно. Приведение типа Ниш<г)ои)>1е>* к типу Ниш«ьпг>* невозможно.
Это лва разных типа. Основной смысл этого фрагмента заключается я том, что с помощью оператора дупашзс саве нельзя привести указатель на объект одной шабпонной специализации к указателю на экземпляр другой шаблонной специализации. Напомним, что точный тип объекта шаблонного класса определяется типом данных, которые используются при его создании. Таким образом, типы нож<бои)>1е> и жшп<ап»> различаются.
Оператор сопй саа1 Оператор сопвг сав» используется для явного замещения модификаторов сопя» и/или згоза»11е, Результирующий тип должен совпадать с исходным, за исключением атрибутов сопв» и чеза»11е. Чаще псе~ о оператор сопя» саве применяется для удаления модификатора сопв». Общий аид оператора сопв» саве приведен ниже. В сопзг сав»<гуре> (плрг) Здесь параметр гуре задаст результирующий тип приведения, а параметр ехрг является выражением, которое приводится к новому типу. Рассмо~рим программу, демонстрирующую применение оператора сопвг сав».
у/ демонстрация оператора сопя» саве. $1пс1ибе <ьовггеюп> ив»по пашезрасе в»г)," чоЫ вг(гча1(сопя» ьпг *ча1) Глава 22. Динамическая идентификация типа и операторы приведения ( 1пс *р; // Удаление модификатора сопке. р = сопвс савс<апс *> (ча1); *р = *ча1 * *ча1; ) йпс та1пЛ йпс х = 10; сопс « "Значение х перед вызовом: " « х « епг)1; вогча1(йх); соне « "Значение х после вызова: " « х « епо1; гесикп 0; эта программа выводит на экран следующие результаты.
Значение х перед вызовом: 10 Значение х после вызова: 100 Как видим, функция ась та1() изменяет значение переменной х, даже если ес параметр является константным указателем. Кроме того, оператор сопев саве можно использовать лля удаления модификатора сопев у константной ссылки. Например, предыдущую программу можно изменить так, чтобы параметр функции был константной ссылкой. // Применение оператора солне саве к константной ссылке. $1пс1пне <1овскеам> ивйпд павеврасе вМ; чоЫ вцхча1(солне йпе йча1) ( // Удаление моди$икатора сопке у ссылки ча1.
сопке савс<йпс й> (ча1) = ча1 * ча1; йпс вайд () 1пе х = 10; соне « "Значение х перед вызовом: " « х « епг)1; вокча1[х); сопс « "Значение х после вызова: " « х « епг)1; кеспкп 0; ) Программа вычисляет те же результаты, что и в предыдущем случас, и работает лишь благодаря тому, что оператор сопев санс временно удаляет атрибуг сопев у ссылки ха1, позволяя присвоить ей новое значение (в данном случае значение переменной х).
Следует подчеркнуть, что применение оператора сохне саве для удаления атрибута сопле небезопасно. Его следует использовать очень осторожно. Часть И. Язык С++ И последнее: атрибут сопев можно удалить только с помощью оператора солев саве. Операторы аупвлььс саве. всаехс саве и хехпеегргет. саве на атрибут сопев не влияют, Оператор а1абс сает Оператор всасхс саве выполняет неполиморфное приведение Его можно применять для любого стандартного преобразования типов. Проверка приведения в ходе выполнения программы нс производится. Оператор веаеьс савв ИМЕЕТ СпсдуЮШий вид, $ вгагьс саве<(уре>(ехрг) Здесь параметр гуре залает результирующий тип приведения, а параметр егрг — выражение, которое приводится к новому типу Опе()втор веасхс саве, по существу, заменяет исходный оператор приведения.
Просто он выполняет неполиморфнос приведение Например, слслуюшая программа приводит переменную типа хле к типу Поп)ззе. // применение оператора вгаг1с сазе. Фзпс1ице <Ьовегеав> ивьлп сатеврасе вгг)) 1г1Г таьл() ( ьле 1; бог(1=0; х<10; 1+ь) соцг « вгагхс савг<г)ои)з1е> (1) / 3 « гегихл О) ) Оператор геИегрге$ саа1 Оператор гехагегргее санс Прссбразует один тип в совершенно другой.
Например, он может преобразовать указатель на целое число в целое число, а целое число— в указатель. Кроме того„его можно использовать для приведения несовместимых типов указателей. Оператор гехпсегргее саве имеет следующий вид. Г( геьлгегрхег саве<гуре> (ехрг) Здесь параметр /уре задает результирующий тип приведения, а параметр ехрг — выражение, которое приводится к новому типу. Рассмотрим программу, иллюстрирующую применение оператора хеМсегргее савв. // пример, в котором используется оператор геьлгегргег саве.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
