c++ - 函数重载、继承和隐式构造函数 : weird priority

Question

这是一个测试代码:

#include <iostream>
#define OPTION 1

template<typename T>
class Base
{
    public:
        Base() : _x() 
        {std::cout<<"Base()"<<std::endl;}

        Base(const T& source) : _x(source) 
        {std::cout<<"Base(const T& source)"<<std::endl;}

        Base(const Base<T>& source) : _x(source.x) 
        {std::cout<<"Base(const Base<T>& source)"<<std::endl;}

    public:
        inline void set(const T& source) 
        {std::cout<<"Base::set(const T& source)"<<std::endl; 
        this->_x = source;}

        inline T get() const 
        {std::cout<<"Base::get(const T& source)"<<std::endl; return _x;}

    protected:
        T _x;
};

template<typename T>
class Derived : public Base<T>
{
    public:
        Derived() : Base<T>() 
        {std::cout<<"Derived()"<<std::endl;}

        Derived(const T& source) : Base<T>(source) 
        {std::cout<<"Derived(const T& source)"<<std::endl;}

        Derived(const Derived<T>& source) : Base<T>(source) 
        {std::cout<<"Derived(const Derived<T>& source)"<<std::endl;}

    public:
        #if OPTION == 0
        inline void set(const T& source) 
        {std::cout<<"Derived::set(const T& source)"<<std::endl; 
        this->_x = source;}
        #endif

        inline void set(const Base<T>& source) 
        {std::cout<<"Derived::set(const Base<T>& source)"<<std::endl; 
        this->_x = source.get();}
};

int main(int argc, char* argv[])
{
    Derived<double> d;
    double x = 4.5;
    d.set(x);
    return 0;
}

对我来说OPTION 0和 OPTION 1将是等效的，但它们不是，我想了解原因。

与 OPTION 0 , 当main电话 d.set(x)编译器可以在 Derived<T>::set(const T& source) 之间进行选择和 Derived<T>::set(const Base<T>& source)当然，对于 T x他选择Derived<T>::set(const T& source) .

现在 OPTION 1 , 当main电话 d.set(x) ，我认为编译器可以在 Base<T>::set(const T& source) 之间进行选择和 Derived<T>::set(const Base<T>& source) .

但不是选择Base<T>::set(const T& source) ，编译器(此处为 GCC 4.6.3)隐式转换 x至 Base<T>并调用 Derived<T>::set(const Base<T>& source) .

这正常吗？

为了拥有 OPTION 0 避免这种情况(不更改构造函数)的常用技术(如果存在)是什么？和 OPTION 1等效？

Answer 1

当在派生类中从基类重载函数时，基类函数是隐藏的，并且永远不会被重载决议选择，除非 using使用声明。也就是说，允许编译器选择 Base<T>::set(const T&) , 你添加了

using Base<T>::set;

在您的派生类中。