C++：用不同类型重新定义模板类

Question

我有两个（多个）枚举：

enum Choices1 : int
{
    a,
    b
};
enum Choices2 : int
{
    c,
    d
};

我希望能够将类型与这些枚举选项中的每一个相关联。如果我只有一组枚举说Choices1，我可以介绍：

template <Choices1 c>
struct choice_traits; 

然后为每个条目专门化它：

template <>
struct choice_traits<Choices1::a> 
{
    using MyType = float;
};

template <>
struct choice_traits<Choices1::b> 
{
    using MyType = double;

但我希望能够为多个枚举做到这一点，同时使用相同的关键字，即：

template <>
struct choice_traits<Choices1::a>
{...};

template <>
struct choice_traits<Choices1::b>
{...};

template <>
struct choice_traits<Choices2::c>
{...};

template <>
struct choice_traits<Choices2::d>
{...};

这可能吗？如果是这样，非特化的情况是什么？

如果没有，是否有任何替代方法可以将类型关联到每个 (Choice1::a,Choice1::b,Choice2::c,Choice2::d) 以及可能更多这样的枚举？

Answer 1

不是一个很好的解决方案，但是...您可以使用 Choiches1 和 Choiches2 的公共基础 (int)，并将非特殊情况定义为

template <int>
struct choice_traits;

此时的问题是 Choiches1::a == Coiches2::c 和 Choiches1::b == Choiches2::d 所以，如果你想定义类似的东西

template <>
struct choice_traits<Choices1::a> 
 { using MyType = float; };

template <>
struct choice_traits<Choices1::b> 
 { using MyType = double; };

template <>
struct choice_traits<Choices2::c> 
 { using MyType = int; };

template <>
struct choice_traits<Choices2::d> 
 { using MyType = long; };

你必须避免Choiches1 和Choiches2 值之间的冲突。

如果你知道Choiches1值的个数，你可以用更大的数字开始Choiches2；例如，如果您确定有小于 100 个 Choiches1 值，则可以按如下方式定义枚举

enum Choices1 : int
{ a = 0, b };

enum Choices2 : int
{ c = 100, d };

另一种解决方案是对两个枚举使用偶数和奇数值；像

enum Choices1 : int
{ a = 0, b = a+2 }; // add 2 for every next value

enum Choices2 : int
{ c = 1, d = c+2 }; // add 2 for every next value

以下是一个完整的例子

enum Choices1 : int
{ a = 0, b };

enum Choices2 : int
{ c = 100, d };

template <int>
struct choice_traits;

template <>
struct choice_traits<Choices1::a> 
 { using MyType = float; };

template <>
struct choice_traits<Choices1::b> 
 { using MyType = double; };

template <>
struct choice_traits<Choices2::c> 
 { using MyType = int; };

template <>
struct choice_traits<Choices2::d> 
 { using MyType = long; };

int main()
 {
   choice_traits<a>::MyType fl { 1.1f };
   choice_traits<b>::MyType db { 2.2 };
   choice_traits<c>::MyType in { 3 };
   choice_traits<d>::MyType ln { 4L };
 } 

Answer 2

这里有一些过度的解决方案：

template <class Enum, Enum e>
struct choice_traits;

template<>
struct choice_traits<Choices1, Choices1::b>
{
      typedef float MyType;
};

//using
typename choice_traits<Choices1, Choices1::b>::MyType m {0.0};