constexpr上下文中std：：数组指针的大小()
假设我有这样的功能：
int test(std::array<char, 8>* data) {
char buffer[data->size() * 2];
[... some code ...]
}显然，可以在编译时计算缓冲区的大小:数据的constexpr大小为8个元素，8*2=16个字节。
然而，在用-Wall、-pedantic和-std=c++11编译时，我得到了一个臭名昭著的错误：
警告:可变长度数组是C99特性-Wvla-扩展
我认为这是有意义的：array::size()是constexpr，但它仍然是一种方法，在上面的函数中，我们仍然必须取消引用指针，而不是constexpr。
如果我尝试这样的方法：
int test(std::array<char, 8>& data) {
char buffer[data.size() * 2];
[...]
}gcc (试用版本5.2.0)似乎很高兴:没有任何警告。
但是对于clang++ (3.5.1)，我仍然会收到关于可变长度数组的警告。
在我的例子中，我不能轻易地更改test的签名，它需要一个指针。所以..。几个问题：
- 在constexpr上下文中获得
std::array指针大小的最佳/最标准方法是什么？ - 指针与引用的行为是否存在差异？关于警告，哪个编译器是对的，
gcc还是clang？
回答 3
Stack Overflow用户
发布于 2015-10-06 07:03:09
我不知道大约2。
但对于1，我们可以这样做：
template<class T, size_t N>
constexpr std::integral_constant<size_t, N> array_size( std::array<T, N> const& ) {
return {};
}然后：
void test(std::array<char, 8>* data) {
using size=decltype(array_size(*data));
char buffer[size{}];
(void)buffer;
// [... some code ...]
}另一种选择是：
template<class T, class U, size_t N>
std::array<T,N> same_sized_array( std::array< U, N > const& ) {
return {};
}
void test(std::array<char, 8>* data) {
auto buffer = same_sized_array<char>(*data);
(void)buffer;
// [... some code ...]
}最后，进行C++14清理：
template<class A>
constexpr const decltype(array_size( std::declval<A>() )) array_size_v = {};
void test3(std::array<char, 8>* data) {
char buffer[array_size_v<decltype(*data)>];
(void)buffer;
// [... some code ...]
}实例化。
Stack Overflow用户
发布于 2015-10-06 07:12:32
好的老C方式应该是一个定义，但是C++有const int或C++11 constexpr。因此，如果您希望编译器知道数组的大小是一个编译时间常数，最可移植的(*)方法是使其成为const或constexpr
#include <iostream>
#include <array>
const size_t sz = 8; // constexpr size_t sz for c++11
int test(std::array<char, sz>* data) {
char buffer[sz * 2];
buffer[0] = 0;
return 0;
}
int main()
{
std::array<char, sz> arr = { { 48,49,50,51,52,53,54,55 } };
int cr = test(&arr);
std::cout << cr << std::endl;
return 0;
}它在没有警告的情况下编译，即使在Clang3.4.1下使用-Wall -pedantic
关于第二个问题，我想不出gcc为什么在这里把指针和裁判区分开来。要么它可以确定大小为常数的std::array上的std::array方法是一个常量表达式--而且它应该允许两者都允许--要么它不能--而且它应该对两者发出相同的警告。但它不仅关系到编译器，而且关系到标准库的实现。
真正的问题是，pre++11 std::array不是标准库的一部分，constexpr也是从C++11开始定义的。因此，在预C++11模式下，两个编译器都将std::array作为扩展处理，但是size方法无法将其返回值声明为常量扩展。这就解释了为什么Clang (和gcc面对一个指针)发出警告。
但是，如果您以c++11模式(-std=c++11)编译原始代码，您应该没有警告，因为标准要求std::array上的size()方法是constexpr。
(*)问题是关于最佳/最标准的；我不能说什么是最好的方法，我也不能定义大多数标准，所以如果我想避免非C++11编译器的可移植性问题，我就坚持使用什么。
Stack Overflow用户
发布于 2015-10-06 23:01:33
如何在参数的解密类型上使用std::tuple_size？
void test(std::array<char, 8>* data) {
using data_type = std::remove_pointer<decltype(data)>::type;
char buffer[std::tuple_size<data_type>::value * 2];
static_assert(sizeof buffer == 16, "Ouch");
// [... some code ...]
}https://stackoverflow.com/questions/32971566
复制相似问题
领取专属 10元无门槛券
AI混元助手 在线答疑
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
