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