标签调度/enable_if - 我很困惑

Tag dispatching/enable_if - I am confused

本文关键字：if 调度 enable 标签      更新时间：2023-10-16

我有以下结构：

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

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

当遇到具有像 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中工作。

我这样做只是为了仅将类型与名为 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;
}
相关文章：