我有一个包含一组大小相同的 C 动态数组的类，其中一个成员是这些数组的大小：
class stuff {
int size;
float *abc;
float *def;
// etc.
};
为了简化此类（以及许多其他具有类似布局的类）的内存管理，我想使用标准容器。但是我必须保持 C 数组（和向量）提供的对齐约束，因为这些数据将在很多 C 函数中传递。
我的问题是每个向量都有自己的大小，这是多余的，如果出于某种原因更改其大小而不是其他原因，可能会导致错误。
有没有办法强制数组/向量/任何东西总是相同的大小？
【问题讨论】：
在这种情况下，创建自己的类来管理内存（没有业务逻辑，只有内存）可能是有意义的。
当然，你可以围绕向量来表达这个类：
#define CHECK_CLASS_INVARIANT() \
ClassInvariant inv##__LINE__ (*this); (void) inv##__LINE__;
class Foo {
public:
size_t size() const { return _a.size(); }
float* getA() { return &_a[0]; }
float* getB() { return &_b[0]; }
void push(float a, float b) {
CHECK_CLASS_INVARIANT()
_a.push_back(a);
_b.push_back(b);
}
private:
struct ClassInvariant {
ClassInvariant (Foo& f): _f(f) {}
~ClassInvariant () { assert(_f._a.size() == _f._b.size()); }
Foo& _f;
}; // struct ClassInvariant
std::vector<float> _a;
std::vector<float> _b;
};
我们确保始终检查类不变量（在变异方法中）以确保它始终适用。
注意：这里有一个轻微的流程，如果 _b.push_back(b); 抛出，那么 _a 被扩展而 _b 没有被扩展，这可以在 try/catch 块中处理，或者正如 SteveJessop 恰当地评论的那样，通过 (1) 预先在两个向量中保留足够的空间和 (2) 推入它们。
【讨论】：
return 语句，或者在某些情况下可能导致程序员忘记检查它的任何其他内容。在_b.push_back 抛出的情况下，断言将被执行并失败，正确地表明所编写的函数甚至不是弱异常安全的。如果他只是在函数末尾写了assert，那么在这种情况下不会触发。
push_back 的情况下，最简单的修复方法可能是在推送它们之前对reserve 两个向量，而不是尝试捕获异常并撤消第一次推动。但这只是因为push_back 是一个函数的特例，它可以在适当的前提条件（足够的容量）下抛出。
没有通用和明确的方法来约束向量。约束必须作为算法的不变量强制执行；每当您将push_back 数据发送到一个向量时，也将其推送到另一个向量。 （请务必保留矢量private。
【讨论】：
改为保留一对浮点数的向量怎么样？
【讨论】：
make_something(& st.abc[0])。更改这些数组的布局需要更新这些 C 函数，这实际上是不可行的。
我不是 100% 确定我理解你的问题是什么，但看起来你想要这样的东西：
template<int SIZE> class stuff {
float abc[SIZE];
float def[SIZE];
// etc.
};
这没有内存管理问题——您可以在堆栈或堆上创建一个“stuff”类，它不需要析构函数。
【讨论】：
SIZE 不必为负数，因此无符号整数（无论您喜欢哪个）在这里会更好。