C++：返回一个可以是特殊派生类的对象

Question

对不起，篇幅较长，但我不知道如何在没有介绍的情况下提出这个问题。

让我们假设必须实现一个“数字”（class CNum 的对象），它可以是（有符号）整数 (∈ℤ) 或有理数 (∈ℚ)。 想象一下有一个成员函数prn 来打印数字。当然，我们希望以不同的方式打印整数和有理数。

一个典型的“old style”（C/ish）实现可能是这样的：

class CNum
{
 public:
  char type; // In this example, 'Q' or 'Z'.
  [...]
  char *prn(char *s)
   {
    if(type=='Z') sprintf(s,"something...."); else
    if(type=='Q') sprintf(s,"something else ...");
    return s;
   }
  [...]
};

更多“现代”（C++/ish）方法倾向于使用派生类和虚函数。 所以我会写这样的：

class CNum
{
 public:
  [...]
  virtual char *prn(char *s) {....};
};

class ZZ : public CNum
{
  long int n; // n is the value.
  // implementation for integers, with proper prn()
};

class QQ : public CNum
{
  long int a; unsigned long int b; // a/b is the value.
  // implementation for rationals, with proper prn()
};

...而且看起来好多了（不是吗？）。

好的...现在，我需要将一个整数除以另一个整数的代码。 一般来说，两个整数之间的比率是有理数，所以我会写：

QQ operator / (ZZ &x, ZZ &y)
{
 QQ R;
 long int j;

 if(y.n<0) {R.a=-x.n; R.b=-y.n;}
 else      {R.a= x.n; R.b= y.n;}
 for(j=2; j<=abs(R.a) && j<=R.b; j++) while(!(R.a%j) && !(R.b%j)) {R.a/=j; R.b/=j;}
 if(R.b==1) ; // (it's a whole number, stored as rational)(sorry...)
 return R;
}

最长的行 (for(j...) 允许，例如，得到 2/3 而不是 2006/3009 的结果

那么，真正的问题来了：在if(R.b==1) 的情况下，如何返回class ZZ 类型的对象（而不是class QQ）？ 在“old style”方法中这将是微不足道的。但这意味着所有成员函数都应该是 if(type==...){...} else if(type==...){...} else ... 的聚合——不是我想要维护的。

专家会有什么建议？

（我找到了一个返回对新对象的引用的解决方案，但它比问题更糟糕，否则它会泄漏内存）

另外：如果有人理解了这个问题（同样不知道答案）：对更好的标题有什么建议吗？

Answer 1

根据 SO 的建议，避免在 cmets 中回答问题。但我没有提供完整的答案......所以这是介于评论和答案之间的某个地方。

你面临的问题是QQ和ZZ是不同大小的不同对象。值得注意的是，其中一个有一个额外的成员变量（unsigned long int b）。

因此运算符 / 不能根据上下文按值返回，因为它们不兼容。它们有不同的类型，但也有不同的大小。

基本上这里的解决方案是类型擦除。本质上，您想创建一个类型，可以说是 MyNumber。它是一个容器，在其中存储类型 MyInteger 或 MyRational。

这意味着对 MyNumber 执行的每个操作都必须进行运行时测试，以查看它是否在其中存储了 MyInteger 或 MyRational 的实例......然后调用适当的函数来对该类型进行操作。

要实现类型擦除，您有两个基本选项：

1. 在 MyNumber 内部，它将存储指向 MyInteger 或 MyRational 的指针。这增加了一个额外的间接层，并且可能会命中您的缓存，因此对于像数字类型这样的东西可能是不可取的。

2. 在编译时已知所有可能的 MyNumber 表示形式的情况下使用 Union。这使它们可以存储在堆栈中，一般来说，您可以更轻松地确保一系列 MyNumber 实例中包含的数据靠近在一起。

一个快速的谷歌搜索出现了这个，其中有一个很好的类型擦除示例： https://en.wikibooks.org/wiki/More_C%2B%2B_Idioms/Type_Erasure

该实现在内部使用 unique_ptr，因此它采用分配路线。您可能需要查找工会并了解如何使用它们。

编辑：

很明显，自从我完成 C++ 以来已经太久了！你可以使用 std::variant 作为你的联合，而不是做一个联合，这将是一堆开始深入研究你可能不熟悉的语言使用的东西。

应该是这样的：

class MyNumber {
  public:
    MyNumber( MyInteger i )...
    MyNumber( MyRational r )...

    MyNumber operator / (MyNumber const& other) const {
      ... internally use the DivideVisitor struct with std::visit ...
    }

  private:
    struct DivideVisitor {
      ... look up how std::visit works with std::variant ...
      ... and the implementation for this will become clear ...
    };

    std::variant< MyInteger, MyRational > m_internal;
};

Answer 2

您正在询问任何强类型语言的常见问题。问题是，函数结果，特别是它的类型是在编译时指定的，但函数参数只有在运行时才知道。为了解决这个问题，你必须使用多态性。

您称之为“旧 C 风格”的解决方案转换为 C++ 如下：

std::unique_ptr<CNum> operator/ (ZZ const& x, ZZ const& y)
{
    //calculate "result = x/y"
    //if rational
    return std::make_unique<QQ>(result);
    //else if whole number
    return std::make_unique<ZZ>(result);
}

这样，您返回一个指向有理数或整数的唯一指针——然后您可以在进一步的计算中使用它，也可以使用CNum。

此外，如果您想知道它到底是哪一个，您可以使用dynamic_cast：

ZZ a;
ZZ b;
auto res = a/b;
if(QQ* d = dynamic_cast<QQ*>(res.get()))
{
     //result is rational
}
else if(ZZ* d = dynamic_cast<ZZ*>(res.get()))
{
     //result is whole
}

但是，您应该很少需要它。

此外，还有其他选择。例如，您可以实现一个虚函数 std::string type()，它为派生的有理类返回 "Q"，为整数返回 "Z"，从而替换 C 风格解决方案中的 char type 变量。

总结：旧的 C 风格几乎没有比现代 C++ 风格更好。