向量排序函数单元测试报错求助：std::vector越界问题

嘿，这个错误一看就是向量越界访问搞的鬼——你在单元测试里用operator[]访问了超出返回向量实际长度的索引位置，VS的STL会直接触发这个断言错误。咱们一步步来写正确的无错误单元测试：

先搞懂错误根源 #

报错里的std::vector<T>::operator[]无效参数，本质是你访问了vector中不存在的元素索引——比如你的排序函数返回的向量长度是5，你却去访问索引5（vector是0基的，最大索引是4），或者输入为空时你直接取result[0]。

正确的单元测试编写思路 #

1. 先验证返回向量的长度：在访问任何元素之前，一定要先检查向量的size()是否符合预期，这是避免越界的关键。
2. 覆盖全场景测试：别只测正常情况，要覆盖空输入、单元素、已有序、逆序、含重复元素等边界场景。
3. 安全访问元素：如果要逐个访问元素，要么先确保索引在合法范围内，要么用at()方法（它会抛出out_of_range异常，方便调试，而不是直接崩溃）。

具体示例（以C++ + Google Test为例） #

假设你的排序函数是这样的：

#include <vector>
#include <algorithm>

std::vector<int> sortNumbers(std::vector<int> input) {
    std::sort(input.begin(), input.end());
    return input;
}

对应的单元测试可以这么写：

#include <gtest/gtest.h>
#include <vector>

// 测试空输入场景
TEST(SortNumbersTest, HandlesEmptyInput) {
    std::vector<int> emptyInput;
    auto result = sortNumbers(emptyInput);
    // 验证空输入返回空向量，这里绝对不能访问result[0]
    EXPECT_EQ(result.size(), 0);
}

// 测试单元素输入
TEST(SortNumbersTest, HandlesSingleElement) {
    std::vector<int> singleInput = {7};
    auto result = sortNumbers(singleInput);
    // 先用ASSERT确保长度正确，ASSERT失败会终止当前测试，避免后续越界
    ASSERT_EQ(result.size(), 1);
    EXPECT_EQ(result[0], 7);
}

// 测试逆序输入
TEST(SortNumbersTest, SortsReversedList) {
    std::vector<int> reversedInput = {5,3,8,1,4};
    auto result = sortNumbers(reversedInput);
    ASSERT_EQ(result.size(), reversedInput.size());
    // 可以直接比较整个向量，比逐个索引访问更简洁
    std::vector<int> expected = {1,3,4,5,8};
    EXPECT_EQ(result, expected);
}

// 测试含重复元素的输入
TEST(SortNumbersTest, SortsListWithDuplicates) {
    std::vector<int> duplicateInput = {2,5,2,1,5,3};
    auto result = sortNumbers(duplicateInput);
    ASSERT_EQ(result.size(), duplicateInput.size());
    std::vector<int> expected = {1,2,2,3,5,5};
    EXPECT_EQ(result, expected);
}

额外注意点 #

• 用ASSERT_*做前置条件检查（比如向量长度），ASSERT_*失败会直接终止当前测试用例，不会执行后续可能触发越界的代码。
• 尽量直接比较整个向量，而不是逐个索引访问，这样代码更简洁，也不容易因为数错索引而出错。
• 如果你用的是其他测试框架（比如原生C++测试、Boost.Test），核心逻辑完全一致：先验证长度，再验证内容。

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