Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://cplusplus.github.io/LWG/issue3405 below:

common_view's converting constructor is bad, too

This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of C++23 status.

Section: 25.7.20.2 [range.common.view] Status: C++23 Submitter: Casey Carter Opened: 2020-02-20 Last modified: 2023-11-22

Priority: 0

View all other issues in [range.common.view].

View all issues with C++23 status.

Discussion:

LWG 3280⁽ⁱ⁾ struck the problematic/extraneous converting constructor templates from the meow_view range adaptor types in the standard library with the exception of common_view. The omission of common_view seems to have been simply an oversight: its converting constructor template is no less problematic or extraneous. We should remove common_view's converting constructor template as well to finish the task. Both cmcstl2 and range-v3 removed the converting constructor template from common_view when removing the other converting constructor templates, so we have implementation experience that this change is good as well as consistent with the general thrust of LWG 3280⁽ⁱ⁾.

[2020-03-11 Issue Prioritization]

Status set to Tentatively Ready after seven positive votes on the reflector.

[2020-11-09 Approved In November virtual meeting. Status changed: Tentatively Ready → WP.]

Proposed resolution:

This wording is relative to N4849.

1. Modify 25.7.20.2 [range.common.view], class template common_view synopsis, as indicated:

     
     […]
     constexpr explicit common_view(V r);
     
     template<viewable_range R>
       requires (!common_range<R> && constructible_from<V, all_view<R>>)
     constexpr explicit common_view(R&& r);
     
     constexpr V base() const& requires copy_constructible<V> { return base_; }
     […]
     
   

   […]

   template<viewable_range R>
     requires (!common_range<R> && constructible_from<V, all_view<R>>)
   constexpr explicit common_view(R&& r);
   

   -2- Effects: Initializes base_ with views::all(std::forward<R>(r)).

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4