по поводу memset

@tapochka · Регистрация: 25.04.2014

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

здравствуйте, есть, допустим, такой код(rtti включен):

C++

struct img {
    virtual void a() = 0;
};
 
struct img_ : public img {
    void a() {
        std::cout<<"a\n";
    }
};
 
img_ i;
/*...*/
memset(&i, 0, sizeof(i));
i.a();

все нормально отрабатывает на gcc 5.4, но насколько корректно так нулить память? есть ли подвохи, ну мол, какой-нибудь замес с указателями на таблицу виртуальных функций

@TheCalligrapher · 15.10.2016, 19:40

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

но насколько корректно так нулить память?

Абсолютно некорректно.

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

какой-нибудь замес с указателями на таблицу виртуальных функций

Да, указатель на таблицу будет успешно убит.

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

все нормально отрабатывает на gcc 5.4

Просто повезло, что данный код не использует разрушенные части класса.

Croessmah · 15.10.2016, 19:50

C++

    img_ *i = new img_;
    /*...*/
    memset(i, 0, sizeof(img_));
    i->a();

так заинлайнить сложнее

@tapochka · 15.10.2016, 21:37 **[ТС]**

TheCalligrapher, хм, а как корректно в таком случае? так как croessmah написал?

@DrOffset · 15.10.2016, 21:47

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

а как корректно в таком случае?

Смотря какая задача (зачем это нужно?).
Но в любом случае - делать memcpy, memset и т.п. для non-trivial классов категорически нельзя.

Добавлено через 45 секунд

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

так как croessmah написал?

Он написал пример, когда выстрел будет в ногу, а не в воздух.

@tapochka · 15.10.2016, 22:21 **[ТС]**

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

Смотря какая задача (зачем это нужно?).

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

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

memcpy

а memcpy то почему нельзя?

@hoggy · 15.10.2016, 23:05

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

а memcpy то почему нельзя?

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

если конструктор копии запрещен - его в принципе нельзя копировать.

для нетривиальных классов, memcpy - это хак,
который позволяет сделать копию объекта
наплевав на все контракты класса.

@TheCalligrapher · 16.10.2016, 06:39

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

а memcpy то почему нельзя?

Короткий ответ: потому что стандартом языка запрещено, кроме некоторых тривиальных категорий классов.

Длинный ответ: класс может обладать скрытой (или открытой) внутренней структурой, которую невозможно правильно перенести при помощи memcpy. Например, объект класса может содержать указатели на части самого себя.

@TheCalligrapher Вездепух 11694 / 6373 / 1723 Регистрация: 18.10.2014 Сообщений: 16,062
	15.10.2016, 19:40	2
	Сообщение от tapochka но насколько корректно так нулить память? Абсолютно некорректно. Сообщение от tapochka какой-нибудь замес с указателями на таблицу виртуальных функций Да, указатель на таблицу будет успешно убит. Сообщение от tapochka все нормально отрабатывает на gcc 5.4 Просто повезло, что данный код не использует разрушенные части класса. 1

@tapochka 42 / 42 / 17 Регистрация: 25.04.2014 Сообщений: 499
	15.10.2016, 21:37 [ТС]	4
	TheCalligrapher, хм, а как корректно в таком случае? так как croessmah написал? 0

@DrOffset 18840 / 9839 / 2408 Регистрация: 30.01.2014 Сообщений: 17,280
	15.10.2016, 21:47	5
	Сообщение от tapochka а как корректно в таком случае? Смотря какая задача (зачем это нужно?). Но в любом случае - делать memcpy, memset и т.п. для non-trivial классов категорически нельзя. Добавлено через 45 секунд Сообщение от tapochka так как croessmah написал? Он написал пример, когда выстрел будет в ногу, а не в воздух. 1

@tapochka 42 / 42 / 17 Регистрация: 25.04.2014 Сообщений: 499
	15.10.2016, 22:21 [ТС]	6
	Сообщение от DrOffset Смотря какая задача (зачем это нужно?). да вопрос знакомого... задумался вот, благодаря ему Сообщение от DrOffset memcpy а memcpy то почему нельзя? 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	15.10.2016, 23:05	7
	Сообщение от tapochka а memcpy то почему нельзя? если у класса есть конструктор копии, то для копирования объекта именно его и нужно использовать. только сам класс знает, как правильно себя копировать. если конструктор копии запрещен - его в принципе нельзя копировать. для нетривиальных классов, memcpy - это хак, который позволяет сделать копию объекта наплевав на все контракты класса. 1

@TheCalligrapher Вездепух 11694 / 6373 / 1723 Регистрация: 18.10.2014 Сообщений: 16,062
	16.10.2016, 06:39	8
	Сообщение от tapochka а memcpy то почему нельзя? Короткий ответ: потому что стандартом языка запрещено, кроме некоторых тривиальных категорий классов. Длинный ответ: класс может обладать скрытой (или открытой) внутренней структурой, которую невозможно правильно перенести при помощи `memcpy`. Например, объект класса может содержать указатели на части самого себя. 1