tgoop.com/cppproglib/6104
Create:
Last Update:
Last Update:
std::variant (C++17)
— это union, который знает свой текущий тип и гарантирует безопасность.
// C-style union — опасно!
union Data {
int i;
double d;
char* str;
};
Data data;
data.i = 42;
std::cout << data.d; // ❌ Читаем не то, что записали
std::variant<int, double, std::string> data;
data = 42; // Хранит int
data = 3.14; // Теперь хранит double
data = "hello"; // Теперь хранит string
// Безопасное получение значения
if (auto* val = std::get_if<int>(&data)) {
std::cout << "int: " << *val << '\n';
}
std::variant<int, std::string, double> v;
// Установка значения
v = 100;
v = "text";
v.emplace<std::string>("constructed in place");
// Проверка текущего типа
std::cout << v.index(); // Индекс типа: 0, 1, или 2
if (std::holds_alternative<int>(v)) {
std::cout << "Содержит int\n";
}
// Получение значения
try {
auto val = std::get<int>(v); // Бросит std::bad_variant_access
} catch (const std::bad_variant_access&) {
std::cerr << "Неверный тип!\n";
}
auto* ptr = std::get_if<std::string>(&v); // nullptr если не string
std::variant<int, double, std::string> v = 42;
// Обработка всех возможных типов
std::visit([](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, double>) {
std::cout << "double: " << arg << '\n';
} else {
std::cout << "string: " << arg << '\n';
}
}, v);
cpptemplate<class... Ts>
struct overloaded : Ts... {
using Ts::operator()...;
};
template<class... Ts>
overloaded(Ts...) -> overloaded<Ts...>;
// Элегантная обработка!
std::visit(overloaded{
[](int i) { std::cout << "int: " << i << '\n'; },
[](double d) { std::cout << "double: " << d << '\n'; },
[](const std::string& s) { std::cout << "string: " << s << '\n'; }
}, v);
template<typename T>
using Result = std::variant<T, std::string>; // Value или Error
Result<int> divide(int a, int b) {
if (b == 0) return "Division by zero";
return a / b;
}
auto result = divide(10, 0);
std::visit(overloaded{
[](int value) { std::cout << "Result: " << value << '\n'; },
[](const std::string& err) { std::cerr << "Error: " << err << '\n'; }
}, result);
std::variant
никогда не пустой (кроме исключительных ситуаций). Первый тип должен быть конструируемым по умолчанию.Используйте
std::variant
когда набор типов известен. std::any
— для действительно произвольных типов.Библиотека C/C++ разработчика
#буст