如何将 std::array<char, N> 转换为 char (&dest)[N]？

Question

std::array<char, N> 的传递方式是什么 这样的功能：

template<size_t N>
void safe_func(char (&dest)[N]);

?

我试试这个：

#include <array>

template <size_t N> using SafeArray = char[N];

template <size_t N> void safe_func(char (&dest)[N]) {}

int main() {
  SafeArray<10> a1;
  safe_func(a1);
  std::array<char, 10> a2;
  safe_func(*static_cast<SafeArray<10> *>(static_cast<void *>(a2.data())));
}

它有效，但我怀疑，我的演员可能有问题， 在其他编译器或平台上（我使用 gcc/linux/amd64）， 我遇到了错误的参考？

Answer 1

一种方式：

template<class T, size_t N>
using c_array = T[N];

template<class T, size_t N>
c_array<T, N>& as_c_array(std::array<T, N>& a) {
    return reinterpret_cast<T(&)[N]>(*a.data());
}

int main() {
    std::array<int, 2> a;
    int(&b)[2] = as_c_array(a);
}

标准要求std::array 是aggregate，它的唯一成员是T[N]，std::array::data() 返回的指针。由于聚合的地址与其第一个成员的地址一致，因此调用和取消引用 std::array::data() 并不是绝对必要的，reinterpret_cast<T(&)[N]>(a) 也可以正常工作。

std::array 起源于boost，其唯一目的是为内置数组T[N] 提供标准容器接口（@98​​7654330@），仅此而已，因此它没有任何开销， 0 成本抽象。因此，您基本上可以来回转换boost::array<T, N> 和T[N]，尽管这样做可能会破坏别名规则（编译器假定boost::array<T, N> 和T[N] 指的是不同的对象，因此您需要知道如何应对在你的具体情况下）。

标准放弃了所有的理由，用非常软弱和模糊的语言表达了std::array的要求。所以人们想知道那里是否真的只有T[N] 成员，而不是一些据称满足要求的外星类型。