220 8808 <2197697.seLhVeXBLj@tjmaciei-mobl2> article Path: news.gmane.org!not-for-mail From: Thiago Macieira Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: I think many methods could be written by compilers, not users. Date: Sat, 25 Jan 2014 16:18:22 -0800 Lines: 33 Approved: news@gmane.org Message-ID: <2197697.seLhVeXBLj@tjmaciei-mobl2> References: <32b93ed2-1852-453a-872e-accba451fed6@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1390695497 31411 80.91.229.3 (26 Jan 2014 00:18:17 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 26 Jan 2014 00:18:17 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCB4TK757YBRBUNISGLQKGQEZTGZASI@isocpp.org Sun Jan 26 01:18:26 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-bk0-f72.google.com ([209.85.214.72]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1W7DQg-0000Hx-8Y for gclcip-std-proposals@m.gmane.org; Sun, 26 Jan 2014 01:18:26 +0100 Original-Received: by mail-bk0-f72.google.com with SMTP id mx11sf8030373bkb.3 for ; Sat, 25 Jan 2014 16:18:25 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:subject:date:message-id:user-agent :in-reply-to:references:mime-version:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:list-subscribe :list-unsubscribe:content-type; bh=IEcTzB8C43KYlVr4lg862+cPMRh2lgsbXj5E/L84h/s=; b=l+VQZZsBrSWtuY6BmyG0a+sQEK+n3wHfEDQnKihxhesGkzXRINrGX+HgKtCVJrlSex 0pC1h4v3S0NvSF2eLcghmH0fChtR1GpOFl8snh2TQxO0FsB3ouZBWmsXMLlDQb+ibkdk nV7NvRhQNKiCbD+Nb7MvmBg88XlzH5PCpGT+BqM7L0qliKttvfRGqNWUG6uOOqCsT63F AwKUJRcjm136y4eI4fXV3aAeRakrasWMyF63J1f0PvH9PGFErPqqFV5pbFs8dfg1Gew1 inK90r58otBQSoK7aYKmQxrX1isTcw1qOjVvhxe7bAXndQZMtwNnu8k8QwTKReA5cJ5y BcjA== X-Gm-Message-State: ALoCoQlsuCtFk6Tm/BR9dyQ1tgb/KMzlz/fp5SvLYff7Nv+HVFQgvhnZys8xjOldO6l2yln/MIX8 X-Received: by 10.112.144.165 with SMTP id sn5mr789602lbb.11.1390695505677; Sat, 25 Jan 2014 16:18:25 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.180.79.39 with SMTP id g7ls661134wix.36.canary; Sat, 25 Jan 2014 16:18:24 -0800 (PST) X-Received: by 10.204.122.193 with SMTP id m1mr146198bkr.92.1390695504772; Sat, 25 Jan 2014 16:18:24 -0800 (PST) Original-Received: from gondolin.macieira.info (gondolin.macieira.info. [2a01:4f8:d13:f81:21c:14ff:fe01:12a3]) by mx.google.com with ESMTP id ql3si8490399bkb.198.2014.01.25.16.18.24 for ; Sat, 25 Jan 2014 16:18:24 -0800 (PST) Received-SPF: pass (google.com: domain of thiago@macieira.org designates 2a01:4f8:d13:f81:21c:14ff:fe01:12a3 as permitted sender) client-ip=2a01:4f8:d13:f81:21c:14ff:fe01:12a3; Original-Received: from tjmaciei-mobl2.localnet (unknown [IPv6:2a01:4f8:d13:f81:21c:14ff:fe01:12a3]) by gondolin.macieira.info (Postfix) with ESMTPSA id 34BF912C004 for ; Sat, 25 Jan 2014 16:18:24 -0800 (PST) User-Agent: KMail/4.12 pre (Linux/3.9.10-100+i915fix.fc17.x86_64; KDE/4.11.60; x86_64; git-8054221; 2013-08-01) In-Reply-To: X-Original-Sender: thiago@macieira.org X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of thiago@macieira.org designates 2a01:4f8:d13:f81:21c:14ff:fe01:12a3 as permitted sender) smtp.mail=thiago@macieira.org 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:8808 Archived-At: On sexta-feira, 24 de janeiro de 2014 18:22:07, euloanty@live.com wrote: > when you write > f(f&& bmv) noexcept =auto; > f& operator=(f&&) noexcept =auto; > > Containers will know that your type has concept "standard-moving-operations > of types" by concept-check. The problem here is that your concept of "standard moving operation" is not what the compiler considers standard. The standard for move is to move each item, which does not imply zeroing out the origin. Your type requires zeroing the origin if the destructor is called on the original location. Alternatively, the type can be memcpy'ed if the destructor is not called on the original location, but that's not the same as what we have right now in moving. -- Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org Software Architect - Intel Open Source Technology Center PGP/GPG: 0x6EF45358; fingerprint: E067 918B B660 DBD1 105C 966C 33F5 F005 6EF4 5358 -- --- 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. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/. .