220 39463 <17350bb9-f223-48b5-9d64-70173325e678@isocpp.org> article Path: news.gmane.org!.POSTED!not-for-mail From: Alberto Barbati Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Allow use of "->" when operator* presents Date: Tue, 31 Jul 2018 23:35:29 -0700 (PDT) Lines: 76 Approved: news@gmane.org Message-ID: <17350bb9-f223-48b5-9d64-70173325e678@isocpp.org> References: <53f13047-62e7-4b31-ab7d-f3134e15eb08@isocpp.org> <2a326be3-4a3d-466e-819f-56dbac65b620@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_12003_244940908.1533105329330" X-Trace: blaine.gmane.org 1533105206 21834 195.159.176.226 (1 Aug 2018 06:33:26 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 1 Aug 2018 06:33:26 +0000 (UTC) Cc: junekey91@gmail.com To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBCPY5DV6RIMBBMVJQXNQKGQEKCEVNHY@isocpp.org Wed Aug 01 08:33:22 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-yw0-f198.google.com ([209.85.161.198]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fkkhF-0005c9-Oz for gclcip-std-proposals@m.gmane.org; Wed, 01 Aug 2018 08:33:21 +0200 Original-Received: by mail-yw0-f198.google.com with SMTP id 133-v6sf11031089ywq.4 for ; Tue, 31 Jul 2018 23:35:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:from:to:cc:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=9iXEX5/mbEEHTa1w79LS1UADg/gl6x3UfFpgy7vceBw=; b=S2PWeMbY5W7n5ZnRCdmzx8h3NUNlf6lPu9n9BS+RhSUQ1iuXExIJ1XIKRsYdh5z7t1 NXk2SXPLUGWteB8dMEHYSPy++R/7RFIdzuBDLbGss59Qvhcz6g/u8QsIOzsiFcqhbyRK h8nXXXkCe5cpHb5l5a+3Mn9ouNpdkopbJER09yLoPKifT9+XkaWhskqeoP+Cp4M+k9VB 9ktnzhcTe8KyF7YqX8+9KwN65+g+2fIUAVEL6CD7ovzYN0sldVic6CVdcrg4r0Kl6pa7 vMfM6ckbeoAbTGGbj2Ur5+eTMo+mPllWcqsGsuWIbuOTCYH2yCZsJeRlzi7C2xWLGqVq pZSw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:cc:message-id:in-reply-to:references:subject :mime-version:x-original-sender:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=9iXEX5/mbEEHTa1w79LS1UADg/gl6x3UfFpgy7vceBw=; b=Z8oQy20/sF1v9XDQ+L0HKFebZI0vIQiaACnN1dTXBbsIJB9VB7kjfRa0++szqsg5iT IqtWCy//i1dv3GHAYBMAEq43W5256KEP8koQByNAvTc6+ErNiHUDkzfow8hcz7km+8e8 B55jc6+JefApOtl82Vl2RgGOQyqkke7LYlIfs5xjm9F31395tti6SlpvaZBeDQs8Wx+r ZNbKOxjallSSDgXPRM1kf3r4NqXorjjT3IJvx+cYDa16ajR5XWFkO6Zpb9b8OjDeZK/X /twmf4ISCWC7qItMvaTZi+Cl4HfMLF9XgFrNi3CGKXiXwrNixfDXCKbamsobiWB7aEaU Iq5w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:message-id:in-reply-to :references:subject:mime-version:x-original-sender:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=9iXEX5/mbEEHTa1w79LS1UADg/gl6x3UfFpgy7vceBw=; b=OwiJkskGU8zHmEOKS8ZOlm8cXLclNV67E2V7lylXi9EBagUW7nO/sxbcIgmMJRuuX3 2K6p5RLGGUqe2/LRMs6uLlOGofJFnurW0XcazWAJbDdC6uhGGFX17Df9yv3fRZqGB0DW mfl/f8ABnPRD6kIwtqaRShE57PujnFG4BNJ3LL7fG/Fuw6CACDI11vA/K2K+lj5rNxcg sTCnFfLKsl89g6MlNwy9BlpoDAdYDEEo+Chi8QrZU/zGADH4MhJvooGiRS7FnCuWlPSe dqqrHC3JYiHyYsfS7DU8fNwbYCeF/3sRTHkmjSsAq6WDUvtm0RmSXX77EWgIUHpp0EUq jIgw== X-Gm-Message-State: AOUpUlFnNdsW74edf7+VhNP3Pt7AwlWV6NDAXhGoVQRv/Kx7Wt9y3UUo VYJiBs1fATb7pw/xk1j14Vbypg== X-Google-Smtp-Source: AAOMgpf5JyxqyYG7bZhZFBjqmS99J5fW/+KREZarOGPpv57DhV0dAhr3FrtwS7Wm+rLKcJ9aguJshg== X-Received: by 2002:a81:5908:: with SMTP id n8-v6mr7341882ywb.23.1533105332217; Tue, 31 Jul 2018 23:35:32 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a0d:c101:: with SMTP id c1-v6ls2400201ywd.18.gmail; Tue, 31 Jul 2018 23:35:30 -0700 (PDT) X-Received: by 2002:a81:7dd6:: with SMTP id y205-v6mr389719ywc.1.1533105330181; Tue, 31 Jul 2018 23:35:30 -0700 (PDT) In-Reply-To: X-Original-Sender: AlbertoBarbati@gmail.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:39463 Archived-At: ------=_Part_12003_244940908.1533105329330 Content-Type: multipart/alternative; boundary="----=_Part_12004_1062958564.1533105329330" ------=_Part_12004_1062958564.1533105329330 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Il giorno marted=C3=AC 31 luglio 2018 08:58:01 UTC+2, june...@gmail.com ha= =20 scritto: > > > Also, I think "not saying anything about operator->" will not magically= =20 > guarantee things we normally expect about operator->, > because it is still possible that operator-> is overloaded. So in order t= o=20 > provide proper guarantees, > it is still needed to check possible relations between operator* and=20 > operator->, so the problem you pointed out may arise again. > What about providing some opt-in syntax like auto operator->() =3D default; ? --=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/17350bb9-f223-48b5-9d64-70173325e678%40isocpp.or= g. ------=_Part_12004_1062958564.1533105329330 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Il giorno marted=C3=AC 31 luglio 2018 08:58:01 UTC+2, june= ....@gmail.com ha scritto:

Also, I think "not saying anything about operator= ->" will not magically guarantee things we normally expect about op= erator->,
because it is still possible that operator-> = is overloaded. So in order to provide proper guarantees,
it is st= ill needed to check possible relations between operator* and operator->,= so the problem you pointed out may arise again.

What about providing some opt-in syntax like
=C2=A0=C2=A0 auto operator->() =3D default;

<= /div>
?

--
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+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/17350bb9-f223-48b5-9d64-70173325e678= %40isocpp.org.
------=_Part_12004_1062958564.1533105329330-- ------=_Part_12003_244940908.1533105329330-- .