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