Namespaces
Variants

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

From cppreference.net
Utilities library
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 Callable 要件を満たし、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
self - ビジターに渡すバリアント

戻り値

1) std :: visit 呼び出しの結果。
2) R が(possibly cv-qualified) void の場合、何も返さない。それ以外の場合、 std :: visit < R > の呼び出し結果。

例外

std :: visit の呼び出しが例外を送出する場合にのみ例外を送出します。

注記

機能テスト マクロ 標準 機能
__cpp_lib_variant 202306L (C++26) member 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)
1つまたは複数の variant が保持する引数で提供されたファンクタを呼び出す
(関数テンプレート)