Re: Linkers, etc, and Object Code Templatey-Type-Things?

Simon G Best <s.g.best@btopenworld.com> writes:


> Do such linkers / object file formats exist?


They don't, and for C++ they are impossible (I think).
Consider:


    template <typename T>
    void assign(const T &rhs)
    {
            this->someField = rhs;
    }


What kind of object code can compiler generate here?


Well, it depends on what 'T' is: for an 'int', a 'double', a class
with 'operator=', and a class without 'op=' but containing instance
variables with 'op=', compiler will have to generate *very* different
object code.


Cheers,

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