두 개의 제로 인수 생성자를 구별하는 관용적 방법

나는 이런 수업을 가지고있다 :

struct event_counts {
    uint64_t counts[MAX_COUNTERS];

    event_counts() : counts{} {}

    // more stuff

};

일반적 counts으로 그림과 같이 배열 을 기본값으로 초기화하려고합니다 .

그러나 프로파일 링으로 식별 된 선택된 위치에서 배열을 덮어 쓰려고한다는 것을 알고 있기 때문에 배열 초기화를 억제하고 싶지만 컴파일러는 그것을 알아낼만큼 똑똑하지 않습니다.

그러한 "2 차"제로 아거 생성자를 만드는 관용적이고 효율적인 방법은 무엇입니까?

현재 저는 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초기화되지 않은 상태로 유지되며 (기본 초기화는 no-op입니다) 값 초기화 event_counts counts{}; 는 initialize 값을 counts.counts지정하여 효과적으로 0으로 채 웁니다.

나는 당신의 해결책을 좋아합니다. 중첩 구조체와 정적 변수를 고려했을 수도 있습니다. 예를 들면 다음과 같습니다.

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
}

나는 열거 형이 태그 클래스 나 부울보다 더 나은 선택이라고 생각합니다. 구조체의 인스턴스를 전달할 필요가 없으며 호출자가 어떤 옵션을 받고 있는지 분명합니다.

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

그런 다음 두 가지 방법으로 인스턴스를 만들 수 있습니다.

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

위의 생성자는 배열을 0으로 초기화하지 않습니다. 배열의 요소를 0으로 설정하려면 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{} {}
};