Как std::variant обеспечивает безопасность типов в C++?

Безопасность типов в C++ с помощью std::variant обеспечивается за счёт того, что доступ к данным возможен только для текущего активного типа внутри варианта. extendsclass.com cppscripts.com

Компилятор C++ гарантирует, что выполняются только те операции и доступ к значениям, которые допустимы для текущего активного типа внутри варианта. extendsclass.com Это позволяет избежать ошибок во время выполнения и выявить потенциальные проблемы на ранних этапах разработки. extendsclass.com

Кроме того, в любой момент может быть активен только один элемент варианта. cppscripts.com Например, если вариант может хранить значения типа int или float, то в любой момент он может содержать только один из этих типов, а не оба. cppscripts.com