From 846958715585750340
X-Google-Thread: f78e5,cc5f8341523fbc66
X-Google-NewGroupId: yes
X-Google-Attributes: gid7894ca11fe,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: g2news1.google.com!news1.google.com!news.glorb.com!news.alt.net!frodo.cs.rpi.edu!not-for-mail
From: David Krauss <potswa@gmail.com>
Newsgroups: comp.std.c++
Subject: Re: FCD issue: Contradiction about dependency of "operator T()"
Date: Fri, 27 Aug 2010 18:10:38 CST
Organization: http://groups.google.com
Lines: 43
Sender: cppmods@cs.rpi.edu
Approved: austern@google.com
Message-ID: <5176b18a-9065-4dd2-83c5-896f78f19dbd@x42g2000yqx.googlegroups.com>
References: <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:06:52 -0700 (PDT)
X-Submission-Address: std-c++@netlab.cs.rpi.edu<std-c%2B%2B@netlab.cs.rpi.edu>
Xref: g2news1.google.com comp.std.c++:2922

On Aug 27, 2:28 pm, "Johannes Schaub (litb)" <schaub-johan...@web.de>
wrote:
> The FCD changed the text of 14.7.2/1 about the Status of dependency of a

Replace all 14.7.x with 14.6.x.

> 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,"

Why are conversion functions particularly significant? I think the
idea here is that such a function may be named by a typedef or
dependent typename.

The first thing in that list is

- an identifier associated by name lookup with one or more
declarations declared with a dependent type

So if an argument is declared with dependent type, the function
identifier is associated with a dependent type by name lookup, hence
dependent.


--
[ 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<std-c%2B%2B@netlab.cs.rpi.edu>
]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.comeaucomputing.com/csc/faq.html                      ]



