Namespaces
Variants

std::variant<Types...>::visit

来自 zh.cppreference.net
 
 
 
 
template< class Self, class Visitor >
constexpr decltype(auto) visit( this Self&& self, Visitor&& vis );
(1) (C++26 起)
template< class R, class Self, class Visitor >
constexpr R visit( this Self&& self, Visitor&& vis );
(2) (C++26 起)

将访问器 vis(一个可调用对象,能够以 variant 中的任意类型组合进行调用)应用于 self 所持有的 variant 对象。

给定类型 V 作为 decltype(std::forward_like<Self>(std::declval<variant>())),等效调用为:

1) return std::visit(std::forward<Visitor>(vis), (V) self);.
2) return std::visit<R>(std::forward<Visitor>(vis), (V) self);.

参数

vis - 一个 Callable 对象,可接受variant中的所有可能替代类型
self - 要传递给访问者的variant对象

返回值

1) std :: visit 调用的结果。
2) 若 R 为(可能带有 cv 限定符的) void 则无返回值;否则返回 std :: visit < R > 调用的结果。

异常

仅当对 std :: visit 的调用抛出异常时才会抛出。

注释

功能测试 宏 值 标准 功能
__cpp_lib_variant 202306L (C++26) 成员函数 visit

示例

#include <print>
#include <string>
#include <string_view>
#include <variant>
struct Base {};
struct Derived : Base {};
// 用于访问者的辅助类型
template<class... Ts>
struct overloads : Ts... { using Ts::operator()...; };
// 要访问的 variant
using var_t = std::variant<int, std::string, Derived>;
int main()
{
    const auto visitor = overloads
    {
        [](int i){ std::print("int = {}\n", i); },
        [](std::string_view s){ std::println("string = “{}”", s); },
        [](const Base&){ std::println("base"); }
    };
    const var_t var1 = 42, var2 = "abc", var3 = Derived();
#if (__cpp_lib_variant >= 202306L)
    var1.visit(visitor);
    var2.visit(visitor);
    var3.visit(visitor);
#else
    std::visit(visitor, var1);
    std::visit(visitor, var2);
    std::visit(visitor, var3);
#endif
}

输出:

int = 42
string = “abc”
base

参阅

(C++17)
使用一个或多个variant持有的参数调用提供的函数对象
(函数模板)