From fcddac20ccbfb01b104aa881597d6a824bb7a358 Mon Sep 17 00:00:00 2001
From: yaito3014 <ykakeyama3014@gmail.com>
Date: Fri, 6 Feb 2026 20:13:20 +0900
Subject: [PATCH] Implement unsafe_get

---
 include/iris/rvariant/rvariant.hpp | 81 ++++++++++++++++++++++++++++++
 test/rvariant/get_visit_test.cpp   | 36 +++++++++++++
 2 files changed, 117 insertions(+)

diff --git a/include/iris/rvariant/rvariant.hpp b/include/iris/rvariant/rvariant.hpp
index 3954460..b5d71a5 100644
--- a/include/iris/rvariant/rvariant.hpp
+++ b/include/iris/rvariant/rvariant.hpp
@@ -1211,6 +1211,87 @@ template<class T, class... Ts>
     requires is_ttp_specialization_of_v<T, recursive_wrapper>
 constexpr T const&& get(rvariant<Ts...> const&&) = delete;
 
+// -------------------------------------------------
+
+template<std::size_t I, class... Ts>
+[[nodiscard]] constexpr variant_alternative_t<I, rvariant<Ts...>>&
+unsafe_get(rvariant<Ts...>& v IRIS_LIFETIMEBOUND) noexcept
+{
+    static_assert(I < sizeof...(Ts));
+    return detail::unwrap_recursive(detail::raw_get<I>(detail::forward_storage<rvariant<Ts...>&>(v)));
+}
+
+template<std::size_t I, class... Ts>
+[[nodiscard]] constexpr variant_alternative_t<I, rvariant<Ts...>>&&
+unsafe_get(rvariant<Ts...>&& v IRIS_LIFETIMEBOUND) noexcept  // NOLINT(cppcoreguidelines-rvalue-reference-param-not-moved)
+{
+    static_assert(I < sizeof...(Ts));
+    return detail::unwrap_recursive(detail::raw_get<I>(detail::forward_storage<rvariant<Ts...>&&>(v)));
+}
+
+template<std::size_t I, class... Ts>
+[[nodiscard]] constexpr variant_alternative_t<I, rvariant<Ts...>> const&
+unsafe_get(rvariant<Ts...> const& v IRIS_LIFETIMEBOUND) noexcept
+{
+    static_assert(I < sizeof...(Ts));
+    return detail::unwrap_recursive(detail::raw_get<I>(detail::forward_storage<rvariant<Ts...> const&>(v)));
+}
+
+template<std::size_t I, class... Ts>
+[[nodiscard]] constexpr variant_alternative_t<I, rvariant<Ts...>> const&&
+unsafe_get(rvariant<Ts...> const&& v IRIS_LIFETIMEBOUND) noexcept
+{
+    return detail::unwrap_recursive(detail::raw_get<I>(detail::forward_storage<rvariant<Ts...> const&&>(v)));
+}
+
+template<class T, class... Ts>
+[[nodiscard]] constexpr T&
+unsafe_get(rvariant<Ts...>& v IRIS_LIFETIMEBOUND) noexcept
+{
+    constexpr std::size_t I = detail::exactly_once_index_v<T, rvariant<Ts...>>;
+    return detail::unwrap_recursive(detail::raw_get<I>(detail::forward_storage<rvariant<Ts...>&>(v)));
+}
+
+template<class T, class... Ts>
+[[nodiscard]] constexpr T&&
+unsafe_get(rvariant<Ts...>&& v IRIS_LIFETIMEBOUND) noexcept  // NOLINT(cppcoreguidelines-rvalue-reference-param-not-moved)
+{
+    constexpr std::size_t I = detail::exactly_once_index_v<T, rvariant<Ts...>>;
+    return detail::unwrap_recursive(detail::raw_get<I>(detail::forward_storage<rvariant<Ts...>&&>(v)));
+}
+
+template<class T, class... Ts>
+[[nodiscard]] constexpr T const&
+unsafe_get(rvariant<Ts...> const& v IRIS_LIFETIMEBOUND) noexcept
+{
+    constexpr std::size_t I = detail::exactly_once_index_v<T, rvariant<Ts...>>;
+    return detail::unwrap_recursive(detail::raw_get<I>(detail::forward_storage<rvariant<Ts...> const&>(v)));
+}
+
+template<class T, class... Ts>
+[[nodiscard]] constexpr T const&&
+unsafe_get(rvariant<Ts...> const&& v IRIS_LIFETIMEBOUND) noexcept
+{
+    constexpr std::size_t I = detail::exactly_once_index_v<T, rvariant<Ts...>>;
+    return detail::unwrap_recursive(detail::raw_get<I>(detail::forward_storage<rvariant<Ts...> const&&>(v)));
+}
+
+template<class T, class... Ts>
+    requires is_ttp_specialization_of_v<T, recursive_wrapper>
+constexpr T& unsafe_get(rvariant<Ts...>&) = delete;
+
+template<class T, class... Ts>
+    requires is_ttp_specialization_of_v<T, recursive_wrapper>
+constexpr T&& unsafe_get(rvariant<Ts...>&&) = delete;
+
+template<class T, class... Ts>
+    requires is_ttp_specialization_of_v<T, recursive_wrapper>
+constexpr T const& unsafe_get(rvariant<Ts...> const&) = delete;
+
+template<class T, class... Ts>
+    requires is_ttp_specialization_of_v<T, recursive_wrapper>
+constexpr T const&& unsafe_get(rvariant<Ts...> const&&) = delete;
+
 // ---------------------------------------------
 
 template<std::size_t I, class... Ts>
