From: dgregor_at_[hidden]
Date: 2008-04-11 08:59:48
Author: dgregor
Date: 2008-04-11 08:59:48 EDT (Fri, 11 Apr 2008)
New Revision: 44174
URL: http://svn.boost.org/trac/boost/changeset/44174
Log:
Deal with the implicit object parameter in candidate set
Text files modified:
sandbox/committee/concepts/wording/wording.tex | 10 +++++++---
1 files changed, 7 insertions(+), 3 deletions(-)
Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex (original)
+++ sandbox/committee/concepts/wording/wording.tex 2008-04-11 08:59:48 EDT (Fri, 11 Apr 2008)
@@ -5369,17 +5369,21 @@
\item \addedCC{it has the same name as the seed,}
\item \addedCC{its enclosing namespace is the same as the enclosing
namespace of the seed,}
-\item \addedCC{it has the same return type as the seed, after references
- and then top-level \mbox{\techterm{cv-qualifiers}} have been
+\item \addedCC{it has the same return type as the seed, after the
+ reference (if any)
+ and then top-level \mbox{\techterm{cv-qualifiers}} (if any) have been
removed, and}
\additemCC{it has the same \mbox{\techterm{parameter-type-list}} as
the seed, after making the following adjustments to both
\mbox{\techterm{parameter-type-list}}:}
\begin{itemize}
+ \additemCC{for a non-member function, add the implicit
+ object parameter (\mbox{\ref{over.match.funcs}}) as the first
+ parameter in the \mbox{\techterm{parameter-type-list}},}
\additemCC{for each parameter type, remove the top-level reference
(if any) and then top-level \mbox{\techterm{cv-qualifiers}} (if
any), and}
- \additemCC{if the function has \mbox{$M$} parameters, the seed as
+ \additemCC{if the function has \mbox{$M$} parameters, the seed has
\mbox{$N$} parameters, and \mbox{$M > N$}, remove each of the last
\mbox{$M-N$} parameters that has a default argument from the
\mbox{\techterm{parameter-type-list}}.}