220 36715 <88864914-82a8-4a8b-bda7-cffd38379edf@isocpp.org> article Path: news.gmane.org!.POSTED!not-for-mail From: Nicol Bolas Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Static analysis and the future of C++ Date: Fri, 19 Jan 2018 12:19:40 -0800 (PST) Lines: 87 Approved: news@gmane.org Message-ID: <88864914-82a8-4a8b-bda7-cffd38379edf@isocpp.org> References: <0087c1a4-0b36-40ca-8d43-5bfaf0af62ca@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_131_465122146.1516393180381" X-Trace: blaine.gmane.org 1516393064 24858 195.159.176.226 (19 Jan 2018 20:17:44 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 19 Jan 2018 20:17:44 +0000 (UTC) Cc: mihailnajdenov@gmail.com To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBCEKFTV6ZUMBBXNFRHJQKGQE2TI2DNY@isocpp.org Fri Jan 19 21:17:39 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ua0-f198.google.com ([209.85.217.198]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ecd6Y-00069U-UG for gclcip-std-proposals@m.gmane.org; Fri, 19 Jan 2018 21:17:39 +0100 Original-Received: by mail-ua0-f198.google.com with SMTP id g30sf1783754uaf.18 for ; Fri, 19 Jan 2018 12:19:43 -0800 (PST) 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=0P2xs0/mqoIJJE0sEm1/KWKWfUjcAhXtcW9ho3erBg4=; b=WdSjhCr8HKO30uB2nlqWMIS7BoHXl6XfePqq8GxdLZHBMiezNE0n9Ml77Bp+w15aGK aKff/RzJ3PZmXuHkNB1MTUbtAH3ShnIqbKCV4wR/P4gQt5L26i9LIqT4PPZklzCLRV0w lzIFVoC5nQOT5UOF0O9Li/66NkZuQwnZpcbXS/0oiIGzFEwQSarNM8CHT6YWIweATCTt ROEJwTeIXbCA0bq4HJSHfB5a2KbY79473Gw1J+WQZkVKTug7fIehb76QEpRtSl0/ardW YTqqme+kiVu/bKq6Rs6Q8QE6fBTblEruhJy25heUNueTe/X1o3pPnpb8s3tCXUD2Tw36 Td4w== 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=0P2xs0/mqoIJJE0sEm1/KWKWfUjcAhXtcW9ho3erBg4=; b=pLqI/DKznvRLO6qasEW0kMn6qJJe+Oi/6U0R3vQJ25+yGAwaZ1FI+jZZImRkqtgW0x CjFGl8fpw3xUuaSxbwIIwCLaovMwvGrNjPggHYTqwR+CrsVsUt+5GD46kXr7vvjdUl1B HxDm75r9WQcG9Wp3DAF7gyBzWtKvr13oRhLhugiL8GPPTY0qRvnPQsWw8KoP/T69JzdL 5ATT6Imgu7gLCRGPlvnJAmpgjDkixUDtJHBtIe7LwH17Ag/tbTh/FTXvdkqPis7Z9R2f By0HHStTGf72ra3m5BvAzmzdtrbajqFm3x1s7OlZnVCMiIkxJc9tH1JGfsicrkn3qIye +3bQ== 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=0P2xs0/mqoIJJE0sEm1/KWKWfUjcAhXtcW9ho3erBg4=; b=fH7ArXsQxYRXnpY57d8iynUwnlMBQ3jcHoAhl87degaYzLE3Jw981pVwiXrW/mUQ1Y aOQR0P8mBeWIlEXrA6HoJQ4/cdYbrvqm0b+ExYPqwoHxgATaH569dHpFajqaThHfndwJ /pUCAzwkpiQW5Pa26uAxqxcbtv/7iebY1TyICGdQlx2arBgF7s2j/26pULXfsUNyMlrS FVAHqEOoZ8GsXuIGvGj7J51qNJSmrPhJCCvGnjPHUzSwXHkUKkmAT98cJhGX6VMeeeFr vK24vXPQUGGPziHP2x0Bhk3EM9Xy3fcYrw5iMpwoIlTOZil4xf0ATwrawipAgNnGkuvU /TSg== X-Gm-Message-State: AKwxytfHtM8HdOSU3JeZ0WBqYjQEkXIN5IwIhEPtWzrDcs+nl2TP3hI6 yteI5BTHq1phwxmGVe4jZiCfjA== X-Google-Smtp-Source: ACJfBouvKzioXoSx6vKvo33ykjrRVRKSUO6jtZyeMMWkDsVkcgWz7P0eI5E/U0TIkOBpA2CNLXPNKw== X-Received: by 10.31.141.136 with SMTP id p130mr5358404vkd.11.1516393182822; Fri, 19 Jan 2018 12:19:42 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.31.52.151 with SMTP id b145ls673463vka.0.gmail; Fri, 19 Jan 2018 12:19:41 -0800 (PST) X-Received: by 10.31.54.205 with SMTP id d196mr550160vka.14.1516393180789; Fri, 19 Jan 2018 12:19:40 -0800 (PST) In-Reply-To: X-Original-Sender: jmckesson@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:36715 Archived-At: ------=_Part_131_465122146.1516393180381 Content-Type: multipart/alternative; boundary="----=_Part_132_1567762127.1516393180381" ------=_Part_132_1567762127.1516393180381 Content-Type: text/plain; charset="UTF-8" On Friday, January 19, 2018 at 7:30:52 AM UTC-5, mihailn...@gmail.com wrote: > > Can we "just" define special behavior of observer_ptr (in debug/analyze > mode) and solve all cases of lifetime monitoring (under the said > limitations) - from smart pointers to function_view? > That's not "behavior" of the type. There is no actual code in `observer_ptr` that does anything you're talking about. It's simply a compiler or tool that sees you using this particular type and starts looking at things because of it. It should also be noted that this still doesn't handle perfect forwarding. Not unless it is the caller of the function who wraps the parameter in an `observer_ptr`. -- 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. To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/88864914-82a8-4a8b-bda7-cffd38379edf%40isocpp.org. ------=_Part_132_1567762127.1516393180381 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On Friday, January 19, 2018 at 7:30:52 AM UTC-5, mihailn..= ..@gmail.com wrote:
Can we "just" define special behavior of=C2=A0observer_ptr (in debug/analyze mode) and solve all cases of lifetime = monitoring (under the said limitations) - from smart pointers to function_v= iew?

That&= #39;s not "behavior" of the type. There is no actual code in `obs= erver_ptr` that does anything you're talking about. It's simply a c= ompiler or tool that sees you using this particular type and starts looking= at things because of it.

It should also be noted = that this still doesn't handle perfect forwarding. Not unless it is the= caller of the function who wraps the parameter in an `observer_ptr`.
=

--
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/88864914-82a8-4a8b-bda7-cffd38379edf= %40isocpp.org.
------=_Part_132_1567762127.1516393180381-- ------=_Part_131_465122146.1516393180381-- .