220 25318 <56F043E5.7010505@wanadoo.fr> article
Path: news.gmane.org!not-for-mail
From: "Vicente J. Botet Escriba" <vicente.botet@wanadoo.fr>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Re: [RFC] Call for considering "the big picture"
 re: tuples and parameter packs
Date: Mon, 21 Mar 2016 19:56:37 +0100
Lines: 42
Approved: news@gmane.org
Message-ID: <56F043E5.7010505@wanadoo.fr>
References: <nch85i$8ob$1@ger.gmane.org>
 <1FCE896E-001A-4F56-8866-FB201ABF3391@gmx.de> <nck8gb$9kp$1@ger.gmane.org>
 <6605C1A6-7DB7-4CDF-9B36-BEE95D90CAED@gmx.de> <ncmni2$ir6$1@ger.gmane.org>
 <56EF33D4.5070509@wanadoo.fr> <20160321032111.4898897.41547.8488@gmail.com>
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 1458586609 2957 80.91.229.3 (21 Mar 2016 18:56:49 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Mon, 21 Mar 2016 18:56:49 +0000 (UTC)
To: std-proposals@isocpp.org
Original-X-From: std-proposals+bncBDH67CONY4PBBZUHYG3QKGQEWFCNGYY@isocpp.org Mon Mar 21 19:56:40 2016
Return-path: <std-proposals+bncBDH67CONY4PBBZUHYG3QKGQEWFCNGYY@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-wm0-f71.google.com ([74.125.82.71])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <std-proposals+bncBDH67CONY4PBBZUHYG3QKGQEWFCNGYY@isocpp.org>)
	id 1ai50K-0004dv-52
	for gclcip-std-proposals@m.gmane.org; Mon, 21 Mar 2016 19:56:40 +0100
Original-Received: by mail-wm0-f71.google.com with SMTP id l68sf35898385wml.1
        for <gclcip-std-proposals@m.gmane.org>; Mon, 21 Mar 2016 11:56:39 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=isocpp-org.20150623.gappssmtp.com; s=20150623;
        h=subject:to:references:from:message-id:date:user-agent:mime-version
         :in-reply-to: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=U4lU6tzv9qf8GayjFmOrQjj2FgX6UddoIhlxjRQIQo8=;
        b=zqHIAz7yJ0Jdpz7MVU+5UjeXkrCgR215GiPBluOdyBJtQx2VkqXRRyTLtTQCQNkfNW
         UgHdj4+yYybaJuxpg2XPynL4l3Gogg1cm93YQ+vAXCjtuiXZPSc2A/6IlP2VuvfwmEWb
         fykL8l1nGq3K0eKEKwTQkc98uk4IPyxbHiW87V5QO7s8EBZAnXBLogkVCffj+OZ05VGV
         HUaiadyFnbBbMSxj1ExRS0G+WdRq+JER7GS7uNs4NBqZ9iEQjhDwzd3SCAqZpNUyF4nz
         XESkc9qFQ4OiJ699rTq64qlKrr66DBIV3LUIMPfx9+rdH1+on7FItUVag5nUVffZtsr0
      
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:subject:to:references:from:message-id:date
         :user-agent:mime-version:in-reply-to: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=U4lU6tzv9qf8GayjFmOrQjj2FgX6UddoIhlxjRQIQo8=;
        b=IFXf2NN2tREE7LCxoVX6YJFyl/KFJHTheFMH2abWcVJlwVn2aBw3HRe6fcRee3bfRr
         I1JrGGq7Tpx11ytTVqmVjzXnxPXyk5+HCLWRw8XhMvKt3EPwfd5KtpcCT8R5VsHLPFF/
         vdPLO/HSwAnqYZr2gmaGW+PuOqUsOgFxGyDUgRPE5IAwuPqbHwDhbfo6P577K2V0eWTB
         jyuE2nhpBb3y8Q0PEOW6PwOnP6AcPlH3NrCpfetkZiOVG2IsLPFGxSkgZD6mNRd7Jy4s
         JUM6tjzD19QoWXNqPOEeepJs2kK5w5CcSG8/t8kyAGu1jhv4J1wcC1r+ubFw/dskkGWu
  
