C++初始化常量和继承

Question

我想在子类中初始化常量，而不是基类。并使用它来摆脱动态内存分配（我已经知道数组大小，并且会有一些具有不同常量的子类）。
所以我尝试：

class A {
public:
    const int x;

    A() : x(0) {}
    A(int x) : x(x) {}
    void f() {
        double y[this->x];
    }
};

class B : A {
    B() : A(2) {}
};

非常简单，但编译器说：

错误 C2057：预期的常量表达式

我怎样才能对编译器说它确实是一个常量？

Answer 1

但它不是一个常数。它仍然可以由构造函数修改。数组的大小只允许使用编译时常量。当编译器说“常量表达式”时，它并不是指返回常量值的表达式，而是指常量，例如“52”或“45”或类似的内容。

请改用 std::vector 。

编辑：响应“我已经知道数组大小，并且会有一些具有不同常量的子类”，

唯一的方法是使用模板。

template<size_t x>
class A {
public:
    void f() {
        double y[x];
    }
};

typedef A<2> B;

Answer 2

使用以下模板可以实现您期望的行为。

请注意，这实际上是不可靠的、令人厌恶的，只能用作“样本”。使用 std::vector 代替。

template <size_t a = 0>
class A {
public:
   A() { }

   void f() {
      int y[a];
      y[0] = 5;
   }
};

class B : A<2> {
   B() { }
};

void main() {
   A<1> a;
   a.f();

   // Undefined behaviour - creating an array of size 0
   // At least, MSVS2008 treats it as an error :)
   // A<0> a_;
}

Answer 3

先有“常”，再有“常”。如果您想像这样在堆栈上分配一个数组，编译器在编译时需要数组的长度，并且根据您在那里给出的内容，它无法计算出该长度。有趣的是，gcc 支持一个扩展（标准 C++ 不支持），该扩展允许可变长度的堆栈分配。

Answer 4

我不知道它是否适合您的目的，但一种可能性是将其设为模板参数：

template <int size>
class A { 
    double y[size];
};

在这种情况下，您可能希望在 B 中创建 A 的实例，而不是使用继承。

另一种明显的可能性是使用 tr1::array 对象来代替。这也是一个模板，所以想法几乎相同，但它已经编写、测试和运行，因此您可以避免这一切。如果您的编译器不提供 TR1 类，Boost 有一个基本一致的实现 (boost::array)。