时间戳

首页 > 解决方案 > 结构数据成员的decltype，使用结构化绑定

c++ - 结构数据成员的decltype，使用结构化绑定

问题描述

我有一个模板采用在结构上可绑定到两个别名的类型（可以是元组，也可以是结构）。我需要别名指向的这两个变量的类型。

template <typename T>
T obj;
// type of a/b in auto&& [a, b] = obj ?

在实际使用结构化绑定之前，我需要知道类型：

template <typename S>
void fn(ranges::any_view<S> range_of_tuple_or_struct_or_pair) {

    last_from = std::numeric_limits<?????>::max();

    // ????? should be the type of from (or to, they should be the same types) of: 
    //     auto&& [from, to] = <range element>

    for (auto&& [from, to] : range_of_tuple_or_struct_or_pair) {
         if (from != last_from) {
             ...;
             last_from = from;
         }
    }
}

标签： c++structured-bindings

解决方案

我认为你可以这样做：

#include <type_traits>

template <typename T, typename U>
struct Identity {
  using type_first = T;
  using type_second = U;
};

template <typename T>
constexpr auto GetTypes(const T& obj) noexcept {
  const auto& [x, y] = obj;
  return Identity<std::remove_cv_t<decltype(x)>, 
                  std::remove_cv_t<decltype(y)>>{};
}

template <typename T>
void foo(T obj) {
  // T is structurally-bindable with two fields
  constexpr auto Types = GetTypes(obj);
  using t1 = typename decltype(Types)::type_first;
  using t2 = typename decltype(Types)::type_second;

  // t1 is the first type
  // t2 is the second type
}

在这里完成示例

请注意constexpr，即使没有启用优化，也没有开销。

推荐阅读