Голуб Ален И. - Веревка достаточной длины, чтобы... выстрелить с. Руководство по программированию. Автору удается сделать изложение столь серьезной темы живым и интересным за счет рассыпанного по тексту юмора и глубокого знания предмета
 Скачать 1.36 Mb.
|
8 Правила программирования на Си++ Эта часть книги содержит правила, уникальные для программирования на Си++. Как мной было сказано во "Введении", эта книга не является учебником по Си++, так что следующие правила предполагают, что вы по крайней мере знакомы с синтаксисом этого языка. Я не буду тратить слова попусту, описывая, как работает Си++. Имеется множество хороших книг, которые познакомят вас с Си++, включая и мою собственную "С+С++". Вы должны также ознакомиться с принципами объектно-ориентированного проектирования. Я рекомендую 2-е издание книги Гради Буча "Object-Oriented Analysis and Design with Applications" (Redwood City: Benjamin Cummings, 1994). Так же, как и в книге в целом, правила вначале адресуются к общим вопросам, переходя затем к частностям. Вопросы проектирования и реализации 133 Часть 8а. Вопросы проектирования и реализации 90. Не смешивайте объектно-ориентированное и "структурное" проектирование 90.1. Если проект не ориетирован на объекты, то используйте Си Позвольте мне начать, сказав, что нет абсолютно ничего дурного в хорошо выполненном структурном проектировании. Как-то так получилось, что я предпочитаю объектно-ориентированный (ОО) подход, ибо мне кажется, что я мыслю ОО способом, но было бы самонадеянным назвать ОО проектирование "лучшим". Я верю, что ОО подход дает вам легче сопровождаемый код, если программа большая. Выгода менее явна в случае программ меньшего размера, потому что объектная ориентация обычно добавляет сложность на уровне приложения. (Главная выгода ОО заключается в лучшем сопровождении за счет абстракции данных, а не в сокращении сложности). Си++ особенно не выносит небрежного проектирования. Мой опыт говорит, что программы на Си++, которые не придерживаются объектно- ориентированного подхода, почти несопровождаемы, соединяя все худшие свойства структурного и объектно-ориентированного проектов и не давая каких-либо выгод как ни от того, так и ни от другого. Со мной не проходит такой аргумент, что можно использовать Си++ как "улучшенный" Си. Для того, чтобы это было правдой, этот язык слишком сложный — кривая обучения слишком крутая. Если вы не используете преимущества объектно-ориентированных свойств этого языка, то в его использовании мало смысла. Некорректное использование объектно- ориентированных свойств лишь увеличит число проблем. К сожалению, многие программисты знают, как сделать объектно- ориентированный проект, но на самом деле этого не делают. Оправдания варьируются в пределах от "слишком много хлопот (или у меня нет времени), чтобы делать все правильно" до "строгий объектно- ориентированный проект — это учебное упражнение: на него нет времени в реальной жизни, где вы вынуждены работать быстро и не очень чисто". Возможно, что наиболее возмутительным оправданием, слышанным мной по поводу плохого проекта (в этом случае библиотеки классов), было Правила программирования на Си++ 134 следующее: "Недостаточное число наших заказчиков знают Си++ достаточно хорошо, чтобы его правильно использовать, поэтому мы спроектировали библиотеку классов так, чтобы ей было легче пользоваться". (В переводе на нормальный язык: "Средние пользователи слишком тупые, чтобы делать все правильно; на самом деле они даже не заинтересованы в том, чтобы научиться работать правильно, и научить их будет очень трудно. Так что мы даже не будем делать ни того, ни другого. Мы просто оглупим свой продукт"). Проблема была отягощена учебным руководством, которое нарушало объектно-ориентированные принципы налево и направо, и, к сожалению, это руководство используется тысячами программистов, которые не знают ничего лучшего в качестве примера того, как написать приложение при помощи этой библиотеки классов. Они вполне разумно ожидают, что руководство покажет им, как сделать все правильно, поэтому они никогда не подозревают, что все было намеренно сделано неверно, чтобы сделать руководство "более понятным". Си++ — язык трудный как для изучения, так и для использования. При написании программ на Си++ столько тонкостей, что даже опытные программисты временами их забывают. Кроме того, даже простой поиск достаточного количества программистов на Си++, чтобы писать, и значительно меньшего, чтобы сопровождать ваш код — трудный процесс. Вы вводите себя в заблуждение, если верите, что Си++ может быть использован безыскусно. Слишком просто для неопытного программиста сделать что-нибудь неправильно и даже не знать об этом, способствуя бесполезным затратам времени на выслеживание ошибки, которая и так хорошо видна. Многие ошибки такого типа даже проникают необнаруженными через этап тестирования и попадают в конечный продукт, делая сопровождение сомнительным предприятием. Зачем же вообще использовать Си++? Ответ состоит в том, что должным образом использованный Си++ дает вам существенные выгоды в сопровождении. Вы можете делать значительные изменения в поведении программы (типа перевода всей программы с английского языка на японский или переноса в другую операционную среду) при помощи незначительных изменений в исходном коде, ограниченных малым уголком этого кода. Подобные изменения в структурной системе обычно потребуют модификации поистине каждой функции в программе. Однако если вы не придерживаетесь правил, то вы в итоге получите в свое распоряжение недостатки обоих систем. Структурные проекты обычно имеют проблемы с отношениями сцепления, которые не встречаются в хорошем объектно-ориентированном проекте, но если вы остановитесь на полдороге, многие из этих ошибок будут скрыты в Вопросы проектирования и реализации 135 классах, где их будет трудно найти. Кроме того, многие объектно- ориентированные проекты обычно бывают очень сложными, а взаимоотношения между объектами иногда непредсказуемы. (Это также одно из главных преимуществ методологии: возможно моделирование системы такой сложности, что ее поведение заранее предсказать невозможно). Инструменты типа диаграмм объектов становятся необходимыми, потому что если эта система не работает, то вероятнее всего причина в потоке сообщений. Если не работает индивидуальный объект, то его легко исправить при условии, что его интерфейс корректен, потому что изменения будут ограничены определением одного класса. Когда вы делаете что-то неверно, то эти проблемы становится очень тяжело выследить, потому что для передачи информации используются тайные ходы, а изменения в одном классе могут передаваться в другие. Поэтому, если у вас "нет времени, чтобы делать все правильно", то вам гораздо лучше остановиться на структурном проектировании и простой реализации на языке Си. Будет проще искать ошибки, потому что код более однороден, и у вас не будет дополнительных сложностей с системой передачи сообщений, сбивающей с толку. Введение упрощений сегодня может сделать программу "типа объектно-ориентированной" неподдающейся сопровождению год спустя: вам придется выбросить всю программу и начать сначала. Перспектива лучшего сопровождения может реализоваться, лишь если вы следуете правилам. Так как эта книга не является книгой по ОО-проектированию, то я отсылаю вас к книге Буча, упомянутой во введении к этой главе, если вам нужно познакомиться с процессом объектно-ориентированного проектирования. Эта книга рассматривает правила, которые облегчают протекание этого процесса. 91. Рассчитывайте потратить больше времени на проектирование и меньше на разработку Мой опыт свидетельствует, что, если исключить период изучения Си++, объектно-ориентированные системы требуют на разработку столько же времени, сколько и структурные системы. Тем не менее, при объектно- ориентированном подходе вы затрачиваете гораздо более высокую долю общего времени на проектирование, и процесс программирования идет быстрее. На практике этап проектирования большой системы может продолжаться от четырех до шести месяцев, прежде чем будет написана первая строка кода. К несчастью, это слишком горькая пилюля для тех, кто измеряет производительность числом строк кода в день, чтобы проглотить ее. Так как общее время разработки остается прежним, то рост Правила программирования на Си++ 136 производительности происходит после того, как начинается сопровождение кода. Корректно выполненные объектно- проектированные системы проще кодировать и проще сопровождать. 92. Библиотеки классов Си++ обычно не могут быть использованы неискушенными пользователями Одна большая ложь о Си++, которая распространяется продавцами с острыми зубами и зачесанными назад волосами, сводится к тому, что ваши второсортные программисты на Си могут использовать библиотеки классов, созданные гуру, без реальной необходимости знать Си++. К несчастью, любая, кроме самой тривиальной, библиотека классов будет использовать сложные для понимания разделы Си++ типа наследования и виртуальных функций — по крайней мере, она должна их использовать, если спроектирована как следует. Библиотека, не использующая эти свойства Си++, могла бы запросто быть реализована на Си. Пользователи библиотеки будут должны довольно хорошо знать Си++. Любая программа, написанная людьми, которые не слишком сведущи в используемом ими языке программирования, будет в лучшем случае иметь много ошибок, в худшем случае она будет несопровождаемой. Вероятно, тяжелее всего найти ту ошибку, про которую вы не думаете, что это ошибка. Если ваше понимание того, как работает этот язык, неполное, то вы можете думать, что все в порядке с фрагментом кода, патологически напичканным ошибками, потому что этот код внешне кажется правильным. Программная индустрия сталкивалась с этой проблемой и раньше, когда коллективы разработчиков были вынуждены переходить с языка КОБОЛ на Си, но при этом не была обеспечена необходимая тренировка программистов, позволяющая им использовать Си правильно. После этого в качестве урока осталась масса несопровождаемого, переполненного ошибками кода на Си. Си++ показывает все признаки еще более серьезной проблемы, так как руководители часто делают ставку на популярность Си++, в действительности не зная, во что они впутываются. Масса кишащего ошибками кода на Си++ пишется ежедневно людьми, которые даже не знают язык в степени, достаточной, чтобы понять, что они делают что-то неправильно. Вопросы проектирования и реализации 137 93. Пользуйтесь контрольными таблицами Одной из причин того, что Си++ имеет такую крутую кривую обучения, заключается в том, что вы должны отслеживать большое количество деталей, чтобы выполнить даже простые задачи. Просто забыть что-то, даже если вы это сделаете не надолго. Я решаю эту проблему, применяя повсюду несколько образцовых шаблонных файлов - по одному для каждой распространенной ситуации. (У меня есть один для определения базового класса, один — для определения производного класса, и т.д.). Я начинаю с копирования соответствующего шаблона в свой текущий рабочий файл и затем использую возможности своего редактора по поиску и замене для заполнения пустот. Я также перемещаю подходящие функции в файлы .cpp, когда нужно, и т.п.. Листинги 5 и 6 показывают простые шаблонные (в смысле естественного языка, а не языка С++) файлы для базового и производного классов (где кое-что опущено по сравнению с теми, которыми я пользуюсь на самом деле, но идею вы поняли). Листинг 5. base.tem — контрольная таблица для определения базового класса 1 class base 2 { 3 cls obj; 4 public : 5 virtual 6 base ( void ); 7 base ( void ); 8 base ( const base &r ); 9 10 const base & operator =( const base &r ); 11 private : 12 }; 13 //------------------------------------------------------ 14 /* виртуальный */ base:: base( void ) 15 { 16 } 17 //------------------------------------------------------ 18 inline base::base( void ) : obj( value ) 19 { 20 } 21 /––----------------------------------------------------- 22 inline base::base( const base &r ) : obj( r.obj ) 23 {} 24 //------------------------------------------------------ 25 inline const base& base:: operator =( const base &r ) 26 { 27 if ( this != &r ) Правила программирования на Си++ 138 28 { 29 obj = r.obj; 30 } 31 return *this; 32 } Листинг 6. derived.tem — контрольная таблица для определения производного класса 1 class derived : public base 2 { 3 cls obj; 4 public : 5 virtual 6 derived ( void ); 7 derived ( void ); 8 derived ( const derived& r ); 9 10 const derived & operator =( const derived &r ); 11 12 private : 13 }; 14 //------------------------------------------------------ 15 /* виртуальный */ derived:: derived( void ) 16 { 17 } 18 //------------------------------------------------------ 19 inline derived::derived( void ) : base( value ) , 20 obj( value ) 21 { 22 } 23 //------------------------------------------------------ 24 inline derived::derived( const derived &r ) : base ( r ), 25 obj( r.obj ) 26 {} 27 //------------------------------------------------------ 28 inline const derived& derived:: operator =( const derived &r ) 29 { 30 if ( this != &r ) 31 { 32 *((base *)this) = r; 33 obj = r.obj; 34 } 35 return *this; 36 } Вопросы проектирования и реализации 139 94. Сообщения должны выражать возможности, а не запрашивать информацию Объектно-ориентированные и структурные системы склонны подходить к проблемам с диаметрально противоположных направлений. Возьмите в качестве примера скромную запись employee . В структурных системах вы бы использовали тип struct и имели бы доступ к полям этого типа повсюду из своей программы. Например, код для печати записи мог бы свободно повторяться в нескольких сотнях мест программы. Если вы меняете что-то в основе, вроде изменения типа поля name с массива char на 16-битные символы Unicode, то вы должны разыскать каждую ссылку на name и модифицировать ее для работы с новым типом. В хорошо спроектированной объектно-ориентированной системе было бы невозможно получить доступ к полю name 4 Позвольте мне повторить это, потому что эта концепция так фундаментальна: невозможно получить доступ к полю внутри объекта, даже такому простому, как name в объекте employee . Скорее всего вы попросите employee проявить какую- нибудь способность, такую как "напечатать себя", "сохранить себя в базе данных" или "модифицировать себя, взаимодействуя с пользователем". В этом последнем случае обработчик сообщений вывел бы диалоговое окно, которое бы использовалось пользователем для ввода или изменения данных. Главным преимуществом этого подхода является то, что отправитель сообщения может меньше волноваться о том, как организовано внутреннее хранение данных. Пока объект может себя печатать, модифицировать или делать что-нибудь еще — проблемы нет. Вы можете перевести name на Unicode, не затрагивая отправителя сообщения. Этот вопрос рассматривается далее во многих правилах этой главы книги. 95. Вам обычно не удастся переделать имеющуюся структурную программу в объектно- ориентированную Одним из побочных эффектов только что описанной организации является то, что обычно невозможно преобразовать структурный подход в соответствии с этим образом мыслей без полного переписывания кода. 4 Чтобы быть строго корректным, по крайней мере на языке выражений Си++, я должен называть поле "компонентом данных-членов". Однако довольно неудобно говорить "компонент данных-членов name", поэтому буду использовать просто "поле", когда его значение ясно из контекста. Правила программирования на Си++ 140 Возвращаясь вновь к печати, отметим, что соответствующим сообщением могло бы быть "воспроизвести себя на этом устройстве", а обработчику сообщения могла быть передана ссылка на обобщенный объект device, которому нужно переслать данные. Код, который фактически выполняет воспроизведение, на самом деле находится внутри этого объекта. (В порядке разъяснения: нет причины, из-за которой нельзя поддерживать несколько сообщений типа "воспроизведи себя". Например, объект электронной таблицы мог бы поддерживать сообщения "воспроизвести себя в виде таблицы", "воспроизвести себя в виде графика" и "воспроизвести себя в виде круговой диаграммы"). В структурной системе код, который выполняет воспроизведение, является внешним. Некая функция получает откуда-то объект, после чего делает различные системные вызовы для вывода его на экран. Если вы говорите о printf() , то вызовы не очень сложные, но если речь заходит о Windows или Motif — у вас появляется проблема. Объектно- ориентированный проект фактически является вывернутым наизнанку в сравнении со структурным проектом. Преимущество объектно-ориентированного подхода — в том, что вы можете менять операционную среду путем изменения реализации объекта device , и при этом остальной код в программе не затрагивается. Несмотря на это, вызванные изменения столь фундаментальны, что полный перевод возможен лишь после переработки в программе каждой функции, которая прямо вызывает функцию операционной системы. Это нетривиальное мероприятие, которое вероятно потребует отбрасывания большей части кода в существующем приложении. Сообщение "модифицировать себя" аналогично: диалоговое окно модификации в стандартной структурной программе изображается внешним кодом. В объектно-ориентированном проекте объект сам взаимодействует с пользователем в ответ на получение сообщения "модифицировать себя" — наизнанку в сравнении со структурным подходом. И снова преимущество в том, что изменения полей, которые должны быть модифицированы, концентрируются в определении класса. Вам не нужно искать по всей программе код, который использует объекты класса, каждый раз, когда меняется поле в определении класса. Мой опыт с гибридными приложениями не очень удачен: кажется, что в них соединяются все проблемы как структурных, так и объектно- ориентированных систем без каких то преимуществ тех и других. Это реальная опасность для тех, у кого "нет времени, чтобы делать все правильно" — они могут получить в итоге несопровождаемый гибрид. |