вторник, 7 сентября 2010 г.

Доводы против uses

Это перевод The uses clause considered harmful. Автор: Hallvard Vassbotn.

(Заголовок обыгрывает знаменитую статью Эдсгера Дейкстры «Go To Statement Considered Harmful», которую на русском обычно называют «Доводы против оператора GOTO»)

Из-за того, как работают ссылки на модули в uses в Delphi, иногда вы можете получить странные эффекты и даже баги из-за простых и, казалось бы, безобидных изменений в одном из ваших модулей. Заметьте, что в общем и целом Delphi обрабатывает модулярность и импорт кода существенно лучше, чем в других языках программирования, но здесь всё ещё есть место для улучшения.

Моё предложение заключается в том, что компилятор Delphi мог бы выдывать новое предупреждение (warning) для потенциальных конфликтов имён идентификаторов в двух или более модулях. Цель warning-а - поймать непредусмотренные изменения семантики после изменений в одном из модулей.

Если у меня есть два модуля A и B, оба из которых экспортируют идентификатор foo, а затем в другом модуле я пишу:
uses A, B; 
// ... 
begin   
  foo; 
end. 
Здесь ссылка на foo не использует префикс модуля. На текущий момент этот код скомпилируется без единого замечания. Я предлагаю для этого кода генерировать warning, типа такого:
"Warning: Potential name conflict: foo declared in unit A and unit B."
Чтобы разрешить этот warning, программист указывает префикс для foo с предполагаемым им именем модуля:
begin   
  A.foo; 
end.
Этот код не будет генерировать warning.

Технически, ссылка просто на 'foo' не является в действительности неоднозначной - вот почему это должно компилироваться без ошибок. Но как и большинство warning-гов, это новое предупреждение должно помочь найти потенциальную человеческую ошибку. Для этой ошибки есть два сценария:
  1. Программист хотел использовать A.foo, но из-за порядка модулей, на самом деле используется B.foo.
  2. На прошлой неделе foo был объявлен только в модуле A, и программа работала как ожидалось. На этой неделе кто-то добавил foo в модуль B. Программа всё ещё компилируется, но не работает верно. Такую штуку достаточно сложно найти и отладить - как это случилось и в моём случае...
№2 является наиболее опасным и вот тут-то этот warning мог бы помочь.

Примечания переводчика:
- Голосовать за эту фичу можно тут.
- Часто эта возможность используется и в полезных целях.

Комментариев нет:

Отправить комментарий

Можно использовать некоторые HTML-теги, например:

<b>Жирный</b>
<i>Курсив</i>
<a href="http://www.example.com/">Ссылка</a>

Вам необязательно регистрироваться для комментирования - для этого просто выберите из списка "Анонимный" (для анонимного комментария) или "Имя/URL" (для указания вашего имени и ссылки на сайт). Все прочие варианты потребуют от вас входа в вашу учётку (поддерживается OpenID).

Пожалуйста, по возможности используйте "Имя/URL" вместо "Анонимный". URL можно просто не указывать.

Ваше сообщение может быть помечено как спам спам-фильтром - не волнуйтесь, оно появится после проверки администратором.