在c++中使用模板指定类型

Using Templates to specify a Type in C++?

本文关键字：类型 c++      更新时间：2023-10-16

我希望能够根据用法声明类的类型。例如，以一个3阶段的管道为例，它有3个队列将它们连接在一起。我想确保我将阶段与队列正确地连接在一起(例如:队列朝着正确的方向，到正确的单位，等等)

下面是一个非常简单的例子，说明我想要完成的任务:

template<class in, class out>
class Fifo: public queue{};
class Stage1; class Stage2; class Stage3;
class Stage1{
    Fifo<Stage1,Stage2>* m_fifoOut;
};
class Stage2{
    Fifo<Stage1,Stage2>* m_fifoIn;
    Fifo<Stage2,Stage3>* m_fifoOut;
};
class Stage3{
    Fifo<Stage2,Stage3>* m_fifoIn;
};

是否有更合适的方法来实现这个功能?最好在编译时就知道队列设置不正确。但是，我担心使用模板会生成不必要的类副本。

我想我应该尝试更直接地表示一个管道。具体来说，我会尝试专注于管道阶段，而不是FIFO。如果你有可用的c++ 11，一种可能是可变的模板，你可以在其中指定管道阶段的类型，它会自动在每个管道阶段和下一个管道阶段之间生成一个FIFO。

我想确保我将阶段与队列正确地连接在一起(例如:队列朝着正确的方向，到正确的单位，等等)

使用生成第二种类型的元函数，并指定第一种类型。

template<class In>
struct get_target;
class Stage1; class Stage2; class Stage3;
template<>
struct get_target<Stage1>{
  typedef Stage2 type;
};
template<>
struct get_target<Stage2>{
  typedef Stage3 type;
};
template<class In>
class Fifo : public queue{
  typedef In in_type;
  typedef typename get_target<In>::type out_type;
};
struct Stage1{
  Fifo<Stage1> m_fifoOut;
};
struct Stage2{
  Fifo<Stage1> m_fifoIn;
  Fifo<Stage2> m_fifoOut;
};
struct Stage1{
  Fifo<Stage2> m_fifoIn;
};

看起来完全合理。我可以向你保证，在我工作的公司，我们经常使用模板做比这更疯狂的事情(你不会想知道的)，并且从未遇到过与重复目标代码相关的任何问题(我猜你正在想什么)。

相关文章：