这是一个测试代码:
#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
等效?
最佳答案
当在派生类中从基类重载函数时,基类函数是隐藏的,并且永远不会被重载决议选择,除非 using
使用声明。也就是说,允许编译器选择 Base<T>::set(const T&)
, 你添加了
using Base<T>::set;
在您的派生类中。
关于c++ - 函数重载、继承和隐式构造函数 : weird priority,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/13785275/