Issue 34: Argument dependent lookup and points of instantiation

Title: Argument dependent lookup and points of instantiation
Status: nad
Section: 13.9.2 [temp.inst]
Submitter: Daveed Vandevoorde

Created on 1998-07-15.00:00:00 last changed 320 months ago

Messages

msg61 (view)

Date: 2004-09-10.00:00:00

Does Koenig lookup create a point of instantiation for class types? I.e., if I say:

    TT<int> *p;
    f(p);

The namespaces and classes associated with p are those associated with the type pointed to, i.e., TT<int>. However, to determine those I need to know TT<int> bases and its friends, which requires instantiation.

Or should this be special cased for templates?

Rationale: The standard already specifies that this creates a point of instantiation.

History
Date	User	Action	Args
1998-07-15 00:00:00	admin	create