2

我正在尝试实现一个通用函数，它std::string从一个 id （它是一个std::pair<uint32_,uint32_t>）生成一个。

功能如下：

typedef uint32_t element_type;

template <element_type type>
std::string to_string (const std::pair<element_type, uint32_t>& id) {
    ....
    const char* name = elemen_type_traits<type>::element_type_name;
    ...
}

我可以通过以下方式调用该函数：

std::cout << to_string<ELEMENT_TYPE_FOO> (foo_0) << std::endl;
std::cout << to_string<ELEMENT_TYPE_FOO> (foo_1) << std::endl;

唯一的事情是我想确保模板参数与std::pair. 是否可以从中扣除参数值std::pair.first？

我不知道这是否可能，但最后我想要这样的东西：

std::cout << to_string (foo_0) << std::endl;
std::cout << to_string (foo_1) << std::endl;

提前致谢。

4

2 回答 2

3

如果您在类型中编码值，这实际上是可以实现的：

// C++11 'enum class' emulation, you don't want to leak 'foo' everywhere
// also called a "scoped enum"
struct element_type_value{
   enum type{
     foo = 1337
   };
};

template<element_type_value::type V>
struct element_type{};

template<element_type_value::type V>
std::string to_string(std::pair<element_type<V>, uint32_t> const& /*id*/){
  // ...
  const char* name = element_type_traits<V>::element_type_name;
  // ...
}

活生生的例子。

当然，这仅在类型始终是静态已知值时才有效，实际上您甚至id.first不再需要它。但是，据我所知，没有其他方法可以实现此检查。

我个人可能会放弃std::pair并制作一个自定义结构，以及其他一些重构。

struct element_type{
   enum type{
     foo = 1337
   };
};

template<element_type::type V>
struct element_type_id{
  element_type_id(uint32_t id) : id(id){}
  uint32_t id; // or whatever your original std::pair::second represented
};

template<element_type::type V>
std::string to_string(element_type_id<V> const& /*id*/){
  // ...
  const char* name = element_type_traits<V>::element_type_name;
  // ...
}

活生生的例子。

于 2012-08-10T12:42:11.857 回答
0

如果我理解正确，您可以简单地写：

std::string to_string (const std::pair<element_type, uint32_t>& id) {
 const element_type type = id.first;
 ....
 const char* name = elemen_type_traits<type>::element_type_name;
 ...
}
于 2012-08-10T12:49:03.590 回答