Функции

[koderman]

Я учил функции и даже думал что понял пока не увидел следующий пример:
Как *py и *py получили значения 10 и 5?
Вижу только объявление *py и *py, инициализации этих переменных числами 10 и 5 не вижу.



// Листинг 9.6. Пример передачи аргументов как ссылок

#include <iostream.h>

void swap (int *x, int *y)

 int main()
 {
int x = 5, у = 10;

cout << "Main. Before swap, x: " << x << " у: " << у << "\n";
 swap(&x,&y);
 cout << "Main. After swap, x: " << x << " у: " << у << "\n";
   return 0;
 }

void swap (int *px, int *py)
 {
    int temp;

   cout << "Swap. Before swap, *рх: " << *px << " *py: " << *py << "\n";

   temp = *px;
   *px = *py;
    *py = temp;

  cout << "Swap. After swap, *px: " << *px << " *py: " << *py << "\n";

 }

Результат:
Main. Before swap, x: 5 y: 10
Swap. Before swap, *px: 5 *py: 10
Swap. After swap, *px: 10 *py: 5
Main. After swap, x: 10 y: 5

[Ezhik Kihze]

1. Сначала читаем вашу же тему http://programmersforum.ru/showthread.php?t=225451
2.

Как *py и *py получили значения 10 и 5?
Вижу только объявление *py и *py, инициализации этих переменных числами 10 и 5 не вижу.

Вы опять реально не видете строку?

swap(&x,&y);

[koderman]

Как этой строкой

swap(&x,&y);

присваиваются 5 и 10 переменным *py и *py? Это вроде просто ссылки х и у которые меняются адресами.
Я думал должно стоять чтото типа

py=5;  py=10;

[Stilet]

Это вроде просто ссылки х и у которые меняются адресами.

Ты в функцию передаешь адреса на переменные, а в функции ты эти адреса разименовываешь. Поэтому там работа идет со значениями, на которые указывают px и py, а не с самими px и py.

[Abstraction]

Как этой строкой

swap(&x,&y);

присваиваются 5 и 10 переменным *py и *py?

Если рассуждать в терминах кода C++, при вызове функции создаются все локальные переменные этой функции, включая её аргументы; формальным аргументам функции присваиваются значения фактических параметров. То есть,

swap(&x,&y);

в первом приближении (и с километровым списком оговорок) можно заменить на вот такой текст:

{//Вход в функцию
  int *px; int *py; int temp;//Создание локальных переменных
  px = &x; py = &y; //Присваивание формальным аргументам переданных параметров

  //Тело функции  
  cout << "Swap. Before swap, *рх: " << *px << " *py: " << *py << "\n";

  temp = *px;
  *px = *py;
  *py = temp;

  cout << "Swap. After swap, *px: " << *px << " *py: " << *py << "\n";
}//Выход из функции

[koderman]

Сообщение от Abstraction

Если рассуждать в терминах кода C++ [/CODE]

А если рассуждать не в терминах кода, а так чтоб было понятно?))

[Stilet]

а так чтоб было понятно?

А вот тут наверное лучше почитать про указатели литературу. Все равно столкнешься с терминологией, которую я так понимаю как раз и не усвоил.

[Ezhik Kihze]

У функции есть два типа параметров:
1. формальные - те, что записаны в заголовке функции; некая абстракция, именно с ними вы и работаете внутри функции -

int *px, int *py

2. фактические - те, с которыми функция вызывается;

Это как в школе, когда вам говоили: вычислить а + с, при а = 5 и с = 10

2 Stilet
Рано про указатели. Он не понимает почему параметры внутри функции вдруг получили значения равные тем, какие были в вызове функции.

[Abstraction]

А если рассуждать не в терминах кода, а так чтоб было понятно?))

Так я же не знаю, что Вам понятно, а что - нет. Можно обратиться к абстракции низшего уровня, с ячейками памяти и их адресами - это будет для Вас лучше?
Вот, скажем, со второго прочтения мне попалось на глаза:

присваиваются 5 и 10 переменным *px и *py?

Они же не переменные, и хорошо бы это осознать пораньше. Переменная имеет имя. Скажем, px - переменная. *px, px[0], ((MyStruct*)px)->value, !px - выражения, в которые входит переменная px. То есть, Ваш вопрос можно прочитать - как получается так, что значение выражения *px становится равно 5. Ответ: переменной px присваивается значение выражения &x - адреса переменной x. Это свойство "адреса", его определение - что из px==&x следует *px==x (обратное, вообще говоря, неверно).