X-Gm-Message-State: AD7BkJIqZHXyS1D8ykX5BYOFRitAwKKKVJUYruYTcE9bP98Y/9jFUlK2Rm/9mIfZDhMiRA==
X-Received: by 10.25.31.81 with SMTP id f78mr3949601lff.7.1458586599563;
        Mon, 21 Mar 2016 11:56:39 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.28.98.194 with SMTP id w185ls689457wmb.0.gmail; Mon, 21 Mar
 2016 11:56:38 -0700 (PDT)
X-Received: by 10.28.21.75 with SMTP id 72mr14942817wmv.64.1458586598396;
        Mon, 21 Mar 2016 11:56:38 -0700 (PDT)
Original-Received: from smtp.smtpout.orange.fr (smtp02.smtpout.orange.fr. [80.12.242.124])
        by mx.google.com with ESMTPS id em4si33022797wjd.240.2016.03.21.11.56.38
        for <std-proposals@isocpp.org>
        (version=TLS1 cipher=AES128-SHA bits=128/128);
        Mon, 21 Mar 2016 11:56:38 -0700 (PDT)
Received-SPF: neutral (google.com: 80.12.242.124 is neither permitted nor denied by best guess record for domain of vicente.botet@wanadoo.fr) client-ip=80.12.242.124;
Original-Received: from new-host.home ([92.139.140.101])
	by mwinf5d25 with ME
	id Yiwd1s00Q2BTYes03iwdt1; Mon, 21 Mar 2016 19:56:38 +0100
X-ME-Helo: new-host.home
X-ME-Auth: dmljZW50ZS5ib3RldEB3YW5hZG9vLmZy
X-ME-Date: Mon, 21 Mar 2016 19:56:38 +0100
X-ME-IP: 92.139.140.101
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:38.0)
 Gecko/20100101 Thunderbird/38.7.0
In-Reply-To: <20160321032111.4898897.41547.8488@gmail.com>
X-Original-Sender: vicente.botet@wanadoo.fr
X-Original-Authentication-Results: mx.google.com;       spf=neutral
 (google.com: 80.12.242.124 is neither permitted nor denied by best guess
 record for domain of vicente.botet@wanadoo.fr) smtp.mailfrom=vicente.botet@wanadoo.fr
Precedence: list
Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org
List-ID: <std-proposals.isocpp.org>
X-Spam-Checked-In-Group: std-proposals@isocpp.org
X-Google-Group-Id: 399137483710
List-Post: <https://groups.google.com/a/isocpp.org/group/std-proposals/post>, <mailto:std-proposals@isocpp.org>
List-Help: <https://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-proposals+help@isocpp.org>
List-Archive: <https://groups.google.com/a/isocpp.org/group/std-proposals/>
List-Subscribe: <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:std-proposals+subscribe@isocpp.org>
List-Unsubscribe: <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>,
 <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:25318
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/25318>

Le 21/03/2016 04:21, Tony V E a =C3=A9crit :
> Could the member access syntax actually be s[N] for some struct or class =
s?
>
> ie just extend operator[] to allow the return type to be different for di=
fferent constexpr inputs.
>
> Then arrays (and vectors, etc) 'just work'. This assumes you never want t=
o access the actual members of vector (ie v._ptr and v._size or whatever th=
e vector implementation uses). I think it is safe to assume that any class =
that overrides operator[] wants to be array-like and doesn't want its membe=
rs exposed as a tuple.
>
> ?
Maybe. But the function the problem is not in get<I>(t). it is in=20
tuple_size<T>::value, and is the size operator that need to be defined.


Having the names of the operator is important, but I believe that we=20
need to confirm or not that we have to define them as operators or not=20
to avoid the library dependency.

Vicente


P.S.

Boost.Hana make use already of the operator[] on heterogeneous=20
sequences. With user defined literal we could have

// Access tuple elements with operator[] instead of std::get.
Cat garfield =3D animals[1_c];

--=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.
To view this discussion on the web visit https://groups.google.com/a/isocpp=
..org/d/msgid/std-proposals/56F043E5.7010505%40wanadoo.fr.

.
