C++继承-子类构造函数调用？

Question

我的主要内容如下：

Sum *sum = new Sum(Identifier("aNum1"), Identifier("aNum2"));

我的类是：

class Table {
private:
    static map<string, int> m;    
public:
    static int lookup(string ident)
    {
        return m.find(ident)->second;
    }
    static void insert(string ident, int aValue)
    {
        m.insert(pair<string, int>(ident, aValue));
    }
};   

class Expression {
public:
    virtual int const getValue() = 0;
};

class Identifier : Expression {
private:
    string ident;
public:
    Identifier(string _ident) { ident = _ident; }
    int const getValue() { return Table::lookup(ident); }    
};

class BinaryExpression : public Expression {
protected:
    Expression *firstExp;
    Expression *secondExp;
public:
    BinaryExpression(Expression &_firstExp, Expression &_secondExp) {
        firstExp = &_firstExp;
        secondExp = &_secondExp;
    }
};

class Sum : BinaryExpression {
public:
    Sum(Expression &first, Expression &second) : BinaryExpression (first, second) {}
    int const getValue() 
    { 
        return firstExp->getValue() + secondExp->getValue();
    }
};

当我编译它时，我收到以下错误：

没有调用“Sum::Sum(Identifier, Identifier)”的匹配函数

候选者是： Sum::Sum(Expression&) ;, Expression&)

Identifier 类继承自 Expression，那么为什么我会收到此错误？

Answer 1

问题是您将临时变量传递给构造函数，但构造函数需要一个非-const引用，而临时变量只能绑定到const引用。

要修复此问题，请将参数类型更改为Expression const&。顺便说一句，这与继承和多态性完全无关（但也需要 digivampire 的修复；我怀疑这只是一个拼写错误）。

Answer 2

class Identifier : Expression {
private:
    string ident;
public:
    Identifier(string _ident) { ident = _ident; }
    int const getValue() { return Table::lookup(ident); }    
};

您正在从表达式私有继承标识符更改为：

class Identifier : public Expression {
private:
    string ident;
public:
    Identifier(string _ident) { ident = _ident; }
    int const getValue() { return Table::lookup(ident); }    
};

Answer 3

您需要 Sum(Expression const & first, Expression const & secondary)。

如果没有 const ，它将无法编译 - 非常量引用不会绑定到临时对象，例如临时 Identifier 对象。

但即便如此，它也不会起作用——你最终会得到指向标识符的悬空指针。您可能会更好地使用以下内容：

new Sum(new Identifier("aNum1"), new Identifier("aNum2"));

但是您需要弄清楚如何在正确的时间释放东西。

Answer 4

据我了解，向下转换（这就是您想要实现的目标）不是自动的，您应该强制它。

但是，要将标识符转换为表达式，您需要指向这些对象的指针。因此，如果您想让 Sum 类构造函数保持原样，您需要像这样调用它：

Identifier a("aNum1");
Identifier b("aNum2");
Sum *sum = new Sum(*(Expression*) &a, *(Expression*) &b);

Answer 5

继承并不重要。您应该传递表达式的实例而不是标识符。

Sum *sum = new Sum(Expression("aNum1"), Expression("aNum2"));