/// Destroy the object the pointer points to. /// /// Precondition: the memory is initialized. /// /// Postcondition: the value has been destroyed and the memory must /// be initialized before being used again. func destroy() 在这种情况下,术语object , memory和value是什么意思?