动态类型定义

Question

我在一个来自c++机器库(dlib)的类中有一个typedef，如下所示：

typedef dlib::matrix<double, 64, 1> sample_type;

除了64实际上是一个变量。我希望typedef在整个类中都可见，但我希望第二个参数( 64)在构造函数被调用时是一个实参。我如何才能做到这一点，同时又能让this在任何地方都可见？

Answer 1

一般来说，这是不可能的。尽管您可能想要编写以下代码：

template <int matrix_size>
struct sample_type : public dlib::matrix<double, matrix_size, 1>
{
    sample_type data1;
    sample_type<16> data2;
};

sampe_type<32> var32;
sampe_type<36> var36;

请注意，在模板2中定义了数据字段。将使用当前实例化参数创建第一个数据字段。第二个数据字段将使用显式参数创建。

正如您所看到的，在模板内部，它似乎是您想要的，但在外部，只能使用常量。

Answer 2

这在当前的设计中是不可能的，因为模板参数必须在编译时是已知的，而构造函数的参数没有这个限制。

这样做的原因是因为任何模板扩展都应该被视为它自己的类型；模板参数是该类型的一部分(std::vector<int>与std::vector<float>是不同的类型)。

Answer 3

这实际上是dlib网页上的一个frequently asked questions。您要做的是：

typedef dlib::matrix<double, 0, 1> sample_type;
sample_type myvect(64); // now the 64 is a runtime argument.