From -823460910844501557
X-Google-Thread: f78e5,cc5f8341523fbc66,start
X-Google-NewGroupId: yes
X-Google-Attributes: gid7894ca11fe,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: g2news1.google.com!news2.google.com!news.glorb.com!news2.glorb.com!news.alt.net!frodo.cs.rpi.edu!not-for-mail
From: "Johannes Schaub (litb)" <schaub-johannes@web.de>
Newsgroups: comp.std.c++
Subject: FCD issue: Contradiction about dependency of "operator T()"
Followup-To: comp.std.c++
Date: Fri, 27 Aug 2010 13:28:46 CST
Organization: T-Online
Lines: 26
Sender: cppmods@cs.rpi.edu
Approved: james.dennett@gmail.com
Message-ID: <i58efj$eav$02$1@news.t-online.com>
NNTP-Posting-Host: netlab.cs.rpi.edu
Content-Type: text/plain; charset="ISO-8859-1"
To: (Usenet)
Return-Path: <cppmods@ruralroute.cs.rpi.edu>
X-Original-Date: Fri, 27 Aug 2010 15:29:24 +0200
X-Submission-Address: std-c++@netlab.cs.rpi.edu
Xref: g2news1.google.com comp.std.c++:2918

The FCD changed the text of 14.7.2/1 about the Status of dependency of a
function call to read like

"In an expression of the form:

postfix-expression ( expression-list[opt] )

where the postfix-expression is an unqualified-id , the unqualified-id
denotes a dependent name if and only if any of the expressions in the
expression-list is a type-dependent expression (14.7.2.2)."

This rule contradicts 14.7.2.2/3 which says

"An id-expression is type-dependent if it contains:
 - a conversion-function-id that specifies a dependent type,"

Since the time frame for FCD issue reports is over, i'm not sure where i
should send this issue to.


--
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@netlab.cs.rpi.edu]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.comeaucomputing.com/csc/faq.html                      ]



