[time.cal] - C++20 → C++23

Files changed (1) hide show

tmp/tmplpmjn2iy/{from.md → to.md} +20 -20

tmp/tmplpmjn2iy/{from.md → to.md} RENAMED Viewed

@@ -378,11 +378,11 @@ template<class charT, class traits>
 *Effects:* Equivalent to:
 ``` cpp
 return os << (m.ok() ?
-  format(os.getloc(), STATICALLY-WIDEN<charT>("{:%b}"), m) :
   format(os.getloc(), STATICALLY-WIDEN<charT>("{} is not a valid month"),
          static_cast<unsigned>(m)));
 ```
 ``` cpp
@@ -513,11 +513,11 @@ constexpr year operator+() const noexcept;
 ```
 *Returns:* `*this`.
 ``` cpp
-constexpr year year::operator-() const noexcept;
 ```
 *Returns:* `year{-y_}`.
 ``` cpp
@@ -566,11 +566,11 @@ constexpr strong_ordering operator<=>(const year& x, const year& y) noexcept;
 ``` cpp
 constexpr year operator+(const year& x, const years& y) noexcept;
 ```
-*Returns:* `year{int{x} + y.count()}`.
 ``` cpp
 constexpr year operator+(const years& x, const year& y) noexcept;
 ```
@@ -842,11 +842,11 @@ template<class charT, class traits>
 *Effects:* Equivalent to:
 ``` cpp
 return os << (wd.ok() ?
-  format(os.getloc(), STATICALLY-WIDEN<charT>("{:%a}"), wd) :
   format(os.getloc(), STATICALLY-WIDEN<charT>("{} is not a valid weekday"),
          static_cast<unsigned>(wd.wd_)));
 ```
 ``` cpp
@@ -954,12 +954,12 @@ template<class charT, class traits>
 *Effects:* Equivalent to:
 ``` cpp
 auto i = wdi.index();
 return os << (i >= 1 && i <= 5 ?
-  format(os.getloc(), STATICALLY-WIDEN<charT>("{}[{}]"), wdi.weekday(), i) :
-  format(os.getloc(), STATICALLY-WIDEN<charT>("{}[{} is not a valid index]"),
          wdi.weekday(), i));
 ```
 ### Class `weekday_last` <a id="time.cal.wdlast">[[time.cal.wdlast]]</a>
@@ -1030,11 +1030,11 @@ template<class charT, class traits>
 ```
 *Effects:* Equivalent to:
 ``` cpp
-return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}[last]"), wdl.weekday());
 ```
 ### Class `month_day` <a id="time.cal.md">[[time.cal.md]]</a>
 #### Overview <a id="time.cal.md.overview">[[time.cal.md.overview]]</a>
@@ -1118,11 +1118,11 @@ template<class charT, class traits>
 ```
 *Effects:* Equivalent to:
 ``` cpp
-return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}/{}"),
                     md.month(), md.day());
 ```
 ``` cpp
 template<class charT, class traits, class Alloc = allocator<charT>>
@@ -1213,11 +1213,11 @@ template<class charT, class traits>
 ```
 *Effects:* Equivalent to:
 ``` cpp
-return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}/last"), mdl.month());
 ```
 ### Class `month_weekday` <a id="time.cal.mwd">[[time.cal.mwd]]</a>
 #### Overview <a id="time.cal.mwd.overview">[[time.cal.mwd.overview]]</a>
@@ -1296,11 +1296,11 @@ template<class charT, class traits>
 ```
 *Effects:* Equivalent to:
 ``` cpp
-return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}/{}"),
                     mwd.month(), mwd.weekday_indexed());
 ```
 ### Class `month_weekday_last` <a id="time.cal.mwdlast">[[time.cal.mwdlast]]</a>
@@ -1383,11 +1383,11 @@ template<class charT, class traits>
 ```
 *Effects:* Equivalent to:
 ``` cpp
-return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}/{}"),
                     mwdl.month(), mwdl.weekday_last());
 ```
 ### Class `year_month` <a id="time.cal.ym">[[time.cal.ym]]</a>
@@ -1583,11 +1583,11 @@ template<class charT, class traits>
 ```
 *Effects:* Equivalent to:
 ``` cpp
-return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}/{}"),
                     ym.year(), ym.month());
 ```
 ``` cpp
 template<class charT, class traits, class Alloc = allocator<charT>>
