此方法會毀損 RiCOSSemaphore 物件。
void RiCOSSemaphore_destroy (RiCOSSemaphore *const me);
me
要毀損的 RiCOSSemaphore 物件
void RiCOSSemaphore_destroy(RiCOSSemaphore * const me) { if (me == NULL) return; RiCOSSemaphore_cleanup(me); free(me); }