Искусство программирования на Си (984073), страница 7
Текст из файла (страница 7)
ред.) используют оператор його чаше, чем другие, — во встроенных системах все- таз(ег). Переечотренг ыйяяыя С ! Войны пяиндартов ярогримчирования причины и нрти нереичтя Глава Т Масть ( Оператор солт(пое Цикл )й(()()е(1) ях множества операторов ге(вгв. Например, программ) или ешс более взволнованное поиска в двоичном дереве можно написать значитсльПодобно Ьгеа)с, оператор сопппве можно использовать Это обшая конструкция. Почти неизменно тело этого "Предупре:хдение: строка 1: вы вксплувтируете но более просто, если мы используем несколько возврадля модификации логики циклов таким образом, 'по цикла содержит операторы Ьгеа)г или ге(огп или даже втот коипилитор уие несколько НЕДЕЛЬ, поченз бы ва» не «>пить более совериенныяз шаемых значений: пурнст структурного программирования разразился бы вьыов функции ехйек Заголовок такого цикла говорит: Вы ведь анаете, что хотите втотс".
* и х *и безудержным кашлем (хотя этот оператор еше не так "Этот цикл выполняется вечно", а тело цикла противо- ЕВЕЕ *Эеегсвтгее(тпив ипобе, сьвх в) плох, как оператор АЕТЕВ в Коболе, который изменя- рсчит этому. Ясно, что тело цикла выполняется все в е- е течение всего времени, пока он правильно компили- ( етс все вре- зпг б111; ет адрес перехода по оператору яо(о!). В отличие от мя до победного конца, но в действительности этот о это о руст правильный код и правильно лиагностирует син- 11(попа == нпьь) Ьгеа)г, оператор соп()пое не удостоился быть связанным быть не может.
Если нашей целью является сделать таксические ошибки и нарушения ограничений. гегогп ипьь; с оператором аийсЬ. Хорошо ди это? программный код легко читаемым, мы можем сделать 1((а == ИОЬЬ) Оператор сов((пое я использую только в пустых это путем документирования цели цикла нЫ)е в его за- Оператор Гет()тп гегпгп иоьгн циклах в качестве индикации сопровождающему про- головке и выбора подходящего конечного состояния.
Один из принципов структурного программирования 6Ш = аегсвр(а, попе->баса)( преднамеренно пустым, Можно, например, написать: состоит в том, что программа должна иметь одну точку наподобие этого: 1пе тоге = ОеСРСгвг1еее(асоо) г входа и одну точку выхода. В языке С легко сконстру- 11(б11( == О) »Ь11е (*в++ = ЯС++) »ЬС1е(ваге) ировать программу с многими точками выхода. К сожагегпгп попе; ( < лению, так же просто сконструировать программу на- Еьаа 11(бь(( е1ае )Е ВШ < Ю) сопс1ппе; Ргосеаа(сгоо)( логе = оесиехг1сев(с(оо)( ге пгп еагс гее по е->г1д , а ) означает! Это толька иллюстративный пример): Я бы хотел порекомендовать, чтобы вы ограничили спаг ягоо (сивг *а, сьаг *с) Здесь очень легко проследить логику управления применение оператора сопйпое только этим случаем, но гдг)и( ыи С Войны гтаиэароим ярограммировоиияг причини и оном оеремирия Глава 2 Вообье е! 11оае 11 сваг 'р; )' 1.4.9.5 1 нк9.6 1.4.9ыт значение переменной, которая затем последовательно пе- реписывается путем другого назначения, как в записи всгпсс Роо соо = (01! Опытные программисты предпочитают получать чистую компиляцию всякий раз, когда это возможно.
Это связано с тем, что даже тривиальные предупрежления (наподобие того, какое будет сгенерировано в случае предыдушего кода), если позволить им размножаться, скоро затемнят все другие, более важные сообшения, делая их обнаружение и исправление соответствующих ошибок более затруднительным. Так что, повторю снова, догматиком быть неразумно. Возможно, лучше применять смешанную стратегию.
Конечно, хорошо сразу инициализировать указатель в Р((ЛЛ.; не следует недооценивать также удобство инициализации массива или структуры с использованием (О). Большинство программистов обнуляют массив или структуру примерно следующим образом Сокранить дату выхода на пенсию в попе Ие(дяе клиента СИеп( с индексом СйепН0 Добавить 1 к индексу СГявпп0 Если индекс Сйеппо превышает количество кли- ентов дпя данной котирсеки, продолжить с шага 1.4.9.9 1.4.9.8 Продопжить с шага 1.4.9.4 1.4.9.9 Нроме того, поскопьку актуарии были зкспертами в области страховой статистики (а мы, программисты, — нет), мы находились под прессом инструкций, предписывающих в точности следовать спецификациям. Теперь большинство нз нас понимают, что актуарии были только помехой, так что, естественно, мы игнорировали ограничивающие предписания и прокрутили код так, как зто депается в соответствующем цикле (и действительно, один из ни» признался мне позже, что мы сделали в точности то, чего они и «отепи).
Один довольно педантичный программист (обычно таким бывает один из пучших, но не всегда) предложно другую идею. Он взял относительно простые спецификации и решил объединить оба принципа ("И точности спедуите спецификации" и Гые испопьзунте циачизации, может оказаться достаточно сложным де- лом. Вопрос не только в стиле выполнения; переноси- мая инициализация действительно не так проста, как это кажется.
Множественные определения в одной строке Как вы знаете, С позволяет определять множество объектов одного и того же типа и указатели на объекты этого типа в одной логической строке. Вы, вероятно, уже приготовились практически использовать такую возможность, и я не хочу сделать ошибки, отговаривая вас от этого. Советую, однако, принять к сведению те преимушества, которые дает определение каждой переменной а отдельной строке. Рассмотрим такой код: хпе Яоо(сиаг *в съаг *Е, ахзе С 1еп) ( 11оаг Р(то2песхва1Р1асев = 3.14, Сзгс1екап(вв = 1.0; 1пс а = Ог дог (а О; а < 10! а++) При инициализации структуры зцпс( таким способом (применимым также к массивам) инициализация оказывается незавершенной.
Вот что говорит стандарт о частичной инициализации: "Инициализация должна происходить в порядке списка инициализаторов, каждый инициализатор для конкретного подобъекта предусматривает отмену любого ранее перечисленного инициализатора лля этого же подобъекта; все подобъекты, которые не инициализированы явно, должны быть инициализированы неявно так же, как и объекты, которые имеют постоянный размер памяти". (Стандарт С9Х, раздел 6.7.8, январь, 1999 г.). Воино стандартно нрограимиронания: аринин пока не наступит такое время, когда компилятор С99 станет общепринятым, есть смысл просто избегать внешних связей где только возможно. Заметим, что это ограничение относится к идентификаторам вообще, а не голько к переменным. Таким образом, в именах функций, не квалифицированных ключевым словом атаОс, гарантированно значимыми могут быть лишь до шести символов.
Ясность Имена идентификаторов Выбирая имя для идентификатора, помните о трех моментах. Вам самому придется набирать это имя на клавиатуре. Эта "темная личность" — программист сопровождения — должен будет читать его. И конечно, вам обоим нужно знать, что это имя означает. Следовательно, есть смысл выбирать такие имена, которые легко читать, набирать на клавиатуре и которые однозначно определяют свой объект.
Язык С традиционно является языком нижнего ре- В данном случае я буду приветствовать документ Пр06ЛЕМЫ С ПОВТОРНЫМ ИСПОЛЪЗОВВНИЕМ стандарта и приведу только один пример, объясняющий, почему я это делаю. Прискорбно, что обычным делом для разработчиков приложений, находящихся в тисках установленного срока контракта, стало бросать структурность и модульность на ветер в попытках получить программный код с первого раза. В результате часто получаются очень длинные функции. Рассмотрим импликации особенно длинной функции, использующей набор глобальных переменных. Код был написан в последний день вьшеленного для этого времени и сопровождается в последний день следующего крайнего срока.
Понадобилось с помощью этого кода выполнять новые расчеты. Программисту сопровождения нужна новая целая переменная, поэтому он добавляет ее поверх дпегьпн идх втдск 102а функции: довЫе РгеэевтЪ'а!цеО$Рцшгергойтэ = 0.0. Он исполыует э у пер менную в разных ме ах в тает 'ве аеаек[ИАК Бтдскн ствии с программой новых требований спецификации. ьае всасхвегг Если такой программист ранее не просмотрел этот код, де р„в~. е з1 он, обязательйо потепгуит цйуддчх.,прскпльрк ого. воиаэья.„, „я,, „„,.„,„, „,...,,,,„...,„, „,.„,„„„,,...,,,,...„, .„,.„.,:.„:.:„.,—,.:,:,:.,:,,:,. Давайте возьмем простую стековую библиотеку.
Наш план очень прост — мы хотим помещать (проталкивать, рцьЩ кое-какие элементы в стек и извлекать (выталкивлъ, рор) из него эти элементы. Поскольку мы имеем две функции для доступа к стеку, нам нужно разделить информацию между ними. Введем переменную области видимости файла. Однако, поскольку нам не нужно разделять информацию с другими функциями, мы поместим функции рцаЬО и рорО в их собственный исходный фаил, который не содержит других функций, кроме этих двух, и сделаем наш стек статическим— згагю. Это хороший пример скрытия информации. ность, но его реализации часто обеспечивают такую поддержку. В типичнои потоковой среде переменные рискуют оказаться доступными и измененными одновременно более чем одним потоком.
Ничего из того, о чем мы сейчас говорили, не прел- назначено, чтобы препятствовать вам в использовании статических переменных, но важно помнить, что со статикой связаны и лругие проблемы, отличные от простых правил установлении области видимости. Соглашения именования часто являются источником горячих дебатов. Я не предлагаю вьшелить какое-либо конкретное соглашение, поскольку это будет еще одним залпом в рассматриваемой нами войне стилей программирования.
Следующий ниже обзор основан на моем личном опыте, но другой опытный программист вполне может иметь свою отличную от моей точку зрения. :".;-";"*.:ч~."з;,'. ~*.ъь';:„'„:-'д 'й;,.'.".,'..*-;:",.:: А,':.~', ь.*'ч„; "'-:,.";-,'.'„.„;*,'"-,",";.: .,'„"-";м-'.".р ";":; *-'рч 'т,;"!,;:-~ Ег[ч[ Лерегмотренньй изьк С' Дгтнь стандартов нрограммировоння нричинь и нети неремирия Часть ! Глава 2 В целях экономии места я опустил наиболее стандартные библиотечные функции и другие идентификаторы в глубоком убеждении, что если кто-то достаточно умен, чтобы купить эту книгу. он будет гак же умен, чтобы не использовать этн символы.