Компилятор игнорирует явный конструктор копирования

@Siarhey · Регистрация: 04.04.2016

Студворк — интернет-сервис помощи студентам

Уже в который раз возникают проблемы с конструкторами класса и вот очередная из них. Насколько я понял, компилятор игнорирует явно написанный конструктор копирования и использует тот, что по умолчанию, в итоге в двух разных объектах поля last_name имеют один и тот же адрес, что вызывает ошибку при выполнении деструктора, который высвобождает динамическую память. Как заставить компилятор использовать мой конструктор копирования и если проблема не в этом, тогда что делать?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
#include <iostream>
using namespace std;
class account
{
public:
    int MAX = 50;
    account()
    {
        last_name = new char[MAX];
        strcpy_s(last_name, MAX,"Skuratovich");
    }
    
    account(const char *_last_name)
    {
        
        last_name = new char[MAX];
        strcpy_s(last_name, strlen(_last_name)+1, _last_name);
        cout << "я сработалъ!" << endl;
    }
    account(account& copy)
    {
        last_name = new char[MAX];
        strcpy_s(last_name, strlen(copy.last_name) + 1, copy.last_name);
        cout << "я сработалъ!" << endl;
    }
 
    ~account() { delete[] last_name; }
 
private:
    char *last_name;
 
};

@Kastaneda · 08.04.2016, 11:09

Сообщение от mimicria

Прошу прощения за древний текст, но:
12.8 Copying class objects
2. A nontemplate constructor for class X is a copy constructor if its first parameter is of type X&, const X&,
volatile X& or const volatile X&, and either there are no other parameters or else all other parameters have default arguments

Честно говоря стандарта под рукой не было, поэтому так написал. Возможно это нововведение С++11, но я точно знаю, что раньше конструктор копирования без const не воспринимался многими компиляторами (в студии работал). И это довольно известная проблема, на форуме не раз обсуждалось.

Добавлено через 3 минуты

Не по теме:

Croessmah, есть 2003 стандарт? На iso сайте только последний нашел. Интересно, что там пишут по этому поводу.

@obivan · 08.04.2016, 11:13

Pink_Pank, ну говорю же лично для меня, такой new новое, буду знать

Сообщение от Pink_Pank

нужен либо Placement new, либо отдельный инициализирующий метод

initializer_list

Добавлено через 3 минуты
Pink_Pank, про Placement new обязательно почитаю

Не по теме:

