test: add tests for P3394R4

Signed-off-by: Yuming He <ComixHe1895@outlook.com>

Author: ComixHe

tests/ll-box-ut/CMakeLists.txt

@@ -1,7 +1,8 @@
 include(GoogleTest)
 
 set(linyaps-box_UNIT_TESTS ll-box-ut)
-set(linyaps-box_UNIT_TESTS_SOURCE ./src/test.cpp ./src/semver_test.cpp)
+set(linyaps-box_UNIT_TESTS_SOURCE ./src/test.cpp ./src/semver_test.cpp
+                                  ./src/span_test.cpp)
 set(linyaps-box_UNIT_TESTS_LINK_LIBRARIES PRIVATE "${linyaps-box_LIBRARY}")
 set(linyaps-box_UNIT_TESTS_SOURCE_INCLUDE_DIRS
     PRIVATE "${CMAKE_CURRENT_SOURCE_DIR}/src")

tests/ll-box-ut/src/span_test.cpp

@@ -0,0 +1,102 @@
+// SPDX-FileCopyrightText: 2026 UnionTech Software Technology Co., Ltd.
+//
+// SPDX-License-Identifier: LGPL-3.0-or-later
+
+#include <gtest/gtest.h>
+
+#include <linyaps_box/utils/span.h>
+
+#include <array>
+#include <vector>
+
+namespace utils = linyaps_box::utils;
+
+TEST(SpanAt, ValidIndexDynamicExtent)
+{
+    std::array<int, 4> arr = { 10, 20, 30, 40 };
+    utils::span<int> s(arr);
+
+    EXPECT_EQ(s.at(0), 10);
+    EXPECT_EQ(s.at(1), 20);
+    EXPECT_EQ(s.at(2), 30);
+    EXPECT_EQ(s.at(3), 40);
+}
+
+TEST(SpanAt, ValidIndexStaticExtent)
+{
+    std::array<int, 4> arr = { 10, 20, 30, 40 };
+    utils::span<int, 4> s(arr);
+
+    EXPECT_EQ(s.at(0), 10);
+    EXPECT_EQ(s.at(3), 40);
+}
+
+TEST(SpanAt, OutOfRangeThrows)
+{
+    std::array<int, 3> arr = { 1, 2, 3 };
+    utils::span<int> s(arr);
+
+    EXPECT_THROW(s.at(3), std::out_of_range);
+    EXPECT_THROW(s.at(100), std::out_of_range);
+}
+
+TEST(SpanAt, OutOfRangeStaticExtentThrows)
+{
+    std::array<int, 3> arr = { 1, 2, 3 };
+    utils::span<int, 3> s(arr);
+
+    EXPECT_THROW(s.at(3), std::out_of_range);
+}
+
+TEST(SpanAt, EmptySpanThrows)
+{
+    utils::span<int> s;
+    EXPECT_THROW(s.at(0), std::out_of_range);
+}
+
+TEST(SpanAt, ReturnsMutableReference)
+{
+    std::array<int, 2> arr = { 1, 2 };
+    utils::span<int> s(arr);
+
+    s.at(1) = 42;
+    EXPECT_EQ(arr[1], 42);
+}
+
+TEST(SpanAt, ConstSpanReadsCorrectly)
+{
+    std::array<int, 2> arr = { 5, 6 };
+    const utils::span<const int> s(arr);
+
+    EXPECT_EQ(s.at(0), 5);
+    EXPECT_EQ(s.at(1), 6);
+}
+
+TEST(SpanAt, BoundaryIndex)
+{
+    std::array<int, 1> arr = { 99 };
+    utils::span<int> s(arr);
+
+    EXPECT_EQ(s.at(0), 99);
+    EXPECT_THROW(s.at(1), std::out_of_range);
+}
+
+TEST(SpanAt, SubspanAt)
+{
+    int raw[] = { 0, 1, 2, 3, 4 };
+    auto s = utils::span<int>(raw).subspan(1, 3);
+
+    EXPECT_EQ(s.at(0), 1);
+    EXPECT_EQ(s.at(2), 3);
+    EXPECT_THROW(s.at(3), std::out_of_range);
+}
+
+TEST(SpanAt, VectorCompatible)
+{
+    std::vector<int> v = { 100, 200, 300 };
+    utils::span<int> s(v);
+
+    EXPECT_EQ(s.at(0), 100);
+    EXPECT_EQ(s.at(2), 300);
+    EXPECT_THROW(s.at(3), std::out_of_range);
+}