C++ 对同名运算符的多重继承

Question

是否可以从两个不同的抽象类继承同名运算符，但返回类型不同。 如果是这样，他们：

• 实现运算符的语法是什么

• 使用/解析运算符的语法是什么

• 一般情况下的开销是多少，与任何其他虚函数相同？

如果您能提供有用的参考或示例代码

谢谢

12结构抽象矩阵{ 13 virtual double& operator()(int i, int j); 14}; 15 16 结构抽象块矩阵{ 17 virtual double* operator()(int i, int j); 18}; 19 20struct block_matrix：abstract_matrix，abstract_block_matrix { 21 22};

块矩阵需要为两个运算符提供实现，以便它是矩阵或块矩阵，具体取决于上下文。我不知道如何提供特定于 block_matrix 类的实现。 现在，它是通过将对象包装类型作为最后一个参数传递来完成的，但这似乎不是很干净。我想保留纯矩阵符号。

Answer 1

函数的返回类型不是它的签名的一部分，所以你不能在 block_matrix 中有两个 operator+(i,j) - 这将是一个模棱两可的调用。因此，在这一点上，多重继承有点像红鲱鱼。你不能那样做。

你真正想做什么，为什么？

无论如何，对于您的另一个问题：虚拟运算符在性能和操作方式方面与虚拟函数完全相同。您使用它们的方式只是在语义上略有不同 - 但在底层它们只是像其他任何函数一样。

Answer 2

您不能重载返回类型。当调用函数或运算符时，编译器必须知道要调用哪一个。它不会根据分配给函数（运算符）调用的内容来推断。

看起来您正在寻求实现一些矩阵数学。也许如果您下载 DirectX SDK 或 OpenGL 并看看他们是如何做到的，您可能会得到一些关于如何正确做到这一点的想法。

Answer 3

我得到了它的工作，但它很不稳定。我确实喜欢模板。

template<class T>
class Base1
{
};

template<class T>
class Base2
{
};

class Derived;
template<>
class Base1<Derived>
{
public:
     double foo(){return 0.1;}
};

template<>
class Base2<Derived>
{
public:
    int foo(){return 1;}
};

class Derived
    : public Base1<Derived>
    , public Base2<Derived>
{
public:
    using Base1<Derived>::foo;
};

int main()
{
     double sum = 0;
     Derived d;
     sum += d.foo(); //+ .1
     Base1<Derived> * pI = &d;
     sum += pI->foo(); //+ .1

     Base2<Derived> * pF = &d;
     sum += pF->foo(); //+ 1

     return (sum*10);
}

没有模板我无法让它工作，尽管它看起来应该可以。我不确定你是否可以以同样的方式只做模板化的成员函数，但我的直觉说“不”。

就代码组织而言，我会在 Derived 的定义或声明之后立即定义 Base# 的内容，因为这正是它的用途。请记住，您可以使用typename Base1<Derived> something 让事情变得更漂亮。

编辑： 啊对！它不允许您使用“使用”技巧或具有不同的返回类型，但它更简单：

class Derived
    : public Base1
    , public Base2
{
    double Base1::foo(){...}
    double Base2::foo(){...}
}

可能有一种可怕的、可怕的、很棒的方式来结合这两种方法，但我认为在使用代码时它实际上并没有帮助。我可能会回复你。