std::visit

#include <iomanip>
#include <iostream>
#include <string>
#include <type_traits>
#include <variant>
#include <vector>
// 訪問するバリアント
using value_t = std::variant<int, long, double, std::string>;
// ビジター #4 のためのヘルパー型
template<class... Ts>
struct overloaded : Ts... { using Ts::operator()...; };
// 明示的な推定ガイド (C++20以降では不要)
template<class... Ts>
overloaded(Ts...) -> overloaded<Ts...>;
int main()
{
    std::vector<value_t> vec = {10, 15l, 1.5, "hello"};
    for (auto& v: vec)
    {
        // 1. void visitor, 副作用のみを目的として呼び出される（ここではI/Oのため）
        std::visit([](auto&& arg){ std::cout << arg; }, v);
        // 2. 値を返すビジター、別のバリアントを返すイディオムを示す
        value_t w = std::visit([](auto&& arg) -> value_t { return arg + arg; }, v);
        // 3. 型マッチングビジター: 各型を異なる方法で処理するラムダ
        std::cout << ". 倍増後、variantは保持する ";
        std::visit([]

（注：元のテキスト「]」はHTMLタグ内の閉じ括弧であり、翻訳対象外のためそのまま保持しました）(auto&& arg)
        {
            using T = std::decay_t<decltype(arg)>;
            if constexpr (std::is_same_v<T, int>)
                std::cout << "値を持つ int " << arg << '\n';
            else if constexpr (std::is_same_v<T, long>)
                std::cout << "値を持つ long" << arg << '\n';
            else if constexpr (std::is_same_v<T, double>)
                std::cout << "値を持つ double " << arg << '\n';
            else if constexpr (std::is_same_v<T, std::string>)
                std::cout << "値を持つ std::string " << std::quoted

（注：指示に従い、HTMLタグ・属性は翻訳せず、C++固有用語も翻訳していません。表示されるテキスト「std::quoted」はC++標準ライブラリの関数名であるため、そのまま保持しています）(arg) << '\n';
            else
                static_assert(false, "網羅的でないビジター！");
        }, w);
    }
    for (auto& v: vec)
    {
        // 4. another type-matching visitor: a class with 3 overloaded operator()'s
        // 注: `(auto arg)` テンプレート operator() は `int` と `long` にバインドします
        //       このケースでは、しかしその不在においては `(double arg)` operator()
        //       *will also* bind to `int` and `long` because both are implicitly
        //       doubleに変換可能であること。この形式を使用する場合、注意が必要です
        //       暗黙の変換が正しく処理されること。
        std::visit(overloaded{
            [](auto arg) { std::cout << arg << ' '; },
            [](double arg) { std::cout << std::fixed << arg << ' '; },
            [](const std::string& arg) { std::cout << std::quoted

（注：指示に従い、HTMLタグ・属性は翻訳せず、C++固有の用語も翻訳していません。表示されるテキスト「std::quoted」はC++標準ライブラリの関数名であるため、そのまま保持しています）(arg) << ' '; }
        }, v);
    }
}