Changeset 48285


Ignore:
Timestamp:
Aug 21, 2008, 9:30:45 PM (10 years ago)
Author:
Douglas Gregor
Message:

Move a paragraph into its proper place in [temp.over.link]

File:
1 edited

Legend:

Unmodified
Added
Removed
  • sandbox/committee/concepts/wording/wording.tex

    r48284 r48285  
    595595If the template argument list of the concept instance references a
    596596template parameter or associated type of a requirement, and if the name,
    597 when looked up within the scope of the concept of the concept instance,
    598 unambiguously refers to an associated type or class template, the result
     597when looked up within the scope of the concept}
     598\changedCCC{of}{(not}
     599\addedConcepts{the concept instance}\addedCC{)}\addedConcepts{,}
     600\removedCCC{unambiguously}
     601\addedConcepts{refers to an associated type or class template, the result
    599602of name lookup is the associated type or class template as a member of the
    600603requirement.
    601604    \mbox{\enternote}\ this implies that, given two distinct type parameters
    602     T and U, C<T>::type and C<U>::type are distinct types (though they may
    603     refer to the same archetype).  Also, the mere lookup of 'type' within C<T>
    604     and C<U> does not require the creation of a concept map archetype for
    605     C<T> or C<U>.
     605    \mbox{\tcode{T}} and \mbox{\tcode{U}}, \mbox{\tcode{C<T>::type}} and \mbox{\tcode{C<U>::type}} are distinct types (although they may
     606    refer to the same archetype).  Also, lookup of 'type' within \mbox{\tcode{C<T>}}
     607    and \mbox{\tcode{C<U>}} does not require the creation of a concept map archetype for
     608    \mbox{\tcode{C<T>}} or \mbox{\tcode{C<U>}}.
    606609    \mbox{\exitnote}\ }
    607610\additemConcepts{
     
    27742777
    27752778\rSec2[temp.fct]{Function templates}
    2776 
    2777 \setcounter{Paras}{6}
     2779\rSec3[temp.over.link]{Function template overloading}
     2780
     2781\setcounter{Paras}{5}
    27782782\pnum
    27792783Two function templates are
     
    27812785if they are declared in the same scope, have the same name, have
    27822786identical template parameter lists, \addedConcepts{have identical
    2783   template requirements}, and have return types
     2787  template requirements (if any)}, and have return types
    27842788  and parameter
    27852789lists that are equivalent using the rules described above to compare
Note: See TracChangeset for help on using the changeset viewer.