[cfe-users] problem with `candidate template ignored: invalid explicitly-specified argument'

[Jan Korous via cfe-users]

> On Nov 7, 2018, at 7:03 PM, Werner LEMBERG via cfe-users <cfe-users at lists.llvm.org> wrote:
> 
> 
>> The rule for determining when a base class function declaration
>> introduced by a using-declaration is hidden by a derived class
>> function declaration does not take the template parameter list into
>> account: http://eel.is/c++draft/namespace.udecl#15.sentence-1
> 
> Our main lilypond developer disagrees.  He writes:
> 
>  This link states:
> 
>    When a using-declarator brings declarations from a base class into
>    a derived class, member functions and member function templates in
>    the derived class override and/or hide member functions and member
>    function templates with the same name, parameter-type-list,
>    cv-qualification, and ref-qualifier (if any) in a base class
>    (rather than conflicting).
> 
>  The parameter-type-list is a different one in this example since
>  they contain a different member function pointer type.  Which is the
>  reason we need the whole hooplahoop in the first place.
> 

Isn’t it template-parameter-list that is different rather than parameter-type-list?

http://eel.is/c++draft/dcl.fct#def:parameter-type-list
http://eel.is/c++draft/temp#nt:template-parameter-list

> For context, the whole lilypond thread starts at
> 
>  https://lists.gnu.org/archive/html/lilypond-devel/2018-11/msg00019.html
> 
> 
>    Werner
> _______________________________________________
> cfe-users mailing list
> cfe-users at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-users