我有一个静态大小数组的别名,使用起来简单直接:
using triplet_t = std::uint8_t[3];
// vvvvvvvvvvvvvvvvvv <--- easier than std::uint8_t(&triplet)[3]
void f(const triplet_t &triplet) { /* whatever */ }
triplet_t t{}; // As good as std::uint8_t t[3]{};
t[0] = '0';
t[1] = '1';
t[2] = '2';
for (auto &v : t) std::cout << v << ' ';
std::cout << '\n';
// So far so good...
triplet_t t3[3]{};
for (auto &r : t3)
for(auto &v : r)
v = 42;
我什至可以在容器中使用别名:
std::vector<triplet_t> vt;
或者我以前是这么想的,因为一旦你使用 vt
它就会失败:
vt.push_back({});
GCC 8.0.0 201711
error: parenthesized initializer in array new [-fpermissive] { ::new((void *)__p) _Up(std::forward<_Args>(__args)...); } ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: request for member '~unsigned char [3]' in '* __p', which is of non-class type 'unsigned char [3]' destroy(_Up* __p) { __p->~_Up(); } ~~~~~~^~~
问题似乎是,在展开所有模板技巧后,调用了一个 placement-new 转发所有括号内提供的参数,显然这不是初始化静态大小数组的方法。
此外,容器以某种方式将 triplet_t
视为对象,因此要求析构函数,再次编译失败。如果没有别名,问题显然是一样的:
std::vector<std::uint8_t[3]> vt;
vt.push_back({}); // Boom!
vt.push_back({255, 0, 0}); // Ouch!
但是使用具有相同内存布局的 struct
没问题:
struct rgb { std::uint8_t r, g, b; };
std::vector<rgb> vt;
vt.push_back({}); // Nice!
vt.push_back({255, 0, 0}); // Cool!
我想知道为什么会这样,有没有办法在容器中使用静态大小的数组作为包含类型?
最佳答案
阅读 std::vector
documentaion , 你可以找到 T
必须满足CopyAssignable的要求和 CopyConstructible。
这意味着(简化):使用 v
和 t
T
类型的两个实例, 表达式 t = v
必须是合法的。显然,如果 T
是 native 数组,但事实并非如此(您不能将 C 数组分配给另一个数组),并且 std::vector<T>
的某些函数会是病式的。
一个解决方案是定义 triplet_t
作为:
using triplet_t = std::array<std::uint8_t, 3>;
void f(const triplet_t &triplet) { /* whatever */ }
triplet_t t{};
t[0] = '0';
t[1] = '1';
t[2] = '2';
for (auto &v : t) std::cout << v << ' ';
std::cout << '\n';
// So far so good...
triplet_t t3[3]{};
for (auto &r : t3)
for(auto &v : r)
v = 42;
std::vector<triplet_t> vt;
vt.push_back({});
关于c++ - 为什么静态大小的数组类型不能是容器类型?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/47474063/