![](https://squidex.jugru.team/api/assets/srm/cc6a774b-cc31-4b6b-9e65-46b01e79ece5/20220506-122511.jpg?cache=3600&width=74&height=74&mode=CropUpsize)
Константин Владимиров
Компания: Syntacore
Тип доклада: Доклад
В языке C++ есть синтаксис и семантика. Когда мы говорим о синтаксисе, мы говорим о контекстно-независимых конструкциях, которые просто что-то означают. Например, if
— это всегда if
.
Но когда мы говорим о семантике, мы сталкиваемся с необходимостью для компилятора что-то сделать или что-то выяснить: разрешить имя, инстанцировать шаблон, вывести тип, вычислить константное выражение. Можно сказать что в каждый такой момент мы стартуем некий процесс, развивающийся по своим правилам. Этот доклад посвящен описанию взаимодействующих семантических процессов в языке, как с точки зрения внутренностей компилятора, так и с точки зрения стандарта языка.
Компания: Syntacore
Компания: Syntacore