Константин Владимиров - Семантические процессы в C++

Рет қаралды 6,974

2 ай бұрын

Подробнее о конференции C++ Russia: jrg.su/W8skjE
- -
В языке C++ есть синтаксис и семантика. Когда мы говорим о синтаксисе, мы говорим о контекстно-независимых конструкциях, которые просто что-то означают. Например, if - это всегда if.
Но когда мы говорим о семантике, мы сталкиваемся с необходимостью для компилятора что-то сделать или что-то выяснить: разрешить имя, инстанцировать шаблон, вывести тип, вычислить константное выражение. Можно сказать что в каждый такой момент мы стартуем некий процесс, развивающийся по своим правилам. Этот доклад посвящен описанию взаимодействующих семантических процессов в языке, как с точки зрения внутренностей компилятора, так и с точки зрения стандарта языка.
#lang #metaprogramming

Пікірлер: 26

@SmoukingMouse 2 ай бұрын

Спасибо за видео, Константин как всегда хорош!

@MikhailGoncharov-tl4cr 2 ай бұрын

захватывающее видео. потому как автор любит своё дело и разбирается в нём.

@DART2WADER 2 ай бұрын

Так увлечённо, только он рассказывает.

@MakinsxXx Жыл бұрын

Легенда

@Sky-pg8ot 2 ай бұрын

10 месяцев?

@stanislavstanislavius7618 2 ай бұрын

4 часа?

@neolord50pro77 2 ай бұрын

7 секунд?

@arkadiyvisotin4702 Ай бұрын

Всегда.

@alexeykononov5596 2 ай бұрын

кажется автор задумал написать свой компилятор 🤔

@stanislavstanislavius7618 2 ай бұрын

1:14 А все остальные получили неуд))

@pchelnick 28 күн бұрын

Учился у преподши, которая считала, что у нее на экзамене по матану 5 получить не может никто, 4-ку должен получить только один студент из группы, сколько то там троёк на группу (не помню уже, две или три), а остальные на пересдачу, а там такие же правила....

@milbrus735 2 ай бұрын

А можно пояснительную бригаду на 36:17 с какого перепугу на месте "int I = fod(X)" будет вызван N::foo, а не ::foo ? Мы ведь не в пространстве имен N и не должны видеть эту функцию

@user-et7cm4by2t 2 ай бұрын

я могу ошибаться, но по порядку ADL вроде как работает сначала с пространством аргумента, потом с обрамляющим пространством, и только потом с глобальным. Т.е. по приоритету разрешение перегрузки сначала найдёт полностью подходящую функцию в пространстве аргумента, т.е. N::foo. Но это не точно (сорян, я тоже нуб в с++)

@user-wn7cs5bs1h 2 ай бұрын

::foo не подходит по типу аргумента, поэтому начнётся ADL X типа N::S в namespace N, поэтому N::foo попадает в overload set

@milbrus735 2 ай бұрын

@@user-wn7cs5bs1h как это работает можно догадаться, но на кой чёрт это так работает?

@user-wn7cs5bs1h 2 ай бұрын

@@milbrus735 чтобы работал hello world std::operator

@Konstantin_Evdokimov Ай бұрын

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

@alexmid 2 ай бұрын

разбудите меня когда с С++ все станет хорошо, а до того не трогайте меня вообще!

@WaldemarB-wj1nq 2 ай бұрын

а в каком языке все хорошо?

@Sky-pg8ot 2 ай бұрын

@@WaldemarB-wj1nqДа, кстати

@stanislavstanislavius7618 2 ай бұрын

@@WaldemarB-wj1nq, в асемблере - там все прекрасно)

@maelstrom254 2 ай бұрын

@@WaldemarB-wj1nqпайтон

@sdfdfrgfghgfh 2 ай бұрын

одну 3, остальные колы и пары

@pilotnet1 2 ай бұрын

си плас плас 🤠кавбой

@MakarenkoSasha 2 ай бұрын

завидую людям которые в этой теме, как рыба в воде..

@cdeblog 9 күн бұрын

В очередной раз убеждаешься, что с++ хоть и мощный язык, но сделан через одно место (жопу, есть хотите уточнений) сначала придумывают странные конструкции, затем в следующих версиях стандартов героически борятся с их проблемами и в итоге язык обрастает кучей очень запутанных правил и исключений😢