Question

使用以下代码：

#include <iostream>
#include <tuple>

template<typename T>
struct Container
{
  std::string id;
  T value;

  Container(std::string id, T value) : id(id), value(value) {}
};

template<typename... T>
struct ElementCodec
{
  std::tuple<T...> values;

  ElementCodec(T... args) : values(args...) {}
};

template<typename... T> ElementCodec(T...) -> ElementCodec<T...>;

int main()
{
  ElementCodec a { int { 5 }, double { 3. }, Container { "52", 7 } };
  auto [x, y, container] = a.values;

  std::cout << x << ", " << y << ", " << container.value << '\n';

}

在给定代码特殊化之后，元组values的类型为std::tuple<int, double, Container<int>>。我想做的就是将其分解为存储在容器中的类型，因此std::tuple<int, double, int>无需通过container.value进行访问。

在c ++ 17中可以这样做吗？我已经在这个问题上停留了一段时间了，真的找不到任何资源。

Answer 1

您可以使用辅助功能来解开Container<T>：

template <typename T> T unwrap(T value)        { return value; }
template <typename T> T unwrap(Container<T> c) { return c.value; }

template <typename T> using unwrap_t = decltype(unwrap(std::declval<T>()));

然后相应地调整您的模板和扣除指南：

template <typename... T>
struct ElementCodec
{
  std::tuple<T...> values;

  template <typename... Us>
  ElementCodec(Us... args) : values(unwrap(args)...) {}
};

template<typename... T>
ElementCodec(T...) -> ElementCodec<unwrap_t<T>...>;

上述内容不适用于gcc（请参见this answer），您可以使用约束对其进行修复：

template <typename... Us,
  std::enable_if_t<std::is_constructible_v<
    std::tuple<T...>, unwrap_t<Us>...
    >, int> = 0>
ElementCodec(Us... args) : values(unwrap(args)...) {}

模板成员变量取决于规则

1 个答案: