标记 dispatching/enable_if - 我很困惑

Question

我有以下结构：

struct A
{
}

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

我想创建一个模板函数，它将在每个 class 具有名为 children 的成员变量上重载 << 运算符。如果可能 - 仅在名为 children 的元组上。

当 class 遇到像 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;
    }

我已经尝试了很多例子 - 但我无法在 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;
}

标记 dispatching/enable_if - 我很困惑

Tag dispatching/enable_if - I am confused

c++

c++14

traits

template-meta-programming