Question

假设我有一个常量值（可能是某些枚举类型）。假设我有很多A，B，D等课程。

我可以拥有这样的东西吗？

C<1> anInstanceOfA; //This will be of type A
C<2> anInstanceOfB; //This will be of type B
C<3> anInstanceOfD; //This will be of type D

那么，是否可以在编译时根据常数选择一个类？

一般的问题是我试图选择一个基于表的仿函数，其中索引是一个枚举。如果可能的话，我想避免多态性。

编辑：对于这个项目，我无法使用C ++ 11，无论如何，感谢谁回答了这个背景，无论如何都要非常有趣。
编辑2：一般来说，我可以拥有2个以上的目标类，我已编辑了我的问题

Answer 1

这不是唯一的方法，但我希望您的目的可以接受：

struct A { };
struct B { };

template <int N>
struct choices;

template <>
struct choices<1> { typedef A type; };

template <>
struct choices<2> { typedef B type; };

template <int N>
using C = typename choices<N>::type;

更新：要在没有C ++ 11功能的情况下执行相同操作，您应该使C类的typedef成员类型等于上面对应的类型别名：

template <int N>
struct C
{
    typedef typename choices<N>::type type;
};

// ...
C<1>::type anInstanceOfA;
C<2>::type anInstanceOfB

Answer 2

使用LSP和普通C ++ 98：

template <int N> class C;
template <> class C<1> : public A {};
template <> class C<2> : public B {};
template <> class C<3> : public D {};

C<1> anInstanceOfA;

由于C ++中的公共继承满足IS-A规则，anInstanceOfA既是IS-A C<1>对象又是IS_AN A对象。

Answer 3

这是一个相当简单的元函数：

template <int N>
struct C {
  typedef typename std::conditional<N == 1,A,B>::type type;
};

您可以将其用作C<1>::type foo;。

如果您的编译器支持C ++ 11模板别名，则可以简化为：

template <int N>
using C = typename std::conditional<N == 1,A,B>::type;

并使用您首选的C<1> foo;语法。

在纯C ++ 03中，将std::conditional实现为：

template <bool, typename A, typename>
struct conditional {
  typedef A type;
};

template <typename A, typename B>
struct conditional<false, A, B> {
  typedef B type;
};

我可以在编译时使用常数来选择一个类，可能使用模板吗？

3 个答案: