]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
libstdc++: Add poison pill for chrono::from_stream
authorJonathan Wakely <jwakely@redhat.com>
Thu, 6 Mar 2025 20:23:29 +0000 (20:23 +0000)
committerJonathan Wakely <redi@gcc.gnu.org>
Fri, 7 Mar 2025 20:36:23 +0000 (20:36 +0000)
LWG 3956 (approved in Hagenberg, February 2025) decided that from_stream
should be found *only* by ADL, not ordinary unqualified lookup. Add a
poison pill overload to chrono::__detail where the __parsable concept
and operator>>(basic_istream&, _Parser) are defined. This ensures that
when they use from_stream unqualified ordinary lookup finds the poison
pill, which is deleted, so a usable overload resolution result can only
be found by ADL.

We already have the std/time/parse/parse.cc test checking that ADL
works, so this doesn't add a new test.

libstdc++-v3/ChangeLog:

* include/bits/chrono_io.h (chrono::__detail::from_stream): Add
deleted function as poison pill for unqualified lookup.

Reviewed-by: Patrick Palka <ppalka@redhat.com>
libstdc++-v3/include/bits/chrono_io.h

index 8c026586d4c9f0ddc991110e0f95416bea498364..c16b555df2909da1e8649a655638a1e28abf0a59 100644 (file)
@@ -3115,6 +3115,10 @@ namespace __detail
 
 namespace __detail
 {
+  // _GLIBCXX_RESOLVE_LIB_DEFECTS
+  // 3956. chrono::parse uses from_stream as a customization point
+  void from_stream() = delete;
+
   template<typename _Parsable, typename _CharT,
           typename _Traits = std::char_traits<_CharT>,
           typename... _OptArgs>