Каким должен быть язык программирования? Анализ и критика Описание языка Компилятор
Отечественные разработки Cтатьи на компьютерные темы Компьютерный юмор Новости и прочее

Длинные комментарии

Это новая версия статьи от 2022.11.26. Предыдущая от 2012.09.25 больше не актуальна.

Длинные комментарии в Си-образных языках неудобны из-за «/». Этот символ находится на разных кнопках для латинской и русской раскладки. Комментарий из Оберона «(*» и «*)» выглядят привлекательнее. К тому же, такие комментарии дополнительно подчёркивают свою скобочную сущность и выглядят более естественно. У скобок в роли первого и последнего символа комментария есть преимущество перед «/»: скобками начинается и заканчиваются многие логически законченные конструкции. Если эту конструкцию хочется просто отключить по какой-то причине, достаточно просто добавить звёздочки, чтобы превратить её в комментарий. Например:

    // было:
	( некий блок )
    // теперь отключаем:
	(* некий блок *)
Длинные комментарии

Как известно, комментарии вида /* ... */ не могут быть вложенными. Сразу и не придумаешь, как элегантно обойти эту неприятность. Но решение нашлось.

Решение проблемы вложенности комментарией

Хотя масштаб этой проблемы невелик, однако хотелось бы решить её простым во всех отношениях способом. Предложенные ранее решения («Помеченные комментарии» и «Нерабочий код») хоть и реализуемы, но в них недостаточно простоты. Наиболее элегантным решением видится такой вариант. Комментарий начинается открывающей скобкой и некоторым количеством звёздочек: (***. Заканчивается комментарий симметрично: ***). Если попытаться закончить комментарий последовательностью символов с меньшим количеством звёздочек, например, **), то окончания комментария в этом месте не будет: недостаточно звёздочек. А вот если звёздочек больше, чем нужно, то лишние просто превращаются в текст комментария, а не являются элементом конструкции комментария.

(*** комментарий — это любой текст, располагающийся на 
любом количестве строк. Жёлтый шрифт — это элементы конструкции 
комментария, зелёный шрифт — собственно комментарий. «Лишние» 
звёздочки  не являются элементами конструкции комментария. *****)

Длинные комментарии (* ... *) можно вложить внутрь других, увеличив количество звёздочек:

    (*** Комментарии с тремя звёздочками могут включать в себя
	комментарии с двумя звёздочками и одной
	(** Комментарии с двумя звёздочками могут включать в себя 
	       комментарии с одной звёздочкой
	    (* Комментарий с одной звёздочкой
	    *)
	**)
    ***)

У такого решения есть небольшой минус. Лексический анализатор будет вынужден подсчитывать количество звёздочек. Это исключит возможность разбора такого комментария регулярными выражениями. То есть придётся прибегнуть к «хаку лексера». Но заметных сложностей это не вызовет.

P.S. Запомним оценки статье к моменту изложения второй версии: 5/2/3/12. Посмотрим, как изменятся оценки дальше :)

P.P.S. Сколько раз убеждался, что если у людей, которые долго думают над одинаковыми вещами, часто приходят в голову одинаковые мысли. Уже после того, как была готова вторая версия статьи, заново обнаружил для себя комментарий Александра Коновалова:

