使用C++容器与智能指针替代C风格数组做缓冲区的弊端探讨

当C++函数需要返回数据缓冲区时，调用者通常需要传入缓冲区首元素指针和长度作为参数，函数返回值用来传递执行结果。那能不能在函数内部用std::vector或std::array这类STL容器创建数据集合，然后返回它的指针？

以CNG API里的BCryptGenRandom()方法为例：

NTSTATUS BCryptGenRandom(
  [in, out] BCRYPT_ALG_HANDLE hAlgorithm,
  [in, out] PUCHAR            pbBuffer,
  [in]      ULONG             cbBuffer,
  [in]      ULONG             dwFlags
);

我用两种方式调用了这个函数：

方式1：现代C++特性实现 #

//Method 1
#include <iostream>
#include <cstdint>
#include <memory>
#include <array>
#include <exception>

#include <Windows.h>
#include <bcrypt.h>

#define NT_SUCCESS(Status)  (((NTSTATUS)(Status)) >= 0)

template <ULONG N>
std::shared_ptr<std::array<BYTE, N>> GenRandom()
{
    std::shared_ptr<std::array<BYTE, N>> pBuffer{ new std::array<BYTE, N> };
    if (!NT_SUCCESS(BCryptGenRandom(NULL, pBuffer->data(), pBuffer->size(), BCRYPT_USE_SYSTEM_PREFERRED_RNG)))
    {
        throw std::exception();
    }
    
    return pBuffer;
}

int main() {
    const int size{ 64 };
    std::shared_ptr<std::array<BYTE, size>> arr{};
    try
    {
        arr = GenRandom<size>();
    }
    catch (const std::exception& ex)
    {
        return 1;
    }

    for (int i{ 0 }; i < arr->size(); i++)
    {
        std::cout << std::hex << static_cast<std::uint16_t>((*arr)[i]);
    }
    return 0;
}

方式2：传统C风格实现（常见于文档与教程） #

//Method 2
int main() {
    const int size{ 64 };
    BYTE buffer[size]{};
    if (!NT_SUCCESS(BCryptGenRandom(NULL, buffer, size, BCRYPT_USE_SYSTEM_PREFERRED_RNG)))
    {
        return 1;
    }

    for (int i{ 0 }; i < size; i++)
    {
        std::cout << std::hex << static_cast<std::int16_t>(buffer[i]);
    }
    return 0;
}

虽然方式2更简洁直观，但我觉得方式1的封装性和异常处理机制更好，而且智能指针能自动管理动态分配的内存（比如在代码多处生成任意长度随机值时更实用）。所以我想知道，和方式2比起来，方式1在性能、兼容性或者其他方面有没有显著的弊端？

核心弊端分析 #

• 不必要的内存分配开销：方式1中std::shared_ptr<std::array<BYTE, N>>会触发堆内存分配，而方式2的C风格数组是栈上分配（只要尺寸不超出栈空间限制）。栈分配的速度远快于堆分配，对于示例中64字节这类小缓冲区，堆分配的额外开销会格外明显——堆分配需要操作系统介入管理内存块，还要维护智能指针的引用计数，频繁调用时累计损耗会很可观。
• 冗余的智能指针复杂度：这里用std::shared_ptr完全多余，std::array本身是值类型，直接返回std::array<BYTE, N>就能实现安全的值语义；如果需要动态尺寸缓冲区，用std::vector<BYTE>直接返回即可，它的内存管理已经足够安全，不需要额外套一层shared_ptr。当前写法反而增加了代码复杂度和引用计数维护成本。
• 栈空间限制的误解：方式2的栈数组确实受限于栈大小（Windows默认栈大小通常1MB左右），但多数加密场景的缓冲区（比如密钥、随机数）尺寸不会超过栈的承受范围。如果真需要超大缓冲区，堆分配是合理的，但此时std::vector比shared_ptr<std::array>更合适——因为std::array是固定大小模板参数，无法处理动态尺寸需求。
• 极端场景的兼容性问题：如果代码需要兼容C++11之前的老旧编译器，std::array和std::shared_ptr可能无法使用；在嵌入式或资源极度受限的环境中，STL容器的额外内存开销（比如vector的容量管理、智能指针的引用计数）可能成为负担，这类场景下C风格数组的轻量性更有优势。

优化后的现代C++写法 #

不需要用shared_ptr，直接返回std::array或std::vector就能兼顾安全性和性能：

// 固定大小缓冲区的优化写法
template <ULONG N>
std::array<BYTE, N> GenRandom()
{
    std::array<BYTE, N> buffer{};
    if (!NT_SUCCESS(BCryptGenRandom(NULL, buffer.data(), buffer.size(), BCRYPT_USE_SYSTEM_PREFERRED_RNG)))
    {
        throw std::runtime_error("Failed to generate random data");
    }
    return buffer;
}

// 动态大小缓冲区的写法
std::vector<BYTE> GenRandom(ULONG size)
{
    std::vector<BYTE> buffer(size);
    if (!NT_SUCCESS(BCryptGenRandom(NULL, buffer.data(), buffer.size(), BCRYPT_USE_SYSTEM_PREFERRED_RNG)))
    {
        throw std::runtime_error("Failed to generate random data");
    }
    return buffer;
}

这种写法既保留了现代C++的内存安全和异常处理，又避免了不必要的堆分配和智能指针开销，性能接近方式2的C风格实现。

总结 #

• 小尺寸、固定大小缓冲区：方式2的栈数组性能最优，但优化后的std::array写法几乎无性能损失，还能获得更好的类型安全和封装性。
• 动态大小或超大缓冲区：用std::vector替代C风格堆数组，既安全又高效，无需shared_ptr。
• 你原始方式1的主要弊端是不必要的堆分配和智能指针冗余，会带来性能损耗和代码复杂度提升，并非现代C++的最优实践。

内容的提问来源于stack exchange，提问作者Zombies are Real