вывод без изменения значения аргумента int

Но как заставить его указывать на новую ячейку памяти, а не изменять значение?

Итак, я так понимаю вопрос, вы спрашиваете, как вернуть адрес переменной в нативном модуле. Делай это так:

static int i = 42;

extern "C" _declspec(dllexport) int* getPtr()
{   
    return &i;
}

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

И из С# назовите это так:

[DllImport("...", CallingConvention = CallingConvention.Cdecl)]
static extern IntPtr getPtr();

....

IntPtr ptr = getPtr();
int i = Marshal.ReadInt32(ptr);

Если вы предпочитаете возвращать указатель через параметр, сделайте это следующим образом:

static int i = 42;

extern "C" _declspec(dllexport) void getPtr(int** ptr)
{   
    *ptr = &i;
}

И из С#:

[DllImport("...", CallingConvention = CallingConvention.Cdecl)]
static extern void getPtr(out IntPtr ptr);

....

IntPtr ptr;
getPtr(out ptr);
int i = Marshal.ReadInt32(ptr);

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

Гораздо более полезно выделить переменную в вызывающем коде, управляемом коде и попросить собственный код изменить значение этой переменной. Это делает управление жизненным циклом тривиальным и позволяет вам позволить маршаллеру pinvoke выполнять всю работу.

Ваш первый фрагмент:

void modifyVar( int* a )
{   
  int x = 1;
  a = &x;
}

принимает int* (указатель на int). При вызове он получает в стек слово, содержащее адрес, предположительно местонахождение int, в области действия вызывающего объекта. Затем вы присваиваете этому слову в стеке адрес локальной переменной в кадре стека текущей функции. Когда эта функция возвращается, стек извлекается, а кадр стека выходящей функции и работа, помещенная в стек в виде списка ее параметров, освобождаются.

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

Во втором фрагменте

void modifyVar( int* a )
{   
  int x = 1;
  *a = x;
}

То же самое происходит и при звонке. Тело функции делает нечто другое: оператор *a = x; делает следующее:

• принимает адрес, содержащийся в int* с именем a,
• удаляет ссылку на него и
• сохраняет значение переменной int x в этом месте.

Теперь вы изменили хранилище вызывающего абонента, и это изменение известно вызывающему абоненту.

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

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

Вам необходимо получить копию Язык программирования C (он же K+R):