cpp/types/has virtual destructor