Тема оказалась полезнее для меня чем для ТС`а :)

@Pink_Pank · 08.04.2016, 11:15

Деструктору имеет смысл справляться только с освобождением выделенной памяти.

А остальное - проблемы компилятора. И то, с использованием умных указателей, и проблема возврата памяти плавно перелазит на плечи компиля.

HighPredator · 08.04.2016, 12:00

Сообщение от Kastaneda

Croessmah, есть 2003 стандарт?

У меня есть.

12.8 Copying class objects [class.copy]
1 A class object can be copied in two ways, by initialization (12.1, 8.5), including for function argument passing (5.2.2)
and for function value return (6.6.3), and by assignment (5.17). Conceptually, these two operations are implemented by
a copy constructor (12.1) and copy assignment operator (13.5.3).
2 A non-template constructor for class X is a copy constructor if its first parameter is of type X&, const X&, volatile X&
or const volatile X&, and either there are no other parameters or else all other parameters have default arguments
(8.3.6).112) [ Example: X::X(const X&) and X::X(X&,int=1) are copy constructors.

C++
1
2
3
4
5
6
 class X {
           / / ...
       public :
           X ( int );
           X ( const X & , int = 1);
       };

112) Because a template constructor is never a copy constructor, the presence of such a template does not suppress the implicit declaration of a copy

constructor. Template constructors participate in overload resolution with other constructors, including copy constructors, and a template constructor
may be used to copy an object if it provides a better match than other constructors.

Добавлено через 1 минуту
Могу весь раздел вбабахать, если надо.

@Kastaneda · 08.04.2016, 12:05

Не по теме:

Сообщение от HighPredator

Могу весь раздел вбабахать, если надо.

спасибо, не надо. Блин, откуда у меня в памяти сидит, что без const не работает, никак не могу вспомнить.

HighPredator · 08.04.2016, 12:11

Сообщение от Kastaneda

Блин, откуда у меня в памяти сидит, что без const не работает, никак не могу вспомнить.

Я думаю, что это не столько "не работает" в общем, сколько "не работает, если аргумент является временным объектом" в частности. Видимо у вас это в подкорке так отложилось.

@rikimaru2013 · 08.04.2016, 12:42

не успел цитату с стандарта 12.8.2 выложили уже)

Убежденный · 08.04.2016, 13:11

Сообщение от Siarhey

Как заставить компилятор использовать мой конструктор копирования и если проблема не в этом, тогда что делать?

Реализуй для начала оператор присваивания, а там посмотрим.
Сдается мне, что конструктор копирования здесь вообще не при чем.

@DrOffset · 08.04.2016, 13:28

Сообщение от Siarhey

Уже в который раз возникают проблемы с конструкторами класса

К предыдущему посту Убежденный хочу добавить, что неоднократные проблемы ТС в этой теме связаны с тем, что он не понимает, в частности, чем отличается копирование от присваивания и не отличает их в своем коде друг от друга. Проблемы так и будут продолжаться, пока автор не разберется в этом.

Добавлено через 11 минут

Сообщение от obivan

что тогда будет с другими полями, допустим не указателями, подкинем мы поле int, и что оно 2 раза будет создаватся, а декструктор тогда как с этим справтся

Никак. Это UB. Нельзя поверх живого объекта создавать еще один.
Но можно распределить память (например через operator new или malloc), а затем создать в ней объект с помощью placement new. Реализация стандартных контейнеров (в частности vector) пользуется именно этим.

По поводу инициализации элементов массивов см. пример.
По поводу подводных камней при использовании placement new для присваивания объектов см. эту тему.

@Siarhey · 08.04.2016, 17:47 **[ТС]**

obivan, Я так и не понял что мне конкретно исправить)

Добавлено через 4 минуты

Сообщение от Pink_Pank

Попробуйте писать this->last_name

где именно?)

Добавлено через 11 минут
DrOffset, то есть, чтобы пользоваться конструктором копирования, мне нужно иметь "пустой" объект? или я неправильно понимаю? Как мне именно написать?

@Kastaneda · 08.04.2016, 17:59

Siarhey, пока место в коде, где по-твоему конструктор копирования не работает, мы уже 2 страницы гадаем в чем проблема, можем и дальше продолжать)

@TheCalligrapher · 08.04.2016, 18:07

Сообщение от Siarhey

компилятор игнорирует явно написанный конструктор копирования

В языке С++ есть масса контекстов, в которых компилятор действительно имеет право игнорировать создание копии (и вызов конструктора копирования), даже если конструктор копирования имеет какие-то побочные эффекты.

Сообщение от Pink_Pank

Во первых, у вас утечка памяти в вашем копирующем конструкторе. Что если у вас объект уже создан ( выделили память),

В конструкторе (в любой конструкторе) никогда не бывает "объект уже создан". Память объекта в момент начала работы конструктора всегда содержит мусор. Задача конструктора - сделать эту память не мусором, т.е. проинициализировать ее. Именно для этого и существуют конструкторы: превратить сырую непредсказуемую память в корректное начальное состояние объекта.

Конструктор - это всегда "самый первый" метод объекта, работающий на регионе памяти. До него никого не было. Если у вас в конструкторе есть какая-то завязка на исходное содержимое инициализируемой памяти - значит вы что-то делаете неправильно.

Сообщение от Pink_Pank

Placement new посмотрите

Если вы вызовете placement new не уже сконструированный объект, требующий нетривиального уничтожения - это ваша грубая ошибка и ваша программа имеет неопределенное поведение.

Еще раз: конструктор всегда считает, что вызывается на сырую память. Без вариантов. Никакого удаления предыдущих данных в конструкторе нет и быть не может. В момент начала работы конструктора память содержит мусор и анализировать этот мусор никакого смысла нет.

Сообщение от Pink_Pank

Это не хак.

Это хак, и очень грубый хак.

Сообщение от Pink_Pank

попробуйте-ка выделить через new память для массива из классов и сразу же их в этой форме проинициализировать. Не получится. у вас классы создадутся при помощи конструктора по умолчанию.

Совершенно верно.

Сообщение от Pink_Pank

А чтобы их проинициализировать нужен либо Placement new,

Нет. Если объекты уже сконструированы (при помощи конструктора по умолчанию), то конструировать их поверх еще раз через placement new уже запрещается.

Чтобы в такой ситуации легально применить placement new, надо будет сначала вручную деструктировать эти объекты вызовом деструктора.

Сообщение от Pink_Pank

либо отдельный инициализирующий метод

Только так - отдельный инициализирующий метод.

Либо исходный массив надо было выделять как буфер из char, и тогда можно было бы поверх пройтись placement new. Но ни в коем случае не идти по уже сконструированным объектам через placement new.

В любом случае, еще раз: любая попытка анализировать предыдущее состояние объекта в конструкторе - всегда ошибка. "Предыдущего состояния" у конструируемого объекта нет. Объект всегда конструируется в сырой неинициализированной памяти.

Сообщение от Kastaneda

нет, const говорит, что это конструктор копирования в соответствии со стандартом, без const это не пойми что.

Это, конечно, не верно.

Конструктором копирования класса C называется конструктор, у которого первый параметр имеет тип C &, const C &, volatile C & или const volatile C & и либо больше нет параметров вообще, либо все остальные параметры имеют аргументы по умолчанию.[/quote]

@Siarhey · 08.04.2016, 18:08 **[ТС]**

Kastaneda,крч вот мэйн

(операции присваивания и вывода на экран я перегрузил, просто стёр в заголовочном для читабельности, но я уверен, там всё правильно)

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include "stdafx.h"
 
int main()
{
    setlocale(LC_ALL, "Russian");
    account NEW("Skuratovich"), NEW2; 
    cout << NEW;
    NEW = "Ivanov"; // меняем владельца
    cout << NEW;
    cout << "NEW2 с использование конструктора без параметров" << endl;
    cout << NEW2; //для демонстрации использования конструктора без параметров
    NEW2 = NEW; // использование конструктора копирования
    cout << "NEW2 после использования конструктора копирования" << endl;
    cout << NEW2;
    system("pause");
    return 0;
}

@Kastaneda · 08.04.2016, 18:10

Не по теме:

Сообщение от TheCalligrapher

Это, конечно, не верно.

TheCalligrapher, да, это уже выяснили, был не прав.

Добавлено через 1 минуту
Вот же оно

Сообщение от Siarhey

NEW2 = NEW; // использование конструктора копирования

тебе выше написали

Сообщение от DrOffset

неоднократные проблемы ТС в этой теме связаны с тем, что он не понимает, в частности, чем отличается копирование от присваивания и не отличает их в своем коде друг от друга. Проблемы так и будут продолжаться, пока автор не разберется в этом.

советую все таки разобраться.

@TheCalligrapher · 08.04.2016, 18:13

Сообщение от Siarhey

крч вот мэйн

Ни одной попытки использования конструктора копирования в этом коде нет даже отдаленно.

@Siarhey · 08.04.2016, 18:17 **[ТС]**

Kastaneda, всё, вроде бы понял, спасибо)

Добавлено через 2 минуты
TheCalligrapher, а вот так будет?

C++
1
account NEW("Skuratovich"), NEW2(NEW)

@TheCalligrapher · 08.04.2016, 18:18

Сообщение от Siarhey

а вот так будет?

Так будет. Боле того, теоретически и вот так будет

C++
1
account NEW = "Skuratovich";

но практически компилятор скорее всего соптимизирует код и удалит вызов конструктора копирования в этом случае.

Новые блоги и статьи Все статьи Все блоги /
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .
Создание формы заимствованного документа Maks 03.08.2026 Задача: Необходимо создать собственную форму заимствованного документа. На форме должен быть реквизит "Покупатель", а также табличная часть со следующими реквизитами: - Расчетный счет покупателя. . .	Задача предоставления скидок покупателям Maks 03.08.2026 Задача: В документе "Продажи" необходимо реализовать функционал предоставления скидок покупателям. Скидка должна автоматически рассчитываться и подставляться в соответствующее поле при выборе. . .	Почему SEO не начинается с ключевых слов: что проверить до написания текстов Neotwalker 01.08.2026 Когда владельцу сайта предлагают заняться SEO, первым шагом часто становится сбор запросов и написание текстов. Логика кажется понятной: 1. Находим ключевые слова. 2. Добавляем их на. . .	Знание — сила: Доктрина интенциональности знаний, углубление в формулу Hrethgir 01.08.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11957&stc=1&d=1785567302 Знаменитый афоризм Фрэнсиса Бэкона «Знание — сила» (Scientia potentia est) в массовой культуре принято понимать. . .

@Pink_Pank 47 / 31 / 21 Регистрация: 04.04.2016 Сообщений: 209
	08.04.2016, 11:15
	Деструктору имеет смысл справляться только с освобождением выделенной памяти. А остальное - проблемы компилятора. И то, с использованием умных указателей, и проблема возврата памяти плавно перелазит на плечи компиля. 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	08.04.2016, 12:42
	не успел цитату с стандарта 12.8.2 выложили уже) 0

@Kastaneda 5232 / 3206 / 362 Регистрация: 12.12.2009 Сообщений: 8,143 Записей в блоге: 2
	08.04.2016, 17:59
	Siarhey, пока место в коде, где по-твоему конструктор копирования не работает, мы уже 2 страницы гадаем в чем проблема, можем и дальше продолжать) 0

Компилятор игнорирует явный конструктор копирования

Решение

Решение