1 use crate::{IsoWeek, Weekday};
2 
3 /// The common set of methods for date component.
4 ///
5 /// Methods such as [`year`], [`month`], [`day`] and [`weekday`] can be used to get basic
6 /// information about the date.
7 ///
8 /// The `with_*` methods can change the date.
9 ///
10 /// # Warning
11 ///
12 /// The `with_*` methods can be convenient to change a single component of a date, but they must be
13 /// used with some care. Examples to watch out for:
14 ///
15 /// - [`with_year`] changes the year component of a year-month-day value. Don't use this method if
16 ///   you want the ordinal to stay the same after changing the year, of if you want the week and
17 ///   weekday values to stay the same.
18 /// - Don't combine two `with_*` methods to change two components of the date. For example to
19 ///   change both the year and month components of a date. This could fail because an intermediate
20 ///   value does not exist, while the final date would be valid.
21 ///
22 /// For more complex changes to a date, it is best to use the methods on [`NaiveDate`] to create a
23 /// new value instead of altering an existing date.
24 ///
25 /// [`year`]: Datelike::year
26 /// [`month`]: Datelike::month
27 /// [`day`]: Datelike::day
28 /// [`weekday`]: Datelike::weekday
29 /// [`with_year`]: Datelike::with_year
30 /// [`NaiveDate`]: crate::NaiveDate
31 pub trait Datelike: Sized {
32     /// Returns the year number in the [calendar date](./naive/struct.NaiveDate.html#calendar-date).
year(&self) -> i3233     fn year(&self) -> i32;
34 
35     /// Returns the absolute year number starting from 1 with a boolean flag,
36     /// which is false when the year predates the epoch (BCE/BC) and true otherwise (CE/AD).
37     #[inline]
year_ce(&self) -> (bool, u32)38     fn year_ce(&self) -> (bool, u32) {
39         let year = self.year();
40         if year < 1 {
41             (false, (1 - year) as u32)
42         } else {
43             (true, year as u32)
44         }
45     }
46 
47     /// Returns the month number starting from 1.
48     ///
49     /// The return value ranges from 1 to 12.
month(&self) -> u3250     fn month(&self) -> u32;
51 
52     /// Returns the month number starting from 0.
53     ///
54     /// The return value ranges from 0 to 11.
month0(&self) -> u3255     fn month0(&self) -> u32;
56 
57     /// Returns the day of month starting from 1.
58     ///
59     /// The return value ranges from 1 to 31. (The last day of month differs by months.)
day(&self) -> u3260     fn day(&self) -> u32;
61 
62     /// Returns the day of month starting from 0.
63     ///
64     /// The return value ranges from 0 to 30. (The last day of month differs by months.)
day0(&self) -> u3265     fn day0(&self) -> u32;
66 
67     /// Returns the day of year starting from 1.
68     ///
69     /// The return value ranges from 1 to 366. (The last day of year differs by years.)
ordinal(&self) -> u3270     fn ordinal(&self) -> u32;
71 
72     /// Returns the day of year starting from 0.
73     ///
74     /// The return value ranges from 0 to 365. (The last day of year differs by years.)
ordinal0(&self) -> u3275     fn ordinal0(&self) -> u32;
76 
77     /// Returns the day of week.
weekday(&self) -> Weekday78     fn weekday(&self) -> Weekday;
79 
80     /// Returns the ISO week.
iso_week(&self) -> IsoWeek81     fn iso_week(&self) -> IsoWeek;
82 
83     /// Makes a new value with the year number changed, while keeping the same month and day.
84     ///
85     /// This method assumes you want to work on the date as a year-month-day value. Don't use it if
86     /// you want the ordinal to stay the same after changing the year, of if you want the week and
87     /// weekday values to stay the same.
88     ///
89     /// # Errors
90     ///
91     /// Returns `None` when:
92     ///
93     /// - The resulting date does not exist (February 29 in a non-leap year).
94     /// - The year is out of range for [`NaiveDate`].
95     /// - In case of [`DateTime<Tz>`] if the resulting date and time fall within a timezone
96     ///   transition such as from DST to standard time.
97     ///
98     /// [`NaiveDate`]: crate::NaiveDate
99     /// [`DateTime<Tz>`]: crate::DateTime
100     ///
101     /// # Examples
102     ///
103     /// ```
104     /// use chrono::{NaiveDate, Datelike};
105     ///
106     /// assert_eq!(
107     ///     NaiveDate::from_ymd_opt(2020, 5, 13).unwrap().with_year(2023).unwrap(),
108     ///     NaiveDate::from_ymd_opt(2023, 5, 13).unwrap()
109     /// );
110     /// // Resulting date 2023-02-29 does not exist:
111     /// assert!(NaiveDate::from_ymd_opt(2020, 2, 29).unwrap().with_year(2023).is_none());
112     ///
113     /// // Don't use `with_year` if you want the ordinal date to stay the same:
114     /// assert_ne!(
115     ///     NaiveDate::from_yo_opt(2020, 100).unwrap().with_year(2023).unwrap(),
116     ///     NaiveDate::from_yo_opt(2023, 100).unwrap() // result is 2023-101
117     /// );
118     /// ```
with_year(&self, year: i32) -> Option<Self>119     fn with_year(&self, year: i32) -> Option<Self>;
120 
121     /// Makes a new value with the month number (starting from 1) changed.
122     ///
123     /// # Errors
124     ///
125     /// Returns `None` when:
126     ///
127     /// - The resulting date does not exist (for example `month(4)` when day of the month is 31).
128     /// - In case of [`DateTime<Tz>`] if the resulting date and time fall within a timezone
129     ///   transition such as from DST to standard time.
130     /// - The value for `month` is out of range.
131     ///
132     /// [`DateTime<Tz>`]: crate::DateTime
133     ///
134     /// # Examples
135     ///
136     /// ```
137     /// use chrono::{NaiveDate, Datelike};
138     ///
139     /// assert_eq!(
140     ///     NaiveDate::from_ymd_opt(2023, 5, 12).unwrap().with_month(9).unwrap(),
141     ///     NaiveDate::from_ymd_opt(2023, 9, 12).unwrap()
142     /// );
143     /// // Resulting date 2023-09-31 does not exist:
144     /// assert!(NaiveDate::from_ymd_opt(2023, 5, 31).unwrap().with_month(9).is_none());
145     /// ```
146     ///
147     /// Don't combine multiple `Datelike::with_*` methods. The intermediate value may not exist.
148     /// ```
149     /// use chrono::{NaiveDate, Datelike};
150     ///
151     /// fn with_year_month(date: NaiveDate, year: i32, month: u32) -> Option<NaiveDate> {
152     ///     date.with_year(year)?.with_month(month)
153     /// }
154     /// let d = NaiveDate::from_ymd_opt(2020, 2, 29).unwrap();
155     /// assert!(with_year_month(d, 2019, 1).is_none()); // fails because of invalid intermediate value
156     ///
157     /// // Correct version:
158     /// fn with_year_month_fixed(date: NaiveDate, year: i32, month: u32) -> Option<NaiveDate> {
159     ///     NaiveDate::from_ymd_opt(year, month, date.day())
160     /// }
161     /// let d = NaiveDate::from_ymd_opt(2020, 2, 29).unwrap();
162     /// assert_eq!(with_year_month_fixed(d, 2019, 1), NaiveDate::from_ymd_opt(2019, 1, 29));
163     /// ```
with_month(&self, month: u32) -> Option<Self>164     fn with_month(&self, month: u32) -> Option<Self>;
165 
166     /// Makes a new value with the month number (starting from 0) changed.
167     ///
168     /// # Errors
169     ///
170     /// Returns `None` when:
171     ///
172     /// - The resulting date does not exist (for example `month0(3)` when day of the month is 31).
173     /// - In case of [`DateTime<Tz>`] if the resulting date and time fall within a timezone
174     ///   transition such as from DST to standard time.
175     /// - The value for `month0` is out of range.
176     ///
177     /// [`DateTime<Tz>`]: crate::DateTime
with_month0(&self, month0: u32) -> Option<Self>178     fn with_month0(&self, month0: u32) -> Option<Self>;
179 
180     /// Makes a new value with the day of month (starting from 1) changed.
181     ///
182     /// # Errors
183     ///
184     /// Returns `None` when:
185     ///
186     /// - The resulting date does not exist (for example `day(31)` in April).
187     /// - In case of [`DateTime<Tz>`] if the resulting date and time fall within a timezone
188     ///   transition such as from DST to standard time.
189     /// - The value for `day` is out of range.
190     ///
191     /// [`DateTime<Tz>`]: crate::DateTime
with_day(&self, day: u32) -> Option<Self>192     fn with_day(&self, day: u32) -> Option<Self>;
193 
194     /// Makes a new value with the day of month (starting from 0) changed.
195     ///
196     /// # Errors
197     ///
198     /// Returns `None` when:
199     ///
200     /// - The resulting date does not exist (for example `day0(30)` in April).
201     /// - In case of [`DateTime<Tz>`] if the resulting date and time fall within a timezone
202     ///   transition such as from DST to standard time.
203     /// - The value for `day0` is out of range.
204     ///
205     /// [`DateTime<Tz>`]: crate::DateTime
with_day0(&self, day0: u32) -> Option<Self>206     fn with_day0(&self, day0: u32) -> Option<Self>;
207 
208     /// Makes a new value with the day of year (starting from 1) changed.
209     ///
210     /// # Errors
211     ///
212     /// Returns `None` when:
213     ///
214     /// - The resulting date does not exist (`with_ordinal(366)` in a non-leap year).
215     /// - In case of [`DateTime<Tz>`] if the resulting date and time fall within a timezone
216     ///   transition such as from DST to standard time.
217     /// - The value for `ordinal` is out of range.
218     ///
219     /// [`DateTime<Tz>`]: crate::DateTime
with_ordinal(&self, ordinal: u32) -> Option<Self>220     fn with_ordinal(&self, ordinal: u32) -> Option<Self>;
221 
222     /// Makes a new value with the day of year (starting from 0) changed.
223     ///
224     /// # Errors
225     ///
226     /// Returns `None` when:
227     ///
228     /// - The resulting date does not exist (`with_ordinal0(365)` in a non-leap year).
229     /// - In case of [`DateTime<Tz>`] if the resulting date and time fall within a timezone
230     ///   transition such as from DST to standard time.
231     /// - The value for `ordinal0` is out of range.
232     ///
233     /// [`DateTime<Tz>`]: crate::DateTime
with_ordinal0(&self, ordinal0: u32) -> Option<Self>234     fn with_ordinal0(&self, ordinal0: u32) -> Option<Self>;
235 
236     /// Counts the days in the proleptic Gregorian calendar, with January 1, Year 1 (CE) as day 1.
237     ///
238     /// # Examples
239     ///
240     /// ```
241     /// use chrono::{NaiveDate, Datelike};
242     ///
243     /// assert_eq!(NaiveDate::from_ymd_opt(1970, 1, 1).unwrap().num_days_from_ce(), 719_163);
244     /// assert_eq!(NaiveDate::from_ymd_opt(2, 1, 1).unwrap().num_days_from_ce(), 366);
245     /// assert_eq!(NaiveDate::from_ymd_opt(1, 1, 1).unwrap().num_days_from_ce(), 1);
246     /// assert_eq!(NaiveDate::from_ymd_opt(0, 1, 1).unwrap().num_days_from_ce(), -365);
247     /// ```
num_days_from_ce(&self) -> i32248     fn num_days_from_ce(&self) -> i32 {
249         // See test_num_days_from_ce_against_alternative_impl below for a more straightforward
250         // implementation.
251 
252         // we know this wouldn't overflow since year is limited to 1/2^13 of i32's full range.
253         let mut year = self.year() - 1;
254         let mut ndays = 0;
255         if year < 0 {
256             let excess = 1 + (-year) / 400;
257             year += excess * 400;
258             ndays -= excess * 146_097;
259         }
260         let div_100 = year / 100;
261         ndays += ((year * 1461) >> 2) - div_100 + (div_100 >> 2);
262         ndays + self.ordinal() as i32
263     }
264 }
265 
266 /// The common set of methods for time component.
267 pub trait Timelike: Sized {
268     /// Returns the hour number from 0 to 23.
hour(&self) -> u32269     fn hour(&self) -> u32;
270 
271     /// Returns the hour number from 1 to 12 with a boolean flag,
272     /// which is false for AM and true for PM.
273     #[inline]
hour12(&self) -> (bool, u32)274     fn hour12(&self) -> (bool, u32) {
275         let hour = self.hour();
276         let mut hour12 = hour % 12;
277         if hour12 == 0 {
278             hour12 = 12;
279         }
280         (hour >= 12, hour12)
281     }
282 
283     /// Returns the minute number from 0 to 59.
minute(&self) -> u32284     fn minute(&self) -> u32;
285 
286     /// Returns the second number from 0 to 59.
second(&self) -> u32287     fn second(&self) -> u32;
288 
289     /// Returns the number of nanoseconds since the whole non-leap second.
290     /// The range from 1,000,000,000 to 1,999,999,999 represents
291     /// the [leap second](./naive/struct.NaiveTime.html#leap-second-handling).
nanosecond(&self) -> u32292     fn nanosecond(&self) -> u32;
293 
294     /// Makes a new value with the hour number changed.
295     ///
296     /// Returns `None` when the resulting value would be invalid.
with_hour(&self, hour: u32) -> Option<Self>297     fn with_hour(&self, hour: u32) -> Option<Self>;
298 
299     /// Makes a new value with the minute number changed.
300     ///
301     /// Returns `None` when the resulting value would be invalid.
with_minute(&self, min: u32) -> Option<Self>302     fn with_minute(&self, min: u32) -> Option<Self>;
303 
304     /// Makes a new value with the second number changed.
305     ///
306     /// Returns `None` when the resulting value would be invalid.
307     /// As with the [`second`](#tymethod.second) method,
308     /// the input range is restricted to 0 through 59.
with_second(&self, sec: u32) -> Option<Self>309     fn with_second(&self, sec: u32) -> Option<Self>;
310 
311     /// Makes a new value with nanoseconds since the whole non-leap second changed.
312     ///
313     /// Returns `None` when the resulting value would be invalid.
314     /// As with the [`nanosecond`](#tymethod.nanosecond) method,
315     /// the input range can exceed 1,000,000,000 for leap seconds.
with_nanosecond(&self, nano: u32) -> Option<Self>316     fn with_nanosecond(&self, nano: u32) -> Option<Self>;
317 
318     /// Returns the number of non-leap seconds past the last midnight.
319     ///
320     /// Every value in 00:00:00-23:59:59 maps to an integer in 0-86399.
321     ///
322     /// This method is not intended to provide the real number of seconds since midnight on a given
323     /// day. It does not take things like DST transitions into account.
324     #[inline]
num_seconds_from_midnight(&self) -> u32325     fn num_seconds_from_midnight(&self) -> u32 {
326         self.hour() * 3600 + self.minute() * 60 + self.second()
327     }
328 }
329 
330 #[cfg(test)]
331 mod tests {
332     use super::Datelike;
333     use crate::{NaiveDate, TimeDelta};
334 
335     /// Tests `Datelike::num_days_from_ce` against an alternative implementation.
336     ///
337     /// The alternative implementation is not as short as the current one but it is simpler to
338     /// understand, with less unexplained magic constants.
339     #[test]
test_num_days_from_ce_against_alternative_impl()340     fn test_num_days_from_ce_against_alternative_impl() {
341         /// Returns the number of multiples of `div` in the range `start..end`.
342         ///
343         /// If the range `start..end` is back-to-front, i.e. `start` is greater than `end`, the
344         /// behaviour is defined by the following equation:
345         /// `in_between(start, end, div) == - in_between(end, start, div)`.
346         ///
347         /// When `div` is 1, this is equivalent to `end - start`, i.e. the length of `start..end`.
348         ///
349         /// # Panics
350         ///
351         /// Panics if `div` is not positive.
352         fn in_between(start: i32, end: i32, div: i32) -> i32 {
353             assert!(div > 0, "in_between: nonpositive div = {}", div);
354             let start = (start.div_euclid(div), start.rem_euclid(div));
355             let end = (end.div_euclid(div), end.rem_euclid(div));
356             // The lowest multiple of `div` greater than or equal to `start`, divided.
357             let start = start.0 + (start.1 != 0) as i32;
358             // The lowest multiple of `div` greater than or equal to   `end`, divided.
359             let end = end.0 + (end.1 != 0) as i32;
360             end - start
361         }
362 
363         /// Alternative implementation to `Datelike::num_days_from_ce`
364         fn num_days_from_ce<Date: Datelike>(date: &Date) -> i32 {
365             let year = date.year();
366             let diff = move |div| in_between(1, year, div);
367             // 365 days a year, one more in leap years. In the gregorian calendar, leap years are all
368             // the multiples of 4 except multiples of 100 but including multiples of 400.
369             date.ordinal() as i32 + 365 * diff(1) + diff(4) - diff(100) + diff(400)
370         }
371 
372         for year in NaiveDate::MIN.year()..=NaiveDate::MAX.year() {
373             let jan1_year = NaiveDate::from_ymd_opt(year, 1, 1).unwrap();
374             assert_eq!(
375                 jan1_year.num_days_from_ce(),
376                 num_days_from_ce(&jan1_year),
377                 "on {:?}",
378                 jan1_year
379             );
380             let mid_year = jan1_year + TimeDelta::days(133);
381             assert_eq!(
382                 mid_year.num_days_from_ce(),
383                 num_days_from_ce(&mid_year),
384                 "on {:?}",
385                 mid_year
386             );
387         }
388     }
389 }
390