2

抱歉,我真的不知道如何称呼我的问题,希望它适合...

我有一个函数模板,它获取一个参数作为模板参数。对于那个参数,我需要另一个模板参数来声明参数的类型,但是在稍后调用该函数时,我想省略参数的类型。所以,我想要某种 typedef(或其他机制)来摆脱它。

我已经看到了与其他模板类似的机制,例如

// given: rule is a template with three arguments
template<typename Attr> using Rule = rule<It, Attr(), Skipper>;

使用的时候std::get不用直接提枚举类就可以相处:

std::get<static_cast<std::size_t>(Enum::type1)>(tuple);

这是函数,它用于访问带有枚举的元组(比较:https ://stackoverflow.com/a/14835597/2524462 )

template<typename Enum, Enum enum, class ... Types>
typename std::tuple_element<static_cast<std::size_t>(enum), std::tuple<Types...> >::type&
get(std::tuple<Types...>& t) {
  return std::get<static_cast<std::size_t>(enum)>(t);
}

由于它将与多个枚举一起使用,我不想像他那样在模板中硬连线枚举。

它被称为:(1)

std::cout << get<myEnum, myEnum::type1>(tuple);

问题:

  • 我可以使用 typedef 或类似的来调用它,就像:

    std::cout << new_get < myEnum::type1 > (tuple);
    
  • 由于它与 std::get 一起使用,首先有没有办法拥有一个更智能的模板?

  • 此处的 get 模板将元组类型作为最后一个参数。为什么没有必要在这里拼出它们(1)?编译器如何从给定的参数中找出它们?

我正在使用启用了 C++11 的 gcc 4.8.1。

4

1 回答 1

1

我认为您能做的最好的事情就是get<>()为每个枚举创建一个函数。这是一个例子:

#include <tuple>
#include <string>
#include <iostream>

typedef std::tuple<std::string,std::string> Tuple1;
typedef std::tuple<std::string,int> Tuple2;

enum class Enum1 {
  name,
  address
};

enum class Enum2 {
  state,
  zip_code
};

template <typename Enum>
constexpr std::size_t indexOf(Enum value)
{
  return static_cast<std::size_t>(value);
}

template <typename Enum,Enum enum_value,typename Tuple>
constexpr auto get(const Tuple &value)
  -> decltype(std::get<indexOf(enum_value)>(value))
{
  return std::get<indexOf(enum_value)>(value);
}

template <Enum1 enum_value>
constexpr auto get(const Tuple1 &value)
  -> decltype(get<Enum1,enum_value>(value))
{
  return get<Enum1,enum_value>(value);
}

template <Enum2 enum_value>
constexpr auto get(const Tuple2 &value)
  -> decltype(get<Enum2,enum_value>(value))
{
  return get<Enum2,enum_value>(value);
}

int main(int,char**)
{
  Tuple1 a("John","123 Foo St");
  Tuple2 b("California",90210);
  std::cerr << get<Enum1::name>(a) << "\n";
  std::cerr << get<Enum1::address>(a) << "\n";
  std::cerr << get<Enum2::state>(b) << "\n";
  std::cerr << get<Enum2::zip_code>(b) << "\n";
}

这很乏味,但是这确实具有编译时检查枚举与元组兼容的好处。

于 2013-07-20T04:38:01.770 回答