Type Checking C++ Template Instantiation by Graph Programs (long version)

Abstract: Templates are a language feature of C++ and can be used for metaprogramming. The metaprogram is executed by the compiler and outputs source code which is then compiled. Templates are widely used in software libraries but few tools exist for programmers developing template code. In particular, error messages are often cryptic. During template instantiation, a compiler lookup names that depend on a template’s formal parameters. We use graphs to represent the relevant parts of the source code and a graph program for the name lookup and add type checking for expressions involving such names. Our graph program terminates and emits correct error messages. Keywords: Graph programs, Type checking, C++