23 General utilities library [utilities]

23.7 Variants [variant]

23.7.3 Class template variant [variant.variant]

23.7.3.2 Destructor [variant.dtor]

~variant();

Effects: Если valueless_­by_­exception() есть false, уничтожает текущее содержащееся значение.

Remarks: Если is_­trivially_­destructible_­v<Ti> == true для всех, Ti то этот деструктор должен быть тривиальным деструктором.