模板成员变量取决于规则

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>s：

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)...) {}