Add support for `absl::InfiniteFuture`, `absl::InfinitePast`, matching…

Add support for `absl::InfiniteFuture`, `absl::InfinitePast`, matching established Google-internal conventions under absl/python.

Also replace floating-point arithmetic in the handling of microseconds with integer arithmetic, to sidestep subtle round-off issues. See the source code comment in the new `internal::GetTimestampMicrosFromDateTimeObj()` function for details.

PiperOrigin-RevId: 529169464

pybind11_abseil/absl_casters.h

@@ -111,11 +111,67 @@ struct type_caster<absl::TimeZone> {
 };
 };
 
 
 namespace internal {
 namespace internal {
+
 inline void EnsurePyDateTime_IMPORT() {
 inline void EnsurePyDateTime_IMPORT() {
   if (PyDateTimeAPI == nullptr) {
   if (PyDateTimeAPI == nullptr) {
     PyDateTime_IMPORT;
     PyDateTime_IMPORT;
   }
   }
 }
 }
+
+constexpr int64_t GetInt64PythonErrorIndicatorSet = INT64_MAX;
+
+inline int64_t GetTimestampMicrosFromDateTimeObj(PyObject* dt_obj) {
+  // Part 1: Integer seconds.
+  PyObject* dt_timestamp_py = PyObject_CallMethod(dt_obj, "timestamp", nullptr);
+  if (dt_timestamp_py == nullptr) {
+    return GetInt64PythonErrorIndicatorSet;
+  }
+  double dt_timestamp_dbl = PyFloat_AsDouble(dt_timestamp_py);
+  Py_DECREF(dt_timestamp_py);
+  if (PyErr_Occurred()) {
+    return GetInt64PythonErrorIndicatorSet;
+  }
+  // The fractional part is intentionally discarded here because
+  // IEEE 754 binary64 precision (aka double precision) is insufficient for
+  // loss-free representation of micro-second resolution timestamps in the
+  // [datetime.datetime.min, datetime.datetime.max] range:
+  // https://github.com/rwgk/stuff/blob/f688c13c6cf5cefa1b41013d2f636fd10e0ba091/python_datetime/datetime_timestamp_floating_point_behavior_output.txt
+  auto dt_timestamp_secs_int64 =
+      static_cast<int64_t>(std::floor(dt_timestamp_dbl));
+
+  // Part 2: Integer microseconds.
+  auto dt_microsecond = PyDateTime_DATE_GET_MICROSECOND(dt_obj);
+  static_assert(sizeof(dt_microsecond) >= 3,
+                "Decimal value 999999 needs at least 3 bytes.");
+
+  return dt_timestamp_secs_int64 * 1000000 +
+         static_cast<int64_t>(dt_microsecond);
+}
+
+// The latest and earliest dates Python's datetime module can represent.
+constexpr absl::Time::Breakdown kDatetimeInfiniteFuture = {
+    9999, 12, 31, 23, 59, 59, absl::Microseconds(999999)};
+constexpr absl::Time::Breakdown kDatetimeInfinitePast = {
+    1, 1, 1, 0, 0, 0, absl::ZeroDuration()};
+
+// NOTE: Python datetime tzinfo is deliberately ignored.
+// Rationale:
+// * datetime.datetime.min,max have tzinfo=None.
+// * In contrast, the conversions here return datetime.datetime.min,max with
+//   tzinfo replaced (UTC).
+// * It would be disruptive (and unproductive) to change the behavior of the
+//   conversions here.
+// * tzinfo for datetime.datetime.min,max is rather meaningless in general,
+//   but especially so when those are used as placeholders for infinity.
+inline bool is_special_datetime(const absl::Time::Breakdown& bd_py,
+                                const absl::Time::Breakdown& bd_special) {
+  return (bd_py.year == bd_special.year && bd_py.month == bd_special.month &&
+          bd_py.day == bd_special.day && bd_py.hour == bd_special.hour &&
+          bd_py.minute == bd_special.minute &&
+          bd_py.second == bd_special.second &&
+          bd_py.subsecond == bd_special.subsecond);
+}
+
 }  // namespace internal
 }  // namespace internal
 
 
 // Convert between absl::Duration and python datetime.timedelta.
 // Convert between absl::Duration and python datetime.timedelta.
