220 13091 article Path: news.gmane.org!not-for-mail From: Matthew Woehlke Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Idea for new contextual keyword Date: Wed, 24 Sep 2014 19:04:58 -0400 Lines: 36 Approved: news@gmane.org Message-ID: References: <2ff42d9d-16df-4040-8ae1-0a17d4f78d97@isocpp.org> <0762e1e8-a99e-41c8-a96f-49fc824178ba@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1411599925 27151 80.91.229.3 (24 Sep 2014 23:05:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 24 Sep 2014 23:05:25 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCO5FYHBU4ERBKE4RWQQKGQEFJ5VH3Y@isocpp.org Thu Sep 25 01:05:15 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-wg0-f70.google.com ([74.125.82.70]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XWvcZ-0004fD-AL for gclcip-std-proposals@m.gmane.org; Thu, 25 Sep 2014 01:05:15 +0200 Original-Received: by mail-wg0-f70.google.com with SMTP id a1sf4026376wgh.9 for ; Wed, 24 Sep 2014 16:05:14 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:to:from:subject:date:lines:message-id:references :mime-version:user-agent:in-reply-to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe:content-type; bh=MxEjJUBqDWmoYL5cC72rcYw6j9GUpLgzdNBZmG+A8ic=; b=DbKl5YEivrYjsMdsHAxeRtxd/cLuJ/k31Mhj7swB9MW6rCwVlERYp3wh5zp9pI541Y dnv2DbqHR6wmukgW5W3tKimMaU/MJEHw/bmrNSzPoMbk3ON5KliaivStQwiHqV8SEivD m5w2yEsquej+EvfbDPn7p/eN9KwujMneYG++m5u/uv16wpfAtKEj0R02a7THsNXzQ72T 08MzkCMHyVsp17tf5MX+23rtFkGul9k8Zy7GHaMXbQ2tD/ZZ/k/C2Wi0hdED4OhhSDte L7qhz2rC5c98lMw+Eii6MihIZ2yquBAAh6ZnQAzMQTsimT3gPTB4pD5/jGF12DWotCwC tAzw== X-Gm-Message-State: ALoCoQnoxpJTgvQKLFXGae9hpdvuqDRfsip+UPhMBAIZJUk0Zxm8PE7Q/DjcATovd5brnS8E/869 X-Received: by 10.112.145.136 with SMTP id su8mr1011543lbb.9.1411599914343; Wed, 24 Sep 2014 16:05:14 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.152.8.199 with SMTP id t7ls234288laa.3.gmail; Wed, 24 Sep 2014 16:05:12 -0700 (PDT) X-Received: by 10.152.116.84 with SMTP id ju20mr8687986lab.33.1411599912353; Wed, 24 Sep 2014 16:05:12 -0700 (PDT) Original-Received: from plane.gmane.org (plane.gmane.org. [80.91.229.3]) by mx.google.com with ESMTPS id e10si620972lae.93.2014.09.24.16.05.12 for (version=TLSv1 cipher=RC4-SHA bits=128/128); Wed, 24 Sep 2014 16:05:12 -0700 (PDT) Received-SPF: pass (google.com: domain of gclcip-std-proposals@m.gmane.org designates 80.91.229.3 as permitted sender) client-ip=80.91.229.3; Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1XWvcV-0004cz-Rq for std-proposals@isocpp.org; Thu, 25 Sep 2014 01:05:11 +0200 Original-Received: from cpe-67-240-43-113.nycap.res.rr.com ([67.240.43.113]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 25 Sep 2014 01:05:11 +0200 Original-Received: from mw_triad by cpe-67-240-43-113.nycap.res.rr.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Thu, 25 Sep 2014 01:05:11 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 27 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: cpe-67-240-43-113.nycap.res.rr.com User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.7.0 In-Reply-To: X-Original-Sender: mw_triad@users.sourceforge.net X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of gclcip-std-proposals@m.gmane.org designates 80.91.229.3 as permitted sender) smtp.mail=gclcip-std-proposals@m.gmane.org Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:13091 Archived-At: On 2014-09-24 18:42, Ville Voutilainen wrote: > On 25 September 2014 01:37, Matthew Woehlke wrote: >> I also think you're missing the point. I want the compiler to help me >> find bugs in my program. An implicit ctor that I didn't mean to be >> implicit is a bug. I want the compiler to be able to tell me 'hey, did >> you really mean this ctor to be implicit?' (which obviously implies >> having a way to say 'yes, really I did'). This way, if I *didn't* mean >> that, I am warned and have a chance to fix my code early, rather than it >> being silently wrong and coming back to bite me later in a way that's >> more difficult to track down. >> >> (Naturally, all of the above applies to conversion operators also...) > > There's no need to standardize anything for a compiler to be able to do that. Sure. Hence my original question if anyone is implementing this, or has asked to have this implemented, in some existing compiler. (I haven't, yet, but it's on my mental to do list to file this as an RFE on GCC if no one has done so already.) Having a standardized mechanism for such annotation can *help*, as it lessens the complexity of using the annotation and encourages compiler vendors to provide the desired diagnostic, but as you correctly point out, it's not strictly necessary. -- Matthew -- --- You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/. .