Title
Error in example in 14
Status
tc1
Section
17.9.1 [temp.arg.explicit]
Submitter
Mike Miller

Created on 2000-08-09.00:00:00 last changed 208 months ago

Messages

Date: 2000-10-15.00:00:00

Proposed resolution (10/00):

In the example in 17.9.1 [temp.arg.explicit] paragraph 6, change the third line from

        template <int X> void f();

to

        template <int X> void f(B);
Date: 2003-04-25.00:00:00

17.9.1 [temp.arg.explicit] paragraph 6 contains the following example:

    namespace A {
        struct B { };
        template<int X> void f();
    }
    namespace C {
        template<class T> void f(T t);
    }
    void g(A::B b) {
        f<3>(b);    // ill-formed: not a function call
        A::f<3>(b); // well-formed
        C::f<3>(b); // ill-formed; argument dependent lookup
                    // only applies to unqualified names
        using C::f;
        f<3>(b);    // well-formed because C::f is visible; then
                    // A::f is found by argument dependent lookup
    }

A::f() should have a parameter of type A::B.

History
Date User Action Args
2003-04-25 00:00:00adminsetstatus: dr -> tc1
2000-11-18 00:00:00adminsetmessages: + msg454
2000-11-18 00:00:00adminsetstatus: open -> dr
2000-08-09 00:00:00admincreate