此方法用于销毁 RiCOSSemaphore 对象。
void RiCOSSemaphore_destroy (RiCOSSemaphore *const me);
me
这是要销毁的 RiCOSSemaphore 对象
void RiCOSSemaphore_destroy(RiCOSSemaphore * const me) { if (me == NULL) return; RiCOSSemaphore_cleanup(me); free(me); }