220 16772 <54F8BC59.3000702@coverity.com> article
Path: news.gmane.org!not-for-mail
From: Tom Honermann <thonermann@coverity.com>
Newsgroups: gmane.comp.lang.c++.isocpp.general,gmane.comp.lang.c++.isocpp.proposals
Subject: Re: [c++std-core-27199] Re: [std-proposals] Re: Re:
 An implementation of enhanced auto deduction and abbreviated template syntax
 using Clang
Date: Thu, 5 Mar 2015 15:28:09 -0500
Lines: 46
Approved: news@gmane.org
Message-ID: <54F8BC59.3000702@coverity.com>
References: <CABsSThrwV0UCbrmoxoeQUskOjvF2+RX5ctpSq3dPMPxm=t6mww@mail.gmail.com>	<7c7d06ea-1e25-4720-9486-ec068b514ea6@isocpp.org>	<CA+cyFgvMsbM0Tczjvy=dkJ1SpgtMNtjZtxzOxH8+N8QxuyzwEw@mail.gmail.com>	<CAJcCCPPqBt1iO3g_unhVPATT6cemOikVWzDVmsEL9dFLnmRMCA@mail.gmail.com>	<CA+cyFgt-JvWDJTwgUvS8qz-yXPshQKwntLjXPY=tBfNec8GkfQ@mail.gmail.com>	<CAGg_6+NiuSQMO1RHNJJc=-jK-qC75+K+=GgCg8z35O_EUZJ3=Q@mail.gmail.com> <CA+cyFgvUX2wwGUF4rXgD7+ZB1uBG5A6rwTV0uAof9nAbAoNQXw@mail.gmail.com>
Reply-To: std-discussion@isocpp.org
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
X-Trace: ger.gmane.org 1425587307 30732 80.91.229.3 (5 Mar 2015 20:28:27 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Thu, 5 Mar 2015 20:28:27 +0000 (UTC)
Cc: "std-discussion@isocpp.org" <std-discussion@isocpp.org>, Faisal Vali
	<faisalv@gmail.com>
To: <std-proposals@isocpp.org>, <c++std-core@accu.org>
Original-X-From: std-discussion+bncBDBNXSHG6UDBBYPY4KTQKGQE24GCZDA@isocpp.org Thu Mar 05 21:28:19 2015
Return-path: <std-discussion+bncBDBNXSHG6UDBBYPY4KTQKGQE24GCZDA@isocpp.org>
Envelope-to: gclcig-std-discussion@m.gmane.org
Original-Received: from mail-ie0-f198.google.com ([209.85.223.198])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <std-discussion+bncBDBNXSHG6UDBBYPY4KTQKGQE24GCZDA@isocpp.org>)
	id 1YTcNW-0003Lc-Tu
	for gclcig-std-discussion@m.gmane.org; Thu, 05 Mar 2015 21:28:19 +0100
Original-Received: by iecvy18 with SMTP id vy18sf48315906iec.1
        for <gclcig-std-discussion@m.gmane.org>; Thu, 05 Mar 2015 12:28:17 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:message-id:date:from:user-agent:mime-version:to
         :cc:subject:references:in-reply-to:content-type:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:list-post:list-help:list-archive:list-subscribe
         :list-unsubscribe;
        bh=YDxFMH7yITdlW2coxm3zeC8KtBuiizpN/Iigggaxgwc=;
        b=cA2hB0pRbJxuS52n6JULFalrhIx/33+EifKsvgiXBlAMPKUcgdFqEl/WNNBZofia1k
         xN6Ee/61QR9NjvAA7RP2mK5oM7U13WzHwJApZM7rf1cFR/s4WaHC+hU6VVegc8e/43tU
         WTh2s5qHZuY1lN2qF86AorUm4ySOlM5ycKJ8o87SKdAtx2oyVy4omMvPp6caYgJgKAc1
         H+9Ljd4DIl9ydRKTY3fEgHhyr9M7yXB6LrWbfUyM1qiQnsYlWmN4Pebjq9akZK8WtEeU
         g5exZYcVZGleTBW5NCwGGJhjYaEn1ZM+H7li9ymqOHp/L5Db8nM5qFjJG+8y6p9MncSM
         /rlA==
X-Gm-Message-State: ALoCoQkZs6fcKMZQ5gHSE7NkyaQe+LYtu6vNa1eprrxLfQ+8Oq3uPo3hpuVv7QKH/SQ3D9dZ1U1T
X-Received: by 10.182.210.227 with SMTP id mx3mr12097554obc.27.1425587297713;
        Thu, 05 Mar 2015 12:28:17 -0800 (PST)
X-BeenThere: std-discussion@isocpp.org
Original-Received: by 10.140.33.130 with SMTP id j2ls1501127qgj.37.gmail; Thu, 05 Mar
 2015 12:28:17 -0800 (PST)
X-Received: by 10.140.165.209 with SMTP id l200mr15403255qhl.84.1425587297259;
        Thu, 05 Mar 2015 12:28:17 -0800 (PST)
