What is std::variant and when is it preferred over union?

A variant is slower than union but has identical safety B std::variant is a type-safe discriminated union that tracks which type is active and calls constructors/destructors correctly C variant can hold multiple active values; union holds one D union supports non-trivial types; variant does not