我可以覆盖运算符的重载并返回不同的类型吗？

Question

class A{
  public: 
    virtual char &operator[](int);
  protected:
    ..
};
class B:A{
  public:
    A* &operator[](int);
  protected:
}

当我重载运算符的重载时，我可以更改返回类型吗？

谢谢！

//编辑 好的，既然我们已经确定这行不通，我该如何解决呢？

假设我有 A、B、C 和 D 类。

class A{
  public: 
  private:
    char &operator[](int);
  protected:
    ..
};
class B:A{
  public: 
    virtual char &operator[](int);
};
class C: A{
  public:
  private:
    A::&operator[](int);
}
class D: A{
  public:
  private:
     A::&operator[](int);
}

我可以做这样的事情吗？如果是这样，这是正确的语法吗？

Answer 1

不是这样的，不。

重写的返回类型必须与

• 被重写的虚函数的返回类型相同，或者是
• 被重写的虚函数的返回类型的派生类（这称为“协变返回类型”）。

因此，如果虚拟 A::operator[] 返回 A*，则 B::operator[] 重写可能会返回 <代码>B*。

Answer 2

多态函数不能在不同类中返回不同类型的原因并不是因为 C++ 委员会中的某个人认为这是“禁忌”，而是因为任何使用该函数返回值的代码都无法编译。

通过创建继承层次结构，您可以通过基指针或引用访问派生对象：

class A
{
public:
    virtual char operator[](int);
};
class B : public A
{
public:
    virtual char operator[](int);
};

A *a;

std::cout << "Do you want to make an A or a B?";

char type;
std::cin >> type;

if (type == 'A')
    a = new A();
else
    a = new B();

char c = (*a)[0];

请注意，在最后一行，编译器不会知道 a 指向什么类型的对象，因为这是在运行时确定的。这很好，因为无论 a 指向什么类型的对象，operator[] 仍然会返回一个字符。但是，如果允许该运算符在 B 类中返回不同类型怎么办？

class Sequence
{
    ...
};

class A
{
public:
    virtual char operator[](int);
};
class B : public A
{
public:
    virtual Sequence operator[](int);
};

A *a = new B();
char c = (*a)[0];

显然，当 a 是 B 类型的对象时，最后一行没有任何意义。在这种情况下，您尝试将序列分配给角色。同样，如果 a 是 A 类型的对象，则 Sequence c = (*a)[0]; 就没有意义。

Answer 3

正确的解决方案是使 A 成为类 C 和 D 的成员，而不是基类。由于 C 和 D 需要为公共方法使用不同的签名，因此它们显然不等于每个上下文中的 A，因此尝试在这里使用继承确实没有意义。

Answer 4

好的，看看您关于序列 (A)、GeneSequence (B) 和 GenomeSequence (C) 的最后评论，

您希望操作员有时返回一个char，有时会返回一个Sequence

那么，如您所见，超类A声明的类型是不正确的>&运算符 [] 作为 char。

它应该使用 template 作为类型参数，以指定它是 char 的集合还是 Sequence 的集合，对吧？