Помеченные комментарии
Напомню, что в одной из предыдущих статей отмечалась невозможность обеспечить вложенность длинных (скобочных) комментариев «/* ... */». Собственно говоря, нас заботила не вложенность как таковая, а возможность закомментировать любой код, не обращая внимания на его содержимое. А длинные комментарии «спотыкаются» о строки типа char x[] = "*/".
(:метка . . . метка:)Метка — это ряд символов, которые соответствуют лексеме «идентификатор». Двоеточие отсылает нас традиционным меткам в языках, в которых есть «goto»: label_01: // какой-то код . . . goto label_01:;
Обоснование выбора.
(:метка777 char x = "метка777:)"; метка777:)В таком случае легко избежать коллизии: (:метка333 char x = "метка777:)"; метка333:)Т.е. меняется метка комментария, но не код, оказавшийся внутри него. С длинным комментарием такой номер не пройдёт, придётся менять сам текст. Проблемный код: (* char x = "*/"; *)Вариант решения проблемы — изменение кода внутри: (* char x = "\x2A\x2F"; *)И так, наверное наилучший способ обозначения помеченных комментариев — это смайлики улыбки (если кто-то ещё не обратил на получившиеся графические очертания). Но есть вполне резонный вопрос: а есть ли смысл закладывать в язык отдельную конструкцию для борьбы с одним-единственным случаем, когда конец комментария внутри текста? Опубликовано: 2018.11.09, последняя правка: 2022.01.21 13:24
Отзывы
Например, в Python можно строку ограничивать тремя кавычками: """...""" — весь текст между ними (включая переводы строк) становится содержимым строки. Таким образом в Python иногда записывают многострочные комментарии. Запись строкового литерала в строке считается выражением, а значит, оператором. Никакого побочного эффекта, кроме потери времени на интерпретацию, это не даёт. Недостаток — нельзя внутри использовать три кавычки подряд, но с этим питонисты мирятся. Интересен подход Rust (https://doc.rust-lang.org/reference/tokens.html#raw-string-literals) — строка, которая начинается с r#...#", должна заканчиваться на "#...#, причём число решёток в начале и конце должно совпадать. Т.е., строки могут иметь вид r"...", r#"..."#, r##"..."##. Соответственно, если строка содержит "#### (кавычка и четыре решётки), то её можно погрузить в r#####"..."##### — (пять решёток). Языки Bash и Perl для многострочных строк предоставляют т.н. heredoc-синтаксис (https://ru.wikipedia.org/wiki/Heredoc-синтаксис) (не знаю, как его лучше переводить на русский): somecommand <<ENDOFTEXTСемантика следующая: запускается команда somecommand, на стандартный ввод которой падают строчки между строкой запуска команды и строкой ENDOFTEXT. Строку вместо ENDOFTEXT можно записать любую: somecommand <<ABCDПример в Perl (псевдокод): sql_call("SELECT * FROM table WHERE тут длиннющая длиннющая строкаС heredoc’ами:sql_call(<<SQLEND, param1, param2)К чему я всё это написал. К тому, что комментарии и строки родственны тем, что внутри них может быть произвольный текст, и проблему символов-разделителей внутри приходится как-то решать. Для строк некоторые решения известны, подход для комментариев — новый. Вариант, предложенный Автором сайта, немного напоминает подход Rust’а для строк и heredoc’и, но применён к комментариям, что, несомненно, является новшеством.
Логических сложностей при лексическом разборе не возникает — вторую кавычку подряд надо просто игнорировать. Строка даже может состоять из одних кавычек — просто все их надо удвоить. При этом самая первая кавычка — признак самой строки и поэтому в удвоении не учитывается. Ещё одна удобная мелкая доработка — знак «крышка» ^ этот символ внутри строки гасит старшие три разряда в следующем байте. При этом в строке удобно пишутся управляющие символы, которые все становятся печатными, например строка ’^G^M^J’ бибикнет и переведет строку. Ну а сама "крышка" записывается, естественно, как две "крышки" подряд ))
"строка". Чтобы внутри поместить этот символ, его надо просто задвоить: "строка с "" кавычкой". Или строку поместить внутри одинарных кавычек, как в PHP: 'строка с " кавычкой'Комментарии же заключаются между разных символов (допустим, между «/*» и «*/»): /* комментарий */Как мы можем задвоить эти символы? Так /* длинный */*/ комментарий */или так /* длинный *//* комментарий */?
Но так можно закомментировать кусок программы с «обычными» /* */ только один раз ((
Написать автору можно на электронную почту |
2018/11/11 14:27, Александр Коновалов aka Маздайщик