在 C++ 标准库中,std::visit
是一个用于处理 std::variant
类型的函数。std::variant
是一种类型安全的联合体(union),可以存储不同类型的值。std::visit
函数允许你以类型安全的方式访问 std::variant
中存储的值。
std::visit
的基本语法如下:
template< class Visitor, class... Variants >
constexpr decltype(auto) visit( Visitor&& vis, Variants&&... vars );
其中,Visitor
是一个可调用对象,它可以接受 Variants
中的任何类型作为参数。vars
是一个或多个 std::variant
实例。
std::visit
的工作原理是将 Visitor
应用于 vars
中的每个 std::variant
。如果 vars
中的所有 std::variant
都包含相同的类型,那么 Visitor
将被调用一次,传入这些类型的值。否则,std::visit
会依次尝试每个可能的类型组合,直到找到一个匹配的组合并调用 Visitor
。
下面是一个简单的示例,展示了如何使用 std::visit
:
#include<iostream>
#include<variant>
struct PrintVisitor {
void operator()(int i) const {
std::cout << "int: " << i << std::endl;
}
void operator()(float f) const {
std::cout << "float: " << f << std::endl;
}
};
int main() {
std::variant<int, float> v1 = 42;
std::variant<int, float> v2 = 3.14f;
std::visit(PrintVisitor{}, v1); // 输出 "int: 42"
std::visit(PrintVisitor{}, v2); // 输出 "float: 3.14"
return 0;
}
在这个示例中,我们定义了一个名为 PrintVisitor
的访问者类,它可以打印 int
和 float
类型的值。然后,我们创建了两个 std::variant
实例,分别存储 int
和 float
类型的值。最后,我们使用 std::visit
函数将 PrintVisitor
应用于这两个 std::variant
实例,从而打印它们的值。