[libcxx-commits] [libcxx] a17e97e - [libc++] Add missing C++20 [time.point.arithmetic] (#143165)
via libcxx-commits
libcxx-commits at lists.llvm.org
Tue Jun 10 23:43:27 PDT 2025
Author: maflcko
Date: 2025-06-11T08:43:23+02:00
New Revision: a17e97e6778b2cd4114052faf6ee25db330ef405
URL: https://github.com/llvm/llvm-project/commit/a17e97e6778b2cd4114052faf6ee25db330ef405
DIFF: https://github.com/llvm/llvm-project/commit/a17e97e6778b2cd4114052faf6ee25db330ef405.diff
LOG: [libc++] Add missing C++20 [time.point.arithmetic] (#143165)
This was part of https://wg21.link/p0355r7, but apparently never
implemented.
---------
Co-authored-by: MarcoFalke <*~=`'#}+{/-|&$^_ at 721217.xyz>
Co-authored-by: Hristo Hristov <zingam at outlook.com>
Added:
libcxx/test/std/time/time.point/time.point.arithmetic/op_++.pass.cpp
libcxx/test/std/time/time.point/time.point.arithmetic/op_++int.pass.cpp
libcxx/test/std/time/time.point/time.point.arithmetic/op_--.pass.cpp
libcxx/test/std/time/time.point/time.point.arithmetic/op_--int.pass.cpp
Modified:
libcxx/include/__chrono/time_point.h
libcxx/include/chrono
Removed:
################################################################################
diff --git a/libcxx/include/__chrono/time_point.h b/libcxx/include/__chrono/time_point.h
index 6b866b882f89a..fc4408d23dbf1 100644
--- a/libcxx/include/__chrono/time_point.h
+++ b/libcxx/include/__chrono/time_point.h
@@ -58,6 +58,19 @@ class time_point {
// arithmetic
+#if _LIBCPP_STD_VER >= 20
+ _LIBCPP_HIDE_FROM_ABI constexpr time_point& operator++() {
+ ++__d_;
+ return *this;
+ }
+ _LIBCPP_HIDE_FROM_ABI constexpr time_point operator++(int) { return time_point{__d_++}; }
+ _LIBCPP_HIDE_FROM_ABI constexpr time_point& operator--() {
+ --__d_;
+ return *this;
+ }
+ _LIBCPP_HIDE_FROM_ABI constexpr time_point operator--(int) { return time_point{__d_--}; }
+#endif // _LIBCPP_STD_VER >= 20
+
_LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX17 time_point& operator+=(const duration& __d) {
__d_ += __d;
return *this;
diff --git a/libcxx/include/chrono b/libcxx/include/chrono
index cd9b98872083e..82e99a31bcc9f 100644
--- a/libcxx/include/chrono
+++ b/libcxx/include/chrono
@@ -132,6 +132,11 @@ public:
// arithmetic
+ constexpr time_point& operator++(); // C++20
+ constexpr time_point operator++(int); // C++20
+ constexpr time_point& operator--(); // C++20
+ constexpr time_point operator--(int); // C++20
+
time_point& operator+=(const duration& d); // constexpr in C++17
time_point& operator-=(const duration& d); // constexpr in C++17
diff --git a/libcxx/test/std/time/time.point/time.point.arithmetic/op_++.pass.cpp b/libcxx/test/std/time/time.point/time.point.arithmetic/op_++.pass.cpp
new file mode 100644
index 0000000000000..e035d7ef4fa0e
--- /dev/null
+++ b/libcxx/test/std/time/time.point/time.point.arithmetic/op_++.pass.cpp
@@ -0,0 +1,35 @@
+//===----------------------------------------------------------------------===//
+//
+// 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
+//
+//===----------------------------------------------------------------------===//
+// REQUIRES: std-at-least-c++20
+
+// <chrono>
+
+// time_point
+
+// constexpr time_point& operator++();
+
+#include <cassert>
+#include <chrono>
+
+#include "test_macros.h"
+
+constexpr bool test() {
+ using Clock = std::chrono::system_clock;
+ using Duration = std::chrono::milliseconds;
+ std::chrono::time_point<Clock, Duration> t{Duration{5}};
+ std::chrono::time_point<Clock, Duration>& tref{++t};
+ assert(&tref == &t);
+ assert(tref.time_since_epoch() == Duration{6});
+ return true;
+}
+
+int main(int, char**) {
+ test();
+ static_assert(test());
+ return 0;
+}
diff --git a/libcxx/test/std/time/time.point/time.point.arithmetic/op_++int.pass.cpp b/libcxx/test/std/time/time.point/time.point.arithmetic/op_++int.pass.cpp
new file mode 100644
index 0000000000000..5304d37d5c361
--- /dev/null
+++ b/libcxx/test/std/time/time.point/time.point.arithmetic/op_++int.pass.cpp
@@ -0,0 +1,35 @@
+//===----------------------------------------------------------------------===//
+//
+// 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
+//
+//===----------------------------------------------------------------------===//
+// REQUIRES: std-at-least-c++20
+
+// <chrono>
+
+// time_point
+
+// constexpr time_point operator++(int);
+
+#include <cassert>
+#include <chrono>
+
+#include "test_macros.h"
+
+constexpr bool test() {
+ using Clock = std::chrono::system_clock;
+ using Duration = std::chrono::milliseconds;
+ std::chrono::time_point<Clock, Duration> t1{Duration{3}};
+ std::chrono::time_point<Clock, Duration> t2{t1++};
+ assert(t1.time_since_epoch() == Duration{4});
+ assert(t2.time_since_epoch() == Duration{3});
+ return true;
+}
+
+int main(int, char**) {
+ test();
+ static_assert(test());
+ return 0;
+}
diff --git a/libcxx/test/std/time/time.point/time.point.arithmetic/op_--.pass.cpp b/libcxx/test/std/time/time.point/time.point.arithmetic/op_--.pass.cpp
new file mode 100644
index 0000000000000..915156fcc6b8c
--- /dev/null
+++ b/libcxx/test/std/time/time.point/time.point.arithmetic/op_--.pass.cpp
@@ -0,0 +1,35 @@
+//===----------------------------------------------------------------------===//
+//
+// 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
+//
+//===----------------------------------------------------------------------===//
+// REQUIRES: std-at-least-c++20
+
+// <chrono>
+
+// time_point
+
+// constexpr time_point& operator--();
+
+#include <cassert>
+#include <chrono>
+
+#include "test_macros.h"
+
+constexpr bool test() {
+ using Clock = std::chrono::system_clock;
+ using Duration = std::chrono::milliseconds;
+ std::chrono::time_point<Clock, Duration> t{Duration{5}};
+ std::chrono::time_point<Clock, Duration>& tref{--t};
+ assert(&tref == &t);
+ assert(tref.time_since_epoch() == Duration{4});
+ return true;
+}
+
+int main(int, char**) {
+ test();
+ static_assert(test());
+ return 0;
+}
diff --git a/libcxx/test/std/time/time.point/time.point.arithmetic/op_--int.pass.cpp b/libcxx/test/std/time/time.point/time.point.arithmetic/op_--int.pass.cpp
new file mode 100644
index 0000000000000..cc5f462106bbf
--- /dev/null
+++ b/libcxx/test/std/time/time.point/time.point.arithmetic/op_--int.pass.cpp
@@ -0,0 +1,35 @@
+//===----------------------------------------------------------------------===//
+//
+// 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
+//
+//===----------------------------------------------------------------------===//
+// REQUIRES: std-at-least-c++20
+
+// <chrono>
+
+// time_point
+
+// constexpr time_point operator--(int);
+
+#include <cassert>
+#include <chrono>
+
+#include "test_macros.h"
+
+constexpr bool test() {
+ using Clock = std::chrono::system_clock;
+ using Duration = std::chrono::milliseconds;
+ std::chrono::time_point<Clock, Duration> t1{Duration{3}};
+ std::chrono::time_point<Clock, Duration> t2{t1--};
+ assert(t1.time_since_epoch() == Duration{2});
+ assert(t2.time_since_epoch() == Duration{3});
+ return true;
+}
+
+int main(int, char**) {
+ test();
+ static_assert(test());
+ return 0;
+}
More information about the libcxx-commits
mailing list