[llvm-branch-commits] [libcxx] [libc++][TZDB] Finishes zoned_time member functions. (PR #95026)

[Louis Dionne via llvm-branch-commits]

================
@@ -0,0 +1,135 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// UNSUPPORTED: c++03, c++11, c++14, c++17
+// UNSUPPORTED: no-filesystem, no-localization, no-tzdb
+
+// XFAIL: libcpp-has-no-experimental-tzdb
+// XFAIL: availability-tzdb-missing
+
+// <chrono>
+
+// template<class Duration, class TimeZonePtr = const time_zone*>
+// class zoned_time;
+//
+// explicit operator local_time<duration>() const;
+
+#include <chrono>
+#include <concepts>
+
+#include "../test_offset_time_zone.h"
+
+namespace cr = std::chrono;
+
+static void test_const_member() {
+  {
+    using duration         = cr::nanoseconds;
+    using time_point       = cr::sys_time<duration>;
+    using local_time_point = cr::local_time<duration>;
+    static_assert(!std::is_convertible_v<local_time_point, cr::zoned_time<duration>>);
+    cr::zoned_time<duration> zt{"Etc/GMT+1", time_point{duration{42}}};
+
+    std::same_as<local_time_point> decltype(auto) time = static_cast<local_time_point>(zt);
+    assert(time == local_time_point{duration{42} - cr::hours{1}});
+  }
+  {
+    using duration         = cr::nanoseconds;
+    using time_point       = cr::sys_time<duration>;
+    using local_time_point = cr::local_time<duration>;
+    static_assert(!std::is_convertible_v<local_time_point, const cr::zoned_time<duration>>);
+    const cr::zoned_time<duration> zt{"Etc/GMT+1", time_point{duration{42}}};
+
+    std::same_as<local_time_point> decltype(auto) time = static_cast<local_time_point>(zt);
+    assert(time == local_time_point{duration{42} - cr::hours{1}});
+  }
+}
+
+static void test_duration_conversion() {
+  // common_type_t<duration, seconds> -> duration
+  {
+    using duration         = cr::nanoseconds;
+    using time_point       = cr::sys_time<duration>;
+    using local_time_point = cr::local_time<duration>;
+    cr::zoned_time<duration> zt{"Etc/GMT+1", time_point{duration{42}}};
+
+    std::same_as<local_time_point> decltype(auto) time = static_cast<local_time_point>(zt);
+    assert(time == local_time_point{duration{42} - cr::hours{1}});
+  }
+  {
+    using duration         = cr::microseconds;
+    using time_point       = cr::sys_time<duration>;
+    using local_time_point = cr::local_time<duration>;
+    cr::zoned_time<duration> zt{"Etc/GMT+1", time_point{duration{42}}};
+
+    std::same_as<local_time_point> decltype(auto) time = static_cast<local_time_point>(zt);
+    assert(time == local_time_point{duration{42} - cr::hours{1}});
+  }
+  {
+    using duration         = cr::milliseconds;
+    using time_point       = cr::sys_time<duration>;
+    using local_time_point = cr::local_time<duration>;
+    cr::zoned_time<duration> zt{"Etc/GMT+1", time_point{duration{42}}};
+
+    std::same_as<local_time_point> decltype(auto) time = static_cast<local_time_point>(zt);
+    assert(time == local_time_point{duration{42} - cr::hours{1}});
+  }
+  // common_type_t<seconds, seconds> -> seconds
+  {
+    using duration         = cr::seconds;
+    using time_point       = cr::sys_time<duration>;
+    using local_time_point = cr::local_time<duration>;
+    cr::zoned_time<duration> zt{"Etc/GMT+1", time_point{duration{42}}};
+
+    std::same_as<local_time_point> decltype(auto) time = static_cast<local_time_point>(zt);
+    assert(time == local_time_point{duration{42} - cr::hours{1}});
+  }
+  // common_type_t<duration, seconds> -> seconds
+  {
+    using duration         = cr::days;
+    using time_point       = cr::sys_time<duration>;
+    using local_time_point = cr::local_time<cr::seconds>;
+    cr::zoned_time<duration> zt{"Etc/GMT+1", time_point{duration{42}}};
+
+    std::same_as<local_time_point> decltype(auto) time = static_cast<local_time_point>(zt);
+    assert(time == local_time_point{duration{42} - cr::hours{1}});
+  }
+  {
+    using duration         = cr::weeks;
+    using time_point       = cr::sys_time<duration>;
+    using local_time_point = cr::local_time<cr::seconds>;
+    cr::zoned_time<duration> zt{"Etc/GMT+1", time_point{duration{42}}};
+
+    std::same_as<local_time_point> decltype(auto) time = static_cast<local_time_point>(zt);
+    assert(time == local_time_point{duration{42} - cr::hours{1}});
+  }
+  {
+    using duration         = cr::months;
+    using time_point       = cr::sys_time<duration>;
+    using local_time_point = cr::local_time<cr::seconds>;
+    cr::zoned_time<duration> zt{"Etc/GMT+1", time_point{duration{42}}};
+
+    std::same_as<local_time_point> decltype(auto) time = static_cast<local_time_point>(zt);
+    assert(time == local_time_point{duration{42} - cr::hours{1}});
+  }
+  {
+    using duration         = cr::years;
+    using time_point       = cr::sys_time<duration>;
+    using local_time_point = cr::local_time<cr::seconds>;
+    cr::zoned_time<duration> zt{"Etc/GMT+1", time_point{duration{42}}};
----------------
ldionne wrote:

Note that you could make all of those `zt`'s `const` since the method is `const`.

https://github.com/llvm/llvm-project/pull/95026