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