Sử dụng enable_if để tùy thêm một thành viên struct

Question

Với mẫu này:

template <class A> 
struct Something { 
    ... // members common to all template instantiations for all A types 
    SpecialType member; // but not this - I want this to be conditional... 
} 

... Tôi muốn sử dụng "enable_if" để có thành viên SpecialType tồn tại có điều kiện; nghĩa là, chỉ khi mẫu được khởi tạo với kiểu A = SpecialCase1 hoặc SpecialCase2. Trong tất cả các trường hợp khác, tôi muốn thành viên SpecialType bị thiếu.

Trong trường hợp bạn tự hỏi tại sao, đây là về tối ưu hóa - nghĩa là không mang tải trọng vô ích trong cấu trúc. Tôi là một newbie trong metaprogramming mẫu, nhưng tôi hiểu tôi cần "enable_if" và hai "is_same" bằng cách nào đó - không chắc chắn chính xác như thế nào, mặc dù ...

EDIT: Làm điều đó với chung C++ (tức là không có đặc hiệu tăng cường) sẽ là một lợi thế.

Answer 1

Vâng: sử dụng lớp cơ sở.

struct Empty {}; 

struct SpecialTypeCnt { SpecialType member; }; 

template <typename A> 
struct Something: if_< /* cond */ , SpecialTypeCnt, Empty>::type { 
}; 

đâu if_ được định nghĩa là:

template <typename, typename, typename E> struct if_ { typedef E type; }; 

template <typename T, typename E> 
struct if_<std::true_type, T, E> { typedef T type; }; 

(Bạn cũng có thể chuyên về một boolean)

Bây giờ tất nhiên, bạn cần phải thể hiện tình trạng của bạn đúng cách.

---

Có nói rằng, bạn có lẽ không nên sử dụng chỉ struct. Thay vào đó, bạn nên sử dụng class để cung cấp các hoạt động cần được áp dụng trên member. Sau đó, bạn cung cấp class Null với hành vi mặc định và class SomeType với hành vi cụ thể là member.

Nếu không, bạn sẽ ghi lại điều kiện ở mọi nơi bạn cần "có thể" sửa đổi member và điều đó gây phiền toái thực sự nhanh chóng.

Answer 2

Bạn không cần enable_if cho việc này. Chuyên cấu trúc của bạn cho các trường hợp đặc biệt và để triển khai mặc định cho phần còn lại:

template <class A> 
struct Something 
{ 
    // your default implementation 
}; 

template <> 
struct Something<SpecialCase1> 
{ 
    // your SpecialCase1 implementation 
}; 

template <> 
struct Something<SpecialCase2> 
{ 
    // your SpecialCase2 implementation 
}; 

Answer 3

Để không lặp lại các thành viên chung:

Xác định lớp BaseSomething:

template <class A> 
     struct BaseSomething { 
      ... // members common to all template instantiations for all A types 
       }; 

Xác định lớp SpecialSomething:

template <class A> 
      struct SpecialSomething { 
       SpecialType member; 
       ...//SpetialType related functionality 
        }; 

Xác định lớp Something:

template <class A> 
      struct Something :public BaseSomething<A>{ 

        }; 



    template<> 
    struct Something<SpecialCase1>:public BaseSomething<A>{ 
        SpecialSomething<SpecialCase1> special; 
         }; 


template<> 
struct Something<SpecialCase2>:public BaseSomething<A>{ 
       SpecialSomething<SpecialCase2> special; 
        };