This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 115f. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2024-12-06
[Accepted as a DR at the February, 2023 meeting.]
In 13.1 [temp.pre] paragraph 8, the phrase "templated entity" is defined. The derived term "templated function" is never actually defined, but is intended to apply to function templates as well as non-template members of class templates. Similarly, the phrases "templated variable" and "templated class" should be properly defined.
Proposed resolution (approved by CWG 2023-01-27):
Change in 9.2.9.7.1 [dcl.spec.auto.general] paragraph 12 as follows:
Return type deduction for a templatedentity that is afunctionor function templatewith a placeholder in its declared type occurs when the definition is instantiated even if the function body contains a return statement with a non-type-dependent operand.
Change in 13.1 [temp.pre] paragraph 8 as follows:
[Note 6: A local class, a local or block variable, or a friend function defined in a templated entity is a templated entity. —end note]
A templated function is a function template or a function that is templated. A templated class is a class template or a class that is templated. A templated variable is a variable template or a variable that is templated.