C++ Semantics Inside the Compiler

Let's talk about C++ semantics from the point of view of a static analyzer or compiler frontend. Let's consider how the symbol table is organized and how names are searched, as well as how semantics affects parsing. Let's talk about how overloads are selected and how the compiler finds functions that are not even visible at the current point of the program. We will also touch upon the topic of templates and their instantiation.