220 23739 article Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Agust=c3=adn_K-ballo_Berg=c3=a9?= Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: Default tuple-like access Date: Fri, 15 Jan 2016 12:40:52 -0300 Lines: 35 Approved: news@gmane.org Message-ID: References: <569583AD.9050208@wanadoo.fr> <5697E783.2020509@wanadoo.fr> <5698067B.3010706@wanadoo.fr> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1452872472 27503 80.91.229.3 (15 Jan 2016 15:41:12 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 15 Jan 2016 15:41:12 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBD2JZ7PP7QERBBNG4S2AKGQEJ4OYGBY@isocpp.org Fri Jan 15 16:41:02 2016 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-pa0-f69.google.com ([209.85.220.69]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aK6Um-0004Tn-9g for gclcip-std-proposals@m.gmane.org; Fri, 15 Jan 2016 16:41:00 +0100 Original-Received: by mail-pa0-f69.google.com with SMTP id yy13sf391894626pab.0 for ; Fri, 15 Jan 2016 07:40:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=message-id:subject:to:references:from:date:user-agent:mime-version :in-reply-to:content-type:content-transfer-encoding :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=AJewJUYic2axkzzW4JR6DnLYV+Y6oW9MP/CRuzWm5Pc=; b=VI50bdAxHqZDkTmcsBtTZ+1p120748TS+NL+GGfM3PUK+ypuF6dgkdsQkcAMLmoW+L DvYZ280lzPha8XNZe+WGVm3zJUtLJ2odyqmzxG7PkqO9BPi/k6JRqxCBGVSqxhJz2gdn 43M+1KP3xcnOSq0U1YY4htVEGTxyjl2d9IEpgMmNrW7E2TnawcUY76Wh4ZKZI/8en7fm t22SJTABw+3UrRKJDrblny+on3m+fboRSWtrdyD45GVS8GTPXC0WqArkuWq22YV42awM n8onBcFE1y1bYG172FS/QRLsEavd8GYb/rT09segxqWSqDqtnHrq0WN8IbHZW X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:message-id:subject:to:references:from:date :user-agent:mime-version:in-reply-to:content-type :content-transfer-encoding:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=AJewJUYic2axkzzW4JR6DnLYV+Y6oW9MP/CRuzWm5Pc=; b=aDB323Frgunp6Wne93OuLdS/wsxytlYGQBbe/sAKM54yiu1mOAoX0nrm25EmMzCoWj xiiq6F42PijHvIQN93kyGKtPni2QUMXHNGOfOm2KNTgJCU7Mjy1kE9GnTAJdCX0IUR6c Bf12krajARt3y//tuM+DOV7pOK2/NIu9cCQg90A0I3tC2gDn7V0CzOpAvkawWpkcMe3b e6z/AWXA3tz7vNiAqHibjYSpcCGk0VWDocHGWSgnviFVD9Vl79Kn6bF3zxNNz6Dy/E2J roJ6HsrmHQdjoy6FoZ8wvWv+Ud8jWSdHIhzyeLwte3EPR14 X-Gm-Message-State: ALoCoQkrQJgrl5jtdlNlDjYB7HQoLInFjemgMIolaW1iJmOwDcf4xVAg2PPLtJTbyRebdLGvzMaQ8n46EI52xGAgs8ee0Hc41A== X-Received: by 10.66.233.137 with SMTP id tw9mr9174774pac.47.1452872454353; Fri, 15 Jan 2016 07:40:54 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.140.42.49 with SMTP id b46ls1256294qga.56.gmail; Fri, 15 Jan 2016 07:40:52 -0800 (PST) X-Received: by 10.55.77.216 with SMTP id a207mr13782375qkb.80.1452872452738; Fri, 15 Jan 2016 07:40:52 -0800 (PST) Original-Received: from BLU004-OMC1S36.hotmail.com (blu004-omc1s36.hotmail.com. [65.55.116.47]) by mx.google.com with ESMTPS id t105si13798333qgd.119.2016.01.15.07.40.52 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Fri, 15 Jan 2016 07:40:52 -0800 (PST) Received-SPF: pass (google.com: domain of kaballo86@hotmail.com designates 65.55.116.47 as permitted sender) client-ip=65.55.116.47; Original-Received: from BLU436-SMTP50 ([65.55.116.7]) by BLU004-OMC1S36.hotmail.com over TLS secured channel with Microsoft SMTPSVC(7.5.7601.23008); Fri, 15 Jan 2016 07:40:52 -0800 X-TMN: [SBYlXe7oW6MfCt99s8WSmRI0s9Whst/l] X-Originating-Email: [kaballo86@hotmail.com] User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 In-Reply-To: X-OriginalArrivalTime: 15 Jan 2016 15:40:50.0888 (UTC) FILETIME=[1CA2AC80:01D14FAB] X-Original-Sender: kaballo86@hotmail.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of kaballo86@hotmail.com designates 65.55.116.47 as permitted sender) smtp.mailfrom=kaballo86@hotmail.com; dmarc=pass (p=NONE dis=NONE) header.from=hotmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org 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:23739 Archived-At: On 1/15/2016 12:24 PM, Matthew Woehlke wrote: > On 2016-01-15 10:18, Agust=C3=ADn K-ballo Berg=C3=A9 wrote: >> I don't think your suggestion is viable, the standard mandates a hard >> error when the `I` in `get` is out of bounds, which rules out poking >> via SFINAE. > > Does that necessarily apply if it is the compiler itself doing the > poking? Is there a reason that restriction (if it even does genuinely > prevent SFINAE) cannot have an exception for Implicitly Provided Tuple Si= ze? That would equate to speculative compilation, and having to roll back=20 the entire state of the compiler at any arbitrary point during=20 instantiation. There's a reason for SFINAE only happening in an "immediate context".=20 Maybe the compiler could fork itself and see how the instantiation=20 goes... :) Regards, --=20 Agust=C3=ADn K-ballo Berg=C3=A9.- http://talesofcpp.fusionfenix.com --=20 ---=20 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 e= mail to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. Visit this group at https://groups.google.com/a/isocpp.org/group/std-propos= als/. .