C++相当于 C# 4.0 的“动态”关键词？

Question

在 C# 4.0 中，您可以使用“dynamic”关键字作为直到运行时才知道的类型的占位符。在某些极端情况下，这是非常有用的行为。是否可以在 C++ 中模拟类似的内容，可能使用 C++0x 功能或 RTTI？

Answer 1

并不真地。您可以获得的最接近的是 void *，但您仍然需要将其转换为适当的类型，然后才能使用它。

更新：

基本上，尝试构建一个可编译为 C++ 的鸭子类型 DSL。

您至少可以通过两种方式来解决此问题：

基于联合的变体

struct MyType {
  enum { NUMBER, STRING /* etc */ } type;
  union {
    double number;
    string str;
  };
};

多态类层次结构

class MyType {
public:
  /* define pure virtual operations common to all types */
};

class MyNumber : public MyType {
private:
  double number;
public:
  /* implement operations for this type */
};

Answer 2

C# 的动态 功能高度依赖于.NET 的内置反射功能。由于标准 C++ 几乎不提供反射支持，因此您无法获得类似的行为。 RTTI 将允许您安全地向下转换指针，但仅此而已。您距离枚举字段和方法并动态调用它们还有很长的路要走。

Answer 3

正如其他人已经说过的那样，这在一般情况下是不可能的，但我认为了解为什么不可以提供信息。

问题有两个层次，句法层次和语义层次。

在语法级别，您有以下代码：

dynamic d = /* something */;
d.Foo(bar); // Foo is unknown at compile time

在.NET中，动态是一个编译器功能，它的作用是代替生成函数调用它创建一个调用站点，其中包含函数名称和参数类型（用于重载）。这意味着如果您想支持动态，您必须修改编译器。确实，模板元编程允许执行类似的操作，但 TMP 本质上是在编译时完成的，因此无法胜任支持运行时调用的工作。

如果您对语法不熟悉，那么您也许可以支持如下内容：

dynamic d = /* something */;
d.invoke("Foo", bar);

在语义级别
作为 @Trillian （顺便说一句，很酷的用户名）说，动态依赖于反射，这并不是严格正确的，您可以指定如何 实现了dynamic，并且CLR类型的默认值是反射，因此绑定到dynamic变量的类型必须支持某种运行时检查（例如COM的IDispatch）。对于 C++ 中的一般情况并非如此，但如果您可以将支持范围缩小到仅支持（已知）类型检查的类型，则可以在 C++ 中实现 dynamic （没有上面提到的语法） ）。

Answer 4

这是不可能的。需要在编译时知道对象大小，以便堆栈指针可以移动适当的字节数。如果您不声明类型，那么编译器将不知道大小。 C# 通过创建所有对象指针来解决这个问题。

Answer 5

这个 github 上的示例提供了一种可能的实现，具体取决于您的函数复杂性。

template <typename X, typename Y>
auto add(X x, Y y) -> decltype(x + y) {
  return x + y;
}
add(1, 2); // == 3
add(1, 2.0); // == 3.0
add(1.5, 1.5); // == 3.0

Answer 6

我想不出一个可能的代码路径，其中值的类型在运行时之前实际上一直是未知的。即使您将两个模块链接在一起（在运行时动态地），两个模块都已编译，并且它们可以返回的类型也已完全确定，并且实际上被编码到库公开的符号的损坏名称中。

但是，您可以推迟了解类型，直到必须实际编译代码为止。在 C++0x 中，有 auto 关键字，它从用于初始化变量的表达式提供类型推断，在当前的 C++ 中，您可以使用模板，如下所示：

template<typename T>
T square(const T& someArg){
   return T*T;
}

编辑：基于您的注释关于你的问题，你可能没有遇到类型未知的情况。更有可能的是，该类型仅限于几种（预定义的）类型之一。为此，您可以使用 union 类型，最好使用 boost::variant