ペティ C++ - std::visit

std::visitは、前述のPetty C++ - std::variantと通常組み合わせて使用され、C++ 17 で導入されたstd::variant内のデータを処理し、対応する操作を実行するためのものです。

基本使用#

std::visitには 2 つの主要なパラメータが必要です。

visitor：variant 内のデータを処理するための呼び出し可能オブジェクト（ラムダ関数オブジェクト）
variants：1 つ以上のstd::variantインスタンス

例#


int main() {
    // intまたはstd::stringを格納できるstd::variantを作成
    std::variant<int, std::string> var;

    // int値をvariantに格納
    var = 42;

    // std::visitを使用してvariant内の値を処理
    std::visit([](auto&& arg) {
        std::cout << "Value: " << arg << std::endl;
    }, var);

    // std::string値をvariantに格納
    var = std::string("Hello, world!");

    // 再度std::visitを使用して新しい値を処理
    std::visit([](auto&& arg) {
        std::cout << "Value: " << arg << std::endl;
    }, var);

    return 0;
}

複数の variant#

複数の variant を処理する場合、visitor はすべての可能な型を処理できる必要があります。異なる型の組み合わせを visitor 内で分岐処理しないと、visitor は各可能な型の組み合わせに対して異なる関数呼び出しロジックを生成します。複数の variant があり、それぞれが多くの型を含む場合、可能な型の組み合わせは指数的に増加します。

このような状況を避けるために、次の方法でオーバーヘッドを節約できます。

variant の型の数を減らす
std::monostateを使用する //todo
分岐を使用する
多態性を使用する

template<typename T>
void process(const T& value) {
    if constexpr (std::is_same_v<T, int>) {
        std::cout << "Processing int: " << value << std::endl;
    } else if constexpr (std::is_same_v<T, std::string>) {
        std::cout << "Processing string: " << value << std::endl;
    } else {
        std::cout << "Processing other type" << std::endl;
    }
}

if constexpr とテンプレート型推論を使用することで、コンパイラは一般的な型に対してのみ特定のロジックを生成し、汎用処理は不必要なコードの生成を減少させます。