상속 및

Question

상속 과부하 템플릿 연산자와 A<int>의 운영자가 base에서 운영자를 무색하게하는 이유

가 이해가 안 과부하 템플릿 연산자. 결국 서명이 다릅니다.

#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 
} 

줄 1이 있으면 줄 2가 컴파일되지 않습니다.

라인 1이 제거되면 (분명히) 라인 3이 컴파일되지 않습니다.

베이스에서 A로 연산자 템플릿을 복사하면 모든 것이 작동합니다.

base 
base 
A<int> 

Answer 1

파생 된 클래스에서 운전자의 선언은 기본 클래스 이름을 숨기고 :

는 I 출력이 될 것으로 기대.

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

를 그리고 둘 다 컴파일 :
문제 해결 에, 그것은 using declaration의 문제이다.