public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "zyn7109 at gmail dot com" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug libstdc++/104465] New: std::vector<std::string> should satisfy std::ranges::viewable_range (P2415 for -c++2b) Date: Wed, 09 Feb 2022 12:40:27 +0000 [thread overview] Message-ID: <bug-104465-4@http.gcc.gnu.org/bugzilla/> (raw) https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104465 Bug ID: 104465 Summary: std::vector<std::string> should satisfy std::ranges::viewable_range (P2415 for -c++2b) Product: gcc Version: 12.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: libstdc++ Assignee: unassigned at gcc dot gnu.org Reporter: zyn7109 at gmail dot com Target Milestone: --- Given the following code, ```cpp #include <iostream> #include <ranges> #include <string> #include <vector> int foo(std::ranges::viewable_range auto) { return 1; } // #1 int foo(auto) { return 0; } // #2 int main() { const std::vector<std::string> v {"1", "2", "3", "4"}; std::cout << foo(v) << " "; for (auto vv: v | std::views::reverse) std::cout << vv << " "; // #3 } ``` compiling with GCC 12.0.1 (20220208) (https://wandbox.org/permlink/aPZzDSVF0wbtUQF8), the output is "0 4 3 2 1" rather than "1 4 3 2 1" since the overload resolution selects #2 for `foo`. However, as P2415 was merged into C++23 (https://github.com/cplusplus/papers/issues/1085), `std::vector<std::string>` is now a `viewable_range` and with Clang 15, "1 4 3 2 1" is the result. (https://wandbox.org/permlink/8uzBa0Ot6Yj22Z0l). It seems that P2415 is still not implemented for libstdc++ yet. However, GCC accepts #3 since range was introduced from GCC 10.x (I'm not quite sure which version) while considering `std::ranges::viewable_range<std::vector<std::string>> == false`. As the cppreference (https://en.cppreference.com/w/cpp/ranges/reverse_view) or C++20 draft suggests (24.7.1 [range.adaptor.object]/1, https://timsong-cpp.github.io/cppwp/n4861/range.adaptors#range.adaptor.object-1), the range adaptor `std::views::reverse` only takes `viewable_range` as arguments. So it makes me confused and I wonder if I missed something. Clang 13 rejects the above code (https://gcc.godbolt.org/z/xoKesEz7q), which is as expected.
next reply other threads:[~2022-02-09 12:40 UTC|newest] Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top 2022-02-09 12:40 zyn7109 at gmail dot com [this message] 2022-02-09 12:43 ` [Bug libstdc++/104465] " zyn7109 at gmail dot com 2022-02-09 13:16 ` redi at gcc dot gnu.org 2022-02-09 13:22 ` redi at gcc dot gnu.org 2022-02-09 13:24 ` redi at gcc dot gnu.org 2022-02-09 13:35 ` redi at gcc dot gnu.org 2022-02-09 14:55 ` zyn7109 at gmail dot com
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-104465-4@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).