Передача массива в функцию?

Question

[Qubc]

void printMAS (int A[])
{
	printf ("%d\n", A[1] );//не суть
}

int main (void)
{
	int MAS[] = {0,1,2,3,4};
	printMAS (MAS);//The name of the array evaluates to the address of the first element of the array.
	printMAS (&MAS[0]);//не будет ошибкой!
	printMAS (&MAS);//будет ошибкой! Почему?
}

Вот такие инструкции же работают...

printf ("%p\n", MAS] );
printf ("%p\n", &MAS );
printf ("%p\n", &MAS[0] );

scanf ("%d", MAS] );
scanf ("%d", &MAS );
scanf ("%d", &MAS[0] );

Comments

[Модератор]

Qubc дорогой пользователь, настоятельно рекомендуем еще раз обратить самое пристальное внимание на п. 3.1 регламента работы сервиса (и, в особенности, на его последний абзац). В противном случае, ваши вопросы будут удаляться по причине тег-спама, а систематические нарушения приведут к блокировке учетной записи.

[Qubc]

Потому что исходные коды с компилятором и объектный файл со средой выполнения - разные сущности с разными этапами и возможностями. Компиляторы С не беспокоятся о том, можно ли или нельзя ли обратиться по какому-то адресу, их волнуют только свои внутренние правила. Например, типы у переменных (сущностей, объектов, идетификаторов, как угодно) должны соответствовать. Под MAS, &MAS и &MAS[0] скрывается одно и то же значение, но тип данных у MAS и &MAS - разный, что и не устраивает компилятор.

Answer 1

[jcmvbkbc]

printMAS (&MAS);//будет ошибкой! Почему?

Будет ошибкой только с точки зрения соответствия типов, потому что тип выражения &MAS -- int (*)[5]. Значение же адреса будет одним и тем же.

Вот такие инструкции же работают...

Потому что значение адреса передаётся в них через ... и интерпретируется внутри как void *, т.е. тип исходного адреса больше не имеет значения.

Comments

[Qubc]

спасибо, я так и думал, что пока не дошел

[Qubc]

Будет ошибкой только с точки зрения соответствия типов, потому что тип выражения &MAS -- int (*)[5]. Значение же адреса будет одним и тем же.

Все же не понял...
& - оператор взятия адреса. MAS при компиляции превратится в адрес.
MAS == &MAS[0] , но MAS != &MAS. Почему?

[wisgest]

Qubc, &MAS[0] и &MAS — не совсем одно и то же, например, у них разный «шаг» при адресной арифметике:
&MAS[0]+1 == &MAS[1] (то же самое MAS+1 == &MAS[1]);

(int *)(&MAS+1) == &MAS[sizeof(MAS)/sizeof(MAS[0])]

.

[jcmvbkbc]

& - оператор взятия адреса. MAS при компиляции превратится в адрес.

Qubc, в адрес своего первого элемента, не в адрес массива. Т.е. MAS при передаче в функцию имеет тип int *.

MAS == &MAS[0]

Это тождество: &MAS[0] == &*(MAS + 0) == &*MAS == MAS.

MAS != &MAS. Почему?

Потому что взятие адреса всегда добавляет звёздочку к типу. Я не знаю и не могу придумать ни одного типа данных, для которого было бы верно V == &V, не только по значению, но и по типу.

Answer 2

[Алексей Лашко]

https://metanit.com/cpp/tutorial/4.5.php

#include <stdio.h>

void printMAS (int *, int); // это для компилятора или для "имя_файла.h"

void printMAS (int *ptrA, int countptrA){          
    //передаем массив по указателю и количество элементов
  printf ("ptrA[1] = %d\n\n", ptrA[1] );//не суть

  for (int i=0; i<countptrA; ++i){
    printf ("ptrA[%d] = %d\n",i, ptrA[i] );
  }
}

int main(){
  int B[]={5,9,10,200,500};

  printf ("(sizeof(B)/sizeof(B[0])) = %d\n\n", (sizeof(B)/sizeof(B[0])) );
  printMAS(B,(sizeof(B)/sizeof(B[0])));
  return 0;
}

Answer 3

[CityCat4]

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

Comments

[wisgest]

А в C и нельзя передать массив по значению (если только его не оборачивать в структуру):
void printMAS (int A[])
равносильно
void printMAS (int *A)

[CityCat4]

wisgest, Я давно уже не заморачиваюсь с массивами. Я давно уже работаю с указателями в понимании того, что указатель содержит адрес области памяти и как я захочу его представить - так и представлю. Вполне возможно, что можно - но это передача по ссылке :) фактически в стек уходит один параметр - адрес области памяти с которой начинается массив.