含C数组的std::tuple返回兼容性问题与合规性咨询

首先我们来拆解你遇到的这个跨编译器差异问题：

1. g接受该代码是否不符合C标准？ #

是的，g在这里的行为**不符合C标准**。

C++标准明确规定：数组类型不能被直接复制或移动初始化——你无法直接用一个数组去初始化另一个数组（除非是使用初始化列表的聚合初始化场景）。当你在std::tuple中包含数组类型时，tuple的默认移动/复制构造函数会尝试对数组成员执行直接初始化操作，这本质上是违反标准要求的。

clang的报错是完全符合标准的：它正确识别并拒绝了这种非法的数组初始化行为。而g在处理自定义结构体数组（Dummy[8]）时，可能因为结构体是平凡类型，做了非标准的扩展允许这种操作；但当换成int32_t[8]时，它又回到了符合标准的报错逻辑，这说明g++的处理是不一致的，属于非标准的宽松实现。

2. 是否存在能让两款编译器都支持的、在std::tuple中返回C数组的方法？ #

直接在std::tuple中存储原始C数组类型是行不通的，因为标准不允许这种复制/移动操作。不过有几种替代方案可以实现类似效果，同时兼容g++ 10.2.0和clang++ 11.0.0：

方案一：用指针替代数组 #

将数组转换为指针存储在tuple中，注意要保证指针指向的内存生命周期合法（避免返回局部数组的悬空指针）：

#include <tuple>
#include <cstdint>
struct Dummy { };
using second_t = Dummy;
using example_t = std::tuple<size_t, second_t*>;

example_t f() {
    static second_t arr[8]; // 用static确保内存持久化
    return {0, arr};
}

int main() {
    auto x = f();
    (void) x;
}

方案二：将数组包装在结构体中 #

结构体可以被正常复制/移动，把C数组放进自定义结构体后，再将结构体放入tuple：

#include <tuple>
#include <cstdint>
struct Dummy { };
struct ArrayWrapper {
    Dummy data[8];
};
using example_t = std::tuple<size_t, ArrayWrapper>;

example_t f() {
    example_t result;
    return result;
}

int main() {
    auto x = f();
    (void) x;
}

方案三：使用std::array（推荐） #

这是最符合现代C++风格的方案，std::array本质是封装了C数组的结构体，支持所有标准容器操作，完美兼容tuple的复制/移动逻辑：

#include <tuple>
#include <array>
#include <cstdint>
struct Dummy { };
using second_t = Dummy;
using example_t = std::tuple<size_t, std::array<second_t, 8>>;

example_t f() {
    example_t result;
    return result;
}

int main() {
    auto x = f();
    (void) x;
}

以上三种方案都能被两款编译器正确编译运行。

内容的提问来源于stack exchange，提问作者OMGtechy