Разница между «новым оператором» и «новым оператором»?

В чем разница между "новым оператором" и "новым оператором"?

Я обычно пытаюсь сформулировать вещи по-другому, чтобы лучше различить их, но в любом случае это хороший вопрос.

Оператор new - это функция, которая выделяет необработанную память - по крайней мере, концептуально она не сильно отличается от malloc(). Хотя это довольно необычно, если вы не пишете что-то вроде своего собственного контейнера, вы можете напрямую вызвать оператора new, например:

char *x = static_cast<char *>(operator new(100));

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

void *operator new(size_t);

Конечно, если вы перегружаете оператор new (глобальный или для класса), вы также захотите / должны перегрузить соответствующий оператор delete. Как бы то ни было, есть также отдельный оператор new [], который используется для выделения памяти для массивов - но вам почти наверняка лучше полностью игнорировать весь этот беспорядок.

Оператор new - это то, что вы обычно используете для создания объекта из бесплатного хранилища:

my_class *x = new my_class(0);

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

"оператор новый"

class Foo
{
public:
        void* operator new( size_t );
}

«новый оператор»:

Foo* foo = new Foo();

В этом примере new Foo()вызовыFoo::operator new()

Другими словами, "новый оператор" вызывает " operator new()" точно так же, как оператор + вызываетoperator +()

Ниже приводится цитата Скотта Мейерса из книги «Более эффективный C ++»:

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

Нет разницы между «новым оператором» и «новым оператором». Оба относятся к одному и тому же: перегружаемой / заменяемой operator newфункции, которая обычно выполняет необработанное выделение памяти для объектов, созданных с помощью новых выражений .

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

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

Функция выделения необработанной памяти operator newофициально называется просто « operator newфункцией». Обратите внимание, что слова operatorи newв этой последовательности - это всего лишь два отдельных ключевых слова языка C ++. Они не образуют английского термина «оператор новый». Нигде в спецификации языка вы не найдете ссылок на «оператор new» как на английский термин. Каждый раз это просто комбинация двух независимых ключевых слов, которые создают синтаксис объявления для функции распределения памяти.

Опять же, в резюме: формально в C ++ нет таких англоязычных терминов, как «оператор новый» или «новый оператор». Первая последовательность присутствует в спецификации языка как простая комбинация ключевых слов, а не как английский термин. Последнего нет вообще.

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

Вопрос ОП сформулирован неправильно. Лучше выполнить этап как «Разница между оператором new» и «новым выражением»? » Обратите внимание, что «оператор новый» часто также относится к «новой функции оператора».

И есть много правильных ответов, ниже мой:

1> 'новое выражение' вызывает 'оператор новый' для выделения необработанной памяти, затем вызывает конструктор

apple * p = new apple(); //new expression

2> 'operator new' выделяет только необработанную память, не большая разница, чем malloc

void* mem = operator new(sizeof(apple)); //just like calling malloc()
apple* p2 = new(mem) apple(1); //call construct here using placement new.

Оператор new : C ++ поддерживает динамическое размещение объектов с помощью оператора new. Новый оператор выделяет память для объектов из пула, называемого свободным хранилищем. Оператор new вызывает специальную функцию оператора new.

оператор new : если запрос касается нулевых байтов памяти, оператор new возвращает указатель на отдельный объект (то есть повторные вызовы оператора new возвращают разные указатели). Если памяти для запроса на выделение недостаточно, оператор new возвращает NULL или выдает исключение. Первый аргумент оператора new должен иметь тип size_t (тип, определенный в STDDEF.H), а возвращаемый тип всегда void *.

Вот ссылки MSDN для получения более подробной информации:

Оператор new Function

Новый оператор

1. new - это оператор, а также ключевое слово.

   см. [1] в 2.13 && In 2.12.

2. new делает две вещи: T * t = new T (arg);

   1) выделить память для объекта: void * ptr = operator new (sizeof (T));

   // оператор new - это функция (как и malloc в c), а не оператор (см. [1] в 3.7.4). Но в пункте 7 [2] сказано, что это тоже оператор. На мой взгляд, разница между оператором и функцией невелика, и вы можете увидеть это, вспомнив, что оператор перегрузки реализуется функциями.

   // мы можем перегрузить этот оператор / функцию (оператор new), делая то, что мы хотим, прямо здесь.

   2) инициализировать объект в выделенной памяти: вызвать T :: T (arg) на ptr

   // это может сделать только компилятор. Ни я, ни ты не сможем.

   // также компилятор будет вызывать конструкторы объектов-членов и конструктор базового класса, если они у T есть. И этот вызов является рекурсивным. Только компилятор может это сделать.

3. Итак, оператор new выполняет часть миссий new, и только в этой части мы можем что-то делать.

   [1]: ISO / IEC, N3690. http://ww.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3690.pdf

   [2]: Мейерс, Скотт. Эффективный C ++, 3-й.