这部分是一个风格问题,部分是一个正确性问题。提交下列样品(一类,其与包含嵌入的报头数据块涉及的带向下):C++ - 混合默认成员初始值设定项和成员初始化列表 - 坏主意?
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_
)取决于传递给构造函数的参数,而其余类成员是从其他类成员派生的。显然,如果初始化器依赖于构造器参数,那么它已经进入成员初始化列表。我是否应该将全部初始值设定项抛入成员初始化列表中,并放弃默认成员初始值设定项?国际海事组织,这可能会使代码有点难以遵循。思考?
我相信这是正确的..不认为它很审美个人,但其他人可能会有所不同 –
应删除[] scratch_;' –
“*传统初始化*”没有什么“传统”有关默认成员初始值设定项。 –