Question

是否无法在类层次结构的不同级别覆盖operator*()（一元解除引用运算符）和operator*(double f)（成员二进制乘法与本地double参数）？

考虑：

// base.h:
template<typename T>
class base {
  public:
    base(T v) : m_v(v) { }
    T& operator*() { return m_v; }
    const T& operator*() const { return m_v; }
  protected:
    T m_v;
};

和

// special.h:
#include "base.h"
class super_double : public base<double> {
  public:
    super_double (double v) : base(v) { }
    const super_double operator* (double f) { return super_double (m_v * f); }
};

我不明白为什么成员二进制文件operator*隐藏了从基类继承的解除引用操作符，因为它们的调用约定是不同的。如果super_double未定义operator*(double f)，则以下代码编译正常，但如果出现错误则会发出错误：

super_double q(289.3);
double d = *q; // Only good if super_double doesn't define operator*(double f)

如果在模板基类中定义了两种形式的operator*，那也没关系。

为什么子类'binary operator*(double f)隐藏了基类的一元operator*()？

Answer 1

我不明白为什么成员二进制文件operator*隐藏了从基类继承的解引用运算符

因为它们的名字相同。假设，C ++可能有一个规则，即运算符函数的名称查找仅考虑具有正确数量的参数的函数，但C ++语言中没有这样的规则。

您可以通常的方式解决此问题：派生类定义中的using base::operator*;。

Answer 2

可能更好的方法是将其实现为二元友元函数以消除歧义。

template<typename T>
class base {
  public:
    base(T v) : m_v(v) { }
    T& operator*() { return m_v; }
    const T& operator*() const { return m_v; }
  protected:
    T m_v;
};

class super_double : public base<double> {
  public:
    super_double (double v) : base(v) { }
    friend const super_double operator* (const super_double& d, double f) { return super_double (d.m_v * f); }
};

int main()
{
    super_double q(289.3);
    double d = *q;
    std::cout << d <<'\n';
}

Answer 3

在C ++ 名称查找是重载解析的单独步骤。名称查找是查找范围以使用名称的过程。

引入名称Derived::operator*表示在operator*在范围内的位置搜索*（或使用Derived作为运算符）将解析名称到Derived::operator*。然后，对于存在Derived::operator*的任何重载，都会进行重载解析。

要让重载解析也考虑当前名为Base::operator*的函数，您需要通过编写将这些函数引入Derived：

using Base::operator*;

在Derived课程中。这意味着名称Derived::operator*现在引用所有三个函数，并且重载决策将在它们中选择。

C ++子类重载乘法运算符隐藏基本重载的解引用运算符

3 个答案: