DestroyString( &s) 初始条件:串S存在。 操作结果:串S被销毁。DestroyString (&S) 初始条件：串 S 存在。 操作结果：串 S 被销毁