1629295403-b876e2087bddebea4bc9666fb2377a02 (846199), страница 76
Текст из файла (страница 76)
. .С# решает эту проблему путем выделения памяти для всех объектов вне кучи. Крометого, С# использует сборку мусора для ее возврата в кучу. При работе с С# вы можетезабыть о синем экране смерти из-за пересылки неверного блока памяти в куче.386Часть VI. ВеликолепныедесяткиВведение указателей в С обеспечило успех этого языка программирования. Работас указателями— очень мощная возможность. Старые программисты на машинных языи были несказанно рады, получив в свои руки такой инструмент. В С++ возможностиработы с указателями унаследованы без изменений от С.К сожалению, ни программист, ни программа не в состоянии отличить хороший указатель от плохого. Прочтите память по неинициализированному у к а з а т е л ю — и вашапрограмма аварийно завершится, если, конечно, вам повезет...
Если не п о в е з е т — онапродолжит работу, сочтя случайный блок памяти корректным объектом...Проблемы, связанные с указателями, трудно локализовать. Зачастую программа с некорректным указателем при каждом новом запуске ведет себя по-новому.С# решает проблемы, связанные с указателями, очень просто — он попросту устраняет их из языка. Используемые вместо них ссылки безопасны с точки зрения типов и немогут быть применены так, чтобы это приводило к краху программы.Если вы сравните новые обобщенные возможности С# (см.
главу 15, "Обобщенноепрограммирование") с шаблонами С++, то обнаружите высокую степень схожести их(интаксиса. Однако хотя оба средства имеют общее предназначение, такое сходство является чисто внешним.Как обобщенные классы, так и шаблоны безопасны с точки зрения типов, нореализованы они совершенно по-разному.
Шаблоны инстанцируются в процессе компиляции, в то время как инстанцирование обобщенных классовпроисходит во время выполнения программы. Это означает, что один и тотже шаблон в разных модулях дает в результате два различных типа, инстанцированных во время компиляции. Но один и тот же обобщенный классв разных модулях дает только один тип, инстанцируемый во время выполнения. Это приводит к меньшему "раздутию" кода для обобщенных классов посравнению с шаблонами.Наибольшее различие между обобщенными классами и шаблонами состоитпом, что обобщенные классы работают с несколькими языками, включая VisualBasic, С++ и другие языки .NET, в том числе С#.
Шаблоны же используются только(рамках С++.Что же лучше? Шаблоны более мощны — и более сложны, как и множество другихидей в С++, но и больше подвержены ошибкам. Обобщенные классы проще в испольювании и реже приводят к ошибкам в программах.Конечно, это всего лишь некоторые тезисы бурной дискуссии. Существеннобольшую информацию можно найти в блоге Брендона Брея (Brandon Bray) по адресуweblogs . a s p . n e t / b r a n b r a y / a r c h i v e / 2 0 0 3 / 1 1 / 1 9 / 5 1 0 2 3 .
a s p x .Глава 17, Десять основных отличий С # и С++387С++ обеспечивает строгую проверку типов — и это хорошо. Он выполняет эотзаставляя объявлять функции и классы в так называемых включаемых файлах, которые затем используются модулями. Однако правильное перечисление в правилипорядке всех включаемых файлов для компиляции вашего модуля — задача не изпростых.С# избегает бессмысленной работы. Он ищет и находит определения всех классовЕсли вы вызываете класс S t u d e n t , С# находит определение этого класса, чтобы убедиться, что вы используете его корректно.Сначала казалось, что конструкторы приносят большую пользу. Наличие специальнной функции, гарантирующей корректную настройку всех членов-данных...
Отличнаяидея! Единственная проблема в том, что приходится добавлять в каждый написанныйкласс тривиальный конструктор по умолчанию. Рассмотрим следующий пример:p u b l i c c l a s s Account{p r i v a t e double balance;privatei n t numChecksProcessed;p r i v a t e CheckBook checkBook;public Account(){balance = 0.0;n u m C h e c k s P r o c e s s e d = 0;c h e c k B o o k = new C h e c k B o o k ( ) ;}}Почему же нельзя инициализировать члены-данные непосредственно и позволитьязыку программирования самому сгенерировать конструктор? С++ отвечает, почему; C#отвечает — почему нет? С# позволяет избавиться от ненужных конструкторов с помощью непосредственной инициализации:publicc l a s s Account{p r i v a t e double balance = 0.0;p r i v a t e i n t numChecksProcessed = 0;p r i v a t e CheckBook c h e c k B o o k = new C h e c k B o o k ( ) ;// Больше э т о не надо д е л а т ь в к о н с т р у к т о р е}Более того, если все, что нужно — это соответствующая версия нуля для определенного типа, как в случае первых двух членов, С# примет необходимые меры автоматически, как минимум для членов-данных классов.
Если вы хотите нечто, отличное от нуля,добавьте вашу собственную инициализацию к объявлению членов-данных. (Однако следует всегда инициализировать локальные переменные в функциях.)388Часть VI. ВеликолепныедесяткиС++ очень политкорректен. Он и шагу не ступит ни на одном компьютере без того,чтобы определить требования к диапазону значений и размеру конкретных типов. Онуказывает, что i n t имеет такой-то размер, a l o n g — больший. Все это приводит к появлению ошибок при переносе программ с одного типа процессора на другой.С# не заботится о таких мелочах. Он прямо говорит — i n t имеет 32 бит, a l o n g —64 бит, и так должно быть.С++ позволяет одному классу наследовать более чем один базовый класс. Например,класс S l e e p e r S o f а (диван-кровать) может наследовать классы B e d (кровать) и S o f a(диван).
Наследование от двух классов звучит неплохо, и это и в самом деле бываеточень полезно. Проблема только в том, что множественное наследование может приводить к некоторым трудно обнаружимым ошибкам.С# не рискует и снижает количество возможных ошибок, запрещая множественноенаследование. Однако в С# имеется возможность, которая в ряде ситуаций может заменить множественное наследование, а именно — интерфейсы.Когда программисты продираются сквозь кошмар множественного наследования и 90%времени проводят в отладчике, зачастую выясняется, что второй базовый класс нужентолько для того, чтобы описать подкласс. Например, обычный класс может наследоватьабстрактный класс P e r s i s t a b l e с абстрактными методами r e a d () и w r i t e ( ) .
Это заставляет подкласс реализовать методы r e a d () и w r i t e () и объявить всему миру, что этиметоды доступны для использования.После этого программисты осознают, что того же можно добиться существенно болеелегкими средствами — посредством интерфейса. Класс, который реализует интерфейснаподобие приведенного ниже, тоже обещает предоставить методы r e a d () и w r i t e ( ) :interface{IPersistablevoid r e a d ( ) ;void write () ;}Так вы избегаете опасностей множественного наследования С++ и получаете желаемый результат.Класс С++ — очень хорошая возможность языка.
Он позволяет данным и связаннымсними функциям быть объединенными в четкие пакеты, которые соответствуют челове-Глава 17. Десять основныхОТЛИЧИЙС#ИС++389ческим представлениям о реальном мире. Единственная проблема заключается в том, чтолюбой язык программирования должен обеспечить еще и простейшие типы переменныхдля хранения, например, целых чисел или чисел с плавающей точкой. Это определяетнеобходимость системы преобразования типов. Объекты классов и переменные типовзначений находятся по разные стороны баррикад, хотя и участвуют вместе в одних и техже программах. Программист вынужден все время помнить о том, что это разные вещейпо своей природе.С# разрушает эту баррикаду, отделяющую типы-значения от классов.
Для каждомтипа-значения имеется соответствующий класс, именуемый структурой (вы можете также писать и собственные структуры; см. главу 14, "Интерфейсы и структуры"). Этиструктуры могут легко объединяться с классами, позволяя программисту писать исходный текст наподобие следующего:M y C l a s s m y O b j e c t = n e w M y C l a s s О,/ / Вывод " m y O b j e c t " в с т р о к о в о м ф о р м а т еConsole.WriteLine(myObj e c t . T o S t r i n g ( ) ) ;i n t i = 5;/ / Вывод i n t в с т р о к о в о м ф о р м а т еConsole.WriteLine(i.ToString());/ / Вывод к о н с т а н т ы 5 в с т р о к о в о м ф о р м а т еConsole.WriteLine(5.ToString());Можно вызвать один и тот же метод не только для переменной i n t и объекта классаM y C l a s s , но даже для константы наподобие 5.
Такое вавилонское смешение типоводна из мощных возможностей С#.390Часть VI. Великолепные десяткиЧасть VIIДополнительные главыВ оригинальном издании книги эти главы были помещены на прилагаемый к книге компакт-диск. В русском издании книги их решеноопубликовать в виде отдельной, дополнительной части.Глава 18Эти исключительные исключения> Обработка ошибок с помощью кодов ошибкиУ Использование механизма исключений вместо кодов ошибки} Создание собственного класса исключения} Перекрытие ключевых методов в классе исключенияне сомнения, трудно смириться с тем, что иногда метод (или функция) не делаетто, для чего он предназначался.
Это раздражает программистов ничуть неменьше, чем пользователей их программ, тоже часто являющихся источником недоразумений. В книге встречалась программа, в которой пользователь должен был вводить целое число как строку. Такой метод можно написать так, что он будет просто игнорировать введенный пользователем мусор вместо реального числа, но хороший программистнапишет функцию таким образом, чтобы она распознавала неверный ввод пользователяи докладывала об ошибке.Здесь говорится об ошибках времени выполнения, а не времени компиляции, с которыми С# разберется сам при сборке вашей программы.Механизм исключений представляет собой средство для сообщения о таких ошибкахспособом, который вызывающая функция может лучше понять и использовать для решения возникшей проблемы.Промолчать о том, что произошла ошибка времени выполнения — это всегда наихудшее решение, применимое только в том случае, если вы не намерены отлаживатьпрограмму и вас не интересует результат ее работы...В приведенной далее демонстрационной программе FactorialWithErr o r показано, что может произойти, если не выявить ошибку.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