@@ -1673,11 +1673,11 @@ constexpr year_month_day(const year_month_day_last& ymdl) noexcept;
 *Effects:* Initializes `y_` with `ymdl.year()`, `m_` with
 `ymdl.month()`, and `d_` with `ymdl.day()`.
 [*Note 1*: This conversion from `year_month_day_last` to
-`year_month_day` may be more efficient than converting a
 `year_month_day_last` to a `sys_days`, and then converting that
 `sys_days` to a `year_month_day`. — *end note*]
 ``` cpp
 constexpr year_month_day(const sys_days& dp) noexcept;
@@ -1857,11 +1857,11 @@ constexpr year_month_day operator+(const year_month_day& ymd, const years& dy) n
 ```
 *Returns:* `(ymd.year() + dy) / ymd.month() / ymd.day()`.
 [*Note 2*: If `ymd.month()` is February and `ymd.day()` is not in the
-range \[`1d`, `28d`\], `ok()` may return `false` for the resultant
 `year_month_day`. — *end note*]
 ``` cpp
 constexpr year_month_day operator+(const years& dy, const year_month_day& ymd) noexcept;
 ```
@@ -2030,11 +2030,11 @@ constexpr chrono::day day() const noexcept;
 *Returns:* If `ok()` is `true`, returns a `day` representing the last
 day of the (`year`, `month`) pair represented by `*this`. Otherwise, the
 returned value is unspecified.
-[*Note 1*: This value may be computed on demand. — *end note*]
 ``` cpp
 constexpr operator sys_days() const noexcept;
 ```
@@ -2137,11 +2137,11 @@ template<class charT, class traits>
 ```
 *Effects:* Equivalent to:
 ``` cpp
-return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}/{}"),
                     ymdl.year(), ymdl.month_day_last());
 ```
 ### Class `year_month_weekday` <a id="time.cal.ymwd">[[time.cal.ymwd]]</a>
@@ -2209,12 +2209,12 @@ constexpr year_month_weekday(const sys_days& dp) noexcept;
 ```
 *Effects:* Constructs an object of type `year_month_weekday` which
 corresponds to the date represented by `dp`.
-*Remarks:* For any value `ymdl` of type `year_month_weekday` for which
-`ymdl.ok()` is `true`, `ymdl == year_month_weekday{sys_days{ymdl}}` is
 `true`.
 ``` cpp
 constexpr explicit year_month_weekday(const local_days& dp) noexcept;
 ```
@@ -2388,11 +2388,11 @@ template<class charT, class traits>
 ```
 *Effects:* Equivalent to:
 ``` cpp
-return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}/{}/{}"),
                     ymwd.year(), ymwd.month(), ymwd.weekday_indexed());
 ```
 ### Class `year_month_weekday_last` <a id="time.cal.ymwdlast">[[time.cal.ymwdlast]]</a>
@@ -2615,11 +2615,11 @@ template<class charT, class traits>
 ```
 *Effects:* Equivalent to:
 ``` cpp
-return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}/{}/{}"),
                     ymwdl.year(), ymwdl.month(), ymwdl.weekday_last());
 ```
 ### Conventional syntax operators <a id="time.cal.operators">[[time.cal.operators]]</a>

 *Effects:* Equivalent to:
 ``` cpp
 return os << (m.ok() ?
+  format(os.getloc(), STATICALLY-WIDEN<charT>("{:L%b}"), m) :
   format(os.getloc(), STATICALLY-WIDEN<charT>("{} is not a valid month"),
          static_cast<unsigned>(m)));
 ```
 ``` cpp
 ```
 *Returns:* `*this`.
 ``` cpp
+constexpr year operator-() const noexcept;
 ```
 *Returns:* `year{-y_}`.
 ``` cpp
 ``` cpp
 constexpr year operator+(const year& x, const years& y) noexcept;
 ```
+*Returns:* `year{int{x} + static_cast<int>(y.count())}`.
 ``` cpp
 constexpr year operator+(const years& x, const year& y) noexcept;
 ```
 *Effects:* Equivalent to:
 ``` cpp
 return os << (wd.ok() ?
+  format(os.getloc(), STATICALLY-WIDEN<charT>("{:L%a}"), wd) :
   format(os.getloc(), STATICALLY-WIDEN<charT>("{} is not a valid weekday"),
          static_cast<unsigned>(wd.wd_)));
 ```
 ``` cpp
 *Effects:* Equivalent to:
 ``` cpp
 auto i = wdi.index();
 return os << (i >= 1 && i <= 5 ?
+  format(os.getloc(), STATICALLY-WIDEN<charT>("{:L}[{}]"), wdi.weekday(), i) :
+  format(os.getloc(), STATICALLY-WIDEN<charT>("{:L}[{} is not a valid index]"),
          wdi.weekday(), i));
 ```
 ### Class `weekday_last` <a id="time.cal.wdlast">[[time.cal.wdlast]]</a>
 ```
 *Effects:* Equivalent to:
 ``` cpp
