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

Question

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

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

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

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

如果您可以为我提供参考或示例代码，这将很有帮助，

感谢

12struct abstract_matrix {
 13    virtual double& operator()(int i, int j);
 14};
 15
 16    struct abstract_block_matrix {
 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 中不能有两个运算符+(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;一些让事情变得更漂亮的东西。

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

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

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