C++中可返回span吗？如何实现？求非vector/string数组传递替代方案

首先得指出你现有代码里的一个严重问题：你在getSpan()里定义的arr是局部栈数组，函数返回后这个数组就会被销毁，你返回的span会指向已经释放的内存，这属于未定义行为，运行时可能崩溃或者输出乱码，这是必须先修正的。

接下来针对你的需求，分几种方案逐一说明：

一、正确使用std::span的姿势 #

std::span本身不管理内存，它只是对已有数组的"视图"，所以核心是保证被span引用的数组生命周期覆盖span的使用周期。

1. 让数组拥有更长的生命周期 #

如果你的数组内容是固定的，可以用静态存储期的数组（比如函数内的static数组），这样它的生命周期会持续到程序结束：

#include <span>
#include <iostream>

std::span<char> getSpan() {
    static char arr[] = {'A', 'B', 'C'}; // 静态数组，生命周期贯穿整个程序
    return std::span<char>(arr);
}

int main() {
    auto printSpan = getSpan();
    // 遍历span打印内容（std::cout没有直接重载span的输出）
    for (char c : printSpan) {
        std::cout << c;
    }
    std::cout << '\n'; // 输出ABC
}

⚠️ 注意：静态数组是全局共享的，如果多次调用getSpan()并修改数组内容，会影响所有调用者，线程不安全，适合内容固定的场景。

2. 调用方提供缓冲区，函数接收span作为参数 #

如果内容是动态生成的，更安全的方式是让调用方准备好缓冲区，函数通过span来操作这个缓冲区：

#include <span>
#include <iostream>
#include <algorithm>

// 往传入的span中填充数据，返回实际填充的长度
size_t fillData(std::span<char> buf) {
    const char source[] = {'A', 'B', 'C', 'D'};
    size_t copyLen = std::min(buf.size(), sizeof(source)/sizeof(source[0]));
    std::copy(source, source + copyLen, buf.begin());
    return copyLen;
}

int main() {
    char buf[10]; // 调用方准备缓冲区，长度按需定义
    size_t actualLen = fillData(buf);
    for (size_t i = 0; i < actualLen; ++i) {
        std::cout << buf[i];
    }
    std::cout << '\n'; // 输出ABCD
}

二、其他替代方案（除string/vector外） #

1. 经典C风格：指针+长度 #

这是最传统的方式，不需要任何STL容器，直接传递指针和数组长度：

#include <iostream>
#include <algorithm>

size_t fillData(char* buf, size_t bufSize) {
    const char source[] = {'A', 'B', 'C'};
    size_t copyLen = std::min(bufSize, sizeof(source)/sizeof(source[0]));
    std::copy(source, source + copyLen, buf);
    return copyLen;
}

int main() {
    char buf[5];
    size_t len = fillData(buf, sizeof(buf));
    for (size_t i = 0; i < len; ++i) {
        std::cout << buf[i];
    }
    std::cout << '\n';
}

优点：兼容性极强，不需要C++17及以上的span支持；缺点：需要手动管理长度，容易出现越界问题（要注意检查缓冲区大小）。

2. 编译期固定长度：std::array #

如果你的数组长度在编译期就能确定，可以用std::array（它本质是封装的固定大小数组，不属于动态容器，符合你的禁用要求）：

#include <array>
#include <iostream>

std::array<char, 3> getArray() {
    return {'A', 'B', 'C'};
}

int main() {
    auto arr = getArray();
    for (char c : arr) {
        std::cout << c;
    }
    std::cout << '\n';
}

⚠️ 注意：这个方案只适用于长度固定的场景，无法处理真正"长度不确定"的情况。

三、不推荐的方案：临时文件 #

你提到的用临时文件存储内容确实过于繁琐，不仅会带来IO开销，还会增加代码复杂度，完全没必要用这种方式，上面的方案都比它更高效简洁。

总结一下：如果你的编译器支持C17及以上，优先使用std::span配合调用方缓冲区，既安全又简洁；如果需要兼容旧版C，则用指针+长度的方式。

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