2つのゼロ引数コンストラクターを区別する慣用的な方法

私はこのようなクラスを持っています：

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

};

次に、構築event_counts c(uninit_tag{});を抑制したいときのように、no-initコンストラクターを呼び出します。

私は、ダミークラスの作成を含まない、または何らかの方法でより効率的なソリューションなどを受け入れています。

あなたが既に持っている解決策は正しいです、そして私があなたのコードをレビューしているなら私が見たいと思うものと全く同じです。それは可能な限り効率的で、明確で簡潔です。

コンストラクター本体が空の場合、省略またはデフォルトにすることができます。

struct event_counts {
    std::uint64_t counts[MAX_COUNTERS];
    event_counts() = default;
};

その後、デフォルトの初期化 event_counts counts;は初期化されcounts.countsないままになり（デフォルトの初期化はここでは何もしません）、値の初期化 event_counts counts{};は値initializeでありcounts.counts、実質的にゼロで埋められます。

私はあなたの解決策が好きです。ネストされた構造体と静的変数も検討した可能性があります。例えば：

struct event_counts {
    static constexpr struct uninit_tag {} uninit = uninit_tag();

    uint64_t counts[MAX_COUNTS];

    event_counts() : counts{} {}

    explicit event_counts(uninit_tag) {}

    // more stuff

};

静的変数を使用すると、初期化されていないコンストラクター呼び出しがより便利に思えるかもしれません。

event_counts e(event_counts::uninit);

もちろん、マクロを導入して入力を節約し、より体系的な機能にすることができます

#define UNINIT_TAG static constexpr struct uninit_tag {} uninit = uninit_tag();

struct event_counts {
    UNINIT_TAG
}

struct other_counts {
    UNINIT_TAG
}

enumはタグクラスやブール値よりも良い選択だと思います。構造体のインスタンスを渡す必要はなく、どのオプションを取得しているかは呼び出し元から明らかです。

struct event_counts {
    enum Init { INIT, NO_INIT };
    uint64_t counts[MAX_COUNTERS];

    event_counts(Init init = INIT) {
        if (init == INIT) {
            std::fill(counts, counts + MAX_COUNTERS, 0);
        }
    }
};

次に、インスタンスの作成は次のようになります。

event_counts e1{};
event_counts e2{event_counts::INIT};
event_counts e3{event_counts::NO_INIT};

または、タグクラスのアプローチに近づけるには、タグクラスの代わりに単一値の列挙を使用します。

struct event_counts {
    enum NoInit { NO_INIT };
    uint64_t counts[MAX_COUNTERS];

    event_counts() : counts{} {}
    explicit event_counts(NoInit) {}
};

次に、インスタンスを作成する方法は2つしかありません。

event_counts e1{};
event_counts e2{event_counts::NO_INIT};

クラスの2フェーズの初期化を検討することをお勧めします。

struct event_counts {
    uint64_t counts[MAX_COUNTERS];

    event_counts() = default;

    void set_zero() {
       std::fill(std::begin(counts), std::end(counts), 0u);
    }
};

上記のコンストラクターは、配列をゼロに初期化しません。配列の要素をゼロに設定するには、set_zero()作成後にメンバー関数を呼び出す必要があります。

私はそれをこのようにします：

struct event_counts {
    uint64_t counts[MAX_COUNTERS];

    event_counts() : counts{} {}

    event_counts(bool initCounts) {
        if (initCounts) {
            std::fill(counts, counts + MAX_COUNTERS, 0);
        }
    }
};

コンパイラーは、を使用するときにすべてのコードをスキップするのに十分賢くevent_counts(false)、クラスのインターフェースを奇妙なものにする代わりに、意味を正確に言うことができます。

入力を少し節約するためだけにサブクラスを使用します。

struct event_counts {
    uint64_t counts[MAX_COUNTERS];

    event_counts() : counts{} {}
    event_counts(uninit_tag) {}
};    

struct event_counts_no_init: event_counts {
    event_counts_no_init(): event_counts(uninit_tag{}) {}
};

あなたは初期化しないと、コンストラクタの引数変更することにより、ダミークラスを取り除くことができますboolかint、それはもう、ニーモニックである必要はありませんので、または何かを。

また、継承を交換events_count_no_initして、回答で提案されているEvgのようなデフォルトのコンストラクターで定義しevents_count、サブクラスにすることもできます。

struct event_counts_no_init {
    uint64_t counts[MAX_COUNTERS];
    event_counts_no_init() = default;
};

struct event_counts: event_counts_no_init {
    event_counts(): event_counts_no_init{} {}
};