模板化结构数组

Question

我有从 Base 结构派生的 int 模板化的结构。

struct Base { int i; double d; }; 
template< int N > struct Derv : base { static const int mN = N; };

我需要创建一个 Derv 数组，其中 N 可以针对该数组中的每个结构而变化。我知道 C/C++ 不允许使用不同类型的对象数组，但有没有办法解决这个问题？我正在考虑以某种方式分离类型信息（诸如指向 Base struct 的指针或 union 的使用之类的提示在我脑海中浮现，但是所有这些我不知道如何存储每个数组元素的类型信息以供在编译期间使用）。可以看到，每个 Derv 的内存模式都是一样的。

我需要稍后在我的代码中访问每个数组元素的类型以进行模板特化。这一切的总体目标是拥有一个编译时调度机制，而无需在代码中的某处进行运行时“类型切换”。

Answer 1

这绝对是不可能的。如果你这样做了

int i;
std::cin >> i;
some_magic_array X[size];

那么X[i]的类型是什么？哦，等等，你不可能知道。这与 C++ 无关，根本不可能。这就是为什么永远不会存在允许这样做的some_magic_array。

除非您有效地使用 std::tuple 并保证 i 是 constexpr。那么你绝对可以用std::get<i>(tup); 做到这一点。

Answer 2

我猜你可以使用 ptr = dynamic_cast<Type>(element); .. ptr 将等于 NULL 如果它是错误的类型。 例如：

#include <map>
#include <cmath>
#include <vector>
#include <string>
#include <cstdlib>
#include <fstream>
#include <sstream>
#include <iostream>


using namespace std;

struct Base { int i; double d; Base(){}; virtual ~Base(){};}; 
template< int N > struct Derv : public Base { static const int mN = N; ~Derv(){}; };

int main(int argc, char **argv){
    Base* arr[2];
    arr[0] = new Derv<10>;
    arr[1] = new Derv<5>;
    Derv<10> *ptr = dynamic_cast<Derv<10>* >(arr[0]);
    Derv<5> *ptr2 = dynamic_cast<Derv<5>* >(arr[0]);
    cout << ptr << endl << ptr2 << endl;
    return 0;
}
// That should print 
0x9571008 //ptr to object will differ every time.
0 // Null because of wrong type.

但您需要在结构中定义虚拟析构函数才能使其工作，和/或虚拟函数。