Re: GPL and "free" software

[Ed Avis <epa98@doc.ic.ac.uk>]

Phil Hunt wrote:

>>If the program instantiates a List of Int, then the code for
>>List is called and passed pointers (or references) to Ints.  If the
>>program wants a List of Char, then the same object code can be used,
>>being passed pointers to Chars.

>I think you've got it horribly wrong (there might be C++ compilers
>that work like that, but I imagine they are very rare, produce slow code
>and are horrible to implement).
>
>What C++ does is constructs code for the template with T changed to
>int, compiles it, and produces code for the template with T changed
>to char, and compiles that as well.

I see.  That seems a much less efficient way to do things, but what do
I know about compiler design?  I'm sure that not every language
supporting generic types does it this way.  For a start, some are
interpreted.

You've convinced me that a program compiled, and dynamically linked,
against a library containing template classes really does contain bits
of that library embedded in the program code.  I think you could
probably work around this, by creating a thin wrapper:

class List_wrapper
  method add(Object o) (or void *)
    call List.add(o)
  end method
(etc.)

and then substitute List_wrapper for List everywhere in your program. 
The object code for List_wrapper would contain bits of code from List,
but the rest of your program would not, and you could link the two
together at runtime.  You lose the benefit of template type-checking
this way, but AFAIK, it's only used at compile time, not runtime (at
least in C++), so you could develop without the wrapper, then stick it
in for your final release.

-- 
Ed Avis
Advertise here! epa98@doc.ic.ac.uk