0

当我在做hackerrank c++练习时，我在讨论部分偶然发现了这段代码：

class BadLengthException : public std::runtime_error
{
public:
    BadLengthException(int length) : std::runtime_error{std::to_string(length)}
    { }
};

我真的不明白成员初始化部分之后发生了什么，确切地说是这部分：

std::runtime_error{std::to_string(length)}

有人能解释一下这行代码对我有什么作用吗？我从未见过这样使用成员初始化。我习惯看到：

Foo(int num) : bar(num) {};

所以请尽可能清楚地解释它。感谢您的时间！

4

2 回答 2

1

您从标准异常类继承std::runtime_error。

在这段代码中：

 class BadLengthException : public std::runtime_error
 {
  public:
      BadLengthException(int length) std::runtime_error{std::to_string(length)}
      { }
};

您正在定义一个新的异常类std::runtime_error。

std::runtime_error将字符串消息作为输入，您可以runtime_error_object.what()在catch块中打印。所以，这就是length变量被转换为std::string. 您可以在此处阅读更多相关信息。

最后：

Foo(int num) : bar(num) {};

这是构造函数列表初始值设定项语法。用于初始化类的成员变量。您可以在此处阅读更多相关信息。

于 2021-01-28T17:06:45.883 回答
0

首先，请注意基类与初始化列表中的任何其他成员具有相同的成员语法。说，你有一个基类：

class Base {
  int m_val;
public:
  explicit Base(int val) : m_val(val) {};
  int val() const { return m_val; }
};

现在，你想m_val在派生类中初始化——你不能，因为它是私有的Base。但是您可以通过显式初始化派生类“包装”的基类实例来初始化它：

class Derived {
  int m_myVal;
public:
  Derived() : Base(42), m_myVal(12) { 
    assert(val() == 42 && m_myVal == 12); 
  }
};

在 C++11 中，您可以使用新语法进行初始化。它被称为统一初始化语法。上式可以改写如下：

class Base {
  int m_val;
public:
  explicit Base(int val) : m_val{val} {};
  int val() const { return m_val; }
};

// Approach 1
class Derived {
  int m_dval;
public:
  Derived() : Base{42}, m_myVal{12} { 
    assert(val() == 42 && m_myVal == 12); 
  }
};

// Approach 2
class Derived {
  int m_dval = 12;
public:
  Derived() : Base{42} { 
    assert(val() == 42 && m_myVal == 12); 
  }
};

因此，您的代码在上下文中：

namespace my {
  // We make our own classes, equivalent to those in std::, for purpose of exposition:
  class exception {
  public:
    exception() noexcept = default;
    virtual ~exception() = default;
    virtual const char* what() const noexcept { return ""; }
  };

  class runtime_error {
    std::string m_what;
  public:
    explicit runtime_error(const std::string &what) : m_what(what) {}
    const char* what() const noexcept override { return m_what.c_str(); }
  };
}

class BadLengthException : public my::runtime_error {
public:
  // pre-C++11 syntax
  BadLengthException(int length) : my::runtime_error(std::to_string(length)) {
    assert(what() == std::to_string(length));
  }
  // or, with C++11 syntax
  BadLengthException(int length) : my::runtime_error{std::to_string(length)} {
    assert(what() == std::to_string(length));
  }
};

在那里，my::runtime_error是参考基类编写的，以便将参数传递给它的构造函数。

在上面的代码中，asserts 不仅仅是调试构建的运行时检查，它们还记录了关于代码的真实陈述。用英语阅读它们有一种明确的方式——这是一项很好的技能。

写关于程序预期状态的评论是一种自然的倾向：

// Don't do this

Derived::Derived() : Base{42} {
  // Here val() is 42 and m_myVal is 12
}

这不是惯用的 C++：关于状态的注释会有所帮助，但是当代码不仅可以用于正式提出真实声明（断言），而且还可以在运行时对其进行验证时，则永远不会。此外，代码优化器和静态分析工具可以利用断言。当一个人获得启蒙时，经常会看到以下情况：

// Don't do this: don't repeat yourself (DRY)

Derived::Derived() : Base{42} {
  assert(val() == 42 && m_myVal == 12);
  // Here val() is 42 and m_myVal is 12
}

惯用的方式只是一个断言 - 不需要评论，它是可以理解的。

Derived::Derived() : Base{42} {
  assert(val() == 42 && m_myVal == 12);
}
于 2021-01-28T17:56:51.047 回答