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

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

Return clause mentions undefined "type()"

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

Section: 22.10.17.3.6 [func.wrap.func.targ] Status: NAD Editorial Submitter: Daniel Krügler Opened: 2007-02-03 Last modified: 2016-01-28

Priority: Not Prioritized

View all other issues in [func.wrap.func.targ].

View all issues with NAD Editorial status.

Discussion:

22.10.17.3.6 [func.wrap.func.targ], p4 says:

Returns: If type() == typeid(T), a pointer to the stored function target; otherwise a null pointer.

1. There exists neither a type, a typedef type, nor member function type() in class template function nor in the global or std namespace.
2. Assuming that type should have been target_type(), this description would lead to false results, if T = cv void due to returns clause 22.10.17.3.6 [func.wrap.func.targ], p1.

Proposed resolution:

Change 22.10.17.3.6 [func.wrap.func.targ], p4:

Returns: If type() target_type() == typeid(T) && typeid(T) != typeid(void), a pointer to the stored function target; otherwise a null pointer.

[ Pete: Agreed. It's editorial, so I'll fix it. ]

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