220 13510 article Path: news.gmane.org!not-for-mail From: Ville Voutilainen Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: Generalizing the equivalence of auto and template type deduction Date: Thu, 2 Oct 2014 13:11:26 +0300 Lines: 23 Approved: news@gmane.org Message-ID: References: <0bf78c13-6ee2-4a9a-9de5-5ce2dc0e5a66@isocpp.org> <3cc36209-3837-4b00-a976-123e01d25a72@isocpp.org> <92d7f0ea-b21c-4645-a903-0237e3018fdb@email.android.com> <1c0df255-bceb-4658-bad6-e6ded4a902b0@email.android.com> 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 1412244698 26878 80.91.229.3 (2 Oct 2014 10:11:38 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 2 Oct 2014 10:11:38 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBC5JHI7A7ALRBTWJWSQQKGQEPIPCZPI@isocpp.org Thu Oct 02 12:11:33 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-pa0-f72.google.com ([209.85.220.72]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XZdM9-0005sp-4s for gclcip-std-proposals@m.gmane.org; Thu, 02 Oct 2014 12:11:29 +0200 Original-Received: by mail-pa0-f72.google.com with SMTP id kx10sf10799931pab.11 for ; Thu, 02 Oct 2014 03:11:27 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from: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=OSm1iFI5Sl708KuLvUAO3lJmi7plzQAWo2UYwCDWidI=; b=hmhgB8S7rCgdQ7zrg6rwoL6ahuAp/pWks6eQJEaBOGodzbKkQb6qBLpa1PPrI08Wee +6MiJOUoYNr0XkONL2EFM7SODkbzoRMoFIE0hZeqfNk+iX275Ru8gsA1XU2tPQOTTjzc 4oc7GAUXbCRreYa4r8z20ZSsjWu8DWSLBPeV/WXCCE1IYAGWr5mAxsO1ClicH6WNUWIu YhX7M+Tz+vStfY9y+hkM/fLAZNaU4hn/j+jjE0J9nXCF0s2Eb3YBaO5QFg+Ugl6ti7n2 PtHONWB0GOXiONn4H9+uysvzIFy0B9fjYc6OChnghe63Ou9wPF8utZ4q5bBmBJk/A04g XJeA== X-Gm-Message-State: ALoCoQkyPYnsWr5SUIxB6V9WCtSe7GYIfhtN4RExzSiUXEOVHqKJeeRtl0s9xdmDHwsuqwqpJmiC X-Received: by 10.66.141.165 with SMTP id rp5mr51296185pab.47.1412244687821; Thu, 02 Oct 2014 03:11:27 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.182.110.227 with SMTP id id3ls391870obb.13.gmail; Thu, 02 Oct 2014 03:11:26 -0700 (PDT) X-Received: by 10.60.45.204 with SMTP id p12mr18200147oem.44.1412244686814; Thu, 02 Oct 2014 03:11:26 -0700 (PDT) Original-Received: from mail-ob0-x236.google.com (mail-ob0-x236.google.com [2607:f8b0:4003:c01::236]) by mx.google.com with ESMTPS id p4si6544347oek.17.2014.10.02.03.11.26 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Thu, 02 Oct 2014 03:11:26 -0700 (PDT) Received-SPF: pass (google.com: domain of ville.voutilainen@gmail.com designates 2607:f8b0:4003:c01::236 as permitted sender) client-ip=2607:f8b0:4003:c01::236; Original-Received: by mail-ob0-f182.google.com with SMTP id uy5so1872444obc.41 for ; Thu, 02 Oct 2014 03:11:26 -0700 (PDT) X-Received: by 10.60.58.36 with SMTP id n4mr28333263oeq.73.1412244686699; Thu, 02 Oct 2014 03:11:26 -0700 (PDT) Original-Received: by 10.76.24.198 with HTTP; Thu, 2 Oct 2014 03:11:26 -0700 (PDT) In-Reply-To: <1c0df255-bceb-4658-bad6-e6ded4a902b0@email.android.com> X-Original-Sender: ville.voutilainen@gmail.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of ville.voutilainen@gmail.com designates 2607:f8b0:4003:c01::236 as permitted sender) smtp.mail=ville.voutilainen@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com 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:13510 Archived-At: On 2 October 2014 13:04, George Makrydakis wrote: > I am not saying it is totally useless, I am saying that it much, much, much > less useful once decltype tricks have to enter the scene. Imagine having to > read code using such overloads submitting to partial ordering. > In essence, it encourages metaprogrammimg boilerplate where there isn't need > for. I don't see how it encourages such boilerplate when there are solutions available which don't require that boilerplate. If I use auto, I don't care about the constraints. If I care about the constraints, I don't use auto. None of this makes the auto itself less useful, since it's a notational shorthand for the unconstrained case. -- --- 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/. .