2371. [fund.ts] No template aliases defined for new type traits

Section: 99 [fund.ts::meta.type.synop] Status: TS Submitter: Joe Gottman Opened: 2014-03-07 Last modified: 2017-07-30

Priority: 0

View all issues with TS status.

Discussion:

Addresses: fund.ts

The library fundamentals specification defines two new type trait template classes: invocation_type and raw_invocation_type. But it does not define the corresponding template aliases. Note that both of these classes define a member typedef type and no other public members, so according to the argument in N3887 the template aliases should be defined.

[2013-06-21 Rapperswil]

Accept for Library Fundamentals TS Working Paper

Proposed resolution:

This wording is relative to N3908.

  1. Add the following to section 3.3.1[meta.type.synop] of the Library Fundamentals specification as indicated:

    namespace std {
    namespace experimental {
    inline namespace fundamentals_v1 {
      […]
      // 3.3.2, Other type transformations
      template <class> class invocation_type; // not defined
      template <class F, class... ArgTypes> class invocation_type<F(ArgTypes...)>;
      template <class> class raw_invocation_type; // not defined
      template <class F, class... ArgTypes> class raw_invocation_type<F(ArgTypes...)>;
      
      template <class T> 
        using invocation_type_t = typename invocation_type<T>::type;
      template <class T> 
        using raw_invocation_type_t = typename raw_invocation_type<T>::type;
      
    } // namespace fundamentals_v1
    } // namespace experimental
    } // namespace std