220 13505 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 12:47:51 +0300 Lines: 18 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> 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 1412243280 8318 80.91.229.3 (2 Oct 2014 09:48:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 2 Oct 2014 09:48:00 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBC5JHI7A7ALRBR56WSQQKGQE6HKTQTI@isocpp.org Thu Oct 02 11:47:54 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ob0-f198.google.com ([209.85.214.198]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1XZczJ-0005Mc-Hv for gclcip-std-proposals@m.gmane.org; Thu, 02 Oct 2014 11:47:53 +0200 Original-Received: by mail-ob0-f198.google.com with SMTP id wp4sf8393556obc.5 for ; Thu, 02 Oct 2014 02:47:52 -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=c3rokTzOJZb7CIA6hxbswuUAj2D8qTzrEIcFdHEeoOY=; b=hA9PJqMqwDYwauA2Ub1ydU4O1e2mB/Hn9upHJLxXTqu2N1nXDbQ7DgeN64eTE2+D7P Q39dvyeXW9r6lI4YQM8WbPcDCkHDJ9XNh9k/g7Pps8gfFZeEqUHGAI7og2QykzlLYvKF YYWRT6S9Bf4iQSL3EQkk2UIaugFhA1yvXXPVdayzAqBwAmRDhBt4zqnTOavuyS17Zf7d 1u/hX1u6We5vMX23/1s0NduKEYUjJpo1vhnHx6DLTz8mNtq5kCfcNQ/VSi6/ypXZ1S5X E37JGaqlbvh67AyosiPw9RPjiVPF+mg5XCE4aN96MoOi+TMhsWR2MeZ1oHnwW/XwHVAy lvMA== X-Gm-Message-State: ALoCoQmrw4X8x4TDcFFGlJhms2dwLBq4R9wdGqWOATXivDydR/wq9PhFVskkkEZobk/exY8GUJ1o X-Received: by 10.42.122.209 with SMTP id o17mr2580114icr.28.1412243272465; Thu, 02 Oct 2014 02:47:52 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.182.165.65 with SMTP id yw1ls353578obb.59.gmail; Thu, 02 Oct 2014 02:47:51 -0700 (PDT) X-Received: by 10.60.35.6 with SMTP id d6mr26033532oej.77.1412243271811; Thu, 02 Oct 2014 02:47:51 -0700 (PDT) Original-Received: from mail-ob0-x229.google.com (mail-ob0-x229.google.com [2607:f8b0:4003:c01::229]) by mx.google.com with ESMTPS id e2si6413514obv.34.2014.10.02.02.47.51 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Thu, 02 Oct 2014 02:47:51 -0700 (PDT) Received-SPF: pass (google.com: domain of ville.voutilainen@gmail.com designates 2607:f8b0:4003:c01::229 as permitted sender) client-ip=2607:f8b0:4003:c01::229; Original-Received: by mail-ob0-f169.google.com with SMTP id m8so1923976obr.0 for ; Thu, 02 Oct 2014 02:47:51 -0700 (PDT) X-Received: by 10.60.96.65 with SMTP id dq1mr63564731oeb.33.1412243271411; Thu, 02 Oct 2014 02:47:51 -0700 (PDT) Original-Received: by 10.76.24.198 with HTTP; Thu, 2 Oct 2014 02:47:51 -0700 (PDT) In-Reply-To: <92d7f0ea-b21c-4645-a903-0237e3018fdb@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::229 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:13505 Archived-At: On 2 October 2014 12:43, George Makrydakis wrote: > Which is what has already been said, but you ignored it. The notation gets > longer and weirder with such placeholders, not offering any real no rational > advantage. You are only exchanging 'typename' with auto plus decltype for > constraining even in the most trivial case. No we are not, because we don't write auto when we want to constrain the type. The notation doesn't get longer and weirder, and it's shorter because we don't need a template header for the generic function we write. -- --- 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/. .