+return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{:L}[last]"), wdl.weekday());
 ```
 ### Class `month_day` <a id="time.cal.md">[[time.cal.md]]</a>
 #### Overview <a id="time.cal.md.overview">[[time.cal.md.overview]]</a>
 ```
 *Effects:* Equivalent to:
 ``` cpp
+return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{:L}/{}"),
                     md.month(), md.day());
 ```
 ``` cpp
 template<class charT, class traits, class Alloc = allocator<charT>>
 ```
 *Effects:* Equivalent to:
 ``` cpp
+return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{:L}/last"), mdl.month());
 ```
 ### Class `month_weekday` <a id="time.cal.mwd">[[time.cal.mwd]]</a>
 #### Overview <a id="time.cal.mwd.overview">[[time.cal.mwd.overview]]</a>
 ```
 *Effects:* Equivalent to:
 ``` cpp
+return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{:L}/{:L}"),
                     mwd.month(), mwd.weekday_indexed());
 ```
 ### Class `month_weekday_last` <a id="time.cal.mwdlast">[[time.cal.mwdlast]]</a>
 ```
 *Effects:* Equivalent to:
 ``` cpp
+return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{:L}/{:L}"),
                     mwdl.month(), mwdl.weekday_last());
 ```
 ### Class `year_month` <a id="time.cal.ym">[[time.cal.ym]]</a>
 ```
 *Effects:* Equivalent to:
 ``` cpp
+return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}/{:L}"),
                     ym.year(), ym.month());
 ```
 ``` cpp
 template<class charT, class traits, class Alloc = allocator<charT>>
 *Effects:* Initializes `y_` with `ymdl.year()`, `m_` with
 `ymdl.month()`, and `d_` with `ymdl.day()`.
 [*Note 1*: This conversion from `year_month_day_last` to
+`year_month_day` can be more efficient than converting a
 `year_month_day_last` to a `sys_days`, and then converting that
 `sys_days` to a `year_month_day`. — *end note*]
 ``` cpp
 constexpr year_month_day(const sys_days& dp) noexcept;
 ```
 *Returns:* `(ymd.year() + dy) / ymd.month() / ymd.day()`.
 [*Note 2*: If `ymd.month()` is February and `ymd.day()` is not in the
+range \[`1d`, `28d`\], `ok()` can return `false` for the resultant
 `year_month_day`. — *end note*]
 ``` cpp
 constexpr year_month_day operator+(const years& dy, const year_month_day& ymd) noexcept;
 ```
 *Returns:* If `ok()` is `true`, returns a `day` representing the last
 day of the (`year`, `month`) pair represented by `*this`. Otherwise, the
 returned value is unspecified.
+[*Note 1*: This value might be computed on demand. — *end note*]
 ``` cpp
 constexpr operator sys_days() const noexcept;
 ```
 ```
 *Effects:* Equivalent to:
 ``` cpp
+return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}/{:L}"),
                     ymdl.year(), ymdl.month_day_last());
 ```
 ### Class `year_month_weekday` <a id="time.cal.ymwd">[[time.cal.ymwd]]</a>
 ```
 *Effects:* Constructs an object of type `year_month_weekday` which
 corresponds to the date represented by `dp`.
+*Remarks:* For any value `ymwd` of type `year_month_weekday` for which
+`ymwd.ok()` is `true`, `ymwd == year_month_weekday{sys_days{ymwd}}` is
 `true`.
 ``` cpp
 constexpr explicit year_month_weekday(const local_days& dp) noexcept;
 ```
 ```
 *Effects:* Equivalent to:
 ``` cpp
+return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}/{:L}/{:L}"),
                     ymwd.year(), ymwd.month(), ymwd.weekday_indexed());
 ```
 ### Class `year_month_weekday_last` <a id="time.cal.ymwdlast">[[time.cal.ymwdlast]]</a>
 ```
 *Effects:* Equivalent to:
 ``` cpp
+return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{}/{:L}/{:L}"),
                     ymwdl.year(), ymwdl.month(), ymwdl.weekday_last());
 ```
 ### Conventional syntax operators <a id="time.cal.operators">[[time.cal.operators]]</a>

Diff to HTML by rtfpessoa