C++子类重载乘法运算符隐藏基重载取消引用运算符

C++ Subclass Overloaded Multiplication Operator Hides Base Overloaded Dereference Operator

本文关键字：运算符 重载 引用 取消 隐藏 子类 C++      更新时间：2023-10-16

是否可以在类继承的不同级别覆盖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*的两种形式都在模板基类中定义，也可以。

为什么子类的二进制operator*(double f)隐藏基类的一元operator*()？

在C++中，名称查找是重载解析的单独步骤。名称查找是查找与名称相关的作用域的过程。

引入名称Derived::operator*意味着在Derived在范围内的点搜索operator*(或使用*作为运算符(，将名称解析为Derived::operator*。然后对于存在CCD_ 15的任何过载进行过载解析。

要获得过载解决方案，还需要考虑当前命名为Base::operator*的函数，您需要通过编写以下内容将这些函数引入Derived中：

using Base::operator*;

在CCD_ 18类中。这意味着名称Derived::operator*现在指的是这三个函数，重载解析将在其中进行选择。

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

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

您可以用通常的方法修复这个问题：在派生类定义中使用using base::operator*;。

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

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';
}
相关文章：