C++ - 混合默认成员初始化器和成员初始化列表 - 坏主意？答案

【问题标题】：C++ - Mixing default member initializers and member initialization lists - bad idea?C++ - 混合默认成员初始化器和成员初始化列表 - 坏主意？
【发布时间】：2016-12-30 05:18:29
【问题描述】：

这部分是风格问题，部分是正确性问题。提交以下示例（处理包含嵌入标头的数据块的类的精简版）：

class Foo {
 public:
  Foo(size_t size)
      : scratch_(new uint8_t[header_length_ + size]),
        size_(header_length_ + size) {
  }
  ~Foo() {
    delete[] scratch_;
  }
  Foo(const Foo&) = delete;  // Effective C++
  void operator=(const Foo&) = delete;  // Effective C++
 protected:
  struct Header {
    uint32_t a, b, c, d;
  };
  uint8_t * const scratch_;
  size_t const size_;
  Header * const header_ = reinterpret_cast<Header *>(scratch_);
  static constexpr size_t header_length_ = sizeof(Header);
  static constexpr size_t data_offset_ = header_length_;
  size_t const data_length_ = size_ - data_offset_;
};

首先，技术上的正确性……如所写，scratch_ 和 size_ 将首先初始化，然后是 header_，然后是 data_length_，这是否正确？（constexpr 项目是编译时文字常量，不考虑初始化顺序。）如何声明初始化程序是否也是正确的，无论是默认成员初始化（int foo = 5）还是成员初始化器列表，对初始化顺序没有影响，但重要的是声明成员的顺序？我找到了this answer，引用了关于初始化顺序的ISO规范，我收集到的是scratch_和size_出现在成员初始化列表中，而不是其他被赋予默认成员初始化器的成员，这并不重要；重要的是 scratch_ 和 size_ 在其他成员之前声明。据推测，如果 scratch_ 和 size_ 是最后声明的，那么 header_ 和 data_length_ 将（不希望地/不正确地）首先被初始化。

风格问题...混合这两种初始化风格是不是很糟糕？我的方法是成员初始化列表中的项目（scratch_、size_）取决于传递给构造函数的参数，而其余的类成员则派生自其他类成员。显然，如果初始化器依赖于构造函数参数，那么它必须进入成员初始化列表。我是否应该将 all 初始化器放入成员初始化列表中，并放弃默认成员初始化器？ IMO，这可能会使代码更难遵循。想法？

【问题讨论】：

我认为是正确的..个人觉得不是很美，但其他人可能会有所不同
应该是delete[] scratch_;
"传统初始化" 默认成员初始化器没有什么“传统”。
@NicolBolas - 与成员初始化列表中的项目相比，我一直在努力想出一个规范的名称。那么“默认成员初始化器”应该叫它们吗？
@DavidR: Yes.

标签： c++ c++11 member-initialization

【解决方案1】：

default member initializers 的存在不会改变一个类型的子对象的初始化顺序。它将始终按照声明顺序。

风格由您决定。您拥有的构造函数越多，使用 DMI 获得的收益就越多，因为您不会重复不会改变的初始化。同时，如果您开始创建覆盖 DMI 的构造函数，则会对对象的初始状态产生混淆。关键是尽量不要对正在发生的事情感到惊讶。

但是，在您的特定情况下，我会说您的变量太多。你的数组应该只是一个std::vector<uint8_t>。拥有header_ 指针是可疑的，但可以辩护（尽管它的初始化不正确；您需要使用placement-new 来满足C++ 的对象模型）。但data_length_ 可以根据需要计算。

您拥有的成员越少，混淆它们如何初始化的可能性就越小。

【讨论】：

我正在学习 C++，因为我有 20 年的嵌入式 C 编写经验，加上一些 C# 和 90 年代后期的一点点 C++。很贴切的点。我了解 DMI 和多个构造函数；我还从您提供的一个链接中看到，构造函数的成员初始化程序将覆盖 DMI，这是有道理的。放置新的完全有意义；这是一种语言正确的叠加方式，不会像我一样滥用指针。并且回复：太多的变量，我很可能犯了过早的优化；单行函数对性能的影响不大。感谢您的帮助。

【解决方案2】：

已在所有论坛中建议，无论是 const 还是非 const 的类成员都使用初始化列表进行初始化。在您的情况下，这可能不是问题，但是当用于扩展的类可能会出现问题。

【讨论】：