wg21.cmeerw.net

Title
Template arguments and argument-dependent lookup

Status
c++11

Section
6.5.4 [basic.lookup.argdep]

Submitter
Jason Merrill

Created on 2009-12-24.00:00:00 last changed 152 months ago

Messages

Date: 2011-03-15.00:00:00

[Voted into the WP at the March, 2011 meeting as part of paper N3262.]

Date: 2010-11-15.00:00:00

Proposed resolution (November, 2010) [SUPERSEDED]:

This issue is resolved by the resolution of issue 997.

Date: 2010-08-23.00:00:00

Currently, according to 6.5.4 [basic.lookup.argdep] paragraph 2, explicit template arguments in a function argument do not contribute to the associated namespaces in a function call, although they plausibly should in an example like the following:

    namespace N {
        struct S { };
        void f(void (*)(S));
    };
    template<typename T> void g(T);
    void h() {
        f(g<N::S>);    // Should find N::f
    }

See also issue 997.

History
Date User Action Args
2014-03-03 00:00:00adminsetstatus: fdis -> c++11
2011-04-10 00:00:00adminsetmessages: + msg3294
2011-04-10 00:00:00adminsetstatus: review -> fdis
2010-11-29 00:00:00adminsetmessages: + msg3072
2010-11-29 00:00:00adminsetstatus: open -> review
2009-12-24 00:00:00admincreate

Read the original on wg21.cmeerw.net ↗