tag分派/ enable_if - 我很困惑

Question

我有以下結構：

struct A 
{ 
} 

struct B 
{ 
tuple<string,string> children{{"test1","test2"}}; 
} 

我想創建一個模板功能，將超載< <操作上有所謂的兒童成員變量的每個類。 如果可能的話 - 僅限於名爲子元組的元素。

當滿足像B這樣的子元組的類時，它應該迭代元組成員，並在每個成員上調用< <。

喜歡的東西：

template<typename RECEIVERTYPE,typename SENDERTYPE> 
typename std::enable_if<std::have_children_member<RECEIVER_TYPE>::value, void>::type 
RECEIVERTYPE& operator<< (RECEIVERTYPE& streamReceiver, const SENDERTYPE& streamSender) 
    { 
     for_each(streamSender.children, [&](const auto& child) 
     { 
      streamReceiver << child; 
     }); 

     return streamReceiver; 
    } 

我已經嘗試了很多的examples-但我真的不能得到任何東西在Visual Studio 2015年的工作

Answer 1

我只想做只匹配類型的元組成員所謂children：

template<typename S, typename T, 
     std::size_t = std::tuple_size<decltype(T::children)>::value> 
    S& operator<<(S& s, const T& t) 
    { ... } 

而且有可能實現身體是這樣的：

template<typename S, typename T, std::size_t... I> 
    void 
    print_tuple_like(S& s, const T& t, std::index_sequence<I...>) 
    { 
    void* unused[] = { &(s << std::get<I>(t))... };  
    } 

template<typename S, typename T, 
     std::size_t N = std::tuple_size<decltype(T::children)>::value> 
    S& operator<<(S& s, const T& t) 
{ 
    print_tuple_like(s, t.children, std::make_index_sequence<N>{}); 
    return s; 
} 

或者像：

template<std::size_t N, typename S, typename T> 
    void 
    print_tuple_like(S& s, const T& t, std::false_type) 
    { } 

template<std::size_t N, typename S, typename T> 
    void 
    print_tuple_like(S& s, const T& t, std::true_type) 
    { 
    s << std::get<N>(t); 
    print_tuple_like<N+1>(s, t, std::integral_constant<bool, (N+1 < std::tuple_size<T>::value)>{}); 
    } 

template<typename S, typename T, 
     std::size_t N = std::tuple_size<decltype(T::children)>::value> 
    S& operator<<(S& s, const T& t) 
{ 
    print_tuple_like<0>(s, t.children, std::integral_constant<bool, (N != 0)>{}); 
    return s; 
}