10

我有一个

typedef std::tuple<A, B> TupleType;

并希望将类列表用于“模板”。

假设我有:

template<typename... args>
std::tuple<args...> parse(std::istream &stream) {
  return std::make_tuple(args(stream)...);
}

并且我可以成功地使用它:

auto my_tuple = parse<A, B>(ifs);

如果我已经有一个,是否可以避免必须指定类列表 A,B

typedef std::tuple<A,B> TupleType;

列表 A,B 已经存在于哪里?

一个例子:

#include <cstdlib>  // EXIT_SUCCESS, EXIT_FAILURE
#include <iostream> // std::cerr
#include <fstream>  // std::ifstream
#include <tuple>    // std::tuple

class A {
public:
  A(std::istream &);  // May throw FooBaarException 
};

class B {
public:
  B(std::istream &); // May throw FooBaarException 
};

template<typename... args>
std::tuple<args...> parse(std::istream &stream) {
  return std::make_tuple(args(stream)...);
}

int main() {
  std::ifstream ifs;
  ifs.exceptions(ifstream::eofbit | ifstream::failbit | ifstream::badbit);
  int res = EXIT_FAILURE;
  try {
    ifs.open("/some/file/path", std::ios::in | std::ios::binary);
    auto my_tuple = parse<A, B>(ifs); // my_tuple is of the type std::tuple<A,B>
    /* Here do something interesting with my_tuple */ 
    res = EXIT_SUCCESS;
  } catch (ifstream::failure e) {
    std::cerr << "error: opening or reading file failed\n";
  } catch (FooBaarException e) {
    std::cerr << "error: parsing in a constructor failed\n";
  }
  return res;
}
4

3 回答 3

7

在您的情况下,潜在的问题似乎是parse当模板参数为std::tuple. 不幸的是,函数模板无法实现这种专业化。

但是,可以使用类模板。

因此,作为第一步,您可以定义parse为 a 的静态函数struct,如下所示:

using std::istream;
using std::tuple;
using std::make_tuple;

struct A { A(const istream &) {} };
struct B { B(const istream &) {} };

template <typename... Args>
struct parser
{
  /* Your original function, now inside a struct.
     I'm using direct tuple construction and an
     initializer list to circumvent the order-of-
     construction problem mentioned in the comment
     to your question. */
  static tuple<Args...> parse(const istream &strm)
  { return tuple<Args...> {Args(strm)...}; }
};

template <typename... Args>
struct parser<tuple<Args...>>
{
  /* Specialized for tuple. */
  static tuple<Args...> parse(const istream &strm)
  { return parser<Args...>::parse(strm); }
};

然后,您可以以所需的方式调用它:

int main()
{
  typedef tuple<A,B> tuple_type;
  auto tup = parser<tuple_type>::parse(std::cin);
  return 0;
}

作为第二步,您可以(再次)定义一个函数模板,它将参数传递给结构的正确特化:

template <typename... Args>
auto parse(const istream &strm) -> decltype(parser<Args...>::parse(strm))
{ return parser<Args...>::parse(strm); }

现在您可以按照您想要的方式使用它:

int main()
{
  typedef tuple<A,B> tuple_type;
  auto tup = parse<tuple_type>(std::cin);
  return 0;
}

(而且您仍然可以以旧方式使用它:auto tup = parse<A,B>(std::cin)。)


评论。正如对 parser::parse() 的评论中提到的,我使用直接元组构造而不是make_tuple避免元组元素的构造顺序问题。这与您的问题没有直接关系,而是一件好事。了解在使用 std::make_tuple 时如何避免构造函数的未定义执行顺序

于 2012-12-26T01:57:39.443 回答
2

这种事情有一个标准的成语。[1]

// Define the "shape" of the template
template<typename Tuple> struct TupleMap;
// Specialize it for std::tuple
template<typename...T> struct TupleMap<std::tuple<T...>> {
  using type = std::tuple<T...>;  // not necessary but saves typing
  // ... inside here, you have access to the parameter pac
}

这是一个使用它的示例,它可能符合您的期望,也可能不符合您的期望(您的示例并没有真正表明您的预期用途,因为它缺少typedef您在问题中的承诺):liveworkspace.org

由于litb提出了这一点,因此可以强制以从左到右的顺序构造元组组件,这说明了另一个有趣的习语:梳状继承。参见lws

(由于 lws 可能会再次消失,谁知道呢,我也将代码粘贴在这里):

#include <iostream>
#include <tuple>
#include <type_traits>
#include <utility>

// Define the "shape" of the template
template<typename Tuple> struct TupleMap;
// Specialize it for std::tuple
template<typename...T> struct TupleMap<std::tuple<T...>> {
   using type = std::tuple<T...>;  // not necessary but saves typing

   type value;

   template<typename Arg>
   TupleMap(Arg&& arg)
       : value(T(std::forward<Arg>(arg))...) {
   }

   operator type() { return value; }
};

//Try it out:
using std::get;  // Note 2
using Numbers = std::tuple<char, double, int>;

// Note 3
std::ostream& operator<<(std::ostream& out, const Numbers& n) {
   return out << get<0>(n) << ' ' << get<1>(n) << ' ' << get<2>(n);
}

int main() {
    std::cout << TupleMap<Numbers>(93.14159);
    return 0;
}

[1] 至少,我认为这是一个标准的成语。我经常使用它,并将其视为“开罐器”模式。

[2] 这是需要的(或者至少,这是我的风格),以允许使用getstd. 这样做可以让 ADL 找到适当的定义,get而无需强迫我将专业化添加到std::get. 这样,它类似于beginand的标准 ADL 习语end

[3] 你可以在 SO 中搜索一个很酷的 hack 来专门operator<<针对所有元组。有一个更简单的可以用于特定元组,但这对于这个问题来说都是题外话,所以我只是做了一些简单且无依赖的事情。请注意,这是因为转换运算符在TupleMap

于 2012-12-25T22:37:13.227 回答
1

基本方法是创建一系列索引0, ..., std::tuple_size<Tuple>::value - 1作为参数包Indices,并使用parse<typename std::tuple_element<Tuple, Indices>::type...>(stream). 您可能会将逻辑封装到一个函数parse_tuple<Tuple>(stream)(以及这个委托给的某个函数)中,最终委托给parse<...>(stream).

首先,这是一个类模板和一个函数,用于根据 a 的大小创建一系列索引std::tuple。需要索引才能从 获取类型列表std::tuple

template <int... Indices> struct indices;
template <> 
struct indices<-1> {                // for an empty std::tuple<> there is no entry
    typedef indices<> type;
};
template <int... Indices>
struct indices<0, Indices...> {     // stop the recursion when 0 is reached
    typedef indices<0, Indices...> type;
};
template <int Index, int... Indices>
struct indices<Index, Indices...> { // recursively build a sequence of indices
    typedef typename indices<Index - 1, Index, Indices...>::type type;
};

template <typename T>
typename indices<std::tuple_size<T>::value - 1>::type const*
make_indices() {
    return 0;
}

有了这个,很容易从 a 中提取类型序列std::tuple<T...>

template<typename T, int... Indices>
T parse_tuple(std::istream &stream, indices<Indices...> const*) {
    return parse<typename std::tuple_element<Indices, T>::type...>(stream);
}
template <typename T>
T parse_tuple(std::istream& stream) {
    return parse_tuple<T>(stream, make_indices<T>());
}
于 2012-12-25T20:48:19.977 回答