Vererbung und Template-Operator Überlastung

Question

Vererbung und Template-Betreiber Überlastung

Ich verstehe nicht, warum der Bediener in A<int> den Bediener in base den Schatten stellt. Es hat schließlich eine andere Unterschrift.

#include <iostream> 

struct base { 
    template <typename U> 
    void operator()(U&& x) { std::cout << "base" << std::endl; } 
}; 

template <typename T> 
struct A: public base { }; 

template <> 
struct A<int>: public base { 
    void operator()() { std::cout << "A<int>" << std::endl; } // line 1 
}; 

int main() 
{ 
    A<double>()(1); 
    A<int>()(1); // line 2 
    A<int>()(); // line 3 
} 

Zeile 2 wird nicht kompiliert, wenn Zeile 1 vorhanden ist.

Zeile 3 wird nicht kompiliert, wenn Zeile 1 (offensichtlich) entfernt wird.

Wenn ich die Operatorvorlage von Base nach A kopiere, funktioniert alles.

erwartete ich die Ausgabe zu sein:

base 
base 
A<int> 

Answer 1

Die Erklärung des Betreibers in der abgeleiteten Klasse versteckt den Namen in der Basisklasse.
Um lösen das Problem, ist es eine Frage eines using declaration:

template <> 
struct A<int>: public base { 
    using base::operator(); 
    void operator()() { std::cout << "A<int>" << std::endl; } 
}; 

Und beide werden zusammenstellen.