Я хочу подражать следующему методу:
ref class Something{
void foo(array<double>^% data)
{
data = gcnew array<double>(10);
}
};
Таким образом, массив вызывающего абонента модифицируется/создается. Тем не менее, есть некоторые ограничения:
Можно ли это сделать с помощью неуправляемых указателей, IntPtr или более непонятным способом?
Нет. Если фактический параметр foo является дескриптором объекта, невозможно изменить ссылку вызывающего стека.
Вам нужно использовать ссылку отслеживания, чтобы иметь возможность влиять на дескриптор, переданный в ваш метод.
Изменить в ответ на комментарий AZ:
Причина, по которой это не работает, заключается в том, что когда вы передаете дескриптор объекта, вы фактически не передаете ничего, кроме местоположения объекта в памяти. По своей сути это просто целое число, содержащее ячейку памяти.
Когда вы назначаете новый объект в своем методе, вы переопределяете это местоположение (помещаете новое целое число на место). Это не изменяет исходный дескриптор вызывающего объекта, поскольку это просто копия. Это обычный способ передачи параметров.
Используя ссылку отслеживания, вы передаете ссылку на местоположение в памяти. Это похоже на передачу указателя в C или C++. Когда вы это сделаете, вы можете изменить местоположение, на которое указывает ссылка (его значение), не изменяя саму ссылку — изменяя только то, на что она ссылается.
- foo не может использовать ref/out/% или какие-либо дополнительные параметры.
- фактический параметр foo должен быть Object^.
Вызывающий может выделить массив и передать его, и вы можете изменить элементы внутри массива, но это просто приведение массива к Object и обратно.
Если вы хотите изменить фактический массив — например, присвоить его новому массиву другой длины, не используя ref (% в C++/CLI) или out ([Out] в C++/CLI), вы не можете этого сделать.
Вот почему:
Виртуальная машина .NET работает, помещая объекты в стек и извлекая их из него. То, как вы передаете параметры функциям, за кулисами работает следующим образом:
Если вызывающая сторона не помещает действительные данные в стек перед вызовом функции, происходит сбой. Если вызывающий помещает данные в неправильном порядке - происходит сбой. Если со стеком вообще что-то смешное - он вылетает.
Кроме того, методы не могут изменять объекты, которые уже находятся в стеке. (Если бы они это сделали, они бы испортили стек — он зависает), они могут только вставлять и извлекать новые вещи из стека.
Это означает две вещи:
Чтобы вызвать функцию, вы должны поместить ссылку на массив в стек. Поэтому вызывающая сторона должна выделить сам массив или передать нулевую ссылку.
Вы не можете изменить ссылку на массив, поэтому функция не может предоставить новый массив. Поскольку массивы по своей природе неизменяемы, это означает, что вы не можете добавлять новые элементы (однако вы можете изменять существующие элементы).
Отказ от ответственности: Эрик Липперт, вероятно, придет и объяснит, почему все, что я только что написал, неверно, но, насколько мне известно и проведено исследование, именно так это и работает
