220 35096 <89333EED-6CC2-43D5-9EFB-C2F59E5819A2@phystech.edu> article Path: news.gmane.org!.POSTED!not-for-mail From: =?koi8-r?B?8MHXxcwg6cfP0sXXyd4g69LAy8/X?= Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Marking more std::string_view members noexcept Date: Thu, 26 Oct 2017 00:16:42 +0300 Lines: 124 Approved: news@gmane.org Message-ID: <89333EED-6CC2-43D5-9EFB-C2F59E5819A2@phystech.edu> References: <3d03cd7d-2177-98fd-408d-f74b1f6a8552@gmail.com> <2b8591ee-3a1e-4a41-8c14-221bdc5cd1e4@isocpp.org> <0574ad73-0d36-47c0-9e47-79e234cc6708@isocpp.org> <79ff7517-9d44-4770-8124-a2a036a2e6be@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 (1.0) Content-Type: multipart/alternative; boundary=Apple-Mail-A0855A3F-CC91-49F6-8BFC-54DCF32ADA1A Content-Transfer-Encoding: 7bit X-Trace: blaine.gmane.org 1508966210 18871 195.159.176.226 (25 Oct 2017 21:16:50 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 25 Oct 2017 21:16:50 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBC3LNQ5G3UMRBPP6YPHQKGQERBLLPCA@isocpp.org Wed Oct 25 23:16:45 2017 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-lf0-f69.google.com ([209.85.215.69]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e7T2W-0003y2-4u for gclcip-std-proposals@m.gmane.org; Wed, 25 Oct 2017 23:16:40 +0200 Original-Received: by mail-lf0-f69.google.com with SMTP id j204sf291608lfe.8 for ; Wed, 25 Oct 2017 14:16:48 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1508966207; cv=pass; d=google.com; s=arc-20160816; b=uOmL6RxYIW6yYSBpXh6YFYF9FGntek/HM5MxgNl2/Qm2ZTFKZ4rVoHLxAHSj3Kn46A Al4atA4CBT+lXZueOlge0N9ZMNHLxedgeDwJFY2LyHuEkSkxk3amgN11BaGJGrNLiVQA 8NldSKeH0ZxR8ll0C5vZDrFYC+upb0sVwZ3VTtvq+AEa5qdYCMpdAUOJsCtxDuSTAYeU M+ogFkjbwiWalg+DAorvbjPGjUa6uA93GYXnHuVub6/H7mvDU9E6YYnUr7JMlSna2056 oICIXRgpEdr1ANzevyBzd/0f9njULyz+cvRg6l3Hgi6DqQb5dVA3qCw6Bj2CGAPz1M9x cNXg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:to:in-reply-to:references :message-id:subject:date:mime-version:content-transfer-encoding:from :arc-authentication-results:arc-message-signature:dkim-signature :arc-authentication-results; bh=vkmzVYx6TTeL3mqOpBmBXA2bXCVxm3BxZBmU9JxtWkU=; b=oOb4uMa46aA2PRDdg/e9Av4BVUcpLk9IuwyE5rDqss6HXicr3/nKsHslE7XzDrv4NU UFVW1Z/jzVipzMN+NmJt1madqWcf3iAVBolm6cGoaX35evRX3EKFzzkBB5mNRjk6s+X3 bmFdZwp1pip03mZdnZm8wz+jtZo5Xq5jpo5fio708QlcDki4lXL/qIS3BX92gbdzsMYd 9JQ2sjoQwe1ppx3luI1pcysnuugw81u7UndXcTP35C3e1wLBHIHeNwa/Bae8NCCOK454 9cILc/gyPrknVeG3x48vSZ2hE5LWlC+SOmZZGS7HEvdbn3EtKOkoYe3tzYaKa5sc4b4e cDWA== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@phystech-edu.20150623.gappssmtp.com header.s=20150623 header.b=uvmK7rYm; spf=pass (google.com: domain of pavel.kryukov@phystech.edu designates 209.85.220.65 as permitted sender) smtp.mailfrom=pavel.kryukov@phystech.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=from:content-transfer-encoding:mime-version:date:subject:message-id :references:in-reply-to:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe; bh=vkmzVYx6TTeL3mqOpBmBXA2bXCVxm3BxZBmU9JxtWkU=; b=ZikCtS5VyDF64jIPlG+YgD5Z3341/v2b0kZg9NZqALLu/p8WoUqu7bbvNg45nYLbrw duJX+Q9EtyXpIRqfEYAlxmMF9auPnuR4zLcc6h0kypfuTLgvL3bZHvAhNXrC5HMtxHqL 7kDALes29+7Q8nbiM/z67QLO5+JQr+XXZ2I3QALnEhRmKdPoba3iHUaUO2U7MFmcVwnN eehGoCnhTt5rO/KOXb9BHxD2a41tyvEFuFr50fsQosgvpLyF2LnopEGGQG7PItBP5c2H ouF0dYVcxmaaZGW9/+b4JZVhlrP3GumOrq1qMFE1OclhxVnCjD2bYktp5aI7NVZx7k7v 9Cow== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:content-transfer-encoding:mime-version:date :subject:message-id:references:in-reply-to:to: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=vkmzVYx6TTeL3mqOpBmBXA2bXCVxm3BxZBmU9JxtWkU=; b=M3lyU9nh7KXYLfzSflLxTx+a1FuLJy5IuE23/UrxWNyGDR+EO336qjw587hj7W8zM1 UdXz2PRRdkdT+Uqxbx1GTxV4VddtMfVODy4fTGWmhTO7RgnS3TUy+2AuXvxM58i6sE5g SNZXdQa4Q2P7kQ3s177XjMcvgAannDGZbteOKg8qahFNDavCBdGeYGRzNgHNv/rhlWmy 7zf+tzKJKkm7CGtZP6T8HCIf6GV//UmtoEPT0WK1ZRPTBsAGG2Qhq/UrpP9uj/Ezzybf YborNcvOh518rK8RrtO7VndYu+L3e1gUyhZDJdGQ8nwLXmoUk2N34uVjCgqT94mwVPUr lZT X-Gm-Message-State: AMCzsaVXDsIYdlV8tggyXMo8ii5SVBkE3RO2ni/NkqxE40Gx4GKfsFwF y5GkqfwohzwCbCu5QzurNahS6g== X-Google-Smtp-Source: ABhQp+Qc/jVscyhDY2QM3o7HKKQhy/tdwX0tPgv7ZIu9tixbZxnhtcIXSWZ+5jzW9oeEnrdIWXBacg== X-Received: by 10.25.77.17 with SMTP id a17mr609980lfb.34.1508966207790; Wed, 25 Oct 2017 14:16:47 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.25.229.79 with SMTP id c76ls63803lfh.0.gmail; Wed, 25 Oct 2017 14:16:45 -0700 (PDT) X-Received: by 10.25.87.66 with SMTP id l63mr7221408lfb.101.1508966205650; Wed, 25 Oct 2017 14:16:45 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1508966205; cv=none; d=google.com; s=arc-20160816; b=WqIMqdN5t1eGx+4hs/EapYxUfBfPGKwe7oVx3ZelvK4ooYyCXzHhX32i9VrP6iSRTP KqwNEJ5QSxynxIID/r/ODfevgQAzCsg5ebZI5h9qp1zUuVZqRsEZTneWLRrnnDC4a/oT 8tVqvv817jHZxllJyX9zouj1t0LrB3vYSvozRoYG0KKIqhjTgteTtscKH7snMi+34zSC 0ZmMrlPh3nA4sD0UzTLmfN60o4pOwxD4hfgxtFMrXtDUXOiIO6HLEyT6P0oiRtgnOTlv 3rS0an7ULxmZrbs9ydbQYD+WwBa4dzLYO3iurO9U6+Zzn7/Q4X257f45P5+zRlaEpK/m +fYg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:in-reply-to:references:message-id:subject:date:mime-version :content-transfer-encoding:from:dkim-signature :arc-authentication-results; bh=fxUpANwP5iBv9SJ5fyumQEZs/dsnmmkZvhNpccZYsPo=; b=CRD3BK+tv1a96ARAbAv0VIS9iw+J8Ok8040ACFi/cLiL1W0sOPd4yMhGH4bM1egwhO 3FgGvp+aE8QNYQ+ve4A5a4y/dCazMWzbNeVpyBm4pOXfaLotTzvcOtSidToUMWRyb7RK CeOf8sYyI6Uw4kbMqt07WfONMZwomkjdGsc/fz4D6VREw52TGVlui2g863gw1cA+6QhU froCalB4godzjvZT/ehfh92WnKANUGlAXvqO8RrJzcvwM6zmZABWXB7jEmHlJE87H5Ns yJVYTtLzItipk617VCFs1Fp90LU24nryRJQL3ujI6QPXrhqCnT8XeK0KRP0BPxWod0aG Fqug== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@phystech-edu.20150623.gappssmtp.com header.s=20150623 header.b=uvmK7rYm; spf=pass (google.com: domain of pavel.kryukov@phystech.edu designates 209.85.220.65 as permitted sender) smtp.mailfrom=pavel.kryukov@phystech.edu Original-Received: from mail-sor-f65.google.com (mail-sor-f65.google.com. [209.85.220.65]) by mx.google.com with SMTPS id u1sor641604lje.7.2017.10.25.14.16.45 for (Google Transport Security); Wed, 25 Oct 2017 14:16:45 -0700 (PDT) Received-SPF: pass (google.com: domain of pavel.kryukov@phystech.edu designates 209.85.220.65 as permitted sender) client-ip=209.85.220.65; X-Received: by 10.46.91.138 with SMTP id m10mr9251914lje.95.1508966204948; Wed, 25 Oct 2017 14:16:44 -0700 (PDT) Original-Received: from [192.168.1.40] ([91.219.24.67]) by smtp.gmail.com with ESMTPSA id l194sm803082lfl.11.2017.10.25.14.16.43 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 25 Oct 2017 14:16:44 -0700 (PDT) In-Reply-To: X-Mailer: iPhone Mail (15A432) X-Original-Sender: pavel.kryukov@phystech.edu X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@phystech-edu.20150623.gappssmtp.com header.s=20150623 header.b=uvmK7rYm; spf=pass (google.com: domain of pavel.kryukov@phystech.edu designates 209.85.220.65 as permitted sender) smtp.mailfrom=pavel.kryukov@phystech.edu Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: 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:35096 Archived-At: --Apple-Mail-A0855A3F-CC91-49F6-8BFC-54DCF32ADA1A Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable > It hasn't been proposed, has it? I=E2=80=99m not aware of that. If it is a narrow contract, I don=E2=80=99t = see much value in such proposal. We already have a narrow contract `basic_s= tring_view(const charT*)` ctor, and a noexcept `operator=E2=80=9D=E2=80=9Ds= v`. -- Pavel > 26 =D0=BE=D0=BA=D1=82. 2017 =D0=B3., =D0=B2 0:02, Nevin Liber =D0=BD=D0=B0=D0=BF=D0=B8=D1=81=D0=B0=D0=BB(=D0=B0): >=20 >> On Wed, Oct 25, 2017 at 3:07 PM, wrote: >> Hi >>=20 >> If there was a ctor from array reference, would it be noexcept? >>=20 >> template >> constexpr basic_string_view(const charT(&str)[N]) noexcept; >=20 > It hasn't been proposed, has it? >=20 > My guess would be no, since there is a precondition that str[N-1] =3D=3D = 0, giving it a narrow contract. > --=20 > Nevin ":-)" Liber +1-847-691-1404 > --=20 > You received this message because you are subscribed to a topic in the Go= ogle Groups "ISO C++ Standard - Future Proposals" group. > To unsubscribe from this topic, visit https://groups.google.com/a/isocpp.= org/d/topic/std-proposals/FaBXmXBWHHI/unsubscribe. > To unsubscribe from this group and all its topics, send an email to std-p= roposals+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/isoc= pp.org/d/msgid/std-proposals/CAGg_6%2BPv2BYcxMJ5aQ9uLb2qpgVZ3ThFjoWdKBNyZ4o= NPm0A-A%40mail.gmail.com. --=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/89333EED-6CC2-43D5-9EFB-C2F59E5819A2%40phystech.= edu. --Apple-Mail-A0855A3F-CC91-49F6-8BFC-54DCF32ADA1A Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable > It hasn't been proposed, has it?

I=E2=80=99m not aware of that. If it is a narrow contract, I don=E2= =80=99t see much value in such proposal. We already have a narrow contract = `basic_string_view(const charT*)` ctor, and a noexcept `operator=E2=80=9D= =E2=80=9Dsv`.

--
Pavel

26 = =D0=BE=D0=BA=D1=82. 2017 =D0=B3., =D0=B2 0:02, Nevin Liber <nevin@eviloverlord.com> =D0=BD=D0=B0= =D0=BF=D0=B8=D1=81=D0=B0=D0=BB(=D0=B0):

On Wed, Oct 25, 2017 at 3:07 PM, <pave= l.kryukov@phystech.edu> wrote:
=
= Hi

If there was a ctor from array reference, would it be= noexcept?

template<size_t N>
cons= texpr basic_string_view(const charT(&str)[N]) noexcept;

It hasn't been proposed, has it?
My guess would be no, since there is a precondition that str[N-= 1] =3D=3D 0, giving it a narrow contract.
--
 Nevin ":-)" Liber  <mailto:nevin@eviloverlord.com>= ;  +1-847-691-1404

--
You received this message because you are subscribed to a topic in the Goog= le Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this topic, visit https://groups.= google.com/a/isocpp.org/d/topic/std-proposals/FaBXmXBWHHI/unsubscribe.<= br> To unsubscribe from this group and all its topics, 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/CAGg_6%2BPv= 2BYcxMJ5aQ9uLb2qpgVZ3ThFjoWdKBNyZ4oNPm0A-A%40mail.gmail.com.

--
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.googl= e.com/a/isocpp.org/d/msgid/std-proposals/89333EED-6CC2-43D5-9EFB-C2F59E5819= A2%40phystech.edu.
--Apple-Mail-A0855A3F-CC91-49F6-8BFC-54DCF32ADA1A-- .