23 General utilities library [utilities]

23.6 Optional objects [optional]

23.6.3 Class template optional [optional.optional]

23.6.3.2 Destructor [optional.dtor]

~optional();

1
#

Effects: If is_­trivially_­destructible_­v<T> != true and *this contains a value, calls 

val->T::~T()
2
#

Remarks: If is_­trivially_­destructible_­v<T> == true then this destructor shall be a trivial destructor.