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