From Jason Turner

[time.zone.zonedtime]

C++20 → C++23 3.8 KB 33 lines
Current Draft | LaTeX Source
Archived: C++20 | C++23
Markdown: C++20 | C++23
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpf907kr00/{from.md → to.md} +14 -13
tmp/tmpf907kr00/{from.md → to.md} RENAMED
@@ -23,32 +23,32 @@ namespace std::chrono {
23
  zoned_time(const sys_time<Duration>& st);
24
  explicit zoned_time(TimeZonePtr z);
25
  explicit zoned_time(string_view name);
26
 
27
  template<class Duration2>
28
- zoned_time(const zoned_time<Duration2, TimeZonePtr>& zt);
29
 
30
  zoned_time(TimeZonePtr z, const sys_time<Duration>& st);
31
  zoned_time(string_view name, const sys_time<Duration>& st);
32
 
33
  zoned_time(TimeZonePtr z, const local_time<Duration>& tp);
34
  zoned_time(string_view name, const local_time<Duration>& tp);
35
  zoned_time(TimeZonePtr z, const local_time<Duration>& tp, choose c);
36
  zoned_time(string_view name, const local_time<Duration>& tp, choose c);
37
 
38
  template<class Duration2, class TimeZonePtr2>
39
- zoned_time(TimeZonePtr z, const zoned_time<Duration2, TimeZonePtr2>& zt);
40
  template<class Duration2, class TimeZonePtr2>
41
- zoned_time(TimeZonePtr z, const zoned_time<Duration2, TimeZonePtr2>& zt, choose);
42
 
43
  template<class Duration2, class TimeZonePtr2>
44
- zoned_time(string_view name, const zoned_time<Duration2, TimeZonePtr2>& zt);
45
  template<class Duration2, class TimeZonePtr2>
46
- zoned_time(string_view name, const zoned_time<Duration2, TimeZonePtr2>& zt, choose);
47
 
48
  zoned_time& operator=(const sys_time<Duration>& st);
49
- zoned_time& operator=(const local_time<Duration>& ut);
50
 
51
  operator sys_time<duration>() const;
52
  explicit operator local_time<duration>() const;
53
 
54
  TimeZonePtr get_time_zone() const;
@@ -174,22 +174,22 @@ zoned_time(string_view name, const sys_time<Duration>& st);
174
 
175
  ``` cpp
176
  zoned_time(TimeZonePtr z, const local_time<Duration>& tp);
177
  ```
178
 
179
- *Preconditions:* `z` refers to a time zone.
180
-
181
  *Constraints:*
182
 
183
  ``` cpp
184
  is_convertible_v<
185
  decltype(declval<TimeZonePtr&>()->to_sys(local_time<Duration>{})),
186
  sys_time<duration>>
187
  ```
188
 
189
  is `true`.
190
 
 
 
191
  *Effects:* Initializes `zone_` with `std::move(z)` and `tp_` with
192
  `zone_->to_sys(tp)`.
193
 
194
  ``` cpp
195
  zoned_time(string_view name, const local_time<Duration>& tp);
@@ -203,22 +203,22 @@ zoned_time(string_view name, const local_time<Duration>& tp);
203
 
204
  ``` cpp
205
  zoned_time(TimeZonePtr z, const local_time<Duration>& tp, choose c);
206
  ```
207
 
208
- *Preconditions:* `z` refers to a time zone.
209
-
210
  *Constraints:*
211
 
212
  ``` cpp
213
  is_convertible_v<
214
  decltype(declval<TimeZonePtr&>()->to_sys(local_time<Duration>{}, choose::earliest)),
215
  sys_time<duration>>
216
  ```
217
 
218
  is `true`.
219
 
 
 
220
  *Effects:* Initializes `zone_` with `std::move(z)` and `tp_` with
221
  `zone_->to_sys(tp, c)`.
222
 
223
  ``` cpp
224
  zoned_time(string_view name, const local_time<Duration>& tp, choose c);
@@ -354,10 +354,11 @@ template<class charT, class traits, class Duration, class TimeZonePtr>
354
  basic_ostream<charT, traits>&
355
  operator<<(basic_ostream<charT, traits>& os,
356
  const zoned_time<Duration, TimeZonePtr>& t);
357
  ```
358
 
359
- *Effects:* Streams the value returned from `t.get_local_time()` to `os`
360
- using the format `"%F %T %Z"`.
361
 
362
- *Returns:* `os`.
 
 
363
 
 
23
  zoned_time(const sys_time<Duration>& st);
24
  explicit zoned_time(TimeZonePtr z);
25
  explicit zoned_time(string_view name);
26
 
27
  template<class Duration2>
28
+ zoned_time(const zoned_time<Duration2, TimeZonePtr>& y);
29
 
30
  zoned_time(TimeZonePtr z, const sys_time<Duration>& st);
31
  zoned_time(string_view name, const sys_time<Duration>& st);
32
 
33
  zoned_time(TimeZonePtr z, const local_time<Duration>& tp);
34
  zoned_time(string_view name, const local_time<Duration>& tp);
35
  zoned_time(TimeZonePtr z, const local_time<Duration>& tp, choose c);
36
  zoned_time(string_view name, const local_time<Duration>& tp, choose c);
37
 
38
  template<class Duration2, class TimeZonePtr2>
39
+ zoned_time(TimeZonePtr z, const zoned_time<Duration2, TimeZonePtr2>& y);
40
  template<class Duration2, class TimeZonePtr2>
41
+ zoned_time(TimeZonePtr z, const zoned_time<Duration2, TimeZonePtr2>& y, choose);
42
 
43
  template<class Duration2, class TimeZonePtr2>
44
+ zoned_time(string_view name, const zoned_time<Duration2, TimeZonePtr2>& y);
45
  template<class Duration2, class TimeZonePtr2>
46
+ zoned_time(string_view name, const zoned_time<Duration2, TimeZonePtr2>& y, choose c);
47
 
48
  zoned_time& operator=(const sys_time<Duration>& st);
49
+ zoned_time& operator=(const local_time<Duration>& lt);
50
 
51
  operator sys_time<duration>() const;
52
  explicit operator local_time<duration>() const;
53
 
54
  TimeZonePtr get_time_zone() const;
 
174
 
175
  ``` cpp
176
  zoned_time(TimeZonePtr z, const local_time<Duration>& tp);
177
  ```
178
 
 
 
179
  *Constraints:*
180
 
181
  ``` cpp
182
  is_convertible_v<
183
  decltype(declval<TimeZonePtr&>()->to_sys(local_time<Duration>{})),
184
  sys_time<duration>>
185
  ```
186
 
187
  is `true`.
188
 
189
+ *Preconditions:* `z` refers to a time zone.
190
+
191
  *Effects:* Initializes `zone_` with `std::move(z)` and `tp_` with
192
  `zone_->to_sys(tp)`.
193
 
194
  ``` cpp
195
  zoned_time(string_view name, const local_time<Duration>& tp);
 
203
 
204
  ``` cpp
205
  zoned_time(TimeZonePtr z, const local_time<Duration>& tp, choose c);
206
  ```
207
 
 
 
208
  *Constraints:*
209
 
210
  ``` cpp
211
  is_convertible_v<
212
  decltype(declval<TimeZonePtr&>()->to_sys(local_time<Duration>{}, choose::earliest)),
213
  sys_time<duration>>
214
  ```
215
 
216
  is `true`.
217
 
218
+ *Preconditions:* `z` refers to a time zone.
219
+
220
  *Effects:* Initializes `zone_` with `std::move(z)` and `tp_` with
221
  `zone_->to_sys(tp, c)`.
222
 
223
  ``` cpp
224
  zoned_time(string_view name, const local_time<Duration>& tp, choose c);
 
354
  basic_ostream<charT, traits>&
355
  operator<<(basic_ostream<charT, traits>& os,
356
  const zoned_time<Duration, TimeZonePtr>& t);
357
  ```
358
 
359
+ *Effects:* Equivalent to:
 
360
 
361
+ ``` cpp
362
+ return os << format(os.getloc(), STATICALLY-WIDEN<charT>("{:L%F %T %Z}"), t);
363
+ ```
364