что такое правило трех?

<ul> <li>что означает <em>копирование объекта</em>?</li> <li>что такое <em>конструктор копирования</em> и <em>оператор присваивания копии</em>?</li> <li>когда я должен объявить их сам?</li> <li>как я могу предотвратить копирование моих объектов?</li> </ul>

<h1>вступление</h1><p>c++ обрабатывает переменные пользовательских типов с помощью <em>семантика значений</em>. это означает, что объекты неявно копируются в различных контекстах, и мы должны понимать, что на самом деле означает "копирование объекта".</p><p>давайте рассмотрим простой пример:</p><pre><code>class person { std::string name; int age; public: person(const std::string& name, int age) : name(name), age(age) { } }; int main() { person a("bjarne stroustrup", 60); person b(a); // what happens here? b = a; // and here? } </code></pre><p>(если вы озадачены частью <code>name(name), age(age)</code>, это называется <a href="https://stackoverflow.com/questions/1272680/">список инициализаторов членов</a> .)</p><h1>специальные функции-члены</h1><p>что значит скопировать объект <code>person</code>? функция <code>main</code> показывает два различных сценария копирования. инициализация <code>person b(a);</code> выполняется <em>копировать конструктор</em>. его работа заключается в создании нового объекта на основе состояния существующего объекта. назначение <code>b = a</code> выполняется <em>оператор копирования назначения</em>. его работа обычно немного сложнее, потому что целевой объект уже находится в каком-то допустимом состоянии, с которым нужно иметь дело.</p><p>поскольку мы сами не объявили ни конструктор копирования, ни оператор присваивания (ни деструктор), они неявно определены для нас. цитата из стандарта:</p><blockquote> <p>[...] конструктор копирования и оператор присваивания копии, [...] и деструктор являются специальными функциями-членами. [<em>примечание</em>: <strong> реализация будет неявно объявлять эти функции-члены для некоторых типов классов, когда программа явно не объявляет их. </strong> реализация будет неявно определять их, если они используются. [...] <em>конечная заметка</em>] [n3126.pdf раздел 12 §1]</p> </blockquote><p>по умолчанию копирование объекта означает копирование его членов:</p><blockquote> <p>неявно определенный конструктор копирования для класса x, не являющегося объединением, выполняет пошаговую копию своих подобъектов. [n3126.pdf раздел 12.8 §16]</p> <p>неявно определенный оператор присваивания копии для класса x, не являющегося объединением, выполняет присваивание для каждого элемента подобъекта. [n3126.pdf раздел 12.8 §30]</p> </blockquote><h2>неявные определения</h2><p>неявно определенные специальные функции-члены для <code>person</code> выглядят так:</p><pre><code>// 1. copy constructor person(const person& that) : name(that.name), age(that.age) { } // 2. copy assignment operator person& operator=(const person& that) { name = that.name; age = that.age; return *this; } // 3. destructor ~person() { } </code></pre><p>копирование по элементам именно то, что нам нужно в этом случае: <code>name</code> и <code>age</code> копируются, поэтому мы получаем автономный, независимый объект <code>person</code>. неявно определенный деструктор всегда пуст. это также хорошо в этом случае, так как мы не получили никаких ресурсов в конструкторе. деструкторы членов неявно вызываются после завершения деструктора <code>person</code>:</p><blockquote> <p>после выполнения тела деструктора и уничтожения любых автоматических объектов, размещенных в теле, деструктор для класса x вызывает деструкторы для прямых [...] членов x [n3126.pdf 12.4 §6]</p> </blockquote><h1>управление ресурсами</h1><p>итак, когда мы должны объявить эти специальные функции-члены явно? когда наш класс <em>управляет ресурсом</em>, то есть когда объект класса <em>ответственный</em> для этого ресурса. обычно это означает, что ресурс <em>приобретен</em> в конструкторе (или передан в конструктор) и <em>освобожден</em> в деструкторе.</p><p>давайте вернемся назад к предварительному стандарту c++. не было такого понятия, как <code>std::string</code>, и программисты были влюблены в указатели. класс <code>person</code> мог бы выглядеть так:</p><pre><code>class person { char* name; int age; public: // the constructor acquires a resource: // in this case, dynamic memory obtained via new[] person(const char* the\_name, int the\_age) { name = new char[strlen(the\_name) + 1]; strcpy(name, the\_name); age = the\_age; } // the destructor must release this resource via delete[] ~person() { delete[] name; } }; </code></pre><p>даже сегодня люди все еще пишут классы в этом стиле и попадают в неприятности: "<em>я толкнул человека в вектор, и теперь я получаю сумасшедшие ошибки памяти!</em>" помните, что по умолчанию копирование объекта означает копирование его объекта. члены, но копирование члена <code>name</code> просто копирует указатель, <em>not</em> массив символов, на который он указывает! это имеет несколько неприятных последствий:</p><ol> <li>изменения через <code>a</code> можно наблюдать через <code>b</code>.</li> <li>после уничтожения <code>b</code>, <code>a.name</code> является висящим указателем.</li> <li>если <code>a</code> уничтожено, удаление висящего указателя приводит к <a href="https://stackoverflow.com/questions/2397984/">неопределенное поведение</a> .</li> <li>поскольку в назначении не учитывается то, на что указывало <code>name</code> перед назначением, рано или поздно вы получите утечки памяти повсюду.</li> </ol><h2>явные определения</h2><p>поскольку копирование по элементам не дает желаемого эффекта, мы должны явно определить конструктор копирования и оператор назначения копирования, чтобы сделать глубокие копии массива символов:</p><pre><code>// 1. copy constructor person(const person& that) { name = new char[strlen(that.name) + 1]; strcpy(name, that.name); age = that.age; } // 2. copy assignment operator person& operator=(const person& that) { if (this != &that) { delete[] name; // this is a dangerous point in the flow of execution! // we have temporarily invalidated the class invariants, // and the next statement might throw an exception, // leaving the object in an invalid state :( name = new char[strlen(that.name) + 1]; strcpy(name, that.name); age = that.age; } return *this; } </code></pre><p>обратите внимание на разницу между инициализацией и назначением: мы должны разрушить старое состояние перед назначением <code>name</code>, чтобы предотвратить утечки памяти. также мы должны защитить от самостоятельного назначения формы <code>x = x</code>. без этой проверки <code>delete[] name</code> удалит массив, содержащий строку <em>source</em>, потому что когда вы пишете <code>x = x</code>, и <code>this->name</code>, и <code>that.name</code> содержат один и тот же указатель.</p><h2>исключительная безопасность</h2><p>к сожалению, это решение не будет работать, если <code>new char[...]</code> выдает исключение из-за исчерпания памяти. одно из возможных решений - ввести локальную переменную и изменить порядок операторов:</p><pre><code>// 2. copy assignment operator person& operator=(const person& that) { char* local\_name = new char[strlen(that.name) + 1]; // if the above statement throws, // the object is still in the same state as before. // none of the following statements will throw an exception :) strcpy(local\_name, that.name); delete[] name; name = local\_name; age = that.age; return *this; } </code></pre><p>это также заботится о самостоятельном назначении без явной проверки еще более надежным решением этой проблемы является <a href="https://stackoverflow.com/questions/3279543/">идиома копирования и замены</a> , но я не буду вдаваться в детали безопасности исключений здесь. я упомянул только исключения, чтобы подчеркнуть следующее: <strong> писать классы, которые управляют ресурсами, сложно. </strong></p><h2>некопируемые ресурсы</h2><p>некоторые ресурсы не могут или не должны копироваться, такие как дескрипторы файлов или мьютексы. в этом случае просто объявите конструктор копирования и оператор присваивания копии как <code>private</code> без определения:</p><pre><code>private: person(const person& that); person& operator=(const person& that); </code></pre><p>кроме того, вы можете наследовать от <code>boost::noncopyable</code> или объявить их как удаленные (в c++ 11 и выше):</p><pre><code>person(const person& that) = delete; person& operator=(const person& that) = delete; </code></pre><h2>правило трех</h2><p>иногда вам нужно реализовать класс, который управляет ресурсом. (никогда не управляйте несколькими ресурсами в одном классе, это приведет только к боли.) в этом случае запомните <strong> правило трех </strong>:</p><blockquote> <p>если вам нужно явно объявить деструктор, конструктор копирования или оператор копирования, вы, вероятно, должны явно объявить все три из них.</p> </blockquote><p>(к сожалению, это "правило" не применяется стандартом c++ или любым известным мне компилятором.)</p><h2>правило пяти</h2><p>начиная с c++ 11, объект имеет 2 дополнительные специальные функции-члены: конструктор перемещения и назначение перемещения. правило пяти государств для реализации этих функций, а также.</p><p>пример с подписями:</p><pre><code>class person { std::string name; int age; public: person(const std::string& name, int age); // ctor person(const person &) = default; // copy ctor person(person &&) noexcept = default; // move ctor person& operator=(const person &) = default; // copy assignment person& operator=(person &&) noexcept = default; // move assignment ~person() noexcept = default; // dtor }; </code></pre><h2>правило нуля</h2><p>правило 3/5 также упоминается как правило 0/3/5. нулевая часть правила гласит, что вам не разрешается писать какие-либо специальные функции-члены при создании вашего класса.</p><h1>совет</h1><p>в большинстве случаев вам не нужно самостоятельно управлять ресурсом, потому что существующий класс, такой как <code>std::string</code>, уже делает это за вас. просто сравните простой код с использованием члена <code>std::string</code> с извилистой и подверженной ошибкам альтернативой с использованием <code>char*</code>, и вы должны убедиться в этом. пока вы держитесь подальше от необработанных членов-указателей, правило трех вряд ли будет касаться вашего собственного кода.</p>

<p> <a href="http://en.wikipedia.org/wiki/rule\_of\_three\_%28c%2b%2b\_programming%29">правило трех</a> является практическим правилом для c++, в основном говоря,</p><blockquote> <p>если вашему классу нужен любой из</p> <ul> <li><strong> конструктор копирования </strong>,</li> <li><strong> оператор присваивания </strong>,</li> <li>или <strong> деструктор </strong>,</li> </ul> <p>определяется явно, тогда, вероятно, потребуются <strong> все три из них </strong>.</p> </blockquote><p>причины этого в том, что все три из них обычно используются для управления ресурсом, и если ваш класс управляет ресурсом, ему обычно необходимо управлять копированием, а также освобождением.</p><p>если нет хорошей семантики для копирования ресурса, которым управляет ваш класс, тогда попробуйте запретить копирование, объявив (не <em> <a href="https://stackoverflow.com/questions/1410563/what-is-the-difference-between-a-definition-and-a-declaration/1410632#1410632">определяя</a> </em>) конструктор копирования и оператор присваивания как <code>private</code>.</p><p>(обратите внимание, что в новой версии стандарта c++ (которая представляет собой c++ 11) добавлена семантика перемещения в c++, что, вероятно, изменит правило 3. однако я слишком мало знаю об этом, чтобы написать раздел c++ 11 о правиле трех.)</p>

<p>закон большой тройки такой, как указано выше.</p><p>простой пример на простом английском языке той проблемы, которую он решает:</p><p><strong>деструктор не по умолчанию</strong></p><p>вы распределили память в своем конструкторе, и поэтому вам нужно написать деструктор, чтобы удалить ее. в противном случае вы вызовете утечку памяти.</p><p>вы можете подумать, что это работа.</p><p>проблема будет в том, что если копия сделана из вашего объекта, то копия будет указывать на ту же память, что и исходный объект.</p><p>как только один из них удалит память в своем деструкторе, у другого будет указатель на недопустимую память (это называется висячим указателем), когда он попытается использовать его, все станет волосатым.</p><p>следовательно, вы пишете конструктор копирования, чтобы он выделял новым объектам собственные части памяти для уничтожения.</p><p><strong>оператор присваивания и конструктор копирования</strong></p><p>вы выделили память в своем конструкторе на указатель члена вашего класса. при копировании объекта этого класса оператор присваивания по умолчанию и конструктор копирования будут копировать значение этого указателя на новый объект.</p><p>это означает, что новый объект и старый объект будут указывать на один и тот же фрагмент памяти, поэтому при изменении его в одном объекте он будет изменен и для другого объекта. если один объект удалит эту память, другой продолжит попытки ее использовать - eek.</p><p>чтобы решить эту проблему, вы пишете свою собственную версию конструктора копирования и оператора присваивания. ваши версии выделяют отдельную память для новых объектов и копируют значения, на которые указывает первый указатель, а не его адрес.</p>

<p>в основном, если у вас есть деструктор (не деструктор по умолчанию), это означает, что у класса, который вы определили, есть некоторое выделение памяти. предположим, что класс используется снаружи некоторым клиентским кодом или вами.</p><pre><code> myclass x(a, b); myclass y(c, d); x = y; // this is a shallow copy if assignment operator is not provided </code></pre><p>если в myclass есть только некоторые примитивные типизированные члены, то будет работать оператор присваивания по умолчанию, но если в нем есть некоторые элементы-указатели и объекты, у которых нет операторов присваивания, результат будет непредсказуемым. поэтому мы можем сказать, что если есть что-то, что нужно удалить в деструкторе класса, нам может понадобиться оператор глубокого копирования, что означает, что мы должны предоставить конструктор копирования и оператор присваивания.</p>

<p>что означает копирование объекта? есть несколько способов, которыми вы можете копировать объекты - давайте поговорим о 2 видах, на которые вы, скорее всего, ссылаетесь - глубокое копирование и поверхностное копирование.</p><p>поскольку мы находимся на объектно-ориентированном языке (или, по крайней мере, предполагаем так), скажем, у вас выделен кусок памяти. так как это оо-язык, мы можем легко ссылаться на фрагменты памяти, которые мы выделяем, потому что они обычно являются примитивными переменными (целыми числами, символами, байтами) или классами, которые мы определили, которые сделаны из наших собственных типов и примитивов. допустим, у нас есть класс автомобилей следующим образом:</p><pre><code>class car //a very simple class just to demonstrate what these definitions mean. //it's pseudocode c++/javaish, i assume strings do not need to be allocated. { private string sprintcolor; private string smodel; private string smake; public changepaint(string newcolor) { this.sprintcolor = newcolor; } public car(string model, string make, string color) //constructor { this.sprintcolor = color; this.smodel = model; this.smake = make; } public ~car() //destructor { //because we did not create any custom types, we aren't adding more code. //anytime your object goes out of scope / program collects garbage / etc. this guy gets called + all other related destructors. //since we did not use anything but strings, we have nothing additional to handle. //the assumption is being made that the 3 strings will be handled by string's destructor and that it is being called automatically--if this were not the case you would need to do it here. } public car(const car &other) // copy constructor { this.sprintcolor = other.sprintcolor; this.smodel = other.smodel; this.smake = other.smake; } public car &operator =(const car &other) // assignment operator { if(this != &other) { this.sprintcolor = other.sprintcolor; this.smodel = other.smodel; this.smake = other.smake; } return *this; } } </code></pre><p>глубокая копия - это если мы объявляем объект, а затем создаем совершенно отдельную копию объекта ... в итоге мы получаем 2 объекта в 2-х комплектах памяти.</p><pre><code>car car1 = new car("mustang", "ford", "red"); car car2 = car1; //call the copy constructor car2.changepaint("green"); //car2 is now green but car1 is still red. </code></pre><p>теперь давайте сделаем что-то странное. предположим, что car2 либо запрограммирован неправильно, либо намеренно предназначен для разделения фактической памяти, из которой сделан car1. (обычно это ошибка, и в классах это, как правило, обсуждаемое одеяло.) представьте, что каждый раз, когда вы спрашиваете о car2, вы действительно разрешаете указатель на пространство памяти car1 ... это более или менее то, что мелкая копия является.</p><pre><code>//shallow copy example //assume we're in c++ because it's standard behavior is to shallow copy objects if you do not have a constructor written for an operation. //now let's assume i do not have any code for the assignment or copy operations like i do above...with those now gone, c++ will use the default. car car1 = new car("ford", "mustang", "red"); car car2 = car1; car2.changepaint("green");//car1 is also now green delete car2;/*i get rid of my car which is also really your car...i told c++ to resolve the address of where car2 exists and delete the memory...which is also the memory associated with your car.*/ car1.changepaint("red");/*program will likely crash because this area is no longer allocated to the program.*/ </code></pre><p>поэтому независимо от того, на каком языке вы пишете, будьте очень осторожны с тем, что вы имеете в виду, когда речь идет о копировании объектов, потому что в большинстве случаев вам нужна глубокая копия.</p><p>что такое конструктор копирования и оператор присваивания копии? я уже использовал их выше. конструктор копирования вызывается, когда вы вводите код, такой как <code>car car2 = car1;</code>. по сути, если вы объявляете переменную и назначаете ее в одной строке, тогда вызывается конструктор копирования. оператор присваивания - это то, что происходит, когда вы используете знак равенства --<code>car2 = car1;</code>. обратите внимание, <code>car2</code> не объявлен в том же заявлении. две части кода, которые вы пишете для этих операций, вероятно, очень похожи. на самом деле типичный шаблон проектирования имеет другую функцию, которую вы вызываете, чтобы установить все, как только вы убедитесь, что первоначальное копирование/присвоение является законным - если вы посмотрите на написанный мной длинный код, функции почти идентичны.</p><p>когда я должен объявить их сам? если вы не пишете код, предназначенный для совместного использования или для производства каким-либо образом, вам действительно нужно объявлять их только тогда, когда они вам нужны. вы должны знать, что делает ваш программный язык, если вы решили использовать его "случайно" и не сделали его - т.е. вы получаете компилятор по умолчанию. например, я редко использую конструкторы копирования, но переопределения операторов присваивания очень распространены. знаете ли вы, что вы можете переопределить, что означает сложение, вычитание и т.д.?</p><p>как я могу предотвратить копирование моих объектов? разумное начало - переопределить все способы, которыми вам разрешено выделять память для вашего объекта с помощью закрытой функции. если вы действительно не хотите, чтобы люди копировали их, вы можете сделать это общедоступным и предупредить программиста, создав исключение и не копируя объект.</p>

<blockquote> <p>когда я должен объявить их сам?</p> </blockquote><p>правило трех гласит, что если вы объявляете</p><ol> <li>конструктор копирования</li> <li>оператор копирования</li> <li>деструктор</li> </ol><p>тогда вы должны объявить все три. это явилось результатом наблюдения, что необходимость принимать значение операции копирования почти всегда вытекала из того, что класс выполняет какое-то управление ресурсами, и это почти всегда подразумевало, что</p><ul> <li> <p>какое бы управление ресурсами ни выполнялось в одной операции копирования, вероятно, необходимо было бы выполнить в другой операции копирования и</p> </li> <li> <p>деструктор класса также будет участвовать в управлении ресурсом (обычно освобождая его). классическим ресурсом, которым нужно управлять, была память, и именно поэтому все классы стандартной библиотеки, которые управляют памятью (например, контейнеры stl, которые выполняют динамическое управление памятью), объявляют "большую тройку": и операции копирования, и деструктор.</p> </li> </ul><p><strong>следствие правила три</strong> означает, что наличие деструктора, объявленного пользователем, указывает на то, что простое копирование с использованием элементов вряд ли подходит для операций копирования в классе. это, в свою очередь, говорит о том, что если класс объявляет деструктор, операции копирования, вероятно, не должны генерироваться автоматически, потому что они не будут делать правильные вещи. в то время, когда был принят c++ 98, значение этой линии рассуждений не было полностью оценено, поэтому в c++ 98 существование деструктора, объявленного пользователем, не оказывало влияния на готовность компиляторов генерировать операции копирования. это продолжает иметь место в c++ 11, но только потому, что ограничение условий, при которых генерируются операции копирования, нарушило бы слишком много унаследованного кода.</p><blockquote> <p>как я могу предотвратить копирование моих объектов?</p> </blockquote><p>объявите конструктор копирования и оператор назначения копирования как частный спецификатор доступа.</p><pre><code>class memoryblock { public: //code here private: memoryblock(const memoryblock& other) { cout<<"copy constructor"<<endl; } // copy assignment operator. memoryblock& operator=(const memoryblock& other) { return *this; } }; int main() { memoryblock a; memoryblock b(a); } </code></pre><p>в c++ 11 и далее вы также можете объявить, что конструктор копирования и оператор присваивания удалены</p><pre><code>class memoryblock { public: memoryblock(const memoryblock& other) = delete // copy assignment operator. memoryblock& operator=(const memoryblock& other) =delete }; int main() { memoryblock a; memoryblock b(a); } </code></pre>

<p>многие из существующих ответов уже касаются конструктора копирования, оператора присваивания и деструктора. однако в посте c++ 11 введение семантики перемещения может расширить это за пределы 3.</p><p>недавно майкл клэсс выступил с докладом на эту тему: <a href="http://channel9.msdn.com/events/cpp/c-pp-con-2014/the-canonical-class">http://channel9.msdn.com/events/cpp/c-pp-con-2014/the-canonical-class</a> </p>

<p>правило трех в c++ является фундаментальным принципом проектирования и разработки трех требований, согласно которым, если в одной из следующих функций-членов есть четкое определение, программист должен определить две другие функции-члены вместе. а именно следующие три функции-члена являются обязательными: деструктор, конструктор копирования, оператор присваивания копии.</p><p>конструктор копирования в c++ является специальным конструктором. он используется для создания нового объекта, который является новым объектом, эквивалентным копии существующего объекта.</p><p>оператор назначения копирования - это специальный оператор назначения, который обычно используется для указания существующего объекта другим объектам того же типа.</p><p>есть быстрые примеры:</p><pre><code>// default constructor my\_class a; // copy constructor my\_class b(a); // copy constructor my\_class c = a; // copy assignment operator b = a; </code></pre>