@@ -191,6 +247,35 @@ struct type_caster<absl::Time> {
 
 
   // Conversion part 1 (Python->C++)
   // Conversion part 1 (Python->C++)
   bool load(handle src, bool convert) {
   bool load(handle src, bool convert) {
+    // As early as possible to avoid mid-process surprises.
+    internal::EnsurePyDateTime_IMPORT();
+    if (PyDateTime_Check(src.ptr())) {
+      absl::Time::Breakdown bd_py = {
+          PyDateTime_GET_YEAR(src.ptr()),
+          PyDateTime_GET_MONTH(src.ptr()),
+          PyDateTime_GET_DAY(src.ptr()),
+          PyDateTime_DATE_GET_HOUR(src.ptr()),
+          PyDateTime_DATE_GET_MINUTE(src.ptr()),
+          PyDateTime_DATE_GET_SECOND(src.ptr()),
+          absl::Microseconds(PyDateTime_DATE_GET_MICROSECOND(src.ptr()))};
+      if (internal::is_special_datetime(bd_py,
+                                        internal::kDatetimeInfiniteFuture)) {
+        value = absl::InfiniteFuture();
+        return true;
+      }
+      if (internal::is_special_datetime(bd_py,
+                                        internal::kDatetimeInfinitePast)) {
+        value = absl::InfinitePast();
+        return true;
+      }
+      int64_t dt_timestamp_micros =
+          internal::GetTimestampMicrosFromDateTimeObj(src.ptr());
+      if (dt_timestamp_micros == internal::GetInt64PythonErrorIndicatorSet) {
+        throw error_already_set();
+      }
+      value = absl::FromUnixMicros(dt_timestamp_micros);
+      return true;
+    }
     if (convert) {
     if (convert) {
       if (PyLong_Check(src.ptr())) {
       if (PyLong_Check(src.ptr())) {
         value = absl::FromUnixSeconds(src.cast<int64_t>());
         value = absl::FromUnixSeconds(src.cast<int64_t>());
@@ -246,6 +331,15 @@ struct type_caster<absl::Time> {
     // This function truncates fractional microseconds as the python datetime
     // This function truncates fractional microseconds as the python datetime
     // objects cannot support a resolution higher than this.
     // objects cannot support a resolution higher than this.
     auto py_datetime_t = module::import("datetime").attr("datetime");
     auto py_datetime_t = module::import("datetime").attr("datetime");
+    if (src == absl::InfiniteFuture()) {
+      // For compatibility with absl/python/time.cc
+      return replace_tzinfo_utc(py_datetime_t(9999, 12, 31, 23, 59, 59, 999999))
+          .release();
+    }
+    if (src == absl::InfinitePast()) {
+      // For compatibility with absl/python/time.cc
+      return replace_tzinfo_utc(py_datetime_t(1, 1, 1, 0, 0, 0, 0)).release();
+    }
     auto py_from_timestamp = py_datetime_t.attr("fromtimestamp");
     auto py_from_timestamp = py_datetime_t.attr("fromtimestamp");
     auto py_timezone_t = module::import("dateutil.tz").attr("gettz");
     auto py_timezone_t = module::import("dateutil.tz").attr("gettz");
     auto py_timezone = py_timezone_t(absl::LocalTimeZone().name());
     auto py_timezone = py_timezone_t(absl::LocalTimeZone().name());
@@ -253,6 +347,13 @@ struct type_caster<absl::Time> {
     auto py_datetime = py_from_timestamp(as_seconds, "tz"_a = py_timezone);
     auto py_datetime = py_from_timestamp(as_seconds, "tz"_a = py_timezone);
     return py_datetime.release();
     return py_datetime.release();
   }
   }
+
+ private:
+  static object replace_tzinfo_utc(handle dt) {
+    auto py_timezone_utc =
+        module::import("datetime").attr("timezone").attr("utc");
+    return dt.attr("replace")(arg("tzinfo") = py_timezone_utc);
+  }
 };
 };
 
 
 template <typename CivilTimeUnitType>
 template <typename CivilTimeUnitType>

pybind11_abseil/tests/absl_example.cc

@@ -345,6 +345,12 @@ PYBIND11_MODULE(absl_example, m) {
   m.def("absl_time_overloads", [](const absl::Time&) { return "absl::Time"; });
   m.def("absl_time_overloads", [](const absl::Time&) { return "absl::Time"; });
   m.def("absl_time_overloads", [](int) {  return "int"; });
   m.def("absl_time_overloads", [](int) {  return "int"; });
   m.def("absl_time_overloads", [](float) { return "float"; });
   m.def("absl_time_overloads", [](float) { return "float"; });
+  m.def("make_infinite_future", []() { return absl::InfiniteFuture(); });
+  m.def("is_infinite_future",
+        [](const absl::Time& time) { return time == absl::InfiniteFuture(); });
+  m.def("make_infinite_past", []() { return absl::InfinitePast(); });
+  m.def("is_infinite_past",
+        [](const absl::Time& time) { return time == absl::InfinitePast(); });
 
 
   m.def("roundtrip_duration", &RoundtripDuration, arg("duration"));
   m.def("roundtrip_duration", &RoundtripDuration, arg("duration"));
   m.def("roundtrip_time", &RoundtripTime, arg("time"));
   m.def("roundtrip_time", &RoundtripTime, arg("time"));

pybind11_abseil/tests/absl_test.py

@@ -132,6 +132,7 @@ class AbslTimeTest(parameterized.TestCase):
     time_local_naive = time_local_aware.replace(tzinfo=None)
     time_local_naive = time_local_aware.replace(tzinfo=None)
     for time in (time_utc, time_local_aware, time_local_naive):
     for time in (time_utc, time_local_aware, time_local_naive):
       self.assertTrue(absl_example.check_datetime(time, secs))
       self.assertTrue(absl_example.check_datetime(time, secs))
+      self.assertEqual(int(absl_example.roundtrip_time(time).timestamp()), secs)
 
 
   def test_pass_datetime_pre_unix_epoch(self):
   def test_pass_datetime_pre_unix_epoch(self):
     dt = datetime.datetime(1969, 7, 16, 10, 56, 7, microsecond=140)
     dt = datetime.datetime(1969, 7, 16, 10, 56, 7, microsecond=140)
@@ -267,6 +268,28 @@ class AbslTimeTest(parameterized.TestCase):
     # Conversion from datetime.time to absl::Duration ignores tzinfo!
     # Conversion from datetime.time to absl::Duration ignores tzinfo!
     self.assertEqual((dt2 - dt1).seconds, 0)
     self.assertEqual((dt2 - dt1).seconds, 0)
 
 
+  def test_infinite_future(self):
+    inff = absl_example.make_infinite_future()
+    self.assertEqual(inff.replace(tzinfo=None), datetime.datetime.max)
+    self.assertTrue(absl_example.is_infinite_future(inff))
+    self.assertFalse(
+        absl_example.is_infinite_future(
+            inff - datetime.timedelta(microseconds=1)
+        )
+    )
+    self.assertLess(self.TEST_DATETIME_UTC, inff)
+
+  def test_infinite_past(self):
+    infp = absl_example.make_infinite_past()
+    self.assertEqual(infp.replace(tzinfo=None), datetime.datetime.min)
+    self.assertTrue(absl_example.is_infinite_past(infp))
+    self.assertFalse(
+        absl_example.is_infinite_future(
+            infp + datetime.timedelta(microseconds=1)
+        )
+    )
+    self.assertGreater(self.TEST_DATETIME_UTC, infp)
+
 
 
 def make_read_only_numpy_array():
 def make_read_only_numpy_array():
   values = np.zeros(5, dtype=np.int32)
   values = np.zeros(5, dtype=np.int32)