使用多态子类各自的方法

Question

我遇到了调用错误方法的问题。在我的程序中，我有 3 个类：符号、非终端和终端。 nonTerminal 和terminal 都是符号的子类。

在我的程序中，我只创建一个终端或非终端。以下是每个类的一些精简版本：

#ifndef SYMBOL_H
#define SYMBOL_H

#include <vector>

class terminal;

using namespace std;

class symbol {
   public:
        virtual vector<terminal> getFirstSet();
};

#endif

_

#ifndef NONTERMINAL_H
#define NONTERMINAL_H

#include "symbol.h"
#include "terminal.h"
#include <vector>

using namespace std;

class terminal;

class nonTerminal: public symbol {
    public:
        vector<terminal> getFirstSet();
};

#endif

_

#ifndef TERMINAL_H
#define TERMINAL_H

#include "symbol.h"
#include <vector>

using namespace std;

class terminal: public symbol {
    public:
        vector<terminal> getFirstSet();
};

#endif

我有这个函数：

bool addFirst(symbol s) {
    vector<terminal> first = s.getFirstSet();
    //....
}

但是，每当我使用终端或非终端调用它时，它总是使用 symbol::getFirstSet 方法。如何让它调用正确的 nonTerminal::getFirstSet 或 terminal::getFirstSet 方法？

Answer 1

您的函数addFirst正在按值接收您的对象。这意味着：

1. 每次调用addFirst()时，都会创建一个新的符号对象，并从现有的终端或非终端复制.

2. 发生所述复制时，生成的对象既不是terminal也不是nonTerminal，而是它们的基类 - symbol。

为了解决这个问题并避免复制对象，请尝试通过引用传递对象：

bool addFirst (symbol &_s) {
    vector<terminal> first = s.getFirstSet();
    //....
}