220 35095 <CAGg_6+Pv2BYcxMJ5aQ9uLb2qpgVZ3ThFjoWdKBNyZ4oNPm0A-A@mail.gmail.com> article
Path: news.gmane.org!.POSTED!not-for-mail
From: Nevin Liber <nevin@eviloverlord.com>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Marking more std::string_view members noexcept
Date: Wed, 25 Oct 2017 16:02:33 -0500
Lines: 65
Approved: news@gmane.org
Message-ID: <CAGg_6+Pv2BYcxMJ5aQ9uLb2qpgVZ3ThFjoWdKBNyZ4oNPm0A-A@mail.gmail.com>
References: <3d03cd7d-2177-98fd-408d-f74b1f6a8552@gmail.com>
 <CAGNvRgBSk47UXuzh_jm_Yr2pBCM5NYSZ8kqVjwLyWsm-4r6ozw@mail.gmail.com>
 <af89c375-0437-4092-cfc7-d93eafbf969e@gmail.com> <2b8591ee-3a1e-4a41-8c14-221bdc5cd1e4@isocpp.org>
 <da4a8fb7-246b-f19c-3f50-7bb5f318f1a4@gmail.com> <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
Content-Type: multipart/alternative; boundary="089e082577e04dfcb2055c65626f"
X-Trace: blaine.gmane.org 1508965396 7276 195.159.176.226 (25 Oct 2017 21:03:16 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Wed, 25 Oct 2017 21:03:16 +0000 (UTC)
To: "std-proposals@isocpp.org" <std-proposals@isocpp.org>
Original-X-From: std-proposals+bncBCE35H5S6IDBBE7YYPHQKGQEG66VSKQ@isocpp.org Wed Oct 25 23:03:12 2017
Return-path: <std-proposals+bncBCE35H5S6IDBBE7YYPHQKGQEG66VSKQ@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-vk0-f72.google.com ([209.85.213.72])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <std-proposals+bncBCE35H5S6IDBBE7YYPHQKGQEG66VSKQ@isocpp.org>)
	id 1e7SpR-00016d-De
	for gclcip-std-proposals@m.gmane.org; Wed, 25 Oct 2017 23:03:10 +0200
Original-Received: by mail-vk0-f72.google.com with SMTP id h142sf690192vkf.14
        for <gclcip-std-proposals@m.gmane.org>; Wed, 25 Oct 2017 14:03:17 -0700 (PDT)
ARC-Seal: i=2; a=rsa-sha256; t=1508965396; cv=pass;
        d=google.com; s=arc-20160816;
        b=zQ+47nLHQqnwLGwvVP6bOIDLj9obBGI8/fURE6L3+EwVpyatCZyM1CKc54LPuGxME4
         SKD88xwqPdvFP6kBw86fzx1hwI7eVcQTATuoTEiv2KsZBVmWNhJfE9yG/kHU2HX+rCAE
         zU9KYXRiHjSKvZxeJ1LMHR9qdPOV8jAmntbKqPHXLTSelEnZXPbGENAjSBFPxWSVvveQ
         xCRs4UOprIF0fRzs70E1H+X+gP3KkYPhgKIOImjzh5O9F0cgj+uS2zl8yq2cTdX8Kfsm
         vTullEYy3B2NC5IjGMns78u+2Pe+5u+qhK+Ho/uVsf3N9lSPsASa73xATr/uHwLYJX6r
         LPkg==
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:subject:message-id:date
         :from:references:in-reply-to:sender:mime-version
         :arc-authentication-results:arc-message-signature
         :arc-authentication-results;
        bh=sx7KeyhT58yU24bnoA2NtttRH97KdQrD+AGUp6oMX4o=;
        b=dmAa2zpAsZRrQ+KVTdcLW6fhfULgf0N38Q6HhG1YsOlKVtVVQPc5zg7pqXcwq8gyqL
         KRu0bdrz/Bci6wHw9I4tumSM9luVUqXEX9NmWlG6hmgSfZ1NwUeWtFZ0/yCuZk+DUG9q
         s9BPP/QFh9zb69aHa0Ci0UfwH3B98K32rEgE/tBtz2RihS1TlBWAj3VM8OzJ+BXgjehO
         SmV1BDbMeEz2hXF9bs53k7QK4wcnKW8TQaOwmudic6tLnklovAjHyfqi0ArHUQHIcRkW
         zkEYjHut2kLoyfQ2K6ZCUWNy49r8Ino5AXmDqPuSNXTSe/FN4fs8ruaPeV6CCpForMVu
         AfcA==
