วิธีที่เป็นนามธรรมเพื่อแยกแยะคอนสตรัคเตอร์ zero-arg สองตัว

ฉันมีชั้นเรียนเช่นนี้:

struct event_counts {
    uint64_t counts[MAX_COUNTERS];

    event_counts() : counts{} {}

    // more stuff

};

โดยปกติฉันต้องการเริ่มต้น (ศูนย์) เริ่มต้นcountsอาร์เรย์ตามที่แสดง

ที่ตำแหน่งที่เลือกที่ระบุโดยการทำโปรไฟล์อย่างไรก็ตามฉันต้องการระงับการกำหนดค่าเริ่มต้นของอาร์เรย์เนื่องจากฉันรู้ว่าอาร์เรย์กำลังจะถูกเขียนทับ แต่คอมไพเลอร์ไม่ฉลาดพอที่จะเข้าใจได้

อะไรคือวิธีที่ใช้สำนวนและมีประสิทธิภาพในการสร้างตัวสร้าง zero-arg แบบ "รอง" ดังกล่าว

ขณะนี้ฉันใช้คลาสแท็ก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{});เมื่อฉันต้องการที่จะปราบปรามการก่อสร้าง

ฉันเปิดกว้างสำหรับการแก้ปัญหาที่ไม่เกี่ยวข้องกับการสร้างชั้นเรียนจำลองหรือมีประสิทธิภาพมากกว่าในบางด้านเป็นต้น

โซลูชันที่คุณมีอยู่นั้นถูกต้องและเป็นสิ่งที่ฉันต้องการดูว่าฉันตรวจสอบรหัสของคุณหรือไม่ มีประสิทธิภาพมากที่สุดชัดเจนและรัดกุม

หากร่างกายของตัวสร้างที่ว่างเปล่าก็สามารถละเว้นหรือเริ่มต้น:

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

จากนั้นการเริ่มต้นเริ่มต้น event_counts counts;จะcounts.countsไม่กำหนดค่าเริ่มต้นไว้(การเริ่มต้นเริ่มต้นเป็นแบบไม่มี op ที่นี่) และการเริ่มต้น event_counts counts{};ค่าจะให้ค่าเริ่มต้น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

};

ด้วยการเรียกตัวแปรคอนสตรัค uninitialized คงอาจจะสะดวกกว่า:

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 และเป็นที่ชัดเจนจากผู้โทรที่ตัวเลือกของคุณได้รับ

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};

หรือหากต้องการให้เป็นวิธีการเรียนแท็กยิ่งขึ้นให้ใช้ enum ค่าเดียวแทนคลาสแท็ก:

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

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

จากนั้นมีเพียงสองวิธีในการสร้างอินสแตนซ์:

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

คุณอาจต้องการพิจารณาการกำหนดค่าเริ่มต้นแบบสองเฟสสำหรับคลาสของคุณ:

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ด้วย Constructor ที่ผิดนัดเช่น 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{} {}
};