1

我正在用 C++ 编写一个玩具正则表达式引擎作为学习练习，但我遇到了编译器错误。以下是实现不同表达式子类型的类的定义：

// ***************************************************************
// ***************************************************************

  class RegexExpression {
  public:

    virtual RegexResult match(std::string);
  };

// ***************************************************************

  class RegexTerm : public virtual RegexExpression {
  public:
    RegexTerm(char c) : _matchChar(c) {}

    RegexResult match(std::string);

  private:

    char _matchChar;
  };

// ***************************************************************

  class RegexNil : public virtual RegexExpression {

  public:

    RegexResult match(std::string);

  };

// ***************************************************************
// ***************************************************************

  class RegexBinaryExpression : public virtual RegexExpression {
  public:
    RegexBinaryExpression
    (RegexExpression &lhs, RegexExpression &rhs) :
      _lhs(lhs), _rhs(rhs) {}

  protected:

    RegexExpression _lhs;
    RegexExpression _rhs;


  };

// ***************************************************************

  class RegexOr : public RegexBinaryExpression {
  public:

    RegexResult match(std::string);

  };

// ***************************************************************

  class RegexAnd : public RegexBinaryExpression {
  public:

    RegexResult match(std::string);

  };

但是，当我尝试实例化 RegexOr 时，例如：

RegexOr regex(RegexTerm('a'), RegexNil());

然后我得到一个编译器错误，告诉我 RegexBinaryExpression 的 2 参数构造函数不可见。

如果我在 RegexOr 中显式定义构造函数，例如：

RegexOr(RegexExpression &l, RegexExpression &r) : RegexBinaryExpression(l, r) {}

然后我被告知 RegexNil 不能转换为 RegexExpression。

我在这里做错了什么？

4

2 回答 2

2

至少在 C++11 之前，您必须自己在RegexOr. 但是，您将其实现为采用非常量引用参数，然后您尝试从临时绑定，这是语言所禁止的。

而是通过 const 引用（甚至可能通过值）获取参数：

RegexBinaryExpression(const RegexExpression &lhs, const RegexExpression &rhs)
: _lhs(lhs)
, _rhs(rhs)
{}

RegexOr(const RegexExpression &l, const RegexExpression &r) : RegexBinaryExpression(l, r) {}
于 2013-09-11T16:20:27.597 回答
2

您不能将临时对象传递给非常量引用参数。要使其编译，您需要将参数更改为 const 引用（或按值）。

你有一个更大的问题。当您将参数复制到 RegexBinaryExpression 的成员时，它们将存储为 RegexExpression 对象而不是派生对象。有关派生类型的信息将丢失。这称为对象切片。

您将需要动态分配正则表达式对象并将指向它们的指针存储在您的类中。我会推荐智能指针。您还可以将正则表达式对象的类型存储在类中，模板参数，而不是继承层次结构。这可能更难实现并且有一些缺点。

于 2013-09-11T16:21:15.740 回答