[Bug c++/61507] New: GCC does not compile function with parameter pack.

[congh at google dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61507

            Bug ID: 61507
           Summary: GCC does not compile function with parameter pack.
           Product: gcc
           Version: 4.10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: congh at google dot com

GCC fails to compile the following code:



struct A {
  void foo(const int &);
  void foo(float);
};

template <typename... Args>
void bar(void (A::*memfun)(Args...), Args... args);

void go(const int& i) {
  bar<const int &>(&A::foo, i);
}




The error message is shown below:



t.C:10:30: error: no matching function for call to ‘bar(<unresolved overloaded
function type>, const int&)’
   bar<const int &>(&A::foo, i);
                              ^
t.C:7:6: note: candidate: template<class ... Args> void bar(void (A::*)(Args
...), Args ...)
 void bar(void (A::*memfun)(Args...), Args... args);
      ^
t.C:7:6: note:   template argument deduction/substitution failed:
t.C:10:30: note:   inconsistent parameter pack deduction with ‘const int&’ and
‘int’
   bar<const int &>(&A::foo, i);



As the type is explicitly specified, why GCC would like to "deduce" it?