220 41394 article Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Matthias Gehre Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Improving compile times for non-template dependent member functions. Date: Thu, 24 Jan 2019 19:30:57 +0100 Approved: news@gmane.org Message-ID: References: <6a72db2a-932d-4f79-ab68-7c1424e93b9d@isocpp.org> <09ae316c-664f-4508-a8a8-5beaf33c6fcf@isocpp.org> <46c9454a-7d31-426d-9031-a8ca4f3d7add@isocpp.org> Reply-To: std-proposals@isocpp.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="0000000000004495290580386a52" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="253675"; mail-complaints-to="usenet@blaine.gmane.org" To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCJMBPUKUUDRB4UIVDRAKGQE65UQO3Y@isocpp.org Thu Jan 24 19:31:18 2019 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-io1-f69.google.com ([209.85.166.69]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.89) (envelope-from ) id 1gmjmX-0013pb-9s for gclcip-std-proposals@m.gmane.org; Thu, 24 Jan 2019 19:31:17 +0100 Original-Received: by mail-io1-f69.google.com with SMTP id a2sf5498011ioq.9 for ; Thu, 24 Jan 2019 10:31:16 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1548354675; cv=pass; d=google.com; s=arc-20160816; b=ZcCn5t1U2SPZ1x7ERX4MvPkHvTAOpx9z1TQhxH7rKyC2aQnYsUgI3Poj+GMkBvMvvP F6b0hsBpM/+U+RxRzdqx9anNGw5iDsKMBmZg7ZUa6DoycUEekppGRGx3ormaiiv99Km0 ZvBtXPhx8BpaYAV4AW8hWAMCGvIQmru1X95KOyMbTYS/yYg5+itPYwL5Bfq2kC09lT3T h+5dJJ7BfvIUCPkD0JtHEca2viJwEIhaP9GQmMBl1POF5NF0HBqbJ6Pb0EnlHPLC3xlI 1ciIhEmI+Nv5ZPmeLiHnLNHZW+r0Val6LtVMtxI9tZY1hiHLxXH3Pux4aQp1e4bv9aEi cfJw== 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:in-reply-to:references:mime-version:dkim-signature; bh=tcc8zp2aW+s/66zMS1gl5G+gvDYe/jxzl5KwQJfInbU=; b=E2oXJR/Riux4FydIb4l9IwtRm+HPH2oB6gboC1aBlVBWoiWicHzWd4OgiDWTT+zsCs ANE/6mtExKd8/QPwZgq1Xfp7QEP2muDRvjgjbtfAS3ZHJPAdWApeIqWOBeAdnlewhibb aWfHnKY+VHVhcXJgVbT4bqy11Hilcx0i32r2Q6NB4eHC3/U3TEkrYEylismvKDP5VU/a qfz21waRX1TDjBhbuG4+/zHmMa76kTWHMABdwyGyesSYrUAfNKIyq3uYro5pwIKIkRBA z/fZ1hZmAqV/elWvthhvdEnXT52YDXvMTWLoaMgR9iN+L/rhlMju8yCobWi7Bn8RQVc9 DXFA== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=AdBLZSGU; spf=pass (google.com: domain of gehre.matthias@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=gehre.matthias@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject: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=tcc8zp2aW+s/66zMS1gl5G+gvDYe/jxzl5KwQJfInbU=; b=ozrH4TZbBQ+/hYmwiES9hQ3mpdQQPAIjm7s3vw5vFAfd/6BqcA4ADziYhT+LzpjLPp YWKW4jHdAzU5egTVFuf0q8MPZfBSBW0qJkLZQad5LYODpgkH20d6oh/q+ryq4ghXRavE PGdtIM70aSvNGyEafUsFM3t3evAvN21z7arDG8R5/tPQ1VlviDTX9DtwbNPz4yb34+pN zY4SxVzQtYWNRRgxtum/K+QXsa1XxUGyDy9qdDJ4p7y7LxhNvtWcFwhN84IO5GFQs0R9 oZsf50GEt6SoFIr0RBNfqVVrCWq97CXBI3Tg5AlV9UaO+7nVUsANAs3ww3U+v8Uo84Ys bEBg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to: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=tcc8zp2aW+s/66zMS1gl5G+gvDYe/jxzl5KwQJfInbU=; b=TBJHBau/xIW6cZDcVf6m5iE+dZPPYtxz7m7TjhzN4Hptlz9XR5aTfRCG0ZF0p9+Tby ai6UgCFPMUDIDyysRLzFUXHJW1eSMAj+FrFOOi89kVIqSRjHfLO0QutuQg6JysphvXvh fcEPgSNALn6XEzbykAnwFdhRpH80vkmjn/vDO15vXFbkpLVONPhZJpUMxmMBxQarLJlQ DKtw5gEsIT/gkMWkjf0xBnIxHMqejokBFO0nlJSi4Y3/iqNBED4caxMebXJidH6YTyyM j/1ETtSoPytbaZHY4cemgeFNySAYFE0cUxaaD/4iPvTqRF+L4jeTfi9RxirM9t9ofRtB Vuew== X-Gm-Message-State: AJcUukeWtC9NinWnz+USOGIKb0Ir+oHr2KSX4lVBaTCgSyxoU4m6Pzk6 gazSx8DPhcDMtpORbJMQGL8S+g== X-Google-Smtp-Source: ALg8bN7QG1tA3Ng1aeWjmPNX8a+BOxhZd1M3/aMuF+SmN7t//BsmWqRPcUMmHjXPTOCEDgHoF8ybrg== X-Received: by 2002:a24:a945:: with SMTP id x5mr3029379iti.26.1548354675409; Thu, 24 Jan 2019 10:31:15 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a24:228e:: with SMTP id o136ls1112643ito.0.canary-gmail; Thu, 24 Jan 2019 10:31:13 -0800 (PST) X-Received: by 2002:a05:660c:fd2:: with SMTP id m18mr2200301itn.1.1548354673752; Thu, 24 Jan 2019 10:31:13 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1548354673; cv=none; d=google.com; s=arc-20160816; b=S5yCc+krIjSU1U1tKDkdNYpH6n3HvqSBjOfZQ0JGOUyvlYVbF3MdWtMImESL7c4dYQ tk4hGucyH/KFzGt91+EtakSwsEsAhNIZH5z16adUOGzjC+qLnlhlnYVY4H0cBnqo3l1S Q91XRLs5OgjlXbHmhpR7dFbdxJB+rhfFCTkkYyGjaL1tkl+LndPi0sEIL+mjnO1rEB0I MfuauoGnwGJAqYiuuVtNkEzHQ6cMv3K5t6Vq8/RS69sUwZaBGWpixOZrbKBb44r/nrcc VThXfml0hiFpCOrKa11uLpFlyca65Gspg27HvKS2A1gIdASZ2/pM1Fte/9W6fZpIKc6e nz0A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=VokNuaDRioylJn8BGHBG59tEBRXOhtyTJ6KW+2JKWGE=; b=vKEWIIHWRqhgFS0ICZTX7Q+6kNjqGz9U6478DsiYWkpXE8sPwK0BkXP0DsMK7XIF/x WZ1vrWv41yHImvfHRXvlXdB5y6HsATrywCAqLjGhTTiXj5cNCsq0rJ+wRKD88F2gEsIV ATI3cEMv5j0UWig3Kc3ZlxW+cknd3MGBPdnXra5AbJ6wo7oO7czvsEY4VmxroYBYlu1m 16ColcLYxLNMF/qafH8UdwegFpTtebVBlt0Q1uD5MKPCmIn6y5Nwkh00Sg7SbOJCSUyo Dn6MpiS07p2tOQ8Tw8HBEWom/zflscMbCD9DujPTwHYfRbLQeNl2l8eReAet0ipNev7H 4UGQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=AdBLZSGU; spf=pass (google.com: domain of gehre.matthias@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=gehre.matthias@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=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 u13sor12240498ioc.60.2019.01.24.10.31.13 for (Google Transport Security); Thu, 24 Jan 2019 10:31:13 -0800 (PST) Received-SPF: pass (google.com: domain of gehre.matthias@gmail.com designates 209.85.220.41 as permitted sender) client-ip=209.85.220.41; X-Received: by 2002:a6b:1490:: with SMTP id 138mr4806814iou.103.1548354672955; Thu, 24 Jan 2019 10:31:12 -0800 (PST) In-Reply-To: <46c9454a-7d31-426d-9031-a8ca4f3d7add@isocpp.org> X-Original-Sender: Gehre.Matthias@gmail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=AdBLZSGU; spf=pass (google.com: domain of gehre.matthias@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=gehre.matthias@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=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:41394 Archived-At: --0000000000004495290580386a52 Content-Type: text/plain; charset="UTF-8" I guess val() could contain static local variables, which would need to be different objects for each T? Am Mi., 23. Jan. 2019 um 17:58 Uhr schrieb p groarke < philippe.groarke@gmail.com>: > > > 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 > > . > -- 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/CAOCE36VYA0mMJVn5xok0aMmU1ZcQbD%3DO5Y-6kJ%2BxqK3xxDr6Jw%40mail.gmail.com. --0000000000004495290580386a52 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I guess val() could contain static local variables, which = would need to be different objects for each T?

Am Mi., 23. Jan. 2019 um 17:5= 8=C2=A0Uhr schrieb p groarke <philippe.groarke@gmail.com>:


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-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.

--
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/CAOCE36VYA0mM= JVn5xok0aMmU1ZcQbD%3DO5Y-6kJ%2BxqK3xxDr6Jw%40mail.gmail.com.
--0000000000004495290580386a52-- .