Передавать аргументы функции указателем

Question

Когда аргументы функции одного типа, следующий код четко определен и переносится?

void foo(int* p, int size); 
void pass_on_args_by_pointer(int a, int b, int c) 
{ 
    foo(&a, 3); 
} 

Чтобы уточнить: аргумент 'size' должен содержать количество элементов в массиве p. Итак, я хочу передать все три ints в foo.

Answer 1

Нет, это не переносимо и не определено. Компиляторы не обязаны выделять функциональные параметры в соседних местах в памяти. Фактически, они не обязаны размещать параметры b и c в памяти, так как вы не берете их адрес. Любой доступ за пределами int до p в foo является неопределенным поведением.

Answer 2

Даже если бы это было возможно (теоретически, это должно, потому что стек может быть представлен как массив), ваш компилятор не обязан передавать аргументы в стек. Например, вместо этого можно использовать регистры, чтобы оптимизировать ваш код, а затем ваш код сломается.

Таким образом, попытка доступа к аргументам другой функции таким образом будет неопределенным поведением.

Answer 3

void foo(int** p, int size) 
{ 
    **p = size; 
    return; 
} 
void pass_on_args_by_pointer(int *a, int b, int c) 
{ 
    foo(&a, 3); 
} 

int main(void) 
{ 
    int a = 0; 
    pass_on_args_by_pointer(&a, 0, 0); 
    printf("a = %d", a); 

} 

Если вы хотите присвоить некоторое значение varaable a, вам нужно использовать указатель на указатель.