1 | // Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT |
2 | // file at the top-level directory of this distribution and at |
3 | // http://rust-lang.org/COPYRIGHT. |
4 | // |
5 | // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or |
6 | // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license |
7 | // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
8 | // option. This file may not be copied, modified, or distributed |
9 | // except according to those terms. |
10 | |
11 | //! Temporal quantification |
12 | |
13 | use core::fmt; |
14 | use core::ops::{Add, AddAssign, Div, Mul, Neg, Sub, SubAssign}; |
15 | use core::time::Duration; |
16 | #[cfg (feature = "std" )] |
17 | use std::error::Error; |
18 | |
19 | use crate::{expect, try_opt}; |
20 | |
21 | #[cfg (any(feature = "rkyv" , feature = "rkyv-16" , feature = "rkyv-32" , feature = "rkyv-64" ))] |
22 | use rkyv::{Archive, Deserialize, Serialize}; |
23 | |
24 | /// The number of nanoseconds in a microsecond. |
25 | const NANOS_PER_MICRO: i32 = 1000; |
26 | /// The number of nanoseconds in a millisecond. |
27 | const NANOS_PER_MILLI: i32 = 1_000_000; |
28 | /// The number of nanoseconds in seconds. |
29 | pub(crate) const NANOS_PER_SEC: i32 = 1_000_000_000; |
30 | /// The number of microseconds per second. |
31 | const MICROS_PER_SEC: i64 = 1_000_000; |
32 | /// The number of milliseconds per second. |
33 | const MILLIS_PER_SEC: i64 = 1000; |
34 | /// The number of seconds in a minute. |
35 | const SECS_PER_MINUTE: i64 = 60; |
36 | /// The number of seconds in an hour. |
37 | const SECS_PER_HOUR: i64 = 3600; |
38 | /// The number of (non-leap) seconds in days. |
39 | const SECS_PER_DAY: i64 = 86_400; |
40 | /// The number of (non-leap) seconds in a week. |
41 | const SECS_PER_WEEK: i64 = 604_800; |
42 | |
43 | /// Time duration with nanosecond precision. |
44 | /// |
45 | /// This also allows for negative durations; see individual methods for details. |
46 | /// |
47 | /// A `TimeDelta` is represented internally as a complement of seconds and |
48 | /// nanoseconds. The range is restricted to that of `i64` milliseconds, with the |
49 | /// minimum value notably being set to `-i64::MAX` rather than allowing the full |
50 | /// range of `i64::MIN`. This is to allow easy flipping of sign, so that for |
51 | /// instance `abs()` can be called without any checks. |
52 | #[derive (Clone, Copy, Default, PartialEq, Eq, PartialOrd, Ord, Debug, Hash)] |
53 | #[cfg_attr ( |
54 | any(feature = "rkyv" , feature = "rkyv-16" , feature = "rkyv-32" , feature = "rkyv-64" ), |
55 | derive(Archive, Deserialize, Serialize), |
56 | archive(compare(PartialEq, PartialOrd)), |
57 | archive_attr(derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Debug, Hash)) |
58 | )] |
59 | #[cfg_attr (feature = "rkyv-validation" , archive(check_bytes))] |
60 | pub struct TimeDelta { |
61 | secs: i64, |
62 | nanos: i32, // Always 0 <= nanos < NANOS_PER_SEC |
63 | } |
64 | |
65 | /// The minimum possible `TimeDelta`: `-i64::MAX` milliseconds. |
66 | pub(crate) const MIN: TimeDelta = TimeDelta { |
67 | secs: -i64::MAX / MILLIS_PER_SEC - 1, |
68 | nanos: NANOS_PER_SEC + (-i64::MAX % MILLIS_PER_SEC) as i32 * NANOS_PER_MILLI, |
69 | }; |
70 | |
71 | /// The maximum possible `TimeDelta`: `i64::MAX` milliseconds. |
72 | pub(crate) const MAX: TimeDelta = TimeDelta { |
73 | secs: i64::MAX / MILLIS_PER_SEC, |
74 | nanos: (i64::MAX % MILLIS_PER_SEC) as i32 * NANOS_PER_MILLI, |
75 | }; |
76 | |
77 | impl TimeDelta { |
78 | /// Makes a new `TimeDelta` with given number of seconds and nanoseconds. |
79 | /// |
80 | /// # Errors |
81 | /// |
82 | /// Returns `None` when the duration is out of bounds, or if `nanos` ≥ 1,000,000,000. |
83 | pub const fn new(secs: i64, nanos: u32) -> Option<TimeDelta> { |
84 | if secs < MIN.secs |
85 | || secs > MAX.secs |
86 | || nanos >= 1_000_000_000 |
87 | || (secs == MAX.secs && nanos > MAX.nanos as u32) |
88 | || (secs == MIN.secs && nanos < MIN.nanos as u32) |
89 | { |
90 | return None; |
91 | } |
92 | Some(TimeDelta { secs, nanos: nanos as i32 }) |
93 | } |
94 | |
95 | /// Makes a new `TimeDelta` with the given number of weeks. |
96 | /// |
97 | /// Equivalent to `TimeDelta::seconds(weeks * 7 * 24 * 60 * 60)` with |
98 | /// overflow checks. |
99 | /// |
100 | /// # Panics |
101 | /// |
102 | /// Panics when the duration is out of bounds. |
103 | #[inline ] |
104 | #[must_use ] |
105 | pub const fn weeks(weeks: i64) -> TimeDelta { |
106 | expect(TimeDelta::try_weeks(weeks), "TimeDelta::weeks out of bounds" ) |
107 | } |
108 | |
109 | /// Makes a new `TimeDelta` with the given number of weeks. |
110 | /// |
111 | /// Equivalent to `TimeDelta::try_seconds(weeks * 7 * 24 * 60 * 60)` with |
112 | /// overflow checks. |
113 | /// |
114 | /// # Errors |
115 | /// |
116 | /// Returns `None` when the `TimeDelta` would be out of bounds. |
117 | #[inline ] |
118 | pub const fn try_weeks(weeks: i64) -> Option<TimeDelta> { |
119 | TimeDelta::try_seconds(try_opt!(weeks.checked_mul(SECS_PER_WEEK))) |
120 | } |
121 | |
122 | /// Makes a new `TimeDelta` with the given number of days. |
123 | /// |
124 | /// Equivalent to `TimeDelta::seconds(days * 24 * 60 * 60)` with overflow |
125 | /// checks. |
126 | /// |
127 | /// # Panics |
128 | /// |
129 | /// Panics when the `TimeDelta` would be out of bounds. |
130 | #[inline ] |
131 | #[must_use ] |
132 | pub const fn days(days: i64) -> TimeDelta { |
133 | expect(TimeDelta::try_days(days), "TimeDelta::days out of bounds" ) |
134 | } |
135 | |
136 | /// Makes a new `TimeDelta` with the given number of days. |
137 | /// |
138 | /// Equivalent to `TimeDelta::try_seconds(days * 24 * 60 * 60)` with overflow |
139 | /// checks. |
140 | /// |
141 | /// # Errors |
142 | /// |
143 | /// Returns `None` when the `TimeDelta` would be out of bounds. |
144 | #[inline ] |
145 | pub const fn try_days(days: i64) -> Option<TimeDelta> { |
146 | TimeDelta::try_seconds(try_opt!(days.checked_mul(SECS_PER_DAY))) |
147 | } |
148 | |
149 | /// Makes a new `TimeDelta` with the given number of hours. |
150 | /// |
151 | /// Equivalent to `TimeDelta::seconds(hours * 60 * 60)` with overflow checks. |
152 | /// |
153 | /// # Panics |
154 | /// |
155 | /// Panics when the `TimeDelta` would be out of bounds. |
156 | #[inline ] |
157 | #[must_use ] |
158 | pub const fn hours(hours: i64) -> TimeDelta { |
159 | expect(TimeDelta::try_hours(hours), "TimeDelta::hours out of bounds" ) |
160 | } |
161 | |
162 | /// Makes a new `TimeDelta` with the given number of hours. |
163 | /// |
164 | /// Equivalent to `TimeDelta::try_seconds(hours * 60 * 60)` with overflow checks. |
165 | /// |
166 | /// # Errors |
167 | /// |
168 | /// Returns `None` when the `TimeDelta` would be out of bounds. |
169 | #[inline ] |
170 | pub const fn try_hours(hours: i64) -> Option<TimeDelta> { |
171 | TimeDelta::try_seconds(try_opt!(hours.checked_mul(SECS_PER_HOUR))) |
172 | } |
173 | |
174 | /// Makes a new `TimeDelta` with the given number of minutes. |
175 | /// |
176 | /// Equivalent to `TimeDelta::seconds(minutes * 60)` with overflow checks. |
177 | /// |
178 | /// # Panics |
179 | /// |
180 | /// Panics when the `TimeDelta` would be out of bounds. |
181 | #[inline ] |
182 | #[must_use ] |
183 | pub const fn minutes(minutes: i64) -> TimeDelta { |
184 | expect(TimeDelta::try_minutes(minutes), "TimeDelta::minutes out of bounds" ) |
185 | } |
186 | |
187 | /// Makes a new `TimeDelta` with the given number of minutes. |
188 | /// |
189 | /// Equivalent to `TimeDelta::try_seconds(minutes * 60)` with overflow checks. |
190 | /// |
191 | /// # Errors |
192 | /// |
193 | /// Returns `None` when the `TimeDelta` would be out of bounds. |
194 | #[inline ] |
195 | pub const fn try_minutes(minutes: i64) -> Option<TimeDelta> { |
196 | TimeDelta::try_seconds(try_opt!(minutes.checked_mul(SECS_PER_MINUTE))) |
197 | } |
198 | |
199 | /// Makes a new `TimeDelta` with the given number of seconds. |
200 | /// |
201 | /// # Panics |
202 | /// |
203 | /// Panics when `seconds` is more than `i64::MAX / 1_000` or less than `-i64::MAX / 1_000` |
204 | /// (in this context, this is the same as `i64::MIN / 1_000` due to rounding). |
205 | #[inline ] |
206 | #[must_use ] |
207 | pub const fn seconds(seconds: i64) -> TimeDelta { |
208 | expect(TimeDelta::try_seconds(seconds), "TimeDelta::seconds out of bounds" ) |
209 | } |
210 | |
211 | /// Makes a new `TimeDelta` with the given number of seconds. |
212 | /// |
213 | /// # Errors |
214 | /// |
215 | /// Returns `None` when `seconds` is more than `i64::MAX / 1_000` or less than |
216 | /// `-i64::MAX / 1_000` (in this context, this is the same as `i64::MIN / 1_000` due to |
217 | /// rounding). |
218 | #[inline ] |
219 | pub const fn try_seconds(seconds: i64) -> Option<TimeDelta> { |
220 | TimeDelta::new(seconds, 0) |
221 | } |
222 | |
223 | /// Makes a new `TimeDelta` with the given number of milliseconds. |
224 | /// |
225 | /// # Panics |
226 | /// |
227 | /// Panics when the `TimeDelta` would be out of bounds, i.e. when `milliseconds` is more than |
228 | /// `i64::MAX` or less than `-i64::MAX`. Notably, this is not the same as `i64::MIN`. |
229 | #[inline ] |
230 | pub const fn milliseconds(milliseconds: i64) -> TimeDelta { |
231 | expect(TimeDelta::try_milliseconds(milliseconds), "TimeDelta::milliseconds out of bounds" ) |
232 | } |
233 | |
234 | /// Makes a new `TimeDelta` with the given number of milliseconds. |
235 | /// |
236 | /// # Errors |
237 | /// |
238 | /// Returns `None` the `TimeDelta` would be out of bounds, i.e. when `milliseconds` is more |
239 | /// than `i64::MAX` or less than `-i64::MAX`. Notably, this is not the same as `i64::MIN`. |
240 | #[inline ] |
241 | pub const fn try_milliseconds(milliseconds: i64) -> Option<TimeDelta> { |
242 | // We don't need to compare against MAX, as this function accepts an |
243 | // i64, and MAX is aligned to i64::MAX milliseconds. |
244 | if milliseconds < -i64::MAX { |
245 | return None; |
246 | } |
247 | let (secs, millis) = div_mod_floor_64(milliseconds, MILLIS_PER_SEC); |
248 | let d = TimeDelta { secs, nanos: millis as i32 * NANOS_PER_MILLI }; |
249 | Some(d) |
250 | } |
251 | |
252 | /// Makes a new `TimeDelta` with the given number of microseconds. |
253 | /// |
254 | /// The number of microseconds acceptable by this constructor is less than |
255 | /// the total number that can actually be stored in a `TimeDelta`, so it is |
256 | /// not possible to specify a value that would be out of bounds. This |
257 | /// function is therefore infallible. |
258 | #[inline ] |
259 | pub const fn microseconds(microseconds: i64) -> TimeDelta { |
260 | let (secs, micros) = div_mod_floor_64(microseconds, MICROS_PER_SEC); |
261 | let nanos = micros as i32 * NANOS_PER_MICRO; |
262 | TimeDelta { secs, nanos } |
263 | } |
264 | |
265 | /// Makes a new `TimeDelta` with the given number of nanoseconds. |
266 | /// |
267 | /// The number of nanoseconds acceptable by this constructor is less than |
268 | /// the total number that can actually be stored in a `TimeDelta`, so it is |
269 | /// not possible to specify a value that would be out of bounds. This |
270 | /// function is therefore infallible. |
271 | #[inline ] |
272 | pub const fn nanoseconds(nanos: i64) -> TimeDelta { |
273 | let (secs, nanos) = div_mod_floor_64(nanos, NANOS_PER_SEC as i64); |
274 | TimeDelta { secs, nanos: nanos as i32 } |
275 | } |
276 | |
277 | /// Returns the total number of whole weeks in the `TimeDelta`. |
278 | #[inline ] |
279 | pub const fn num_weeks(&self) -> i64 { |
280 | self.num_days() / 7 |
281 | } |
282 | |
283 | /// Returns the total number of whole days in the `TimeDelta`. |
284 | #[inline ] |
285 | pub const fn num_days(&self) -> i64 { |
286 | self.num_seconds() / SECS_PER_DAY |
287 | } |
288 | |
289 | /// Returns the total number of whole hours in the `TimeDelta`. |
290 | #[inline ] |
291 | pub const fn num_hours(&self) -> i64 { |
292 | self.num_seconds() / SECS_PER_HOUR |
293 | } |
294 | |
295 | /// Returns the total number of whole minutes in the `TimeDelta`. |
296 | #[inline ] |
297 | pub const fn num_minutes(&self) -> i64 { |
298 | self.num_seconds() / SECS_PER_MINUTE |
299 | } |
300 | |
301 | /// Returns the total number of whole seconds in the `TimeDelta`. |
302 | pub const fn num_seconds(&self) -> i64 { |
303 | // If secs is negative, nanos should be subtracted from the duration. |
304 | if self.secs < 0 && self.nanos > 0 { |
305 | self.secs + 1 |
306 | } else { |
307 | self.secs |
308 | } |
309 | } |
310 | |
311 | /// Returns the number of nanoseconds such that |
312 | /// `subsec_nanos() + num_seconds() * NANOS_PER_SEC` is the total number of |
313 | /// nanoseconds in the `TimeDelta`. |
314 | pub const fn subsec_nanos(&self) -> i32 { |
315 | if self.secs < 0 && self.nanos > 0 { |
316 | self.nanos - NANOS_PER_SEC |
317 | } else { |
318 | self.nanos |
319 | } |
320 | } |
321 | |
322 | /// Returns the total number of whole milliseconds in the `TimeDelta`. |
323 | pub const fn num_milliseconds(&self) -> i64 { |
324 | // A proper TimeDelta will not overflow, because MIN and MAX are defined such |
325 | // that the range is within the bounds of an i64, from -i64::MAX through to |
326 | // +i64::MAX inclusive. Notably, i64::MIN is excluded from this range. |
327 | let secs_part = self.num_seconds() * MILLIS_PER_SEC; |
328 | let nanos_part = self.subsec_nanos() / NANOS_PER_MILLI; |
329 | secs_part + nanos_part as i64 |
330 | } |
331 | |
332 | /// Returns the total number of whole microseconds in the `TimeDelta`, |
333 | /// or `None` on overflow (exceeding 2^63 microseconds in either direction). |
334 | pub const fn num_microseconds(&self) -> Option<i64> { |
335 | let secs_part = try_opt!(self.num_seconds().checked_mul(MICROS_PER_SEC)); |
336 | let nanos_part = self.subsec_nanos() / NANOS_PER_MICRO; |
337 | secs_part.checked_add(nanos_part as i64) |
338 | } |
339 | |
340 | /// Returns the total number of whole nanoseconds in the `TimeDelta`, |
341 | /// or `None` on overflow (exceeding 2^63 nanoseconds in either direction). |
342 | pub const fn num_nanoseconds(&self) -> Option<i64> { |
343 | let secs_part = try_opt!(self.num_seconds().checked_mul(NANOS_PER_SEC as i64)); |
344 | let nanos_part = self.subsec_nanos(); |
345 | secs_part.checked_add(nanos_part as i64) |
346 | } |
347 | |
348 | /// Add two `TimeDelta`s, returning `None` if overflow occurred. |
349 | #[must_use ] |
350 | pub const fn checked_add(&self, rhs: &TimeDelta) -> Option<TimeDelta> { |
351 | // No overflow checks here because we stay comfortably within the range of an `i64`. |
352 | // Range checks happen in `TimeDelta::new`. |
353 | let mut secs = self.secs + rhs.secs; |
354 | let mut nanos = self.nanos + rhs.nanos; |
355 | if nanos >= NANOS_PER_SEC { |
356 | nanos -= NANOS_PER_SEC; |
357 | secs += 1; |
358 | } |
359 | TimeDelta::new(secs, nanos as u32) |
360 | } |
361 | |
362 | /// Subtract two `TimeDelta`s, returning `None` if overflow occurred. |
363 | #[must_use ] |
364 | pub const fn checked_sub(&self, rhs: &TimeDelta) -> Option<TimeDelta> { |
365 | // No overflow checks here because we stay comfortably within the range of an `i64`. |
366 | // Range checks happen in `TimeDelta::new`. |
367 | let mut secs = self.secs - rhs.secs; |
368 | let mut nanos = self.nanos - rhs.nanos; |
369 | if nanos < 0 { |
370 | nanos += NANOS_PER_SEC; |
371 | secs -= 1; |
372 | } |
373 | TimeDelta::new(secs, nanos as u32) |
374 | } |
375 | |
376 | /// Multiply a `TimeDelta` with a i32, returning `None` if overflow occurred. |
377 | #[must_use ] |
378 | pub const fn checked_mul(&self, rhs: i32) -> Option<TimeDelta> { |
379 | // Multiply nanoseconds as i64, because it cannot overflow that way. |
380 | let total_nanos = self.nanos as i64 * rhs as i64; |
381 | let (extra_secs, nanos) = div_mod_floor_64(total_nanos, NANOS_PER_SEC as i64); |
382 | // Multiply seconds as i128 to prevent overflow |
383 | let secs: i128 = self.secs as i128 * rhs as i128 + extra_secs as i128; |
384 | if secs <= i64::MIN as i128 || secs >= i64::MAX as i128 { |
385 | return None; |
386 | }; |
387 | Some(TimeDelta { secs: secs as i64, nanos: nanos as i32 }) |
388 | } |
389 | |
390 | /// Divide a `TimeDelta` with a i32, returning `None` if dividing by 0. |
391 | #[must_use ] |
392 | pub const fn checked_div(&self, rhs: i32) -> Option<TimeDelta> { |
393 | if rhs == 0 { |
394 | return None; |
395 | } |
396 | let secs = self.secs / rhs as i64; |
397 | let carry = self.secs % rhs as i64; |
398 | let extra_nanos = carry * NANOS_PER_SEC as i64 / rhs as i64; |
399 | let nanos = self.nanos / rhs + extra_nanos as i32; |
400 | |
401 | let (secs, nanos) = match nanos { |
402 | i32::MIN..=-1 => (secs - 1, nanos + NANOS_PER_SEC), |
403 | NANOS_PER_SEC..=i32::MAX => (secs + 1, nanos - NANOS_PER_SEC), |
404 | _ => (secs, nanos), |
405 | }; |
406 | |
407 | Some(TimeDelta { secs, nanos }) |
408 | } |
409 | |
410 | /// Returns the `TimeDelta` as an absolute (non-negative) value. |
411 | #[inline ] |
412 | pub const fn abs(&self) -> TimeDelta { |
413 | if self.secs < 0 && self.nanos != 0 { |
414 | TimeDelta { secs: (self.secs + 1).abs(), nanos: NANOS_PER_SEC - self.nanos } |
415 | } else { |
416 | TimeDelta { secs: self.secs.abs(), nanos: self.nanos } |
417 | } |
418 | } |
419 | |
420 | /// The minimum possible `TimeDelta`: `-i64::MAX` milliseconds. |
421 | #[deprecated (since = "0.4.39" , note = "Use `TimeDelta::MIN` instead" )] |
422 | #[inline ] |
423 | pub const fn min_value() -> TimeDelta { |
424 | MIN |
425 | } |
426 | |
427 | /// The maximum possible `TimeDelta`: `i64::MAX` milliseconds. |
428 | #[deprecated (since = "0.4.39" , note = "Use `TimeDelta::MAX` instead" )] |
429 | #[inline ] |
430 | pub const fn max_value() -> TimeDelta { |
431 | MAX |
432 | } |
433 | |
434 | /// A `TimeDelta` where the stored seconds and nanoseconds are equal to zero. |
435 | #[inline ] |
436 | pub const fn zero() -> TimeDelta { |
437 | TimeDelta { secs: 0, nanos: 0 } |
438 | } |
439 | |
440 | /// Returns `true` if the `TimeDelta` equals `TimeDelta::zero()`. |
441 | #[inline ] |
442 | pub const fn is_zero(&self) -> bool { |
443 | self.secs == 0 && self.nanos == 0 |
444 | } |
445 | |
446 | /// Creates a `TimeDelta` object from `std::time::Duration` |
447 | /// |
448 | /// This function errors when original duration is larger than the maximum |
449 | /// value supported for this type. |
450 | pub const fn from_std(duration: Duration) -> Result<TimeDelta, OutOfRangeError> { |
451 | // We need to check secs as u64 before coercing to i64 |
452 | if duration.as_secs() > MAX.secs as u64 { |
453 | return Err(OutOfRangeError(())); |
454 | } |
455 | match TimeDelta::new(duration.as_secs() as i64, duration.subsec_nanos()) { |
456 | Some(d) => Ok(d), |
457 | None => Err(OutOfRangeError(())), |
458 | } |
459 | } |
460 | |
461 | /// Creates a `std::time::Duration` object from a `TimeDelta`. |
462 | /// |
463 | /// This function errors when duration is less than zero. As standard |
464 | /// library implementation is limited to non-negative values. |
465 | pub const fn to_std(&self) -> Result<Duration, OutOfRangeError> { |
466 | if self.secs < 0 { |
467 | return Err(OutOfRangeError(())); |
468 | } |
469 | Ok(Duration::new(self.secs as u64, self.nanos as u32)) |
470 | } |
471 | |
472 | /// This duplicates `Neg::neg` because trait methods can't be const yet. |
473 | pub(crate) const fn neg(self) -> TimeDelta { |
474 | let (secs_diff, nanos) = match self.nanos { |
475 | 0 => (0, 0), |
476 | nanos => (1, NANOS_PER_SEC - nanos), |
477 | }; |
478 | TimeDelta { secs: -self.secs - secs_diff, nanos } |
479 | } |
480 | |
481 | /// The minimum possible `TimeDelta`: `-i64::MAX` milliseconds. |
482 | pub const MIN: Self = MIN; |
483 | |
484 | /// The maximum possible `TimeDelta`: `i64::MAX` milliseconds. |
485 | pub const MAX: Self = MAX; |
486 | } |
487 | |
488 | impl Neg for TimeDelta { |
489 | type Output = TimeDelta; |
490 | |
491 | #[inline ] |
492 | fn neg(self) -> TimeDelta { |
493 | let (secs_diff: i64, nanos: i32) = match self.nanos { |
494 | 0 => (0, 0), |
495 | nanos: i32 => (1, NANOS_PER_SEC - nanos), |
496 | }; |
497 | TimeDelta { secs: -self.secs - secs_diff, nanos } |
498 | } |
499 | } |
500 | |
501 | impl Add for TimeDelta { |
502 | type Output = TimeDelta; |
503 | |
504 | fn add(self, rhs: TimeDelta) -> TimeDelta { |
505 | self.checked_add(&rhs).expect(msg:"`TimeDelta + TimeDelta` overflowed" ) |
506 | } |
507 | } |
508 | |
509 | impl Sub for TimeDelta { |
510 | type Output = TimeDelta; |
511 | |
512 | fn sub(self, rhs: TimeDelta) -> TimeDelta { |
513 | self.checked_sub(&rhs).expect(msg:"`TimeDelta - TimeDelta` overflowed" ) |
514 | } |
515 | } |
516 | |
517 | impl AddAssign for TimeDelta { |
518 | fn add_assign(&mut self, rhs: TimeDelta) { |
519 | let new: TimeDelta = self.checked_add(&rhs).expect(msg:"`TimeDelta + TimeDelta` overflowed" ); |
520 | *self = new; |
521 | } |
522 | } |
523 | |
524 | impl SubAssign for TimeDelta { |
525 | fn sub_assign(&mut self, rhs: TimeDelta) { |
526 | let new: TimeDelta = self.checked_sub(&rhs).expect(msg:"`TimeDelta - TimeDelta` overflowed" ); |
527 | *self = new; |
528 | } |
529 | } |
530 | |
531 | impl Mul<i32> for TimeDelta { |
532 | type Output = TimeDelta; |
533 | |
534 | fn mul(self, rhs: i32) -> TimeDelta { |
535 | self.checked_mul(rhs).expect(msg:"`TimeDelta * i32` overflowed" ) |
536 | } |
537 | } |
538 | |
539 | impl Div<i32> for TimeDelta { |
540 | type Output = TimeDelta; |
541 | |
542 | fn div(self, rhs: i32) -> TimeDelta { |
543 | self.checked_div(rhs).expect(msg:"`i32` is zero" ) |
544 | } |
545 | } |
546 | |
547 | impl<'a> core::iter::Sum<&'a TimeDelta> for TimeDelta { |
548 | fn sum<I: Iterator<Item = &'a TimeDelta>>(iter: I) -> TimeDelta { |
549 | iter.fold(init:TimeDelta::zero(), |acc: TimeDelta, x: &'a TimeDelta| acc + *x) |
550 | } |
551 | } |
552 | |
553 | impl core::iter::Sum<TimeDelta> for TimeDelta { |
554 | fn sum<I: Iterator<Item = TimeDelta>>(iter: I) -> TimeDelta { |
555 | iter.fold(init:TimeDelta::zero(), |acc: TimeDelta, x: TimeDelta| acc + x) |
556 | } |
557 | } |
558 | |
559 | impl fmt::Display for TimeDelta { |
560 | /// Format a `TimeDelta` using the [ISO 8601] format |
561 | /// |
562 | /// [ISO 8601]: https://en.wikipedia.org/wiki/ISO_8601#Durations |
563 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
564 | // technically speaking, negative duration is not valid ISO 8601, |
565 | // but we need to print it anyway. |
566 | let (abs, sign) = if self.secs < 0 { (-*self, "-" ) } else { (*self, "" ) }; |
567 | |
568 | write!(f, " {}P" , sign)?; |
569 | // Plenty of ways to encode an empty string. `P0D` is short and not too strange. |
570 | if abs.secs == 0 && abs.nanos == 0 { |
571 | return f.write_str("0D" ); |
572 | } |
573 | |
574 | f.write_fmt(format_args!("T {}" , abs.secs))?; |
575 | |
576 | if abs.nanos > 0 { |
577 | // Count the number of significant digits, while removing all trailing zero's. |
578 | let mut figures = 9usize; |
579 | let mut fraction_digits = abs.nanos; |
580 | loop { |
581 | let div = fraction_digits / 10; |
582 | let last_digit = fraction_digits % 10; |
583 | if last_digit != 0 { |
584 | break; |
585 | } |
586 | fraction_digits = div; |
587 | figures -= 1; |
588 | } |
589 | f.write_fmt(format_args!(". {:01$}" , fraction_digits, figures))?; |
590 | } |
591 | f.write_str("S" )?; |
592 | Ok(()) |
593 | } |
594 | } |
595 | |
596 | /// Represents error when converting `TimeDelta` to/from a standard library |
597 | /// implementation |
598 | /// |
599 | /// The `std::time::Duration` supports a range from zero to `u64::MAX` |
600 | /// *seconds*, while this module supports signed range of up to |
601 | /// `i64::MAX` of *milliseconds*. |
602 | #[derive (Debug, Clone, Copy, PartialEq, Eq)] |
603 | pub struct OutOfRangeError(()); |
604 | |
605 | impl fmt::Display for OutOfRangeError { |
606 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
607 | write!(f, "Source duration value is out of range for the target type" ) |
608 | } |
609 | } |
610 | |
611 | #[cfg (feature = "std" )] |
612 | impl Error for OutOfRangeError { |
613 | #[allow (deprecated)] |
614 | fn description(&self) -> &str { |
615 | "out of range error" |
616 | } |
617 | } |
618 | |
619 | #[inline ] |
620 | const fn div_mod_floor_64(this: i64, other: i64) -> (i64, i64) { |
621 | (this.div_euclid(other), this.rem_euclid(other)) |
622 | } |
623 | |
624 | #[cfg (all(feature = "arbitrary" , feature = "std" ))] |
625 | impl arbitrary::Arbitrary<'_> for TimeDelta { |
626 | fn arbitrary(u: &mut arbitrary::Unstructured) -> arbitrary::Result<TimeDelta> { |
627 | const MIN_SECS: i64 = -i64::MAX / MILLIS_PER_SEC - 1; |
628 | const MAX_SECS: i64 = i64::MAX / MILLIS_PER_SEC; |
629 | |
630 | let secs: i64 = u.int_in_range(MIN_SECS..=MAX_SECS)?; |
631 | let nanos: i32 = u.int_in_range(0..=(NANOS_PER_SEC - 1))?; |
632 | let duration = TimeDelta { secs, nanos }; |
633 | |
634 | if duration < MIN || duration > MAX { |
635 | Err(arbitrary::Error::IncorrectFormat) |
636 | } else { |
637 | Ok(duration) |
638 | } |
639 | } |
640 | } |
641 | |
642 | #[cfg (feature = "serde" )] |
643 | mod serde { |
644 | use super::TimeDelta; |
645 | use serde::{de::Error, Deserialize, Deserializer, Serialize, Serializer}; |
646 | |
647 | impl Serialize for TimeDelta { |
648 | fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error> { |
649 | <(i64, i32) as Serialize>::serialize(&(self.secs, self.nanos), serializer) |
650 | } |
651 | } |
652 | |
653 | impl<'de> Deserialize<'de> for TimeDelta { |
654 | fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error> { |
655 | let (secs, nanos) = <(i64, i32) as Deserialize>::deserialize(deserializer)?; |
656 | TimeDelta::new(secs, nanos as u32).ok_or(Error::custom("TimeDelta out of bounds" )) |
657 | } |
658 | } |
659 | |
660 | #[cfg (test)] |
661 | mod tests { |
662 | use super::{super::MAX, TimeDelta}; |
663 | |
664 | #[test ] |
665 | fn test_serde() { |
666 | let duration = TimeDelta::new(123, 456).unwrap(); |
667 | assert_eq!( |
668 | serde_json::from_value::<TimeDelta>(serde_json::to_value(duration).unwrap()) |
669 | .unwrap(), |
670 | duration |
671 | ); |
672 | } |
673 | |
674 | #[test ] |
675 | #[should_panic (expected = "TimeDelta out of bounds" )] |
676 | fn test_serde_oob_panic() { |
677 | let _ = |
678 | serde_json::from_value::<TimeDelta>(serde_json::json!([MAX.secs + 1, 0])).unwrap(); |
679 | } |
680 | } |
681 | } |
682 | |
683 | #[cfg (test)] |
684 | mod tests { |
685 | use super::OutOfRangeError; |
686 | use super::{TimeDelta, MAX, MIN}; |
687 | use crate::expect; |
688 | use core::time::Duration; |
689 | |
690 | #[test ] |
691 | fn test_duration() { |
692 | let days = |d| TimeDelta::try_days(d).unwrap(); |
693 | let seconds = |s| TimeDelta::try_seconds(s).unwrap(); |
694 | |
695 | assert!(seconds(1) != TimeDelta::zero()); |
696 | assert_eq!(seconds(1) + seconds(2), seconds(3)); |
697 | assert_eq!(seconds(86_399) + seconds(4), days(1) + seconds(3)); |
698 | assert_eq!(days(10) - seconds(1000), seconds(863_000)); |
699 | assert_eq!(days(10) - seconds(1_000_000), seconds(-136_000)); |
700 | assert_eq!( |
701 | days(2) + seconds(86_399) + TimeDelta::nanoseconds(1_234_567_890), |
702 | days(3) + TimeDelta::nanoseconds(234_567_890) |
703 | ); |
704 | assert_eq!(-days(3), days(-3)); |
705 | assert_eq!(-(days(3) + seconds(70)), days(-4) + seconds(86_400 - 70)); |
706 | |
707 | let mut d = TimeDelta::default(); |
708 | d += TimeDelta::try_minutes(1).unwrap(); |
709 | d -= seconds(30); |
710 | assert_eq!(d, seconds(30)); |
711 | } |
712 | |
713 | #[test ] |
714 | fn test_duration_num_days() { |
715 | assert_eq!(TimeDelta::zero().num_days(), 0); |
716 | assert_eq!(TimeDelta::try_days(1).unwrap().num_days(), 1); |
717 | assert_eq!(TimeDelta::try_days(-1).unwrap().num_days(), -1); |
718 | assert_eq!(TimeDelta::try_seconds(86_399).unwrap().num_days(), 0); |
719 | assert_eq!(TimeDelta::try_seconds(86_401).unwrap().num_days(), 1); |
720 | assert_eq!(TimeDelta::try_seconds(-86_399).unwrap().num_days(), 0); |
721 | assert_eq!(TimeDelta::try_seconds(-86_401).unwrap().num_days(), -1); |
722 | assert_eq!(TimeDelta::try_days(i32::MAX as i64).unwrap().num_days(), i32::MAX as i64); |
723 | assert_eq!(TimeDelta::try_days(i32::MIN as i64).unwrap().num_days(), i32::MIN as i64); |
724 | } |
725 | |
726 | #[test ] |
727 | fn test_duration_num_seconds() { |
728 | assert_eq!(TimeDelta::zero().num_seconds(), 0); |
729 | assert_eq!(TimeDelta::try_seconds(1).unwrap().num_seconds(), 1); |
730 | assert_eq!(TimeDelta::try_seconds(-1).unwrap().num_seconds(), -1); |
731 | assert_eq!(TimeDelta::try_milliseconds(999).unwrap().num_seconds(), 0); |
732 | assert_eq!(TimeDelta::try_milliseconds(1001).unwrap().num_seconds(), 1); |
733 | assert_eq!(TimeDelta::try_milliseconds(-999).unwrap().num_seconds(), 0); |
734 | assert_eq!(TimeDelta::try_milliseconds(-1001).unwrap().num_seconds(), -1); |
735 | } |
736 | |
737 | #[test ] |
738 | fn test_duration_seconds_max_allowed() { |
739 | let duration = TimeDelta::try_seconds(i64::MAX / 1_000).unwrap(); |
740 | assert_eq!(duration.num_seconds(), i64::MAX / 1_000); |
741 | assert_eq!( |
742 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
743 | i64::MAX as i128 / 1_000 * 1_000_000_000 |
744 | ); |
745 | } |
746 | |
747 | #[test ] |
748 | fn test_duration_seconds_max_overflow() { |
749 | assert!(TimeDelta::try_seconds(i64::MAX / 1_000 + 1).is_none()); |
750 | } |
751 | |
752 | #[test ] |
753 | #[should_panic (expected = "TimeDelta::seconds out of bounds" )] |
754 | fn test_duration_seconds_max_overflow_panic() { |
755 | let _ = TimeDelta::seconds(i64::MAX / 1_000 + 1); |
756 | } |
757 | |
758 | #[test ] |
759 | fn test_duration_seconds_min_allowed() { |
760 | let duration = TimeDelta::try_seconds(i64::MIN / 1_000).unwrap(); // Same as -i64::MAX / 1_000 due to rounding |
761 | assert_eq!(duration.num_seconds(), i64::MIN / 1_000); // Same as -i64::MAX / 1_000 due to rounding |
762 | assert_eq!( |
763 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
764 | -i64::MAX as i128 / 1_000 * 1_000_000_000 |
765 | ); |
766 | } |
767 | |
768 | #[test ] |
769 | fn test_duration_seconds_min_underflow() { |
770 | assert!(TimeDelta::try_seconds(-i64::MAX / 1_000 - 1).is_none()); |
771 | } |
772 | |
773 | #[test ] |
774 | #[should_panic (expected = "TimeDelta::seconds out of bounds" )] |
775 | fn test_duration_seconds_min_underflow_panic() { |
776 | let _ = TimeDelta::seconds(-i64::MAX / 1_000 - 1); |
777 | } |
778 | |
779 | #[test ] |
780 | fn test_duration_num_milliseconds() { |
781 | assert_eq!(TimeDelta::zero().num_milliseconds(), 0); |
782 | assert_eq!(TimeDelta::try_milliseconds(1).unwrap().num_milliseconds(), 1); |
783 | assert_eq!(TimeDelta::try_milliseconds(-1).unwrap().num_milliseconds(), -1); |
784 | assert_eq!(TimeDelta::microseconds(999).num_milliseconds(), 0); |
785 | assert_eq!(TimeDelta::microseconds(1001).num_milliseconds(), 1); |
786 | assert_eq!(TimeDelta::microseconds(-999).num_milliseconds(), 0); |
787 | assert_eq!(TimeDelta::microseconds(-1001).num_milliseconds(), -1); |
788 | } |
789 | |
790 | #[test ] |
791 | fn test_duration_milliseconds_max_allowed() { |
792 | // The maximum number of milliseconds acceptable through the constructor is |
793 | // equal to the number that can be stored in a TimeDelta. |
794 | let duration = TimeDelta::try_milliseconds(i64::MAX).unwrap(); |
795 | assert_eq!(duration.num_milliseconds(), i64::MAX); |
796 | assert_eq!( |
797 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
798 | i64::MAX as i128 * 1_000_000 |
799 | ); |
800 | } |
801 | |
802 | #[test ] |
803 | fn test_duration_milliseconds_max_overflow() { |
804 | // Here we ensure that trying to add one millisecond to the maximum storable |
805 | // value will fail. |
806 | assert!(TimeDelta::try_milliseconds(i64::MAX) |
807 | .unwrap() |
808 | .checked_add(&TimeDelta::try_milliseconds(1).unwrap()) |
809 | .is_none()); |
810 | } |
811 | |
812 | #[test ] |
813 | fn test_duration_milliseconds_min_allowed() { |
814 | // The minimum number of milliseconds acceptable through the constructor is |
815 | // not equal to the number that can be stored in a TimeDelta - there is a |
816 | // difference of one (i64::MIN vs -i64::MAX). |
817 | let duration = TimeDelta::try_milliseconds(-i64::MAX).unwrap(); |
818 | assert_eq!(duration.num_milliseconds(), -i64::MAX); |
819 | assert_eq!( |
820 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
821 | -i64::MAX as i128 * 1_000_000 |
822 | ); |
823 | } |
824 | |
825 | #[test ] |
826 | fn test_duration_milliseconds_min_underflow() { |
827 | // Here we ensure that trying to subtract one millisecond from the minimum |
828 | // storable value will fail. |
829 | assert!(TimeDelta::try_milliseconds(-i64::MAX) |
830 | .unwrap() |
831 | .checked_sub(&TimeDelta::try_milliseconds(1).unwrap()) |
832 | .is_none()); |
833 | } |
834 | |
835 | #[test ] |
836 | #[should_panic (expected = "TimeDelta::milliseconds out of bounds" )] |
837 | fn test_duration_milliseconds_min_underflow_panic() { |
838 | // Here we ensure that trying to create a value one millisecond below the |
839 | // minimum storable value will fail. This test is necessary because the |
840 | // storable range is -i64::MAX, but the constructor type of i64 will allow |
841 | // i64::MIN, which is one value below. |
842 | let _ = TimeDelta::milliseconds(i64::MIN); // Same as -i64::MAX - 1 |
843 | } |
844 | |
845 | #[test ] |
846 | fn test_duration_num_microseconds() { |
847 | assert_eq!(TimeDelta::zero().num_microseconds(), Some(0)); |
848 | assert_eq!(TimeDelta::microseconds(1).num_microseconds(), Some(1)); |
849 | assert_eq!(TimeDelta::microseconds(-1).num_microseconds(), Some(-1)); |
850 | assert_eq!(TimeDelta::nanoseconds(999).num_microseconds(), Some(0)); |
851 | assert_eq!(TimeDelta::nanoseconds(1001).num_microseconds(), Some(1)); |
852 | assert_eq!(TimeDelta::nanoseconds(-999).num_microseconds(), Some(0)); |
853 | assert_eq!(TimeDelta::nanoseconds(-1001).num_microseconds(), Some(-1)); |
854 | |
855 | // overflow checks |
856 | const MICROS_PER_DAY: i64 = 86_400_000_000; |
857 | assert_eq!( |
858 | TimeDelta::try_days(i64::MAX / MICROS_PER_DAY).unwrap().num_microseconds(), |
859 | Some(i64::MAX / MICROS_PER_DAY * MICROS_PER_DAY) |
860 | ); |
861 | assert_eq!( |
862 | TimeDelta::try_days(-i64::MAX / MICROS_PER_DAY).unwrap().num_microseconds(), |
863 | Some(-i64::MAX / MICROS_PER_DAY * MICROS_PER_DAY) |
864 | ); |
865 | assert_eq!( |
866 | TimeDelta::try_days(i64::MAX / MICROS_PER_DAY + 1).unwrap().num_microseconds(), |
867 | None |
868 | ); |
869 | assert_eq!( |
870 | TimeDelta::try_days(-i64::MAX / MICROS_PER_DAY - 1).unwrap().num_microseconds(), |
871 | None |
872 | ); |
873 | } |
874 | #[test ] |
875 | fn test_duration_microseconds_max_allowed() { |
876 | // The number of microseconds acceptable through the constructor is far |
877 | // fewer than the number that can actually be stored in a TimeDelta, so this |
878 | // is not a particular insightful test. |
879 | let duration = TimeDelta::microseconds(i64::MAX); |
880 | assert_eq!(duration.num_microseconds(), Some(i64::MAX)); |
881 | assert_eq!( |
882 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
883 | i64::MAX as i128 * 1_000 |
884 | ); |
885 | // Here we create a TimeDelta with the maximum possible number of |
886 | // microseconds by creating a TimeDelta with the maximum number of |
887 | // milliseconds and then checking that the number of microseconds matches |
888 | // the storage limit. |
889 | let duration = TimeDelta::try_milliseconds(i64::MAX).unwrap(); |
890 | assert!(duration.num_microseconds().is_none()); |
891 | assert_eq!( |
892 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
893 | i64::MAX as i128 * 1_000_000 |
894 | ); |
895 | } |
896 | #[test ] |
897 | fn test_duration_microseconds_max_overflow() { |
898 | // This test establishes that a TimeDelta can store more microseconds than |
899 | // are representable through the return of duration.num_microseconds(). |
900 | let duration = TimeDelta::microseconds(i64::MAX) + TimeDelta::microseconds(1); |
901 | assert!(duration.num_microseconds().is_none()); |
902 | assert_eq!( |
903 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
904 | (i64::MAX as i128 + 1) * 1_000 |
905 | ); |
906 | // Here we ensure that trying to add one microsecond to the maximum storable |
907 | // value will fail. |
908 | assert!(TimeDelta::try_milliseconds(i64::MAX) |
909 | .unwrap() |
910 | .checked_add(&TimeDelta::microseconds(1)) |
911 | .is_none()); |
912 | } |
913 | #[test ] |
914 | fn test_duration_microseconds_min_allowed() { |
915 | // The number of microseconds acceptable through the constructor is far |
916 | // fewer than the number that can actually be stored in a TimeDelta, so this |
917 | // is not a particular insightful test. |
918 | let duration = TimeDelta::microseconds(i64::MIN); |
919 | assert_eq!(duration.num_microseconds(), Some(i64::MIN)); |
920 | assert_eq!( |
921 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
922 | i64::MIN as i128 * 1_000 |
923 | ); |
924 | // Here we create a TimeDelta with the minimum possible number of |
925 | // microseconds by creating a TimeDelta with the minimum number of |
926 | // milliseconds and then checking that the number of microseconds matches |
927 | // the storage limit. |
928 | let duration = TimeDelta::try_milliseconds(-i64::MAX).unwrap(); |
929 | assert!(duration.num_microseconds().is_none()); |
930 | assert_eq!( |
931 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
932 | -i64::MAX as i128 * 1_000_000 |
933 | ); |
934 | } |
935 | #[test ] |
936 | fn test_duration_microseconds_min_underflow() { |
937 | // This test establishes that a TimeDelta can store more microseconds than |
938 | // are representable through the return of duration.num_microseconds(). |
939 | let duration = TimeDelta::microseconds(i64::MIN) - TimeDelta::microseconds(1); |
940 | assert!(duration.num_microseconds().is_none()); |
941 | assert_eq!( |
942 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
943 | (i64::MIN as i128 - 1) * 1_000 |
944 | ); |
945 | // Here we ensure that trying to subtract one microsecond from the minimum |
946 | // storable value will fail. |
947 | assert!(TimeDelta::try_milliseconds(-i64::MAX) |
948 | .unwrap() |
949 | .checked_sub(&TimeDelta::microseconds(1)) |
950 | .is_none()); |
951 | } |
952 | |
953 | #[test ] |
954 | fn test_duration_num_nanoseconds() { |
955 | assert_eq!(TimeDelta::zero().num_nanoseconds(), Some(0)); |
956 | assert_eq!(TimeDelta::nanoseconds(1).num_nanoseconds(), Some(1)); |
957 | assert_eq!(TimeDelta::nanoseconds(-1).num_nanoseconds(), Some(-1)); |
958 | |
959 | // overflow checks |
960 | const NANOS_PER_DAY: i64 = 86_400_000_000_000; |
961 | assert_eq!( |
962 | TimeDelta::try_days(i64::MAX / NANOS_PER_DAY).unwrap().num_nanoseconds(), |
963 | Some(i64::MAX / NANOS_PER_DAY * NANOS_PER_DAY) |
964 | ); |
965 | assert_eq!( |
966 | TimeDelta::try_days(-i64::MAX / NANOS_PER_DAY).unwrap().num_nanoseconds(), |
967 | Some(-i64::MAX / NANOS_PER_DAY * NANOS_PER_DAY) |
968 | ); |
969 | assert_eq!( |
970 | TimeDelta::try_days(i64::MAX / NANOS_PER_DAY + 1).unwrap().num_nanoseconds(), |
971 | None |
972 | ); |
973 | assert_eq!( |
974 | TimeDelta::try_days(-i64::MAX / NANOS_PER_DAY - 1).unwrap().num_nanoseconds(), |
975 | None |
976 | ); |
977 | } |
978 | #[test ] |
979 | fn test_duration_nanoseconds_max_allowed() { |
980 | // The number of nanoseconds acceptable through the constructor is far fewer |
981 | // than the number that can actually be stored in a TimeDelta, so this is not |
982 | // a particular insightful test. |
983 | let duration = TimeDelta::nanoseconds(i64::MAX); |
984 | assert_eq!(duration.num_nanoseconds(), Some(i64::MAX)); |
985 | assert_eq!( |
986 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
987 | i64::MAX as i128 |
988 | ); |
989 | // Here we create a TimeDelta with the maximum possible number of nanoseconds |
990 | // by creating a TimeDelta with the maximum number of milliseconds and then |
991 | // checking that the number of nanoseconds matches the storage limit. |
992 | let duration = TimeDelta::try_milliseconds(i64::MAX).unwrap(); |
993 | assert!(duration.num_nanoseconds().is_none()); |
994 | assert_eq!( |
995 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
996 | i64::MAX as i128 * 1_000_000 |
997 | ); |
998 | } |
999 | |
1000 | #[test ] |
1001 | fn test_duration_nanoseconds_max_overflow() { |
1002 | // This test establishes that a TimeDelta can store more nanoseconds than are |
1003 | // representable through the return of duration.num_nanoseconds(). |
1004 | let duration = TimeDelta::nanoseconds(i64::MAX) + TimeDelta::nanoseconds(1); |
1005 | assert!(duration.num_nanoseconds().is_none()); |
1006 | assert_eq!( |
1007 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
1008 | i64::MAX as i128 + 1 |
1009 | ); |
1010 | // Here we ensure that trying to add one nanosecond to the maximum storable |
1011 | // value will fail. |
1012 | assert!(TimeDelta::try_milliseconds(i64::MAX) |
1013 | .unwrap() |
1014 | .checked_add(&TimeDelta::nanoseconds(1)) |
1015 | .is_none()); |
1016 | } |
1017 | |
1018 | #[test ] |
1019 | fn test_duration_nanoseconds_min_allowed() { |
1020 | // The number of nanoseconds acceptable through the constructor is far fewer |
1021 | // than the number that can actually be stored in a TimeDelta, so this is not |
1022 | // a particular insightful test. |
1023 | let duration = TimeDelta::nanoseconds(i64::MIN); |
1024 | assert_eq!(duration.num_nanoseconds(), Some(i64::MIN)); |
1025 | assert_eq!( |
1026 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
1027 | i64::MIN as i128 |
1028 | ); |
1029 | // Here we create a TimeDelta with the minimum possible number of nanoseconds |
1030 | // by creating a TimeDelta with the minimum number of milliseconds and then |
1031 | // checking that the number of nanoseconds matches the storage limit. |
1032 | let duration = TimeDelta::try_milliseconds(-i64::MAX).unwrap(); |
1033 | assert!(duration.num_nanoseconds().is_none()); |
1034 | assert_eq!( |
1035 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
1036 | -i64::MAX as i128 * 1_000_000 |
1037 | ); |
1038 | } |
1039 | |
1040 | #[test ] |
1041 | fn test_duration_nanoseconds_min_underflow() { |
1042 | // This test establishes that a TimeDelta can store more nanoseconds than are |
1043 | // representable through the return of duration.num_nanoseconds(). |
1044 | let duration = TimeDelta::nanoseconds(i64::MIN) - TimeDelta::nanoseconds(1); |
1045 | assert!(duration.num_nanoseconds().is_none()); |
1046 | assert_eq!( |
1047 | duration.secs as i128 * 1_000_000_000 + duration.nanos as i128, |
1048 | i64::MIN as i128 - 1 |
1049 | ); |
1050 | // Here we ensure that trying to subtract one nanosecond from the minimum |
1051 | // storable value will fail. |
1052 | assert!(TimeDelta::try_milliseconds(-i64::MAX) |
1053 | .unwrap() |
1054 | .checked_sub(&TimeDelta::nanoseconds(1)) |
1055 | .is_none()); |
1056 | } |
1057 | |
1058 | #[test ] |
1059 | fn test_max() { |
1060 | assert_eq!( |
1061 | MAX.secs as i128 * 1_000_000_000 + MAX.nanos as i128, |
1062 | i64::MAX as i128 * 1_000_000 |
1063 | ); |
1064 | assert_eq!(MAX, TimeDelta::try_milliseconds(i64::MAX).unwrap()); |
1065 | assert_eq!(MAX.num_milliseconds(), i64::MAX); |
1066 | assert_eq!(MAX.num_microseconds(), None); |
1067 | assert_eq!(MAX.num_nanoseconds(), None); |
1068 | } |
1069 | |
1070 | #[test ] |
1071 | fn test_min() { |
1072 | assert_eq!( |
1073 | MIN.secs as i128 * 1_000_000_000 + MIN.nanos as i128, |
1074 | -i64::MAX as i128 * 1_000_000 |
1075 | ); |
1076 | assert_eq!(MIN, TimeDelta::try_milliseconds(-i64::MAX).unwrap()); |
1077 | assert_eq!(MIN.num_milliseconds(), -i64::MAX); |
1078 | assert_eq!(MIN.num_microseconds(), None); |
1079 | assert_eq!(MIN.num_nanoseconds(), None); |
1080 | } |
1081 | |
1082 | #[test ] |
1083 | fn test_duration_ord() { |
1084 | let milliseconds = |ms| TimeDelta::try_milliseconds(ms).unwrap(); |
1085 | |
1086 | assert!(milliseconds(1) < milliseconds(2)); |
1087 | assert!(milliseconds(2) > milliseconds(1)); |
1088 | assert!(milliseconds(-1) > milliseconds(-2)); |
1089 | assert!(milliseconds(-2) < milliseconds(-1)); |
1090 | assert!(milliseconds(-1) < milliseconds(1)); |
1091 | assert!(milliseconds(1) > milliseconds(-1)); |
1092 | assert!(milliseconds(0) < milliseconds(1)); |
1093 | assert!(milliseconds(0) > milliseconds(-1)); |
1094 | assert!(milliseconds(1_001) < milliseconds(1_002)); |
1095 | assert!(milliseconds(-1_001) > milliseconds(-1_002)); |
1096 | assert!(TimeDelta::nanoseconds(1_234_567_890) < TimeDelta::nanoseconds(1_234_567_891)); |
1097 | assert!(TimeDelta::nanoseconds(-1_234_567_890) > TimeDelta::nanoseconds(-1_234_567_891)); |
1098 | assert!(milliseconds(i64::MAX) > milliseconds(i64::MAX - 1)); |
1099 | assert!(milliseconds(-i64::MAX) < milliseconds(-i64::MAX + 1)); |
1100 | } |
1101 | |
1102 | #[test ] |
1103 | fn test_duration_checked_ops() { |
1104 | let milliseconds = |ms| TimeDelta::try_milliseconds(ms).unwrap(); |
1105 | let seconds = |s| TimeDelta::try_seconds(s).unwrap(); |
1106 | |
1107 | assert_eq!( |
1108 | milliseconds(i64::MAX).checked_add(&milliseconds(0)), |
1109 | Some(milliseconds(i64::MAX)) |
1110 | ); |
1111 | assert_eq!( |
1112 | milliseconds(i64::MAX - 1).checked_add(&TimeDelta::microseconds(999)), |
1113 | Some(milliseconds(i64::MAX - 2) + TimeDelta::microseconds(1999)) |
1114 | ); |
1115 | assert!(milliseconds(i64::MAX).checked_add(&TimeDelta::microseconds(1000)).is_none()); |
1116 | assert!(milliseconds(i64::MAX).checked_add(&TimeDelta::nanoseconds(1)).is_none()); |
1117 | |
1118 | assert_eq!( |
1119 | milliseconds(-i64::MAX).checked_sub(&milliseconds(0)), |
1120 | Some(milliseconds(-i64::MAX)) |
1121 | ); |
1122 | assert_eq!( |
1123 | milliseconds(-i64::MAX + 1).checked_sub(&TimeDelta::microseconds(999)), |
1124 | Some(milliseconds(-i64::MAX + 2) - TimeDelta::microseconds(1999)) |
1125 | ); |
1126 | assert!(milliseconds(-i64::MAX).checked_sub(&milliseconds(1)).is_none()); |
1127 | assert!(milliseconds(-i64::MAX).checked_sub(&TimeDelta::nanoseconds(1)).is_none()); |
1128 | |
1129 | assert!(seconds(i64::MAX / 1000).checked_mul(2000).is_none()); |
1130 | assert!(seconds(i64::MIN / 1000).checked_mul(2000).is_none()); |
1131 | assert!(seconds(1).checked_div(0).is_none()); |
1132 | } |
1133 | |
1134 | #[test ] |
1135 | fn test_duration_abs() { |
1136 | let milliseconds = |ms| TimeDelta::try_milliseconds(ms).unwrap(); |
1137 | |
1138 | assert_eq!(milliseconds(1300).abs(), milliseconds(1300)); |
1139 | assert_eq!(milliseconds(1000).abs(), milliseconds(1000)); |
1140 | assert_eq!(milliseconds(300).abs(), milliseconds(300)); |
1141 | assert_eq!(milliseconds(0).abs(), milliseconds(0)); |
1142 | assert_eq!(milliseconds(-300).abs(), milliseconds(300)); |
1143 | assert_eq!(milliseconds(-700).abs(), milliseconds(700)); |
1144 | assert_eq!(milliseconds(-1000).abs(), milliseconds(1000)); |
1145 | assert_eq!(milliseconds(-1300).abs(), milliseconds(1300)); |
1146 | assert_eq!(milliseconds(-1700).abs(), milliseconds(1700)); |
1147 | assert_eq!(milliseconds(-i64::MAX).abs(), milliseconds(i64::MAX)); |
1148 | } |
1149 | |
1150 | #[test ] |
1151 | #[allow (clippy::erasing_op)] |
1152 | fn test_duration_mul() { |
1153 | assert_eq!(TimeDelta::zero() * i32::MAX, TimeDelta::zero()); |
1154 | assert_eq!(TimeDelta::zero() * i32::MIN, TimeDelta::zero()); |
1155 | assert_eq!(TimeDelta::nanoseconds(1) * 0, TimeDelta::zero()); |
1156 | assert_eq!(TimeDelta::nanoseconds(1) * 1, TimeDelta::nanoseconds(1)); |
1157 | assert_eq!(TimeDelta::nanoseconds(1) * 1_000_000_000, TimeDelta::try_seconds(1).unwrap()); |
1158 | assert_eq!(TimeDelta::nanoseconds(1) * -1_000_000_000, -TimeDelta::try_seconds(1).unwrap()); |
1159 | assert_eq!(-TimeDelta::nanoseconds(1) * 1_000_000_000, -TimeDelta::try_seconds(1).unwrap()); |
1160 | assert_eq!( |
1161 | TimeDelta::nanoseconds(30) * 333_333_333, |
1162 | TimeDelta::try_seconds(10).unwrap() - TimeDelta::nanoseconds(10) |
1163 | ); |
1164 | assert_eq!( |
1165 | (TimeDelta::nanoseconds(1) |
1166 | + TimeDelta::try_seconds(1).unwrap() |
1167 | + TimeDelta::try_days(1).unwrap()) |
1168 | * 3, |
1169 | TimeDelta::nanoseconds(3) |
1170 | + TimeDelta::try_seconds(3).unwrap() |
1171 | + TimeDelta::try_days(3).unwrap() |
1172 | ); |
1173 | assert_eq!( |
1174 | TimeDelta::try_milliseconds(1500).unwrap() * -2, |
1175 | TimeDelta::try_seconds(-3).unwrap() |
1176 | ); |
1177 | assert_eq!( |
1178 | TimeDelta::try_milliseconds(-1500).unwrap() * 2, |
1179 | TimeDelta::try_seconds(-3).unwrap() |
1180 | ); |
1181 | } |
1182 | |
1183 | #[test ] |
1184 | fn test_duration_div() { |
1185 | assert_eq!(TimeDelta::zero() / i32::MAX, TimeDelta::zero()); |
1186 | assert_eq!(TimeDelta::zero() / i32::MIN, TimeDelta::zero()); |
1187 | assert_eq!(TimeDelta::nanoseconds(123_456_789) / 1, TimeDelta::nanoseconds(123_456_789)); |
1188 | assert_eq!(TimeDelta::nanoseconds(123_456_789) / -1, -TimeDelta::nanoseconds(123_456_789)); |
1189 | assert_eq!(-TimeDelta::nanoseconds(123_456_789) / -1, TimeDelta::nanoseconds(123_456_789)); |
1190 | assert_eq!(-TimeDelta::nanoseconds(123_456_789) / 1, -TimeDelta::nanoseconds(123_456_789)); |
1191 | assert_eq!(TimeDelta::try_seconds(1).unwrap() / 3, TimeDelta::nanoseconds(333_333_333)); |
1192 | assert_eq!(TimeDelta::try_seconds(4).unwrap() / 3, TimeDelta::nanoseconds(1_333_333_333)); |
1193 | assert_eq!( |
1194 | TimeDelta::try_seconds(-1).unwrap() / 2, |
1195 | TimeDelta::try_milliseconds(-500).unwrap() |
1196 | ); |
1197 | assert_eq!( |
1198 | TimeDelta::try_seconds(1).unwrap() / -2, |
1199 | TimeDelta::try_milliseconds(-500).unwrap() |
1200 | ); |
1201 | assert_eq!( |
1202 | TimeDelta::try_seconds(-1).unwrap() / -2, |
1203 | TimeDelta::try_milliseconds(500).unwrap() |
1204 | ); |
1205 | assert_eq!(TimeDelta::try_seconds(-4).unwrap() / 3, TimeDelta::nanoseconds(-1_333_333_333)); |
1206 | assert_eq!(TimeDelta::try_seconds(-4).unwrap() / -3, TimeDelta::nanoseconds(1_333_333_333)); |
1207 | } |
1208 | |
1209 | #[test ] |
1210 | fn test_duration_sum() { |
1211 | let duration_list_1 = [TimeDelta::zero(), TimeDelta::try_seconds(1).unwrap()]; |
1212 | let sum_1: TimeDelta = duration_list_1.iter().sum(); |
1213 | assert_eq!(sum_1, TimeDelta::try_seconds(1).unwrap()); |
1214 | |
1215 | let duration_list_2 = [ |
1216 | TimeDelta::zero(), |
1217 | TimeDelta::try_seconds(1).unwrap(), |
1218 | TimeDelta::try_seconds(6).unwrap(), |
1219 | TimeDelta::try_seconds(10).unwrap(), |
1220 | ]; |
1221 | let sum_2: TimeDelta = duration_list_2.iter().sum(); |
1222 | assert_eq!(sum_2, TimeDelta::try_seconds(17).unwrap()); |
1223 | |
1224 | let duration_arr = [ |
1225 | TimeDelta::zero(), |
1226 | TimeDelta::try_seconds(1).unwrap(), |
1227 | TimeDelta::try_seconds(6).unwrap(), |
1228 | TimeDelta::try_seconds(10).unwrap(), |
1229 | ]; |
1230 | let sum_3: TimeDelta = duration_arr.into_iter().sum(); |
1231 | assert_eq!(sum_3, TimeDelta::try_seconds(17).unwrap()); |
1232 | } |
1233 | |
1234 | #[test ] |
1235 | fn test_duration_fmt() { |
1236 | assert_eq!(TimeDelta::zero().to_string(), "P0D" ); |
1237 | assert_eq!(TimeDelta::try_days(42).unwrap().to_string(), "PT3628800S" ); |
1238 | assert_eq!(TimeDelta::try_days(-42).unwrap().to_string(), "-PT3628800S" ); |
1239 | assert_eq!(TimeDelta::try_seconds(42).unwrap().to_string(), "PT42S" ); |
1240 | assert_eq!(TimeDelta::try_milliseconds(42).unwrap().to_string(), "PT0.042S" ); |
1241 | assert_eq!(TimeDelta::microseconds(42).to_string(), "PT0.000042S" ); |
1242 | assert_eq!(TimeDelta::nanoseconds(42).to_string(), "PT0.000000042S" ); |
1243 | assert_eq!( |
1244 | (TimeDelta::try_days(7).unwrap() + TimeDelta::try_milliseconds(6543).unwrap()) |
1245 | .to_string(), |
1246 | "PT604806.543S" |
1247 | ); |
1248 | assert_eq!(TimeDelta::try_seconds(-86_401).unwrap().to_string(), "-PT86401S" ); |
1249 | assert_eq!(TimeDelta::nanoseconds(-1).to_string(), "-PT0.000000001S" ); |
1250 | |
1251 | // the format specifier should have no effect on `TimeDelta` |
1252 | assert_eq!( |
1253 | format!( |
1254 | "{:30}" , |
1255 | TimeDelta::try_days(1).unwrap() + TimeDelta::try_milliseconds(2345).unwrap() |
1256 | ), |
1257 | "PT86402.345S" |
1258 | ); |
1259 | } |
1260 | |
1261 | #[test ] |
1262 | fn test_to_std() { |
1263 | assert_eq!(TimeDelta::try_seconds(1).unwrap().to_std(), Ok(Duration::new(1, 0))); |
1264 | assert_eq!(TimeDelta::try_seconds(86_401).unwrap().to_std(), Ok(Duration::new(86_401, 0))); |
1265 | assert_eq!( |
1266 | TimeDelta::try_milliseconds(123).unwrap().to_std(), |
1267 | Ok(Duration::new(0, 123_000_000)) |
1268 | ); |
1269 | assert_eq!( |
1270 | TimeDelta::try_milliseconds(123_765).unwrap().to_std(), |
1271 | Ok(Duration::new(123, 765_000_000)) |
1272 | ); |
1273 | assert_eq!(TimeDelta::nanoseconds(777).to_std(), Ok(Duration::new(0, 777))); |
1274 | assert_eq!(MAX.to_std(), Ok(Duration::new(9_223_372_036_854_775, 807_000_000))); |
1275 | assert_eq!(TimeDelta::try_seconds(-1).unwrap().to_std(), Err(OutOfRangeError(()))); |
1276 | assert_eq!(TimeDelta::try_milliseconds(-1).unwrap().to_std(), Err(OutOfRangeError(()))); |
1277 | } |
1278 | |
1279 | #[test ] |
1280 | fn test_from_std() { |
1281 | assert_eq!( |
1282 | Ok(TimeDelta::try_seconds(1).unwrap()), |
1283 | TimeDelta::from_std(Duration::new(1, 0)) |
1284 | ); |
1285 | assert_eq!( |
1286 | Ok(TimeDelta::try_seconds(86_401).unwrap()), |
1287 | TimeDelta::from_std(Duration::new(86_401, 0)) |
1288 | ); |
1289 | assert_eq!( |
1290 | Ok(TimeDelta::try_milliseconds(123).unwrap()), |
1291 | TimeDelta::from_std(Duration::new(0, 123_000_000)) |
1292 | ); |
1293 | assert_eq!( |
1294 | Ok(TimeDelta::try_milliseconds(123_765).unwrap()), |
1295 | TimeDelta::from_std(Duration::new(123, 765_000_000)) |
1296 | ); |
1297 | assert_eq!(Ok(TimeDelta::nanoseconds(777)), TimeDelta::from_std(Duration::new(0, 777))); |
1298 | assert_eq!(Ok(MAX), TimeDelta::from_std(Duration::new(9_223_372_036_854_775, 807_000_000))); |
1299 | assert_eq!( |
1300 | TimeDelta::from_std(Duration::new(9_223_372_036_854_776, 0)), |
1301 | Err(OutOfRangeError(())) |
1302 | ); |
1303 | assert_eq!( |
1304 | TimeDelta::from_std(Duration::new(9_223_372_036_854_775, 807_000_001)), |
1305 | Err(OutOfRangeError(())) |
1306 | ); |
1307 | } |
1308 | |
1309 | #[test ] |
1310 | fn test_duration_const() { |
1311 | const ONE_WEEK: TimeDelta = expect(TimeDelta::try_weeks(1), "" ); |
1312 | const ONE_DAY: TimeDelta = expect(TimeDelta::try_days(1), "" ); |
1313 | const ONE_HOUR: TimeDelta = expect(TimeDelta::try_hours(1), "" ); |
1314 | const ONE_MINUTE: TimeDelta = expect(TimeDelta::try_minutes(1), "" ); |
1315 | const ONE_SECOND: TimeDelta = expect(TimeDelta::try_seconds(1), "" ); |
1316 | const ONE_MILLI: TimeDelta = expect(TimeDelta::try_milliseconds(1), "" ); |
1317 | const ONE_MICRO: TimeDelta = TimeDelta::microseconds(1); |
1318 | const ONE_NANO: TimeDelta = TimeDelta::nanoseconds(1); |
1319 | let combo: TimeDelta = ONE_WEEK |
1320 | + ONE_DAY |
1321 | + ONE_HOUR |
1322 | + ONE_MINUTE |
1323 | + ONE_SECOND |
1324 | + ONE_MILLI |
1325 | + ONE_MICRO |
1326 | + ONE_NANO; |
1327 | |
1328 | assert!(ONE_WEEK != TimeDelta::zero()); |
1329 | assert!(ONE_DAY != TimeDelta::zero()); |
1330 | assert!(ONE_HOUR != TimeDelta::zero()); |
1331 | assert!(ONE_MINUTE != TimeDelta::zero()); |
1332 | assert!(ONE_SECOND != TimeDelta::zero()); |
1333 | assert!(ONE_MILLI != TimeDelta::zero()); |
1334 | assert!(ONE_MICRO != TimeDelta::zero()); |
1335 | assert!(ONE_NANO != TimeDelta::zero()); |
1336 | assert_eq!( |
1337 | combo, |
1338 | TimeDelta::try_seconds(86400 * 7 + 86400 + 3600 + 60 + 1).unwrap() |
1339 | + TimeDelta::nanoseconds(1 + 1_000 + 1_000_000) |
1340 | ); |
1341 | } |
1342 | |
1343 | #[test ] |
1344 | #[cfg (feature = "rkyv-validation" )] |
1345 | fn test_rkyv_validation() { |
1346 | let duration = TimeDelta::try_seconds(1).unwrap(); |
1347 | let bytes = rkyv::to_bytes::<_, 16>(&duration).unwrap(); |
1348 | assert_eq!(rkyv::from_bytes::<TimeDelta>(&bytes).unwrap(), duration); |
1349 | } |
1350 | } |
1351 | |