220 37020 article Path: news.gmane.org!.POSTED!not-for-mail From: florian.csdt@gmail.com Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: pseudo constness Date: Fri, 23 Feb 2018 02:36:39 -0800 (PST) Lines: 56 Approved: news@gmane.org Message-ID: References: <1519283315.58210.23.camel@gmail.com> <0a7e7e42-aa28-4632-8e66-56b0633755ba@isocpp.org> <27b5c95c-5b44-4089-bb14-b2d1b806093b@isocpp.org> <7aee40ab-50fe-426a-8e12-4c7089ebe085@isocpp.org> <39c51ced-6415-444b-8332-fa90d75cef72@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_5306_2129041524.1519382199642" X-Trace: blaine.gmane.org 1519382081 29975 195.159.176.226 (23 Feb 2018 10:34:41 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 23 Feb 2018 10:34:41 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBC26HM4V3MIRBOG5X7KAKGQE4BOPF6Y@isocpp.org Fri Feb 23 11:34:37 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ua0-f197.google.com ([209.85.217.197]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1epAgV-0007WX-VX for gclcip-std-proposals@m.gmane.org; Fri, 23 Feb 2018 11:34:36 +0100 Original-Received: by mail-ua0-f197.google.com with SMTP id s43sf4612898uad.17 for ; Fri, 23 Feb 2018 02:36:42 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:from:to: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=4pZacWabVOPERtFveUBABZTb6+xMkkPiXPS7gjs0ZDI=; b=MSPHLzd/pB/sI5/3CsvtIM30R0DkPKhVtFVAo8HkqU5s5xYDm+J7reyK1cgHleIei3 DlXeBC8pFkGj8/O9C1822tmxu05lCejGp4rCL4kd41I2k1148DhgP41hFaJeit2rawyL VkjE27pZ+q9itMgjH+dRqRnbdEuH+EWasUZKQyGNGdbNxknWslDrN1fnn97O9Ch2s3vJ RtxuS5j186i6ZPpBL6vwd8BARdt2QXzqdIH5zl2ttXwc3k60MDscEnedeCbHwlxj+F6w JckmfgTRV21bjcT3CcJIQLCNOTfCyy3w0oAwbykj7o9N5YNiS0L0b6yfCJw1T5Yfmda9 39iQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to: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=4pZacWabVOPERtFveUBABZTb6+xMkkPiXPS7gjs0ZDI=; b=cm5JI7xUSOizVhd9Y+UPo2Jo2hoetAcVPM5AVi8CDYyvsr23FDomadCHTS6/vCNnhj YGQ5o1NQstL+8Z0pDuQ3L+D9Fq5scaEjghtWvWo1KlgEcQqthQ6W7zY8uAVKmGB9PPQu uy+KhuZbbSTb8i+N0tMfSkJQFZ8692zvM/1k+cfQhcnyUu3ZYaH1l5UZUF/zlCljBoNt YFUXRQqkLcQN2YtO024sFKKzwjV/yLRYVWH8vX4ezBfBMaPVSMhdbA0k+P03SS+Pi42v fc/+e4+qUbtFcRng6cVb/ARaUHajkxnyv13HwsCt/V4FRyEdIKoKxss0TZVPDBx/T+N/ ykeA== 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: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=4pZacWabVOPERtFveUBABZTb6+xMkkPiXPS7gjs0ZDI=; b=DlK0jk73+OFQGc2BFDQFbuBoYwVSQUanle6diiYrmRk4dzQrK+eQ41/oLZ+4C+EBN9 YWzI4dy6kO7vEVRIoXx/w9bEDVQAiVa0fL0UyrEUYZEBMzNhE3NGKDRv1fnliBIqYq4P 8PZRiRid5Ua6e6PKmcB8QYPfj9FtwZgeT8ImeM7ZwdxF7iau1YccewT33I4FWLe5+l3E 9LXYl0XffOkPkiDKcySkGiri3/s3ym6ql6QjqI88/aj2wBOqydWtRnKUQv/ZsoM75w9n cfjGafM5lXj4lOr9UxCMZ3ESNdaxDnPOphflJXsG/yqa9GFcDtZHRww+aRmdVBYIzJ2y qsPA== X-Gm-Message-State: APf1xPCZeOkeSwo1g0bxfxOwTdwj846HdFLVjbakKo6USXUuPLHih6VF 5tuo1cSFJicFBWsj1K3PsyVZyw== X-Google-Smtp-Source: AG47ELvc1QjVn6fk54fSg50wK1QenLLHIbVQ/wBKVlAlS/O21PI29X5167+txIyhQvrq6VynL+quKw== X-Received: by 10.176.2.74 with SMTP id 68mr543230uas.24.1519382202159; Fri, 23 Feb 2018 02:36:42 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.31.16.66 with SMTP id g63ls2854046vki.4.gmail; Fri, 23 Feb 2018 02:36:40 -0800 (PST) X-Received: by 10.31.16.33 with SMTP id g33mr125622vki.13.1519382200256; Fri, 23 Feb 2018 02:36:40 -0800 (PST) In-Reply-To: <39c51ced-6415-444b-8332-fa90d75cef72@isocpp.org> X-Original-Sender: florian.csdt@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:37020 Archived-At: ------=_Part_5306_2129041524.1519382199642 Content-Type: multipart/alternative; boundary="----=_Part_5307_524512243.1519382199642" ------=_Part_5307_524512243.1519382199642 Content-Type: text/plain; charset="UTF-8" Then, how is it different to have it written in the documentation of the interface? If it's only to tell the user without any of checking or enforcing it is used right, then there is no point to have a language feature for that. BTW, when (if ever) we have contract based programming, you will be able to do exactly that (and much more) directly. I don't remember any syntax, but this would be a post-condition similar to: *previous_this == *this -- 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/f798c76d-828a-41ae-afa8-da478a93b781%40isocpp.org. ------=_Part_5307_524512243.1519382199642 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Then, how is it different to have it written in the docume= ntation of the interface?

If it's only to tell the user without = any of checking or enforcing it is used right, then there is no point to ha= ve a language feature for that.

BTW, when (if ever) we have contract= based programming, you will be able to do exactly that (and much more) dir= ectly.
I don't remember any syntax, but this would be a post-conditi= on similar to: *previous_this =3D=3D *this

--
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/f798c76d-828a-41ae-afa8-da478a93b781= %40isocpp.org.
------=_Part_5307_524512243.1519382199642-- ------=_Part_5306_2129041524.1519382199642-- .