C++20中动态异常规范替代方案咨询：指定std::bad_alloc抛出

首先明确：C++17已经完全移除了带异常类型的动态异常规范（即throw(bad_alloc)这类语法），C20中完全不支持该语法，用g以-std=c++20编译时会触发编译错误，因此你不能继续使用这种写法。

针对你的需求（告知使用者函数可能抛出std::bad_alloc），有以下替代方案：

1. 编写清晰的文档注释 #

这是C++11之后推荐的标准做法，通过注释明确说明函数可能抛出的异常类型。比如使用Doxygen风格的注释：

/**
 * 合并两个已排序的T类型数组，返回合并后数组的智能指针
 * @param input_arr 包含两个待合并的已排序数组的容器
 * @return 指向合并完成的std::array的unique_ptr
 * @throw std::bad_alloc 当动态分配内存失败时抛出该异常
 */
template<typename T, size_t N>
std::unique_ptr<std::array<T,N>> merge2SortedArrays(std::array<std::array<T,N>,2> input_arr);

使用者通过阅读注释就能明确需要捕获的异常类型。

2. 利用noexcept明确异常可能性 #

虽然noexcept无法指定具体的异常类型，但可以明确函数可能抛出异常（默认就是noexcept(false)，也可以显式写出），和文档注释配合使用，强化提示：

template<typename T, size_t N>
std::unique_ptr<std::array<T,N>> merge2SortedArrays(std::array<std::array<T,N>,2> input_arr) noexcept(false);

noexcept(false)告诉编译器和使用者：这个函数可能抛出任意异常，结合文档注释就能精准说明是std::bad_alloc。

补充说明 #

你的函数中，std::unique_ptr指向的std::array是通过动态分配创建的（比如new std::array<T,N>），而标准库的new操作符本身在内存分配失败时就会抛出std::bad_alloc，这是标准行为。所以只要你在函数内部遵循标准的内存分配方式，这个异常会自然抛出，你只需要通过文档让使用者知晓这一点即可。

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