3771. [fund.ts.v3] remove binders typedefs from function

Section: 99 [fund.ts.v3::func.wrap.func.overview] Status: C++23 Submitter: Alisdair Meredith Opened: 2022-09-12 Last modified: 2023-11-22 15:47:43 UTC

Priority: Not Prioritized

View all issues with C++23 status.


Addresses: fund.ts.v3

The LFTSv3 bases its specification for experimental::function on std::function in the C++20 standard. However, the wording was largely copied over from LFTSv2 which based its wording on the C++14 standard.

For C++17, we removed the conditionally defined typedefs for the legacy binders API, but this removal was not reflected in the TS. We are now left with a specification referring to unknown types, T1 and T2.

These typedefs should be excised to match the referenced standard.

[2022-09-23; Reflector poll]

Set status to Tentatively Ready after ten votes in favour during reflector poll.

[2022-11-12 Approved at November 2022 meeting in Kona. Status changed: Voting → WP.]

Proposed resolution:

This wording is relative to N4920.

  1. Modify the synopsis in 99 [fund.ts.v3::func.wrap.func.overview] as indicated:

    namespace std {
      namespace experimental::inline fundamentals_v3 {
        template<class> class function; // undefined
        template<class R, class... ArgTypes>
        class function<R(ArgTypes...)> {
          using result_type = R;
          using argument_type = T1;
          using first_argument_type T1;
          using second_argument_type = T2;
          using allocator_type = erased_type;
          // ...