Original-Received: from na01-bn1-obe.outbound.protection.outlook.com (mail-bn1on0138.outbound.protection.outlook.com. [157.56.110.138])
        by mx.google.com with ESMTPS id b79si6925524qge.107.2015.03.05.12.28.16
        (version=TLSv1.2 cipher=ECDHE-RSA-AES128-SHA bits=128/128);
        Thu, 05 Mar 2015 12:28:17 -0800 (PST)
Received-SPF: pass (google.com: domain of thonermann@coverity.com designates 157.56.110.138 as permitted sender) client-ip=157.56.110.138;
Original-Received: from [192.168.1.13] (173.53.22.182) by
 CO2PR05MB714.namprd05.prod.outlook.com (10.141.228.148) with Microsoft SMTP
 Server (TLS) id 15.1.99.14; Thu, 5 Mar 2015 20:28:15 +0000
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0
In-Reply-To: <CA+cyFgvUX2wwGUF4rXgD7+ZB1uBG5A6rwTV0uAof9nAbAoNQXw@mail.gmail.com>
X-Originating-IP: [173.53.22.182]
X-ClientProxiedBy: BLUPR07CA092.namprd07.prod.outlook.com (25.160.24.47) To
 CO2PR05MB714.namprd05.prod.outlook.com (10.141.228.148)
X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:;SRVR:CO2PR05MB714;
X-Forefront-Antispam-Report: BMV:0;SFV:NSPM;SFS:(10019020)(6009001)(6049001)(377454003)(479174004)(33656002)(93886004)(76176999)(230783001)(59896002)(92566002)(42186005)(77096005)(2950100001)(50986999)(117156001)(86362001)(77156002)(50466002)(23676002)(87266999)(87976001)(122386002)(40100003)(62966003)(36756003)(46102003)(80316001)(54356999)(65956001)(47776003)(83506001)(66066001);DIR:OUT;SFP:1102;SCL:1;SRVR:CO2PR05MB714;H:[192.168.1.13];FPR:;SPF:None;MLV:sfv;LANG:en;
X-Microsoft-Antispam-PRVS: <CO2PR05MB7146F337091F50B9AA5D0FBCF1F0@CO2PR05MB714.namprd05.prod.outlook.com>
X-Exchange-Antispam-Report-Test: UriScan:;
X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(601004)(5001007)(5005006);SRVR:CO2PR05MB714;BCL:0;PCL:0;RULEID:;SRVR:CO2PR05MB714;
X-Forefront-PRVS: 05066DEDBB
X-OriginatorOrg: coverity.com
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 05 Mar 2015 20:28:15.6155 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CO2PR05MB714
X-Original-Sender: thonermann@coverity.com
X-Original-Authentication-Results: mx.google.com;       spf=pass (google.com:
 domain of thonermann@coverity.com designates 157.56.110.138 as permitted
 sender) smtp.mail=thonermann@coverity.com
Precedence: list
Mailing-list: list std-discussion@isocpp.org; contact std-discussion+owners@isocpp.org
List-ID: <std-discussion.isocpp.org>
X-Google-Group-Id: 495566654649
List-Post: <http://groups.google.com/a/isocpp.org/group/std-discussion/post>, <mailto:std-discussion@isocpp.org>
List-Help: <http://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-discussion+help@isocpp.org>
List-Archive: <http://groups.google.com/a/isocpp.org/group/std-discussion/>
List-Subscribe: <http://groups.google.com/a/isocpp.org/group/std-discussion/subscribe>,
 <mailto:std-discussion+subscribe@isocpp.org>
List-Unsubscribe: <mailto:googlegroups-manage+495566654649+unsubscribe@googlegroups.com>,
 <http://groups.google.com/a/isocpp.org/group/std-discussion/subscribe>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.general:4980 gmane.comp.lang.c++.isocpp.proposals:16772
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.general/4980>

On 03/05/2015 01:10 PM, 'Geoffrey Romer' via ISO C++ Standard - Future
> I'm not aware of any code that will work with one form but not the
> other. My point is simply that "auto" conveys less information to me as
> a human reader than a named template parameter would.

I've felt concerns about this as well, specifically with respect to 
behavioral differences observable in template functions vs non-template 
functions.

We all know that there is one object with static storage duration 
defined by this function:
   void f(int i) {
     static int invoke_count;
     ++invoke_count;
   }

And we all know that there are potentially many objects with static 
storage duration defined by this template function, one for each 
instantiation:
   template<typename T>
   void f(int i) {
     static int invoke_count;
     ++invoke_count;
   }

But, it is less apparent how many objects with static storage duration 
are defined by this function:
   void f(auto t) {
     static int invoke_count;
     ++invoke_count;
   }

I don't know that this is a significant concern.  But it is enough to 
give me pause.  I've personally never minded the template boilerplate, 
but I guess I'm weird that way.

Tom.

-- 

--- 
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-discussion+unsubscribe@isocpp.org.
To post to this group, send email to std-discussion@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-discussion/.

.
