İki sıfır arg yapıcısını ayırt etmenin deyimsel yolu

Ben böyle bir sınıf var:

struct event_counts {
    uint64_t counts[MAX_COUNTERS];

    event_counts() : counts{} {}

    // more stuff

};

Genellikle varsayılan (sıfır) countsgösterildiği gibi dizi başlatmak istiyorum .

Profilleme ile belirlenen seçilen yerlerde, ancak, dizi üzerine yazmak üzere olduğunu biliyorum, ancak derleyici bunu anlamaya yetecek kadar akıllı değil, çünkü dizi başlatma bastırmak istiyorum.

Böyle bir "ikincil" sıfır arg yapıcısı oluşturmanın deyimsel ve etkili yolu nedir?

Şu anda, uninit_tagkukla bir argüman olarak geçirilen bir tag sınıfı kullanıyorum, şöyle :

struct uninit_tag{};

struct event_counts {
    uint64_t counts[MAX_COUNTERS];

    event_counts() : counts{} {}

    event_counts(uninit_tag) {}

    // more stuff

};

Daha sonra inşaatı event_counts c(uninit_tag{});bastırmak istediğimde no-init yapıcısını çağırıyorum .

Sahte bir sınıfın oluşturulmasını içermeyen veya bir şekilde daha verimli olan çözümlere açıkım.

Zaten sahip olduğunuz çözüm doğrudur ve tam olarak kodunuzu gözden geçirip inceleyemeyeceğimi görmek istiyorum. Mümkün olduğunca verimli, açık ve özlüdür.

Yapıcı gövdesi boşsa, atlanabilir veya varsayılan olarak ayarlanabilir:

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

Ardından varsayılan başlatma event_counts counts; bırakacağım counts.counts(varsayılan başlatma burada no-op) başlatılmamış ve değer başlatma event_counts counts{}; ilklendir değeri olacaktır counts.countsetkili bir sıfır ile doldurulması.

Çözümünü beğendim. İç içe yapı ve statik değişken de düşünmüş olabilirsiniz. Örneğin:

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

};

Statik değişken ile başlatılmamış yapıcı çağrısı daha uygun görünebilir:

event_counts e(event_counts::uninit);

Elbette yazmayı kaydetmek ve daha sistematik bir özellik haline getirmek için bir makro tanıtabilirsiniz

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

struct event_counts {
    UNINIT_TAG
}

struct other_counts {
    UNINIT_TAG
}

Bence bir enum bir etiket sınıfı ya da bir bool daha iyi bir seçimdir. Bir yapının örneğini iletmeniz gerekmez ve arayandan hangi seçeneği aldığınız açıktır.

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

Sonra örnekler oluşturmak şöyle görünür:

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

Veya etiketi sınıf yaklaşımı gibi yapmak için, etiket sınıfı yerine tek değerli bir enum kullanın:

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

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

Sonra bir örnek oluşturmanın sadece iki yolu vardır:

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

Sınıfınız için iki aşamalı bir başlatmayı düşünebilirsiniz :

struct event_counts {
    uint64_t counts[MAX_COUNTERS];

    event_counts() = default;

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

Yukarıdaki yapıcı diziyi sıfıra başlatmaz. Dizi öğelerini sıfıra ayarlamak için, set_zero()inşaattan sonra üye işlevini çağırmanız gerekir .

Bunu şöyle yaparım:

struct event_counts {
    uint64_t counts[MAX_COUNTERS];

    event_counts() : counts{} {}

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

Derleyici, kullandığınızda tüm kodu atlayacak kadar akıllı olacak event_counts(false)ve sınıfınızın arayüzünü çok garip hale getirmek yerine tam olarak ne demek istediğinizi söyleyeceksiniz.

Sadece yazarak kaydetmek için bir alt sınıf kullanırdım:

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

Kukla sınıftan, artık başlatılmayan kurucunun boolya intda bir şeyin argümanını değiştirerek, artık anımsatıcı olması gerekmediğinden kurtulabilirsiniz .

Ayrıca mirasın yerini değiştirebilir ve events_count_no_initcevaplarında önerilen Evg gibi varsayılan bir kurucu ile tanımlayabilir ve daha sonra events_countalt sınıf olabilirsiniz:

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