diff --git a/test/rvariant/get_visit_test.cpp b/test/rvariant/get_visit_test.cpp
index 158187f..50905f1 100644
--- a/test/rvariant/get_visit_test.cpp
+++ b/test/rvariant/get_visit_test.cpp
@@ -151,6 +151,42 @@ TEST_CASE("get", "[wrapper]")
         REQUIRE(iris::get<int>(std::move(var)) == 42);
     }
 }
+
+TEST_CASE("unsafe_get")
+{
+    {
+        iris::rvariant<int, float> var = 42;
+        REQUIRE(iris::unsafe_get<0>(std::as_const(var)) == 42);
+        REQUIRE(iris::unsafe_get<0>(var) == 42);
+        REQUIRE(iris::unsafe_get<0>(std::move(std::as_const(var))) == 42);
+        REQUIRE(iris::unsafe_get<0>(std::move(var)) == 42);
+    }
+    {
+        iris::rvariant<int, float> var = 42;
+        REQUIRE(iris::unsafe_get<int>(std::as_const(var)) == 42);
+        REQUIRE(iris::unsafe_get<int>(var) == 42);
+        REQUIRE(iris::unsafe_get<int>(std::move(std::as_const(var))) == 42);
+        REQUIRE(iris::unsafe_get<int>(std::move(var)) == 42);
+    }
+}
+
+TEST_CASE("unsafe_get", "[wrapper]")
+{
+    {
+        iris::rvariant<iris::recursive_wrapper<int>, float> var = 42;
+        REQUIRE(iris::unsafe_get<0>(std::as_const(var)) == 42);
+        REQUIRE(iris::unsafe_get<0>(var) == 42);
+        REQUIRE(iris::unsafe_get<0>(std::move(std::as_const(var))) == 42);
+        REQUIRE(iris::unsafe_get<0>(std::move(var)) == 42);
+    }
+    {
+        iris::rvariant<iris::recursive_wrapper<int>, float> var = 42;
+        REQUIRE(iris::unsafe_get<int>(std::as_const(var)) == 42);
+        REQUIRE(iris::unsafe_get<int>(var) == 42);
+        REQUIRE(iris::unsafe_get<int>(std::move(std::as_const(var))) == 42);
+        REQUIRE(iris::unsafe_get<int>(std::move(var)) == 42);
+    }
+}
 // NOLINTEND(performance-move-const-arg)
 
 TEST_CASE("get_if")