Что делает '*&' в среднем объявлении функции?

В C и C ++ & означает вызов по ссылке; вы позволяете функции изменять переменную. В этом случае ваша переменная является указателем на тип myStruct. В этом случае функция выделяет новый блок памяти и назначает его вашему указателю «data».

Раньше (скажем, K&R) это приходилось делать, передавая указатель, в данном случае указатель на указатель или **. Оператор ссылки обеспечивает более читаемый код и более строгую проверку типов.

Похоже, вы повторно реализуете конструктор!

Почему бы просто не создать соответствующий конструктор?
Обратите внимание, что в C ++ структура похожа на класс (у нее может быть конструктор).

struct myStruct
{
    myStruct()
        :field1(1)
        ,field2(2)
    {}
};

myStruct*  data1 = new myStruct;

// or Preferably use a smart pointer
std::auto_ptr<myStruct>   data2(new myStruct);

// or a normal object
myStruct    data3;

Возможно, стоит объяснить, почему это не & * , а наоборот. Причина в том, что объявления строятся рекурсивно, и поэтому ссылка на указатель создается как

& out // reference to ...
* (& out) // reference to pointer

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

* out // pointer to ...
& (* out) // pointer to reference

Указатель на ссылку недопустим. Поэтому порядок * & , что означает «ссылка на указатель».

Как уже говорили другие, & означает, что вы вводите ссылку на фактическую переменную в функцию, а не на ее копию. Это означает, что любые изменения, внесенные в переменную в функции, влияют на исходную переменную. Это может особенно сбивать с толку, когда вы передаете указатель, который уже является ссылкой на что-то еще. В случае, если ваша сигнатура функции выглядела так

void myFunc(myStruct *out);

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

void myFunc(myStruct *&out);

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

При этом строка

out = new myStruct;

изменяет переменную указателя out и не * из . Все, что использовалось для указания out , все еще живо и хорошо, но теперь в куче был создан новый экземпляр myStruct, а out был изменен, чтобы указывать на него.

out = new myStruct;

изменяет переменную указателя на выход , а не на * out . Все, что использовалось для указания out , все еще живо и хорошо, но теперь в куче был создан новый экземпляр myStruct, а out был изменен, чтобы указывать на него.

out = new myStruct;

изменяет переменную указателя на выход , а не на * out . Все, что использовалось для указания out , все еще живо и хорошо, но теперь в куче был создан новый экземпляр myStruct, а out был изменен, чтобы указывать на него.

В C ++ это ссылка на указатель, своего рода эквивалент указателя на указатель в C, поэтому аргумент функции назначается.

См. wikipedia

Как и большинство типов данных в C ++, вы можете читать его справа налево, и это будет иметь смысл.

myStruct *&out

out ] - ссылка ( & ) на указатель ( * ) на объект myStruct . Это должна быть ссылка, потому что вы хотите изменить то, на что указывает out (в данном случае

MyClass * & MyObject

Здесь MyObject - это ссылка на указатель MyClass. Таким образом, вызов myFunction (MyClass * & MyObject) является вызовом по ссылке, мы можем изменить MyObject, который является ссылкой на указатель. Но если мы сделаем myFunction (MyClass * MyObject), мы не сможем изменить MyObject, потому что он вызывается по значению, Он просто скопирует адрес во временную переменную, чтобы мы могли изменить значение, где MyObject указывает, но не MyObject.

, поэтому в этом случае писатель сначала присваивает новое значение out, поэтому необходим вызов по ссылке.