std::variant<Types...>::visit
ja.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（バリアントの任意の型の組み合わせで呼び出せるCallable）を、self が保持するバリアントに適用します。
型 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
が保持する引数で提供されたファンクタを呼び出す
(関数テンプレート) |