RAII std::vector 设计难题答案

【问题标题】：RAII std::vector design conundrumRAII std::vector 设计难题
【发布时间】：2018-08-07 07:26:21
【问题描述】：

我不喜欢像下面这样具有 IsValid() 函数的类，因为您必须记住在任何地方都检查 IsValid()：

struct BadTextWidget
{
    BadTextWidget(const std::string & TEXT) : m_text(TEXT) {}
    bool IsValid() const;
    ...

我更喜欢 RAII 方法，它使得无法构造无效对象：

struct BetterTextWidget
{
    BetterTextWidget(const std::string & TEXT) : m_text(TEXT)
    {
        if (IsValid(m_text) == false) throw std::invalid_argument("...");
    }
    ...

但是，我也喜欢使用向量，但这需要构造函数参数具有无效的默认值。这迫使我再次使用 BadTextWidget。

那么，如何使用抛出的验证构造函数获得 std::vector 的性能特征？你如何解决这个设计难题？我错过了什么？

【问题讨论】：

std::vector 不需要为其保存的项目使用默认构造函数。
".. 但这要求构造函数参数具有无效的默认值。这迫使我再次使用 BadTextWidget。"你能扩展一下吗？不清楚这是从哪里来的。
您错误地假设std::vector 需要默认构造函数参数，所以也许这就是您遇到这个难题的原因。

标签： c++ exception constructor throw raii

【解决方案1】：

直到 c++11 向量元素需要是可复制的，因为 c++11 的要求取决于您使用的方法。一般来说，任何可移动的类都应该适用于大多数向量操作。如果你不提供默认值，像 resize() 这样的操作仍然需要默认的可构造性。

例如

std::vector< BetterTextWidget > vector( 20 );

不会工作，但是：

std::string str;
std::vector< BetterTextWidget > vector( 20, BetterTextWidget( str ) );

会

【讨论】：