7

Аналогичны ли два этих конструктора?

struct Test
{
    int i;
    int j;
};

struct Fcn
{
    Test test;
    Fcn()
    {
        memset(&test, 0, sizeof(test));
    }
};

и

struct Fcn
{   
    Test test;
    Fcn(): test{}
    {
    }
};

Ведь по-сути компилятор вставляет тот же самый memset во втором случае. Или нет?

2
  • 4
    В случае нулевой инициализации по стандарту нет гарантии, что будет заполнен нулями возможный padding между полями. Больше разницы вроде бы нет.
    – VladD
    31 июл 2017 в 21:22
  • Вопрос именно о данном случае: два поля типа int? Или вопрос о более общем случае? 31 июл 2017 в 23:46

1 ответ 1

7

В данном конкретном случае - да, ибо memset(..., 0, ...) для целочисленных типов гарантирует корректную нулевую инициализацию.

В общем случае - нет (даже если не рассматривать типы с нетривиальной конструкцией), ибо, например, для указательных, плавающих и некоторых других типов в общем случае не гарантируется корректной нулевой инициализации через memset(..., 0, ...).

Пример, демонстрирующий разницу для многих популярных реализаций может выглядеть так

struct Test
{
  int Test::*i;
  int Test::*j;
};

т.к. нулевое значение указателя-на-член-данное обычно представляется битовым набором 0xFF...F, а не нулевым набором битов.

Также следует принять во внимание замечание @VladD об инициализации паддинга.

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.