Return-Path: 
 <dev-return-7973-apmail-stdcxx-dev-archive=stdcxx.apache.org@stdcxx.apache.org>
Delivered-To: apmail-stdcxx-dev-archive@www.apache.org
Received: (qmail 41308 invoked from network); 25 Jun 2008 20:02:41 -0000
Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.2)
  by minotaur.apache.org with SMTP; 25 Jun 2008 20:02:41 -0000
Received: (qmail 12735 invoked by uid 500); 25 Jun 2008 20:02:42 -0000
Delivered-To: apmail-stdcxx-dev-archive@stdcxx.apache.org
Received: (qmail 12712 invoked by uid 500); 25 Jun 2008 20:02:42 -0000
Mailing-List: contact dev-help@stdcxx.apache.org; run by ezmlm
Precedence: bulk
List-Help: <mailto:dev-help@stdcxx.apache.org>
List-Unsubscribe: <mailto:dev-unsubscribe@stdcxx.apache.org>
List-Post: <mailto:dev@stdcxx.apache.org>
List-Id: <dev.stdcxx.apache.org>
Reply-To: dev@stdcxx.apache.org
Delivered-To: mailing list dev@stdcxx.apache.org
Received: (qmail 12701 invoked by uid 99); 25 Jun 2008 20:02:42 -0000
Received: from athena.apache.org (HELO athena.apache.org) (140.211.11.136)
    by apache.org (qpsmtpd/0.29) with ESMTP; Wed, 25 Jun 2008 13:02:42 -0700
X-ASF-Spam-Status: No, hits=-0.0 required=10.0
	tests=SPF_PASS
X-Spam-Check-By: apache.org
Received-SPF: pass (athena.apache.org: local policy)
Received: from [208.30.140.160] (HELO moroha.roguewave.com) (208.30.140.160)
    by apache.org (qpsmtpd/0.29) with ESMTP; Wed, 25 Jun 2008 20:01:52 +0000
Received: from exchmail01.Blue.Roguewave.Com (exchmail01.blue.roguewave.com
 [10.22.129.22])
	by moroha.roguewave.com (8.13.6/8.13.6) with ESMTP id m5PK2AXs017899
	for <dev@stdcxx.apache.org>; Wed, 25 Jun 2008 20:02:10 GMT
X-MimeOLE: Produced By Microsoft Exchange V6.5
Content-class: urn:content-classes:message
MIME-Version: 1.0
Content-Type: text/plain;
	charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
Subject: RE: :decay related question
Date: Wed, 25 Jun 2008 14:01:35 -0600
Message-ID: 
 <CFFDD219128FD94FB4F92B99F52D0A4901E0FBF0@exchmail01.Blue.Roguewave.Com>
X-MS-Has-Attach: 
X-MS-TNEF-Correlator: 
Thread-Topic: :decay related question
Thread-Index: AcjWMZl7h8yp/LzuT8CGIXm7BPaCpQAzHe5A
References: 
 <CFFDD219128FD94FB4F92B99F52D0A49010A3875@exchmail01.Blue.Roguewave.Com>
 <CFFDD219128FD94FB4F92B99F52D0A499AA8B5@exchmail01.Blue.Roguewave.Com>
 <48614C9B.5010802@roguewave.com>
From: "Travis Vitek" <Travis.Vitek@roguewave.com>
To: <dev@stdcxx.apache.org>
X-Virus-Checked: Checked by ClamAV on apache.org

=20

Martin Sebor wrote:
>
>Travis Vitek wrote:
>> =20
>>> Eric Lemings wrote:
>>>
>>> Page 490, section 20.3.1.2, paragraph 1 in the latest draft=20
>>> says this:
>>>
>>> "Let Ui be decay<Ti>::type for each Ti in Types. Then each=20
>>> Vi in Vtypes is X& if Ui equals reference_wrapper<X>,
>>> otherwise Vi is Ui."
>>>
>>> What do you suppose the relationship is between type `X'=20
>>> and types `Ti' and `Ui'?  I see how the latter two types
>>> are deduced from the type list `Types' but not so sure
>>> about how type `X' is deduced from `Types'.
>>=20
>> I'm looking at this and I have no idea where VTypes and X are coming
>> from. Is that an issue, or am I missing something?
>
>Have you found an issue for any of this? (If not, we/I will
>need to open one.)
>

I don't see one. Unless Brad knows something that we don't, I think it
should be brought up.

>Martin
>
>>=20
>> That said, I think X is supposed to be Ti. If that were the case then
>> the definition would make some sense [at least to me].
>>=20
>>   Let Ui be decay<Ti>::type for each Ti in Types. Then each
>>   Vi in VTypes is Ti& if Ui equals reference_wrapper<Ti>,
>>   otherwise Vi is Ui.
>>=20
>> If that is right, then it essentially says that the 'make_tuple'
>> function transforms reference_wrapper<T> back to T& and for=20
>other types
>> does the normal decay transformation [function to funciton pointer,
>> array to array pointer, and cv-stripping of all other types].
>>=20
>> Travis
>>=20
>>> Brad.
>>>
>
>