是否可以使用 static_cast 从可变参数枚举创建 boost::mpl::list_c

Question

以下代码无法编译：

#include <boost/mpl/list_c.hpp>
enum class DataType : int {
  t1 = 0,
  t2 = 1,
  t3 = 2
};
int main()
{
  boost::mpl::list_c<DataType, DataType::t1, DataType::t2> lc2;
}

我必须铸造我的值，就像这样(编译(：

#include <boost/mpl/list_c.hpp>
enum class DataType : int {
  t1 = 0,
  t2 = 1,
  t3 = 2
};
int main()
{
  boost::mpl::list_c<int, static_cast<int>(DataType::t1), static_cast<int>(DataType::t2)> lc2;
}

我还可以从可变参数类型列表创建列表，如下所示(也编译(：

#include <boost/mpl/list_c.hpp>
template<int... ints>
void create_list() {
  boost::mpl::list_c<int, ints...> lc;
}
int main()
{
  create_list<1,2,3>();
}

但是，如何从如下所示的可变参数类型列表创建列表(不编译(：

#include <boost/mpl/list_c.hpp>
enum class DataType : unsigned char {
  t1 = 0,
  t2 = 1,
  t3 = 2
};
template<DataType... datatypes>
void create_list() {
  boost::mpl::list_c<DataType, datatypes...> lc;
}
int main()
{
  create_list<DataType::t1, DataType::t2>();
}

这给出了以下编译器错误：

 In instantiation of 'void create_list() [with DataType ...datatypes = {(DataType)0u, (DataType)1u}]':
13:43:   required from here
9:46: error: could not convert template argument '(DataType)0u' to 'long int'
9:46: error: could not convert template argument '(DataType)1u' to 'long int'

调用 create_list 函数时我也无法强制转换，如下所示：

create_list<static_cast<unsigned char>(DataType::t1), static_cast<unsigned char>(DataType::t2)>();

从那以后，我的可变参数类型列表已被我的客户传递。

Answer 1

list_c 是一系列integral_c的方便构建器

参考： http://www.boost.org/doc/libs/1_64_0/libs/mpl/doc/refmanual/list-c.html

integral_c<T, TN>被记录为受支持，其中T是整型

enum class不是整型。我认为讨论到此结束。

参考： http://www.boost.org/doc/libs/1_64_0/libs/mpl/doc/refmanual/integral-c.html

Answer 2

知道了：

#include <boost/mpl/list_c.hpp>
enum class DataType : unsigned char {
  t1 = 0,
  t2 = 1,
  t3 = 2
};
template<DataType... datatypes>
void create_list() {
  boost::mpl::list_c<unsigned char, static_cast<unsigned char>(datatypes)...> lc;
}
int main()
{
  create_list<DataType::t1, DataType::t2>();
}