DF
Довай)
Size: a a a
2019 December 24
BV
может они не С++ вовсе парсят
r
Они в курсе. Как обычно в случае неразрешимых проблем допускаем false negatives и voila.
BV
red75prime
Они в курсе. Как обычно в случае неразрешимых проблем допускаем false negatives и voila.
что можно интерпретировать как объявление функции будет им)
BV
Dollar Føølish
Grammar of c++ is undecidable
на самом деле там вопрос в том что ты неправильно воспринимаешь это выражение, оно говорит лишь только о том что нельзя до полной выполнения выражения знать о его верности
DF
Ну дык
DF
Значит и распарсить до выполнения нельзя
BV
распарсить его можно
BV
ты можешь разбить его на токены
AZ
распарсить его можно
нельзя, потому что ты не знаешь какой токен использовать
AZ
вот написать a <....дальше наразборчиво
AZ
а ты должен либо Less, либо LessorEqual, либо Generic токен вернуть
BV
нельзя, потому что ты не знаешь какой токен использовать
ты не знаешь как токен соотносится с элементом ast дерева это да, но какой именно это токен ты знаешь
BV
термы в С++ вполне определены
AZ
ты не знаешь как токен соотносится с элементом ast дерева это да, но какой именно это токен ты знаешь
парсинг это задача сделать стрим токенов из текста. Ты не знаешь какой это токен
AZ
это может быть один из трех
BV
парсинг это задача сделать стрим токенов из текста. Ты не знаешь какой это токен
поэтому там принимается ряд правил которые ограничивают ряд свобод
BV
причём от стандарта к стандарту они гибче
AZ
поэтому там принимается ряд правил которые ограничивают ряд свобод
ты статью не читал? Там конкретный пример, которйы показывает, что компилятор не может решить эту задачу
AZ
решения стандарта не помогут тебе победить здравый смысл и математику