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