C++ templates and overloading

I'm designing a compiler for a proper subset of C++ which includes
- function templates
- overloading of functions
I'm looking for some resources which talks about this problem, i.e.
polymorphism/overloading in IMPERATIVE languages.


Ugo
[I talk a little bit about overloading in "Linkers and Loaders".
Basically, in an overloaded function the types of the arguments and
possibly of the result become part of the true name of the function.
C++ compilers "mangle" the type info into a long text name passed to
the linker. Templates are basically macros, you macro expand them
when you come across an instance. The tricky part is garbage
collecting all of the redundant expanded copies in separately compiled
modules, or arranging not to expand redundantly in the first place.
-John]

Return to the comp.compilers page.
Search the comp.compilers archives again.