Интересен подход Rust (https://doc.rust-lang.org/reference/tokens.html#raw-string-literals) — строка, которая начинается с r#...#", должна заканчиваться на "#...#, причём число решёток в начале и конце должно совпадать. Т.е., строки могут иметь вид r"...", r#"..."#, r##"..."##. Соответственно, если строка содержит "#### (кавычка и четыре решётки), то её можно погрузить в r#####"..."##### — (пять решёток).

Подход одинаковый: выше предложено делать комментарии с определённым количеством звёздочек, в Rust — решёточек.

Опубликовано: 2012.09.25, последняя правка: 2023.03.05    01:02

ОценитеОценки посетителей
   ██████████ 5 (22.7%)
   ████ 2 (9.09%)
   ██████ 3 (13.6%)
   ███████████████████████ 12 (54.5%)

Отзывы

     2014/12/25 01:00, Сергей          # 

Лучше добавить вложенность пояснений. Часто так бывает, что нужно запояснить отрывок исходника, в котором уже есть пояснения. Этих пояснений может быть много, а отрывок может быть большим. Из-за отсутствия вложенности в таком случае придётся вручную удалять вложенные пояснения или их ограничители (в случае удаления ограничителей после распояснения охватывающего отрывка появятся ошибки, так что удалять придётся пояснения целиком), или же пытаться добавить возможность самодейного удаления вложенных пояснений в свою ЕСР (единую среду разработки). Кстати, в Глаголе пояснения могут быть вложенными. И это на самом деле очень удобно.

     2014/12/25 11:09, Автор сайта          # 

Как раз про это: Нерабочий код.

     2021/03/27 12:14, Виталий Монастырский          # 

Сущность многострочных комментариев — это комбинация символов, которые ГАРАНТИРОВАННО не могут быть встречены в программе вместе. Именно потому в Си — это // (два знака деления, которые не используются) и */ — деление и умножение, которое тоже не совместимо нигде и ни в каком виде.

У меня, к сожалению, // используется для извлечения корня, так что я такую комбинацию задействовать не могу, а потому ищу другие варианты. Пока остановился на базе собаки, так как она встречается только в адресах почты, а потому явно не может быть совместима ни с какими другими символами, включая кавычки. Возможность встретить такую комбинацию символов возможна только при их умышленном сочетании, что равносильно такому же употреблению */. Но, честно говоря, хотя комментарии в таком исполнении очень хорошо отделимы визуально, но все-таки кажутся пугающе огромными. Но на безрыбье и рак — щука, так что пока я оставил именно эту реализацию. Тем более, что для символа собаки все-равно трудно придумать разумное применение в языке.

     2021/03/28 00:00, alextretyak          # 

Тем более, что для символа собаки все-равно трудно придумать разумное применение в языке.

Трудно, но возможно. :)(:

Символ @ похож на английские буквы Ca, а потому в языке 11l используется[http://11l-lang.org/doc/ru/prefixes] в качестве префикса для обозначения captured-переменных [в языке Python для этого используется ключевое слово nonlocal, а в C++ — список захвата (capture list)].

     2021/03/28 10:22, Виталий Монастырский          # 

Не вижу в этом смысла. Подобные техники рождаются из изначального несовершенства архитектуры языка и непродуманности его концепции разделения кода, миграции данных и политики области видимости. В моем языке все эти проблемы изначально решены другим подходом к этим вопросам и у меня просто нет необходимости каким-либо образом специально обрабатывать подобные виды передачи данных в функции.

Так что — нет, не подходит. Думайте еще... :)

     2021/04/01 13:13, Александр Коновалов aka Маздайщик          # 

В моем языке все эти проблемы изначально решены другим подходом к этим вопросам и у меня просто нет необходимости каким-либо образом специально обрабатывать подобные виды передачи данных в функции.

Поделитесь нам своим подходом.

Добавить свой отзыв

Написать автору можно на электронную почту
mail(аt)compiler.su

Авторизация

Регистрация

Выслать пароль

Карта сайта


Содержание

Каким должен быть язык программирования?

Анализ и критика

●  Устарел ли текст как форма представления программы

●  Русский язык и программирование

●  Многоязыковое программирование

Синтаксис языков программирования

Синтаксический сахар

●  Некоторые «вкусности» Алгол-68

●  «Двухмерный» синтаксис Python

●  Почему языки с синтаксисом Си популярнее языков с синтаксисом Паскаля?

●  Должна ли программа быть удобочитаемой?

●  Стиль языка программирования

●  Тексто-графическое представление программы

●●  Разделители

●●  Строки программы

●●  Слева направо или справа налево?

●  Комментарии

●●  Длинные комментарии

●●  Короткие комментарии

●●  Комментарии автоматической генерации документации

●●  Нерабочий код

●●  Помеченные комментарии

●  Нужны ли беззнаковые целые?

●  Шестнадцатиричные и двоичные константы

●  Условные операторы

●  Переключатель

●  Циклы

●●  Продолжение цикла и выход из него

●  Некошерный «goto»

●  Изменение приоритетов операций

●  Операции присвоения и проверки на равенство. Возможно ли одинаковое обозначение?

●  Так ли нужны операции «&&», «||» и «^^»?

●  Постфиксные инкремент и декремент

●  Почему в PHP для конкатенации строк используется «.»?

●  Указатели и ссылки в C++

●●  О неправомерном доступе к памяти через указатели

●  Обработка ошибок

●  Функциональное программирование

●●  Нечистые действия в чистых функциях

●●  О чистоте и нечистоте функций и языков

●●  Макросы — это чистые функции, исполняемые во время компиляции

●●  Хаскелл, детище британских учёных

●●  Измеряем замедление при вызове функций высших порядков

●●  C vs Haskell: сравнение скорости на простом примере

●●  Уникальность имён функций: за и против

●●  Каррирование: для чего и как

●●  О тестах, доказывающих отсутствие ошибок

●  Надёжные программы из ненадёжных компонентов

●●  О многократном резервировании функций

●  Использование памяти

●  Почему динамическое распределение памяти — это плохо

●  Как обеспечить возврат функциями объектов переменной длины?

●●  Типы переменного размера (dynamically sized types, DST) в языке Rust

●●  Массивы переменной длины в C/C++

●●  Размещение объектов в стеке, традиционный подход

●●  Размещение объектов переменной длины с использованием множества стеков

●●  Размещение объектов переменной длины с использованием двух стеков

●●  Реализация двухстековой модели размещения данных

●●  Двухстековая модель: тесты на скорость

●●  Изменение длины объекта в стеке во время исполнения

●●  Размещение объектов переменной длины с использованием одного стека

●  Можно ли забыть о «куче», если объекты переменной длины хранить в стеке

●  Безопасность и размещение объектов переменной длины в стеке

●  Массивы, структуры, типы, классы переменной длины

●  О хранении данных в стеке, вместо заключения

●  Реализация параметрического полиморфизма

Описание языка

Компилятор

Отечественные разработки

Cтатьи на компьютерные темы

Компьютерный юмор

Новости и прочее




Последние отзывы

2024/03/19 02:19 ••• Ivan
Энтузиасты-разработчики компиляторов и их проекты

2024/03/18 23:25 ••• Автор сайта
Надёжные программы из ненадёжных компонентов

2024/03/18 22:44 ••• Автор сайта
О многократном резервировании функций

2024/03/17 17:18 ••• Городняя Лидия Васильевна
Раскрутка компилятора

2024/03/10 18:33 ••• Бурановский дедушка
Русской операционной системой должна стать ReactOS

2024/03/07 14:16 ••• Неслучайный читатель
«Двухмерный» синтаксис Python

2024/03/03 16:49 ••• Автор сайта
О неправомерном доступе к памяти через указатели

2024/02/28 18:59 ••• Вежливый Лис
Про лебедей, раков и щук

2024/02/24 18:10 ••• Бурановский дедушка
ЕС ЭВМ — это измена, трусость и обман?

2024/02/22 15:57 ••• Автор сайта
Русский язык и программирование

2024/02/19 17:58 ••• Сорок Сороков
О русском языке в программировании

2024/02/16 16:33 ••• Клихальт
Избранные компьютерные анекдоты

2024/02/10 22:40 ••• Автор сайта
Все языки эквивалентны. Но некоторые из них эквивалентнее других