220 41395 article Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Matthew Woehlke Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Improving compile times for non-template dependent member functions. Date: Thu, 24 Jan 2019 14:45:01 -0500 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: text/plain; charset="UTF-8" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="43471"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.4.0 To: std-proposals@isocpp.org, p groarke Original-X-From: std-proposals+bncBC37LBFWUIFBBQFLVDRAKGQEXWCPIWQ@isocpp.org Thu Jan 24 20:45:07 2019 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-qk1-f200.google.com ([209.85.222.200]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.89) (envelope-from ) id 1gmkvy-000B7s-FO for gclcip-std-proposals@m.gmane.org; Thu, 24 Jan 2019 20:45:06 +0100 Original-Received: by mail-qk1-f200.google.com with SMTP id a199sf6564479qkb.23 for ; Thu, 24 Jan 2019 11:45:06 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1548359105; cv=pass; d=google.com; s=arc-20160816; b=cIAl3HQ9YcmxxxJmZmVeQp6EMQLtHEF31WzwUYiVGOBK955cjNeLcwLnaQ7PXRAkRb 5lAAJR+Zk3Smc04Yt7mpZLoTHf7b6RGh5HSAVLseai2Uyvrju2l09K0PRjAIve7hC9eg aWh2UzLjtIziPCbJjkTX+fh68YCg+B5kqa2tXWfBkMTdv2PR9HkgXKhYAqVlQcytAXkl 9cG9oHJ7dI7hsRCX+tIkOaoT0nwxjM9Mmk8iUEgE7RGzYhQF4pvIfVMSdyEnABglsyAc ebzbOWPYMw3wVE2nb8pgNn3ZEoWZX7gejzsVSw5H7w2c0iLEurYRcmei8OTB/+9X4vW9 faDw== 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:content-language :in-reply-to:mime-version:user-agent:date:message-id:openpgp:from :references:to:subject:dkim-signature; bh=nJ1Pm4LfnbC66TlepE1eA9b1ICPDgxR9GzNzalbiFDI=; b=ytbW+BmZxfFfOZUQfhpdxT2rTwBQTemeg2TaAWKzifbX+yEIOlXmGdjgcFxbiwOqGB OdDmJsb6TjyW7Hz+B3aklLqHElw0pWQU8Vo/r+FP1dWmZlzqs8AQ/4AEHEbdsB4JEqF5 EV34TC2NGJnw57+VpT6jRRwXBu2aqnOj/ri6EvyZ1sVtV+PaC2l0qC0PIdCydsjNwyxl Gi8/sKbDdHjlX5f8knBzQK1W8eWs1Beqs0//DC/NjolGD5WnPiziBH2xYiWjtaMgjdro dKG20F+boJ1TBQnv0pARgN4clUL1aY1IYCXYznAwTdBNUlclBpCIHIvj//PoqQxGHde9 NscQ== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="vduX/6se"; spf=pass (google.com: domain of mwoehlke.floss@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=mwoehlke.floss@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=subject:to:references:from:openpgp:message-id:date:user-agent :mime-version:in-reply-to:content-language: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=nJ1Pm4LfnbC66TlepE1eA9b1ICPDgxR9GzNzalbiFDI=; b=dyIXp0E4QDzMNKroIhLP/n8Yg+ALmIVNXIqnQ7xvU69NyiF1pC7OQAMWcJwjq8yjHh IV2OknlpfQVvC9HhbgRThPKpmwhfMUncxFEOAH20pbirigGfWJS/NdUfBz4iDxO71+Hm tQUbYgM11HONyq4Xn1Wl8IeDD9bkKMul0fA9AiTiwygCBKdLnzc4DOMfdG+5TzKqSwYT F9QN05gG5o1FXtxjL1slU3ezxyK0hxE37iV3wCx9HmNRcSbzM6F5HYvbZc0UUkGeavW0 Mv3UmfFSo0u6D8dSQJXk4+b7PWVujp+G5vKo8JCrue6b6+ZApSPvl+1VnPJjyLZlrOjO DzoQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:openpgp:message-id :date:user-agent:mime-version:in-reply-to:content-language :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=nJ1Pm4LfnbC66TlepE1eA9b1ICPDgxR9GzNzalbiFDI=; b=l3gjWwn6untGuUv72EIUd8BHlEqGsoy82soseWvpxYlKGB0/YgA7f1D+YIJIxnP1dc EcE9eQGT1pz+6U/B1VuPSQ9rFVIV7kuyzIkBdPrtWrbI7mzjwn02zwJiCDCLPnQdESps um4gdG0xmuyvDafaa4FFhjJ+MIZiANnTrXwtMZOlg+lw49aWTC/sfEWpThMy8GaDki6G g8s7S55tCJ5WVZoeeoqsJrRk7ji18CCBQfK2cZyF1JVIN0KTxAUSINrEXNDHQ1Ng10bn 8FPwzZuMIbEIbHiHkmjZ7mQ74qIP07L1Ao8uU0N5diUSYpR9LptHf1kG1P/m5+M335Nk X-Gm-Message-State: AJcUukcqz1s7rn7geJyb1JGdMXjOzmPg6Ay4BRoD57OKd8pOr4aY64Ww 6Lrpn9r+emB8drNIR2APiTJ9yQ== X-Google-Smtp-Source: ALg8bN5L1PPcAVUYdKoZc8l+0mbuI3NxUD+7f3nqRd0GgZIGE2cgEu0RTriblVifiyT+MAdClmL/Rw== X-Received: by 2002:ac8:1a32:: with SMTP id v47mr6184902qtj.13.1548359105146; Thu, 24 Jan 2019 11:45:05 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:ac8:321a:: with SMTP id x26ls3062624qta.4.gmail; Thu, 24 Jan 2019 11:45:04 -0800 (PST) X-Received: by 2002:aed:3b25:: with SMTP id p34mr8036551qte.310.1548359104214; Thu, 24 Jan 2019 11:45:04 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1548359104; cv=none; d=google.com; s=arc-20160816; b=ls3rtNszkgMCxnLhVpVlql6h5bwGF6AQYVBShYiImNzgQnypkX0Q9a+dGI+9uin1PP CHlME9i6RGgJZ8TGMEkv1Efh7JXC7kxOSOKRCZjHxtGIlv8RMqkL5cyWK1abWfMGO+h3 IE2bmP7K6NwTT9XceyGH6MaDfSCnxg147wXDkVWYgY1fpQzd1XsW5dA0jqlFcD9w9Ur3 liDUrj1A7H4DzLqHVpjtNKQ6wZJMn412Ih250xLptWtFNbLFRSJq5WECcDbDzyp5Tnv1 3g+KMxjpBVm270UfqlifC6OCDLaQsZ0/oHLrLULI2E+GnWqOOKq3OzjM1PE5bmZnnjl5 4ddw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:content-language:in-reply-to:mime-version :user-agent:date:message-id:openpgp:from:references:to:subject :dkim-signature; bh=D5/9Rk/IKCAoAHwLvRkfuTyEJEVHl7VRXs5oDlTk4Kk=; b=ju6OKxTMYycQC+c3+Hy0mhxxU3qvvcMsMndt8MWSt9NYVgG4F5r1rItroPrHJv5Lmm cmjUwwstlowGCS8vKajbaxvHd4dlBxbK3yBjoMGrFaYqOkA22CQrO0D/HzQQX4eIK0yS JiDWTMKRBsLiK3tI2c31BMlUzVHfhoywk/m9vOXmYZ79ZQUpuJGobpPxQDAYiKHAnY1n sqBVAwl+3mpypGgZx68u7xHitOnAMj8Zgj+CSe7TvC6r7Af4Vp6zkGf/FFzofv8t/XqC 1jmPl3yDM5w7EEXQfRnBIVMqzjSKooZTKfs2z+ac+jDjc3KdF6actAyIxJNBMlbVDlAz /JMA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="vduX/6se"; spf=pass (google.com: domain of mwoehlke.floss@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=mwoehlke.floss@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 n30sor122823160qte.43.2019.01.24.11.45.04 for (Google Transport Security); Thu, 24 Jan 2019 11:45:04 -0800 (PST) Received-SPF: pass (google.com: domain of mwoehlke.floss@gmail.com designates 209.85.220.41 as permitted sender) client-ip=209.85.220.41; X-Received: by 2002:ac8:17f0:: with SMTP id r45mr8011914qtk.206.1548359104069; Thu, 24 Jan 2019 11:45:04 -0800 (PST) Original-Received: from gryphon.kitware.com (tripoint.kitware.com. [66.194.253.20]) by smtp.googlemail.com with ESMTPSA id t43sm105286467qtc.53.2019.01.24.11.45.02 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 24 Jan 2019 11:45:02 -0800 (PST) Openpgp: preference=signencrypt In-Reply-To: <46c9454a-7d31-426d-9031-a8ca4f3d7add@isocpp.org> Content-Language: en-US X-Original-Sender: mwoehlke.floss@gmail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b="vduX/6se"; spf=pass (google.com: domain of mwoehlke.floss@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=mwoehlke.floss@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:41395 Archived-At: On 23/01/2019 11.58, p groarke wrote: > 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? Ahem. "There are also template specializations to consider." template <> test::val() const { return -1; } What *might* be possible would be for the compiler to automatically generate an implementation of test::val that calls the generic version. Whether that's useful enough to warrant spending committee time is another question... -- Matthew -- 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/cb502204-61cc-d19b-9b1b-dc64df2c79b8%40gmail.com. .