对抽象类的引用

Question

当引用抽象类时，这意味着什么？ 我在代码中找到了它，但我无法理解它。

我认为抽象类不能被实例化。怎样才能给它一个参考呢？

Answer 1

对抽象类的引用就像指向抽象类的指针一样：它需要引用抽象类的某个非抽象子类的对象。您可以使用类似的引用来使用 . 语法调用被引用类上的虚拟方法，其方式类似于 Java 中指向接口的指针。

Answer 2

抽象类被设计为派生类。里氏替换原则粗略地指出，任何使用从抽象基派生的类型的抽象部分的东西都应该使用基多态性地工作得同样好。这意味着应该使用指向基数的引用或指针。

Answer 3

class Abstract
{
public:
  virtual void foo() = 0;
};

class Implementation : public Abstract
{
public:
  void foo() { std::cout << "Foo!" << std::endl; }
};

void call_foo(Abstract& obj) { obj.foo(); } 

int main()
{
  Abstract *bar = new Implementation();

  call_foo(*bar);

  delete bar;
}

bar 是一个指向抽象类的指针。可以使用 * 运算符取消引用它，并将其作为 引用 传递到 call_foo 中，因为这就是 call_foo 的作用请求（Abstract* 将请求一个指针，而 Abstract& 则请求一个引用）。

在上面，传递了对抽象类的引用，并且当使用 . 表示法（而不是指针 ->< 调用 foo() 时） /code> 表示法），它会打印 Foo!，因为这就是 Implementation 的作用。

希望这有帮助。

Answer 4

C++ 中的引用的行为（几乎）类似于隐藏指针。特别是，您可以通过指针获得相同的多态行为，您可以通过引用来实现它。也就是说，

int *i = &a;
int &j = a;

假设 a 是前面几行中某处定义的整数，则以下内容（几乎）是等效的。随后出现的引用 j 完全等同于 (*i) 的出现。主要区别在于，引用不会给您带来内存管理的痛苦，而指针则会带来内存管理的痛苦（您有责任处理 new(s) 和 delete(s)）。此外，指针不必指向某些东西，而如果引用不指向任何东西（1），那么它就不会存在。除此之外，您可以认为它们的行为方式相同。

因此，引用抽象对象是绝对合法的。您经常会在函数签名中发现它，其中可以通过引用或指针来实现多态行为。但引用提供了更轻量级的语法，如下面的代码所示，

A a;
A* ptr = &a;
A& ref = a;
ref();
ptr->operator()();
(*ptr)();

假设类 A 重载了 operator ()。

(1) 嗯，你可以有悬空引用，就像指针一样：

int* a = new int(1);
int& b = *a;
delete a; // et-voila, b is now dangling.

但是如果不指定它们可以引用的东西，就无法创建它们。