c++ - 如果大小在编译时已知，是否有一种干净的方法在堆栈上分配可变大小的对象？

Question

考虑以下代码，它试图在堆栈上分配一个包含可变长度数组的对象。

#include <stdio.h>

struct ContainVarLen {
    int normal;
    int varlen[];
};


int main(){
    ContainVarLen c;
}

假设我在编译时知道我在 varlen 对象中正好需要 8 个字节的数据。

是否有语法来指定我想要这个额外的 8 字节分配？

我认为在对象之前声明一个字节数组似乎是一种 hack。

Answer 1

template <std::size_t NBytes>
class ContainVarLen
{
    int normal;
    int varlen[NBytes / sizeof(int)];
};

现在用任何 constexpr 实例化:

constexpr long fib(const int x)
{
    return x <= 1 ? 1 : fib(x - 1) + fib(x - 2);
}

int main()
{
    ContainVarLen<fib(7)> c;
    ...
}