220 37075 article Path: news.gmane.org!.POSTED!not-for-mail From: Nicol Bolas Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: specify concept implementation Date: Mon, 26 Feb 2018 08:37:43 -0800 (PST) Lines: 51 Approved: news@gmane.org Message-ID: References: <93e7e509-edf0-4df6-9b2f-555bba92a04a@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_14415_978119647.1519663063294" X-Trace: blaine.gmane.org 1519662947 20475 195.159.176.226 (26 Feb 2018 16:35:47 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 26 Feb 2018 16:35:47 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBCEKFTV6ZUMBBWHP2DKAKGQEJ5KOCTA@isocpp.org Mon Feb 26 17:35:42 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ua0-f199.google.com ([209.85.217.199]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eqLkY-0004qX-Ov for gclcip-std-proposals@m.gmane.org; Mon, 26 Feb 2018 17:35:38 +0100 Original-Received: by mail-ua0-f199.google.com with SMTP id k4sf10477734uad.13 for ; Mon, 26 Feb 2018 08:37:45 -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=nPn9xwOqNKVm6Mih8ICY+tC6hfcUzhW4iif5tKGD7H4=; b=zqeB+wJxXZEjTMXxNcX4nvxM2UhyA4lAbA0p0n8gOLpuYOge/rfawtbm+4TF+c9cve LJYEZjoQAfSQdOLB4Sl0yF6ATYMJ2J4Cxu0qMm1xSP2C3ZFq/dtRrvV/boGVXjV2eW76 BslHpWhDdRIQb0XAI2WtMUVh28Kt8xBTmu/ByK2uCfXI5kT+31rQaDZu1WTqjTUASvgj 5Ds2Vx8YFnMAycqnqIScg+O4uZo2qBwhUcbpM2caQcHoUAQUYrqfk+6lPjCKnhym859J RadJ0AQdxhTTK7VCBFjQw9vBUOHp0y+eT4yKH+5U4vF82y13ug+pem9GZnxU0OUKuotV wtkg== 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=nPn9xwOqNKVm6Mih8ICY+tC6hfcUzhW4iif5tKGD7H4=; b=f2xhtT+nksw+PhwQqrR5rIvPqjvgtL1veWXPSb3hGcEsr4Xa43HcoY9y1z0kW4LdFl pPuOF5NxDeMtMPTNw5av8mvwKbmS3PzG4AnRPiHQ2fCjbOPMINnYtx2d0qUehgnBME4C UxEwl5mEnly3xrqO/hQdoxS9BqEM/QVPWtaZ27YORrEzX8BHWHD34LD+X88SIelYuEOE 1dNIhOuVna8k/zc4lUK1jR6/idtn1acOe/jBCuD0vEiFGr6idFB72p0BQHJFWVAacS/7 IwDK1UP3wtiMuSqCS40FhzqdlHXXte9F0/fEz8RmMbFokLm71VMkiyrKjPwgLJIXEyXK eO5g== 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=nPn9xwOqNKVm6Mih8ICY+tC6hfcUzhW4iif5tKGD7H4=; b=k9wcN64fAl8YkP0VEd952nSrBEl77YkbZfwdcmHzNgpnyagxL645mz84J9ng3NGHuL kBJAzMfU6vtM3dLCh/Ivxu5zbCFYCsWOVFu9GcphvmfYJkJspzqbSm9+6K8nT9DrEQAT SRQk/jvK9X6PRwrS3xid0aeOFk8hoxAYW0iorArJtAI5qu86qjtaf8f0b40wsUHRsDto S8ycQqpkRHPMWyn2F/cwf/aj4RAFH4sgQDq8CSqZcQmix7FZQ23kgFmQykotfUM8LFQ5 LOzpMIuHGKijfFRC2rgy5YjNqvVFx/l5+kvwJT5HFMEHf2TBUI18XTPd/dieBr5KuxWv bnNQ== X-Gm-Message-State: APf1xPD5SdnxdhBkVUhluz4ddL8PENaBW5nC6w4/H4Ow0XZDsQh/CY6F T32aARMbGuJeu6WKVjVLkd/NGg== X-Google-Smtp-Source: AG47ELvv7rhgBPAIG0Am+4T/Ad4XwbsaCejDLFxKaSfWKlsBKTpGC21oju4snvDWDlyJQi0/JtPDsQ== X-Received: by 10.176.3.225 with SMTP id 88mr5970190uau.28.1519663065222; Mon, 26 Feb 2018 08:37:45 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.31.196.71 with SMTP id u68ls4820200vkf.5.gmail; Mon, 26 Feb 2018 08:37:44 -0800 (PST) X-Received: by 10.31.67.71 with SMTP id q68mr1148778vka.9.1519663063936; Mon, 26 Feb 2018 08:37:43 -0800 (PST) In-Reply-To: <93e7e509-edf0-4df6-9b2f-555bba92a04a@isocpp.org> 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:37075 Archived-At: ------=_Part_14415_978119647.1519663063294 Content-Type: multipart/alternative; boundary="----=_Part_14416_1721795858.1519663063294" ------=_Part_14416_1721795858.1519663063294 Content-Type: text/plain; charset="UTF-8" And what about if you want to implement a type that follows a concept, but you're using non-member functions to implement certain aspects of that concept? This wouldn't work, would it? It's better to just use the obvious tool: `static_assert`. We don't need to add a whole language feature for trivial convenience like 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/a1345907-f673-43f5-afb8-3ad064a0a6d6%40isocpp.org. ------=_Part_14416_1721795858.1519663063294 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
And what about if you want to implement a type that f= ollows a concept, but you're using non-member functions to implement ce= rtain aspects of that concept? This wouldn't work, would it?

It&= #39;s better to just use the obvious tool: `static_assert`. We don't ne= ed to add a whole language feature for trivial convenience like 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/a1345907-f673-43f5-afb8-3ad064a0a6d6= %40isocpp.org.
------=_Part_14416_1721795858.1519663063294-- ------=_Part_14415_978119647.1519663063294-- .