如何在std :: map中存储"对象类型"？

Question

长篇介绍,问题在最后:

---

假设我有一个创建接口的基类

class base
{
public:
  virtual ~base();
  virtual void calc( int* variables ) = 0;
}

还有一些继承的类可以完成工作(这里只显示了两个):

class add : public base
{
  const int a, b, c;
public:
  add( int a_, int b_, int c_ ) : a(a_), b(b_), c(c_) {}
  void calc( int* variables ) 
  {
     variables[a] = variables[b] + variables[c];
  }
}

class inc : public base
{
  const int a;
public:
  inc( int a_ ) : a(a_) {}
  void calc( int* variables ) 
  {
     variables[a]++;
  }
}

最后一些使用这个结构的代码:

base* task[2];
task[0] = new add( 0, 1, 2 );
task[1] = new inc( 3 );
int data[4];

/* ... */

for( int i = 0; i < 2; i++ )
  task[i]->calc( data );

到目前为止这是有效的 - 但它在编译期间定义了我的任务.应通过解析输入文件将其更改为运行时.假设解析已经完成,std::string变量command是对象类型(如add或inc),并且在a中std::vector<int> params是构造函数的参数.

现在我可以有一长串清单

if( command.compare( "add" ) ) 
  task[end] = new add( params[0], params[1], params[2] );
else if( command.compare( "inc" ) ) 
  task[end] = new inc( params[0] );
else /... */

除了变得非常难以理解之外,这只是一个线性的搜索.那么为什么switch语句不能应用于字符串？我想用std::map(或哈希映射...)替换线性搜索.

经过这么长时间的介绍,我终于可以回答这个问题:

---

如何定义和填充a std::map以便对象的引用(？)以这样的方式存储,即我可以在该对象上动态创建对象？

所以使用上面的代码,我想做一些最终看起来像这样的事情:

// define and fill
std::map< std::sting, ???? > lookup;
lookup["add"] = add;
lookup["inc"] = inc;

/* ... */

// use:
while( linesInConfigAvailable )
{
  /* ... parse ... */
  switch( params.size() )
  {
    case 1:
      task[end] = new lookup[command]( params[0] );
      break;
    case 3:
      task[end] = new lookup[command]( params[0], params[1], params[2] );
      break;
  }
}

PS:到目前为止,我的代码中不需要RTTI.如果可以保持这样的话会很好......

Answer 1

好吧,你做不到.在C++中,类不是对象,它们更像是一个抽象结构,只在编译器编译时才存在于编译器工作数据中.

但是,您可以使用给定的签名创建所谓的工厂函数:

class A : public Base
{
public:
     static Base* Create() { return new A; }
};

class B : public Base
{
public:
     static Base* Create() { return new B; }
};

...

编辑:如果"创建"功能是这样统一的,你当然可以制作一个模板.

然后,您可以在地图中存储函数指针:

typedef Base* (*FactoryType)();
std::map< std::string, FactoryType >

lookup["A"] = A::Create;
lookup["B"] = B::Create;

适当地称呼他们:

task[end] = lookup[command]();