c++ - 区分两个零参数构造函数的惯用方法

Question

我有一堂这样的课:

struct event_counts {
    uint64_t counts[MAX_COUNTERS];

    event_counts() : counts{} {}

    // more stuff

};

通常我想默认(零)初始化 counts 数组，如图所示。

但是，在分析确定的选定位置，我想抑制数组初始化，因为我知道数组即将被覆盖，但编译器不够智能，无法弄清楚这一点。

创建这样一个“辅助”零参数构造函数的惯用且有效的方法是什么？

目前，我正在使用标记类 uninit_tag ，它作为虚拟参数传递，如下所示:

struct uninit_tag{};

struct event_counts {
    uint64_t counts[MAX_COUNTERS];

    event_counts() : counts{} {}

    event_counts(uninit_tag) {}

    // more stuff

};

然后，当我想抑制构造时，我会调用 no-init 构造函数，例如 event_counts c(uninit_tag{});。

我愿意接受不涉及创建虚拟类的解决方案，或者在某种程度上更有效的解决方案，等等。

Answer 1

您已有的解决方案是正确的，并且正是我在检查您的代码时想要看到的解决方案。它尽可能高效、清晰、简洁。