Инициализация памяти оператором new в c++

Ты Страуструпа хоть почитал бы.. new выделяет память под объект и выполняет функции из конструктора. Если у тебя конструктор пустой, то только под объект память и будет выделена.

Чего здесь непонятного-то?

::operator new()

Действительно просто, нет конструктора - нет инициализации. Спасибо.

Правильный вариант я выше написал. С моим вариантом ты можешь организовать отложенный вызов конструктора, если понадобится. Выделяешь память через глобальный ::operator new, а когда надо можешь дёрнуть конструктор с помощью placement new.

Это overkill для простого копирования содержимого файла в память )

Вы используете C или C++, так как нюансы имеются?
Если память выделили для хранения адреса, то однозначно лучше := nullptr.

Владимир

c++, new же

А чем ifstream не угодил?

Впрочем речь о конструкторе …

Владимир

В любом случае, используя глобальный operator new ты явно показываешь тому, кто будет читать твой код, что ты намеренно хочешь сырую память.

А вот это аргумент, спасибо

Можно ещё malloc использовать, а твоим смарт принтерам определить custom deleter.

Не могу разобраться, в каких случаях new НЕ инициализирует память.

Надо использовать ::operator new(). Вот тут вроде неплохой пример.

Для простых типов, похоже, что нет.

Простые типы можно инициализировать с помощью обычного new, а можно и не инициализировать.

#include <iostream>

int main()
{
  int * a = new int;    // не инициализируется
  int * b = new int(1); // инициализируется
  int * c = new int{2}; // инициализируется
    
  std::cout << *a << '\n' << *b << '\n' << *c << std::endl;
  return 0;
}

А для структур, например?

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

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

Попробуй так:

#include <iostream>
#include <memory>

int main()
{
  std::unique_ptr<int[], decltype(&free)> up((int*)malloc(4 * sizeof(int)), free);
    
  for (int i = 0; i < 4; ++i)
  {
    up[i] = i * i;
    std::cout << up[i] << std::endl;
  }
    
  return 0;
}

Про второй аргумент шаблона у unique_ptr я забыл. А вообще, какая практическая разница между ::operator new() и malloc?

Просто мне надо выделять память под прочитанные из файла данные и терять время на её инициализацию неохота.

если оценить время очистки памяти и чтения файла, то ты занят «оптимизационной» ерундой

Для простого копирования содержимого файла в память есть mmap. И нечего тут выдумывать хрень всякую!

Вот этого я не знаю. В теории, никакой разницы быть не должно. А как на практике, я хз.

То для простого. А когда у тебя HDF5 и возникают такие вопросы.

какая практическая разница между ::operator new() и malloc?

::operator new() может быть переопределён.

С POD типами в классах не всё так просто и зависит от наличия или отсутствия скобок (()) в выражении new:

#include <algorithm>
#include <iostream>

struct S {
    int data;
    std::string s = "hi";
};

int
main(void)
{
    char *bufA = new char[100];
    std::fill(bufA, bufA + 100, 255);

    char *bufB = new char[100];
    std::fill(bufB, bufB + 100, 255);

    S *a = new(bufA) S;
    std::cout << "a: " << a->data << ", " << a->s << '\n';

    S *b = new(bufB) S();
    std::cout << "b: " << b->data << ", " << b->s << '\n';

    return 0;
}

Вывод:

a: -1, hi
b: 0, hi

А причём тут скобки? Инициализатор прописан в структуре. Хоть со скобками, хоть без скобок, s в объекте будет «hi».

И какое же объяснение тому, что тут разный вывод?

Ну а почему data разная?

Явно инициализируй все поля класса/структуры и всё. Не будет никаких проблем:

https://gcc.godbolt.org/z/u-3J3q

А, всё, дошло про какие ты скобки говоришь и откуда разница.

Банальное: так поведение определено в стандарте. new S() приближено к new int().

Это решение проблемы, а не ответ на вопрос «почему».

То есть, так как при new int() область памяти инициализируется нулем, то и при new S() поле data будет инициализироваться нулем?

Почему-почему, потому что стандарт такой. Навводили инициализаторов, я половину и не помню.

Потому что.

Да, когда нету пользовательского конструктора. При его наличии скобки перестают играть роль.

Добавил конструктор:

struct S
{
  S()
  {}
  int data;
  std::string s = "hi";
};

Получил вывод:

a: -1, hi                                                                                                                                                                          
b: -1, hi

Я очень надеюсь, что такие особенности языка никто не использует. Кстати, а если написать конструктор S():s(«lo») {} то кто победит?

Я очень надеюсь, что такие особенности языка никто не использует.

Об этом обязательно спросят на собеседовании. И если не ответишь, то заклеймят ничтожеством и пообещают перезвонить.

S():s(«lo») {} то кто победит

Победит сильнейший )

Всё правильно. Раз пользователь завёл конструктор, то ему и заботиться об инициализации data.

Хоть кто-то по делу отписал. Автор, покажи бенчи, а?

Не могу разобраться, в каких случаях new НЕ инициализирует память. Для классов с конструкторами, понятно, вызывается конструктор, память инициализируется. Для простых типов, похоже, что нет. А для структур, например?

https://timsong-cpp.github.io/cppwp/n4659/expr.new#18

A new-expression that creates an object of type T initializes that object as follows:
* If the new-initializer is omitted, the object is default-initialized ([dcl.init]). [ Note: If no initialization is performed, the object has an indeterminate value.  — end note ]
* Otherwise, the new-initializer is interpreted according to the initialization rules of [dcl.init] for direct-initialization.

Теперь открывай [dcl.init] и штудируй. Копипастить сюда я не буду.

В теории как раз есть: malloc выделяет из хипа, а new - из free store. По факту это одно и то же, но в теории вот такое различие.

Что? Глобальный оператор переопределен? Это же не метод класса.

Мы про ::operator new, не про operator new.

И это пятизвёздочник с «правами на коммит в LLVM»? Лол. https://timsong-cpp.github.io/cppwp/n4659/replacement.functions#2

В теории как раз есть: malloc выделяет из хипа, а new - из free store.

Про какую теорию ты толкуешь? Что здесь значит new — new из new-expression или operator new?

Ты не путаешь понятия перегрузки и переопределения?

Ты не путаешь понятия перегрузки и переопределения?

https://timsong-cpp.github.io/cppwp/n4659/replacement.functions#3:

The program’s definitions are used instead of the default versions supplied by the implementation ([support.dynamic]). Such replacement occurs prior to program startup ([basic.def.odr], [basic.start]).

replacement — это перегрузка или переопределение?

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

можно переопределить любой из перегруженных вариантов

Любой из перечисленных в https://timsong-cpp.github.io/cppwp/n4659/replacement.functions#2

Non-allocating версии — нельзя.

Ну это логично.

memset 0 хватит всем ^_^

Спасибо. Вот даже нашел ссылку по теме.

Про какую теорию ты толкуешь? Что здесь значит new — new из new-expression или operator new?

Нагородили костылей.

Комментарий к отмеченному ответу читал?