C++ 11 : 조건부 컴파일 : 구성원

Question

조건부 멤버로 구조체를 만들려고합니다. 즉, 다른 멤버는 특정 전문화 영역에만 존재합니다. 그러나 나는이 수업이 가능한 한 가장 빠르길 원한다.

방법 1 :

template<typename T, bool with_int = false> 
struct foo 
{ 
    template<typename... Args> 
    foo(Args&&... args) : m_t(forward<Args>(args)...) 
    {} 

    T m_t; 
} 

template<typename T> 
struct foo<T, true> 
{ 
    template<typename... Args> 
    foo(Args&&... args) : m_t(forward<Args>(args)...), m_id(0) 
    {} 

     T m_t; 
     int m_id; 
}; 

• Disadventage : 나는 3 개의 differents 방법을 시도했습니다 각 전문 분야에 대한 코드를 반복했다.

방법 2 :

template<typename T, bool with_int = false> 
struct foo 
{ 
    template<typename... Args> 
    foo(Args&&... args) : m_t(forward<Args>(args)...) 
    {} 

    virtual ~foo() {} 

    T m_t; 
} 

template<typename T> 
struct foo<T, false> : public foo<T> 
{ 
     using foo<T>::foo; 

     int m_id = 0; 
}; 

• Adventage : 몇 가지 코드입니다.
• Disadventage : vtables/상속 사용/etc : 구성 또는 구성원 액세스에 시간이 더 걸립니까? 그러나 다른면에서는 기본 클래스에 "참조"를 사용하는 척하지 않습니다. 이 aproach의 실제 모험이나 불이익은 무엇입니까?

방법 3

using nil_type = void*; 
using zero_type = nil_type[0]; 

template<typename T, bool with_int = false> 
struct foo 
{ 
    template<typename... Args, typename = typename enable_if<with_int>::type> 
    foo(Args&&... args) : m_t(forward<Args>(args)...), m_int(0) 
    {} 

    template<typename... Args, typename = typename enable_if<!with_int>::type> 
    foo(Args&&... args) : m_t(forward<Args>(args)...) 
    {}   

    T m__t; 
    typename conditional<with_int, int, zero_type>::type m_int; 
}; 

• Ventages : 한 번 코드를 작성; with_int이 false 일 때 필드 m_int의 크기는 0입니다 (거의 gcc 4.7.2).
• Adventages : 템플릿을 많이 사용하여 (가독성을 떨어 뜨림) 컴파일러가 크기 0의 멤버를 처리하는 방법에 대해 확신하지 못합니다. 실제로 크기 0 필드가 위험하거나 의미가 어느 정도인지는 알 수 없습니다. 반복되는 생성자이지만, 아마도 이것은 피할 수 있습니다.

가장 좋은 방법이나 방법은 무엇입니까?

Answer 1

상속을 고려하셨습니까?