拥有多次可用次数的能力,消耗一次后如何恢复并不一定与单次冷却相同。多个缺失次数若排队恢复,后一次消耗不一定从它自己的使用时刻单独计算完成时间。
下面使用独立的一组输入,逐步记录规则如何产生结果。建议先自行推演,再寻找与记录第一次不同的位置;检查时间单位、端点归属和处理顺序。所有约定均限定在本例中,其他作品采用不同实现并不自动意味着出错。
本例约定与输入
初始次数全满,最多固定次数;缺失次数按串行队列逐个恢复,每次固定时长。每个使用时刻先处理已经到期的恢复,再尝试消耗;成功消耗加入队尾,满次数时没有后台预存进度。
最多4次,每次串行恢复5拍 [0, 0, 0, 8, 12, 13, 15, 16, 21, 30, 33, 41, 42, 42, 43]
过程与结果
时刻0:先恢复到期于[]的次数;使用请求成功,剩余3,恢复队列[5]。
时刻0:先恢复到期于[]的次数;使用请求成功,剩余2,恢复队列[5, 10]。
时刻0:先恢复到期于[]的次数;使用请求成功,剩余1,恢复队列[5, 10, 15]。
时刻8:先恢复到期于[5]的次数;使用请求成功,剩余1,恢复队列[10, 15, 20]。
时刻12:先恢复到期于[10]的次数;使用请求成功,剩余1,恢复队列[15, 20, 25]。
时刻13:先恢复到期于[]的次数;使用请求成功,剩余0,恢复队列[15, 20, 25, 30]。
时刻15:先恢复到期于[15]的次数;使用请求成功,剩余0,恢复队列[20, 25, 30, 35]。
时刻16:先恢复到期于[]的次数;使用请求因次数不足失败,剩余0,恢复队列[20, 25, 30, 35]。
时刻21:先恢复到期于[20]的次数;使用请求成功,剩余0,恢复队列[25, 30, 35, 40]。
时刻30:先恢复到期于[25, 30]的次数;使用请求成功,剩余1,恢复队列[35, 40, 45]。
时刻33:先恢复到期于[]的次数;使用请求成功,剩余0,恢复队列[35, 40, 45, 50]。
时刻41:先恢复到期于[35, 40]的次数;使用请求成功,剩余1,恢复队列[45, 50, 55]。
时刻42:先恢复到期于[]的次数;使用请求成功,剩余0,恢复队列[45, 50, 55, 60]。
时刻42:先恢复到期于[]的次数;使用请求因次数不足失败,剩余0,恢复队列[45, 50, 55, 60]。
时刻43:先恢复到期于[]的次数;使用请求因次数不足失败,剩余0,恢复队列[45, 50, 55, 60]。
共成功使用12次,最后剩余0次,未到期队列[45, 50, 55, 60]。
如何独立复核
按每个整数时刻推进恢复计时器,与直接记录每个缺失次数的到期时刻比较。相同时刻的使用请求依次处理,恢复事件只在它们之前处理一次即可。
若每次消耗都从使用时刻独立倒计时,就是另一种并行恢复规则,会得到不同结果。本例队列代表串行缺口,记录队尾比给每个请求简单加同一个时长更能说明真实到期次序。
测试时保留原始数据与中间状态,再只改变一个条件作比较。先检查空状态、相等边界、重复输入和最后一步,再比较整体结果;不要为了让最后的数字相同而跳过前面已经出现的差异。明确规则后,复核才有可以重复的依据。
