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

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

§[algorithms.requirements] It is unclear what an algorithm is

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

Section: 26.2 [algorithms.requirements] Status: New Submitter: Jan Schultke Opened: 2025-06-08 Last modified: 2025-06-14

Priority: Not Prioritized

View other active issues in [algorithms.requirements].

View all other issues in [algorithms.requirements].

View all issues with New status.

Discussion:

26.2 [algorithms.requirements] paragraph 15 states:

The well-formedness and behavior of a call to an algorithm with an explicitly-specified template argument list is unspecified, except where explicitly stated otherwise.

It is unclear what this applies to because "algorithm" is never defined. 26.2 [algorithms.requirements] paragraph 1 uses the term while mentioning iterators and containers, but [algorithm] specifies function templates such as std::gcd which do not accept iterators.

Proposed resolution:

This wording is relative to N5008.

1. Modify 26.2 [algorithms.requirements] as indicated:

   -15- The well-formedness and behavior of a call to an algorithm a function template specified in Clause 26 [algorithms] (including call operators of algorithm function objects denoted as algorithms throughout Clause 26.2 [algorithms.requirements]) with an explicitly-specified template argument list is unspecified, except where explicitly stated otherwise.

   [Note 3: Consequently, an implementation can declare an algorithm with different template parameters than those presented. — end note]

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