ARC-Authentication-Results: i=2; mx.google.com;
       dkim=pass header.i=@gmail.com header.s=20161025 header.b=I+PKfe+q;
       spf=pass (google.com: domain of nliber@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=nliber@gmail.com
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:mime-version:sender:in-reply-to:references:from
         :date:message-id:subject: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=sx7KeyhT58yU24bnoA2NtttRH97KdQrD+AGUp6oMX4o=;
        b=hKV/cuez2WeS1zi2eCx+3tPQQ5+Z8F9LD9aedg8n7feYI9RE8puFNnXH1ZVF3jz3Wf
         r4FWI3kUNet7rAwTnFp5OyJRP5VA1k0dImiS/S/lemdGHxV6HfDpm49OfAOQUotQukVJ
         zptopEi8/kwA9n/uuo8Ym/QMgCChtjrptCPGpGEPaB63CygbKkI4h0iIGAvSQLsUMMtR
         UaPbkiQjNWUhI1SI10rymnV0tLBd7yHH10IDTXIMGWOTuwTcHLcOCiajMyNO4gHzmy3V
         5MAVXglJvnW8+XwzbqMNw10Pq2W2aoA6sRkHp0Pg7pI1VHYsbqai/8XaNfHYmyBGg7l+
         6Tcw==
X-Gm-Message-State: AMCzsaVtmGN/I1dq1h5WZnEG9s4dEebBJeC3Ude2/knc90OjIerK+AcC
	wTHhsNbML4fv5U4W8zEw1uY=
X-Google-Smtp-Source: ABhQp+QhYGWypbJD1zkYP+lB8nrnDub1g8xuGQViAhQoNkkPUIEu2lQYpuakcuHvuIN5IXODgJ/idw==
X-Received: by 10.31.114.201 with SMTP id n192mr1685118vkc.14.1508965396573;
        Wed, 25 Oct 2017 14:03:16 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.31.168.147 with SMTP id r141ls959753vke.8.gmail; Wed, 25 Oct
 2017 14:03:15 -0700 (PDT)
X-Received: by 10.176.29.20 with SMTP id j20mr2702982uak.40.1508965395169;
        Wed, 25 Oct 2017 14:03:15 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1508965395; cv=none;
        d=google.com; s=arc-20160816;
        b=ncRYhYkJjU1gxdIPE227jwUNYy9qFEfjP/p/WrzQLeYDXztKhzrYbPNh4jdLO57d2W
         +sSmNf4iFL12pMy6zW07KdumarZEc1uC8retPlbXtBnXz4F88EGFsZmN3oR7G4kQDdb3
         orijad5HjP0uAZ7xNJJmOWxkF4jAJPqPfBXIOkE+F78ONSpq2gM5zRvWOBMQoem73OVy
         TFKirKHbCpINgOx/UJzlcHjm0MvVcsAJzf6iRM74C0j5CobxdKPLAPA0sNki31yIVOuA
         XRIUCRVjRO3EJBhv24Aw2PbxRaQP2iWcBH211ubtVg/fgw95mgpvWd3vKZpazEY/aYid
         mQew==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
        h=to:subject:message-id:date:from:references:in-reply-to:sender
         :mime-version:dkim-signature:arc-authentication-results;
        bh=udnAfVTXJQ+2e7e892lwSpY46z/diLJjh67/QeWMgYA=;
        b=QVg8vorhUOoV8RQJ+VLH+RrXEBuLV6z0FRYwm+QdMIy6c4F6i6xH559yA48gEfTRpF
         VZASFGTCYl7+TJgopf03SGd9HTFdin/rCV3tYkuTYEzHsT+AeMvARlXcLmKBFQfO/0dL
         1eWDnhbZ9enUsFCnr6jIdHIaPzd8k2W+/ywOxJlkqiUTZith0sQ0LbTfp6s1znaYt6TH
         hpCGYNxToxZNdIFibZFCZktHGOwSClYa9aUWEuSSilGFagvhcPYOdZSJAC2uFULK7piZ
         bkZnODMmFroOic99DGaiF2ccPyV39uB1AISKREwwGBpRzgXchUxQm7/aP8mnQ7WVp8Uv
         NeaQ==
ARC-Authentication-Results: i=1; mx.google.com;
       dkim=pass header.i=@gmail.com header.s=20161025 header.b=I+PKfe+q;
       spf=pass (google.com: domain of nliber@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=nliber@gmail.com
Original-Received: from mail-sor-f41.google.com (mail-sor-f41.google.com. [209.85.220.41])
        by mx.google.com with SMTPS id r21sor1447804uaf.107.2017.10.25.14.03.15
        for <std-proposals@isocpp.org>
        (Google Transport Security);
        Wed, 25 Oct 2017 14:03:15 -0700 (PDT)
Received-SPF: pass (google.com: domain of nliber@gmail.com designates 209.85.220.41 as permitted sender) client-ip=209.85.220.41;
X-Received: by 10.176.13.153 with SMTP id i25mr2681784uak.139.1508965394281;
 Wed, 25 Oct 2017 14:03:14 -0700 (PDT)
Original-Sender: nliber@gmail.com
Original-Received: by 10.103.71.140 with HTTP; Wed, 25 Oct 2017 14:02:33 -0700 (PDT)
In-Reply-To: <79ff7517-9d44-4770-8124-a2a036a2e6be@isocpp.org>
X-Original-Sender: nevin@eviloverlord.com
X-Original-Authentication-Results: mx.google.com;       dkim=pass
 header.i=@gmail.com header.s=20161025 header.b=I+PKfe+q;       spf=pass
 (google.com: domain of nliber@gmail.com designates 209.85.220.41 as permitted
 sender) smtp.mailfrom=nliber@gmail.com
Precedence: list
Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org
List-ID: <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:35095
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/35095>

--089e082577e04dfcb2055c65626f
Content-Type: text/plain; charset="UTF-8"

On Wed, Oct 25, 2017 at 3:07 PM, <pavel.kryukov@phystech.edu> wrote:

> Hi
>
> If there was a ctor from array reference, would it be noexcept?
>
> template<size_t N>
> constexpr 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] == 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 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/CAGg_6%2BPv2BYcxMJ5aQ9uLb2qpgVZ3ThFjoWdKBNyZ4oNPm0A-A%40mail.gmail.com.

--089e082577e04dfcb2055c65626f
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">On Wed, Oct 25, 2017 at 3:07 PM,  <span dir=3D"ltr">&lt;<a=
 href=3D"mailto:pavel.kryukov@phystech.edu" target=3D"_blank">pavel.kryukov=
@phystech.edu</a>&gt;</span> wrote:<br><div class=3D"gmail_extra"><div clas=
s=3D"gmail_quote"><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .=
8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir=3D"ltr">Hi<div><b=
r></div><div>If there was a ctor from array reference, would it be noexcept=
?</div><div><br></div><div>template&lt;size_t N&gt;</div><div>constexpr bas=
ic_string_view(const charT(&amp;str)[N]) noexcept;</div></div></blockquote>=
<div><br></div><div>It hasn&#39;t been proposed, has it?</div><div><br></di=
v><div>My guess would be no, since there is a precondition that str[N-1] =
=3D=3D 0, giving it a narrow contract.</div></div>-- <br><div class=3D"gmai=
l_signature" data-smartmail=3D"gmail_signature"><div dir=3D"ltr"><div><div =
dir=3D"ltr"><div>=C2=A0Nevin &quot;:-)&quot; Liber=C2=A0 &lt;mailto:<a href=
=3D"mailto:nevin@eviloverlord.com" target=3D"_blank">nevin@eviloverlord.com=
</a>&gt; =C2=A0+1-847-691-1404</div></div></div></div></div>
</div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;ISO C++ Standard - Future Proposals&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:std-proposals+unsubscribe@isocpp.org">std-proposa=
ls+unsubscribe@isocpp.org</a>.<br />
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org">std-proposals@isocpp.org</a>.<br />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/CAGg_6%2BPv2BYcxMJ5aQ9uLb2qpgVZ3ThFjo=
WdKBNyZ4oNPm0A-A%40mail.gmail.com?utm_medium=3Demail&utm_source=3Dfooter">h=
ttps://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAGg_6%2BPv2BYc=
xMJ5aQ9uLb2qpgVZ3ThFjoWdKBNyZ4oNPm0A-A%40mail.gmail.com</a>.<br />

--089e082577e04dfcb2055c65626f--

.
