🚀 go-pugleaf

>>>>> "JM" == Jason Merrill <jason@cygnus.com> writes:
>>>>> David Vandevoorde <vandevod@cs.rpi.edu> writes:
>> I believe it is implicit in the semantic descriptions throughout
>> the DWP.  For functions (member or not), they should only be
>> instantiated if they are called. The only exception are virtual
>> functions: they can be instantiated if the class to which they
>> belong is instantiated.

JM> What if their address is taken?  What if they are called in a
JM> sizeof expression?  What about static data members?

Oops, my apologies. I answered slopilly.
Address taken 
	-> instantiation.
sizeof(expression with function call) 
	-> no instantiation of the function, I think (but e.g. of
	   its return type).

By ``static data members'', were you refering to the elided part
of my post?

	Daveed


[ comp.std.c++ is moderated.  Submission address: std-c++@ncar.ucar.edu.
  Contact address: std-c++-request@ncar.ucar.edu.  The moderation policy
  is summarized in http://dogbert.lbl.gov/~matt/std-c++/policy.html. ]