Title
Matching declarations involving decltype
Status
c++11
Section
13.7.2.2 [temp.mem.func]
Submitter
Jason Merrill

Created on 2011-02-22.00:00:00 last changed 96 months ago

Messages

Date: 2011-03-15.00:00:00

Proposed resolution (March, 2011):

This issue is resolved by the resolution of issue 1057 in document N3262.

Date: 2011-02-22.00:00:00

Type matching rules aren't well-specified in the current Standard, but it seems reasonable to say that if a declaration uses decltype, its definition must do so as well. For example, the following should be ill-formed:

    template<class T, T* u> struct S {
      decltype(u) foo(T);
    };

    template<class T, T *u> T* S<T, u>::foo(T) {
       return nullptr;
    }
History
Date User Action Args
2014-03-03 00:00:00adminsetstatus: fdis -> c++11
2011-04-10 00:00:00adminsetmessages: + msg3383
2011-04-10 00:00:00adminsetstatus: open -> fdis
2011-02-22 00:00:00admincreate