运行时确定C ++的类型

Question

我想知道是否可以将类型确定为C ++中的运行时信息。

（1）虽然我的问题很笼统，但为简单起见，我将从一个简单的例子开始：

 #include <stdio.h>  
 #include <iostream>  
 #include <cstring>  
 using namespace std;  
 int main(int argc, char * argv[])  
 {  
 if (strcmp(argv[1], "int")==0)   
 {  
     int t = 2;   
 }else if (strcmp(argv[1], "float")==0)  
 {  
     float t = 2.2; 
 } 
 cout << t << endl;  // error: ‘t’ was not declared in this scope
 return 0;  
 }

对于此示例，有两个问题：

（a）“argv [1] to t”是错误的，但C字符串argv [1]中的类型信息是否可以转换为实际的类型关键字？ 所以我们不需要通过if-else子句和strcmp检查每种类型。

（b）如何在if子句的局部范围内定义的变量t仍在外部有效。 即如何将局部变量“导出”到其范围之外？

（2）一般来说，不是特定于上面的简单示例，运行时确定类型的常用方法是什么？ 在我看来，可能有一些方法：

（a）可以将类型定义的变量的处理放在同一范围内定义。 例如

 #include <stdio.h>  
 #include <iostream>  
 #include <cstring>  
 using namespace std;  
 int main(int argc, char * argv[])  
 {  
 if (strcmp(argv[1], "int")==0)   
 {  
     int t = 2;   
     cout << t << endl; 
 }else if (strcmp(argv[1], "float")==0)  
 {  
     float t = 2.2; 
     cout << t << endl; 
 } 
 return 0;  
 }

并且可能使用模板函数使各种类型的公共代码可重用。

（b）或者可以使用抽象类类型和多态来间接导出定义，但我不确定如何。

谢谢你的建议！

Answer 1

1a：不，类型不是C ++中的对象或值（例如，在Python中）。 但是，您可以使用由argv [1]的值选择的各种值。

1b：对不起，就是不能那样做。

2：dynamic_cast和typeid（两个运算符）是当前由查询类型的语言提供的唯一工具（并不罕见，大多数语言都有很少但专用的工具），并且通常不鼓励使用它们来查询类型关于情况（在其他语言中也不常见）。

2a：是的，因为这是简单的，显而易见的，并且在这里工作 - 没有理由使用其他任何东西，但是因为它是示例代码，我们假设您需要一个不同的解决方案。 您可以调用在正确类型上实例化的函数模板，但由于这与2a的其余部分几乎相同，所以我不会进入它。

2b：使用子类模板的示例，因为它很方便：

struct Base {
  virtual ~Base() {}
  friend std::ostream& operator<<(std::ostream& s, Base const& v) {
    v._print(s);
    return s;
  }
private:
  virtual void _print(std::ostream&) const = 0;
};

template<class T>
struct Value : Base {
  T data;
  explicit
  Value(T const& data) : data(data) {}
private:
  virtual void _print(std::ostream& s) const {
    s << data;
  }
};

使用：

int main(int argc, char** argv) {
  using namespace std;
  auto_ptr<Base> p;
  string const type = argc > 1 ? argv[1] : "int";
  if (type == "int") {
    p.reset(new Value<int>(2));
  }
  else if (type == "float") {
    p.reset(new Value<double>(2.2));
  }
  cout << *p << '\n';
  return 0;
}

这开始将两种类型合并为一种类型，它们在这里都呈现相同的接口Base。 然而，这并不适用于每个解决方案，并且诸如boost.variant之类的变体可以更好，特别是当所需的各种类型数量少且事先已知时。

Answer 2

您需要一个能够存储不同类型值的类。 如果没有工会， Boost的变体类将是正确的选择。

Answer 3

查看Boost.Variant 。