220 41391 <46c9454a-7d31-426d-9031-a8ca4f3d7add@isocpp.org> article Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: p groarke Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Improving compile times for non-template dependent member functions. Date: Wed, 23 Jan 2019 08:58:42 -0800 (PST) Approved: news@gmane.org Message-ID: <46c9454a-7d31-426d-9031-a8ca4f3d7add@isocpp.org> References: <6a72db2a-932d-4f79-ab68-7c1424e93b9d@isocpp.org> <09ae316c-664f-4508-a8a8-5beaf33c6fcf@isocpp.org> Reply-To: std-proposals@isocpp.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_2784_275371868.1548262722896" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="173607"; mail-complaints-to="usenet@blaine.gmane.org" To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBCVOLFNN5ENRBQ52ULRAKGQEXJQ5JCY@isocpp.org Wed Jan 23 17:58:46 2019 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-yw1-f71.google.com ([209.85.161.71]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.89) (envelope-from ) id 1gmLrR-000izv-Sf for gclcip-std-proposals@m.gmane.org; Wed, 23 Jan 2019 17:58:46 +0100 Original-Received: by mail-yw1-f71.google.com with SMTP id b8sf1402199ywb.17 for ; Wed, 23 Jan 2019 08:58: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=K52eGQh4LHaI2myEaqbADEQePAWP6KU+SNpj52yWZzs=; b=CbWE2qlhutQaWtD8VqXpqgO5B90zSN8z5p70zgxuNznLrX3c1bkPR3QYIxey69vuHj wfcpfwnTTBoMk83gzFSU+B++5A7d5lQ+vgJ+nCASigLBgNvuI1j7uZrKbE5Mc6VpjhLX QWKKjsiSnYq7yCOhXqah2mGjjDmb/VkiS2xR7yJBPrPPryn9/trGUzn9iFt2M2bFev// lKxO4AZeiCuOiKqNMbW/TtvBEz7lZAegkaNJcgu0vq127hp4UkRl28eIWwb2k3YFNJmU iC9fNVsGKzruaf7QKszuKkH6WpMjUODexyWGbOV+kfD0XWG8lokENidzNIBKvBAm0KuE pdgw== 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=K52eGQh4LHaI2myEaqbADEQePAWP6KU+SNpj52yWZzs=; b=XV095tGnX3hemgC4ycyyA3/FdrRja8EeaxTo6wZvIfHR1MiQCqCUUj3HmU+vZkGoXG 363qpksNjeCjUjxffMzWoK5P6/iMBpotkHqJU1lkjflI+RBuyz6jDYiVLdLjSlglsm4Y w387QSZgaSa3xTQO/AOR/dZ830MnzUwYBVDbSaUcdu7uVdcL05Gq18Iuw0qHPq9bwRzu ov3HjjSwVSKhjVgB5gmyM2wPIazBKUk0t/on/LiCJveJqFWYTS/6avm02YauiwYj+I9C 6YTlE58DQrzZdRJbKryNY/OVR1os2p6TTLn3IFrQLTpiXjuJAUe8TkkVwZGrxkCJCA9d 4N8Q== 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=K52eGQh4LHaI2myEaqbADEQePAWP6KU+SNpj52yWZzs=; b=TbNnZiqmjp9Ix2v3JYnieWYmpV8UBG7KRGrtmVpQkgsy1Y8ac7W0boq7me/5qS2KPR o1SefkEHOWSt/tDICnWE+ebfipj612amnRFLm4+LaewUi/Lm0YjSPDODoVSB/PrnA9w6 hvQAeBBFITjTyJc5DlHZEy9HPiEBzQUqUywLCDa2+j+LGn5vhgtHQxadNJpZ1STML8JA smFArE2YFpSma38znh8QC5ixyq8U8ppopEpoH1pj4GoztsoszG4FsFofr307k9l2wi0U /k2IsbgKeaOzZhLgUJiWoPnMz2HfDdw4FhCzYcgnvOkopkdDb+iQ1AYoaeNwHVdsGRhz NcxA== X-Gm-Message-State: AJcUukeaQ7gmPTMxl9NMNiWpdQtRhr+04r/TfyJwWwo8iqK1Te0wzCdm CVDGoDJZMbPGYlqcoS4G5JQOoA== X-Google-Smtp-Source: ALg8bN5CVayzsxWFWCHczYvnKW3K/4ziBiVW7gsLQrE1pVFwDDbm2NKJ3SL5YlMdFAbx0Bs/xm0J8g== X-Received: by 2002:a25:5f01:: with SMTP id t1mr1172955ybb.87.1548262724682; Wed, 23 Jan 2019 08:58:44 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a25:1142:: with SMTP id 63ls683684ybr.1.gmail; Wed, 23 Jan 2019 08:58:43 -0800 (PST) X-Received: by 2002:a25:2e04:: with SMTP id u4mr44345ybu.2.1548262723402; Wed, 23 Jan 2019 08:58:43 -0800 (PST) In-Reply-To: X-Original-Sender: philippe.groarke@gmail.com 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:41391 Archived-At: ------=_Part_2784_275371868.1548262722896 Content-Type: multipart/alternative; boundary="----=_Part_2785_1665305472.1548262722897" ------=_Part_2785_1665305472.1548262722897 Content-Type: text/plain; charset="UTF-8" On Wednesday, January 23, 2019 at 11:57:02 AM UTC-5, Andrey Semashev wrote: > > On 1/23/19 7:54 PM, p groarke wrote: > > > > On Wednesday, January 23, 2019 at 11:34:36 AM UTC-5, Andrey Semashev > wrote: > > > > Also, even if val's body does not depend on template parameters of > its > > class, it is still dependent. test::val are distinct functions > for > > different Ts. There are also template specializations to consider. > > > > Is it though? Couldn't the compiler mark the function as non-dependent > > on T, and generate one member function for all test? > > No. > Why not? -- 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/46c9454a-7d31-426d-9031-a8ca4f3d7add%40isocpp.org. ------=_Part_2785_1665305472.1548262722897 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


On Wednesday, January 23, 2019 at 11:57:02 AM UTC-= 5, Andrey Semashev wrote:
On 1/= 23/19 7:54 PM, p groarke wrote:
>=20
> On Wednesday, January 23, 2019 at 11:34:36 AM UTC-5, Andrey Semash= ev wrote:
>=20
> =C2=A0 =C2=A0 Also, even if val's body does not depend on temp= late parameters of its
> =C2=A0 =C2=A0 class, it is still dependent. test<T>::val are= distinct functions for
> =C2=A0 =C2=A0 different Ts. There are also template specialization= s to consider.
>=20
> Is it though? Couldn't the compiler mark the function as non-d= ependent=20
> on T, and generate one member function for all test<T>?

No.

Why not?

--
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/46c9454a-7d31-426d-9031-a8ca4f3d7add= %40isocpp.org.
------=_Part_2785_1665305472.1548262722897-- ------=_Part_2784_275371868.1548262722896-- .