Ссылки и указатели

@xKirillx · Регистрация: 01.03.2011

Студворк — интернет-сервис помощи студентам

Добрый день.
Возможно было. В чем существенная разница между передачей данных в функцию по ссылке или указателю. В каких случаях вы бы что рекоммендовали. Заранее спасибо.

Evg · 20.06.2011, 13:05

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

выведет
10
10
хотя смотрел по дебагу в памяти записано 100. Интересно особенности оптимизации mvs, или везде так, просто нет сейчас возможности проверить

Это оптимизация компилятора. Он верит модификатору const и во всех местах использования "p" в main заменяет её на 10. Т.е. в cout'ы отдаётся значение 10, хотя в функцию отдаётся указатель (ибо там уже ничего сделать нельзя) и по этому указателю успешно записывается 100

@silentnuke · 15.07.2011, 01:57

окей, в продолжение темы, ещё немного магии, взываем функцию которая имеет принимаемые параметры, без параметров)

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include <iostream>
using namespace std;
 
void f(int a, int b)
{
    cout<<a+b<<endl;
}
 
void main()
{
    void (*p)();
    p=(void(*)())&f;
    (*p)();
}

Но то были цветочки, пойдем дальше)

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
#include <iostream>
using namespace std;
 
class A
{
protected:
    int a;
public:
    A(){a=10;}
};
 
class B:public A
{
    char *str;
public:
    B(){cout<<"constr\n";}
    void myfunc2()
    {
        str=new char[20];
        strcpy(str,"Hello World\n");
        cout<<str;
    }
};
 
void main()
{
    A* t=new A;
    B* tc=(B*)&t;
    tc->myfunc2();
}

Создали указатель базового класса, выделили память.
Создали указатель производного класса, привели базовый класс к классу наследнику.
И что же мы видим? У нас есть методы класса наследника, только большой вопрос откуда? ведь конструктор то не отработал, и как бы по идеи методов не должно быть, а так у нас есть и методы и поля наследника. и можно с ними работать....

@An1ka · 15.07.2011, 05:25

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

Создали указатель базового класса, выделили память.
Создали указатель производного класса, привели базовый класс к классу наследнику.
И что же мы видим? У нас есть методы класса наследника, только большой вопрос откуда? ведь конструктор то не отработал, и как бы по идеи методов не должно быть, а так у нас есть и методы и поля наследника. и можно с ними работать....

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

Evg · 15.07.2011, 12:53

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

окей, в продолжение темы, ещё немного магии, взываем функцию которая имеет принимаемые параметры, без параметров)

Ну вызовется у тебя функция с неинициализированными параметрами. И чего?

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

У нас есть методы класса наследника, только большой вопрос откуда?

Что есть метод на пальцах пояснял тут: раз (пост 11) и два (пост 23)
Там пояснял с другого угла зрения, но в данном случае должно быть то же самое

Добавлено через 23 минуты
silentnuke, касаемо твоего первого примера. В языке Си поддерживается "старый" стиль описания процедур (так называемый, традиционный стиль Кернигана-Ритчи). И там такое безобразие можно делать без всяких преобразований над указателями

C
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <stdio.h>
 
void
func (str, i1, i2)
  const char *str;
  int i1;
  int i2;
{
  printf ("%s: i1=%d, i2=%d\n", str, i1, i2);
}
 
int
main (void)
{
  func ("first");
  func ("second", 10, 20);
  return 0;
}

что выдаст на исполнении что-то типа:

C
1
2
first: i1=1073784948, i2=1073830340
second: i1=10, i2=20

Или можно вообще вот так написать:

C
1
2
3
4
5
6
7
8
9
#include <stdio.h>
 
int
main (void)
{
  printf ("%s: i1=%d, i2=%d\n", "first");
  printf ("%s: i1=%d, i2=%d\n", "second", 10, 20);
  return 0;
}

и получим точно такое же мусорное значение.

Все три примера (один твой и два моих) принципиально друг от друга ничем не отличаются. В них имеет место быть передача одного количества параметров, в то время как ожидалось другое количество. Правда в твоём случае дополнительно ожидался параметр-указатель другого типа (this)

@kravam · 15.07.2011, 15:23

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

окей, в продолжение темы, ещё немного магии, взываем функцию которая имеет принимаемые параметры, без параметров)

Я не силён в этом деле, но вообще вопрос конечно заслуживает удивления.
То, что компилится эта строчка- целиком пусть будет на совести авторов компилятора.

C++
1
        p=(void(*)())&f;

Evg · 15.07.2011, 15:51

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

То, что компилится эта строчка- целиком пусть будет на совести авторов компилятора

А почему она должна не компилиться?

@kravam · 15.07.2011, 17:03

Потому, что p это void (*)();

а f имеет два аргумента

Evg · 15.07.2011, 17:15

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

Потому, что p это void (*)();

а f имеет два аргумента

Программист явно поставил операцию преобразования над указателями. При любом явном преобразовании над указателями всегда считается, что программист "сам дурак" и компилятор снимает с себя всю ответственность за последствия. Никто же тебе не запрещает указатель на char приводить к указателю на int. А конструкция сия есть опасная, потому как, например, на машинах, где запрещены невыровненные обращения в память, работа с таким указателем может привести к слому программы. Если у тебя есть просто присваивание одного в другое, то компилятор ругнётся, а если явно вставлена операция преобразования типа - то компилятор молча это съест и переложит всю ответственность на программиста

Собственно, почему весь мир уже несколько десятков лет пытается создать защищённые системы программирования: потому что из-за бесконтрольной работы над указателями у людей постоянно возникают всякие скрытые проблемы и ошибки

@silentnuke · 15.07.2011, 17:21

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

Evg · 15.07.2011, 17:28

silentnuke, вся иерархия классов - оно точно так же опускается до уровня языка Си. В твоём случае мы имеем что-то типа:

C
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
struct A
{
  int a;
};
 
struct B
{
  int a; /* это поле как бы пронаследовано из A */
  char *str;
};
 
...
struct A *a;
struct B *b;
 
a = malloc (sizeof (A));
b = (B*) &a;
...

Реально у тебя создался экземпляр класса A. Замет указатель на него трактуется как указатель на экземпляр B. При обращении к "b->str" номинально ты обращаешься в недопустимую память (поскольку память под это поле не выделялось в принципе). Но реально в конкретно данном случае у тебя код вряд ли где-то сломается. Причину этого объяснял здесь И снова malloc...

@kravam · 15.07.2011, 17:46

Evg, странно. Ты спрашиваешь что неверно с МОЕЙ Точки зрения. А опровергаешь её с точки зрения создателей компилятора.
...Так-то мне понятны причины, по которым это компилится. Понятны но неубедительны.

Evg · 15.07.2011, 17:48

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

Evg, странно. Ты спрашиваешь что неверно с МОЕЙ Точки зрения. А опровергаешь её с точки зрения создателей компилятора.
...Так-то мне понятны причины, по которым это компилится. Понятны но неубедительны.

Да я вроде бы ничего не спрашивал и ничего не опровергал... Во всяком случае, я так и не понял, о чём ты

@kravam · 15.07.2011, 17:54

Evg, ОК
Тогда я так спрошу: тебе непонятно недоумение человека, который считает, что не должно компилиться присваивание указателю на функцию, не принимающую аргументов, адреса функции, принимающей два аргумента?

silent_1991 · 15.07.2011, 18:00

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

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

Мне непонятно. Ибо такое присваивание и не будет компилироваться. А вот присваивание с предварительным приведением будет. Потому что производители дрелей производят их для строительных работ и не несут ответа за какого-то чудака, который этой дрелью просверлит себе голову.

@kravam · 15.07.2011, 18:02

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

Ибо такое присваивание и не будет компилироваться.

компилится, шеф

Evg · 15.07.2011, 18:03

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

Evg, ОК
Тогда я так спрошу: тебе непонятно недоумение человека, который считает, что не должно компилиться присваивание указателю на функцию, не принимающую аргументов, адреса функции, принимающей два аргумента?

Нет. Недоумения у меня не было. Ты сказал "но вообще вопрос конечно заслуживает удивления", а своим вопросом я попытался выяснить у тебя, почему это заслуживает удивления. Такой код заведомо корректный с точки зрения языка, т.е. компилятор должен его проглотить, не моргнув.

silent_1991 · 15.07.2011, 18:04

kravam, мне компилятор в ответ на скармливание такого кода:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
 
void f(int a, int b)
{
        std::cout << a + b << std::endl;
}
 
int main()
{
    void (*p)();
 
    p = /*(void (*)())*/&f;
    
    (*p)();
 
    return 0;
}

говорит про невозможность преобразования void (*)(int, int) в void (*)(void).

Evg · 15.07.2011, 18:08

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

компилится, шеф

В Си++ такое НЕ компилится

C++
1
2
3
4
5
6
7
8
extern void func (int, int);
 
int main (void)
{
  void (*p)(void);
  p = &func;
  return 0;
}

потому что справа и слева от присваивания стоят указатели несовместимых типов. Но если поставить операцию преобразования (т.е. 5-ю строку заменить на "p = (void (*)(void)) &func;"), то всё будет нормально

@silentnuke · 15.07.2011, 18:10

Evg, спасибо, со вторым случае стало хоть более менее понятно.)
я так понял то что я привел класс A к наследнику тут вообще не причем, у нас поля стали доступны уже при создании указателя класса наследника.

Evg · 15.07.2011, 18:12

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

у нас поля стали доступны уже при создании указателя класса наследника

Они стали доступны с точки зрения языка. Но компилятор при этом не знает, выделена под них память, или нет. И это находится в твоей ответственности (потому как ты сделал преобразование типа над указателями)

Новые блоги и статьи Все статьи Все блоги /
интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .	Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .	Сам себя обучал rest api anaschu 02.07.2026 Педагогический лайфхак: Почему чистый REST API для ученика намного круче, чем готовые библиотеки Когда мы отказались от капризного JAR-файла AnyLogic и переписали код на стандартный HttpClient,. . .	rest api anylogic - выполнение модели на своём русском сайте anaschu 02.07.2026 Как подружиться с AnyLogic Cloud API, победить провайдеров и развернуться Java-бэкенд в Docker на бесплатном хостинге: Двухдневный лог борьбы Всем привет! Хочу поделиться свежим (и довольно. . .
Где деньги лежат kumehtar 02.07.2026 Это - японская подводная лодка I-52 (тип C2, кодовое имя Momi) вышла из Японии в марте 1944 года с миссией в оккупированную немцами Францию (Лорьян). Это была одна из «Янаги»-миссий по обмену. . .	Krabik для WoW 3.3.5a, многоязычный AmbA 02.07.2026 Допилил бота, думаю что окончательно. Изменения: - добавлена многоязычность - добавлено снятие скриншотов - добавлено поддержание бафов хождения по воде (для жреца, дк и шамана) - и так, по. . .	Алиса нашла кучу ошибок компиляции и запуска в проекте, который без проблем компилировался и запускался))) anaschu 30.06.2026 Я пока посмеюся, но завтра проверю. А вообще интерсно. Дал алисе файл, в котором точно нет ошибок компиляции и запуска, и попросил их найти. Нашла кучу))) Критические ошибки, мешающие компиляции и. . .	сукцессия 16. Общий обзор, в основном что бы другие ии поняли anaschu 29.06.2026 # Передаточный документ: модель микоризной сукцессии (для нового чата) Этот документ предназначен для того, чтобы новый чат Claude мог продолжить работу без необходимости заново разбираться в. . .

@xKirillx 1 / 1 / 0 Регистрация: 01.03.2011 Сообщений: 11

	Ссылки и указатели 01.03.2011, 12:10. Показов 18526. Ответов 54 Метки нет (Все метки) Добрый день. Возможно было. В чем существенная разница между передачей данных в функцию по ссылке или указателю. В каких случаях вы бы что рекоммендовали. Заранее спасибо. 0

@kravam быдлокодер 1724 / 911 / 106 Регистрация: 04.06.2008 Сообщений: 5,705
	15.07.2011, 17:03
	Потому, что p это void (*)(); а f имеет два аргумента 0

@silentnuke Android Programmer 141 / 142 / 10 Регистрация: 08.12.2010 Сообщений: 421
	15.07.2011, 17:21
	Evg, с первым случаем то все понятно, привел для ознакомления.) больше второй случай интересный. с функцией ну ещё допустим понятно, она я так думаю создается в памяти один раз, дальше уже кидается адрес, но черт возьми откуда то указатель появился, мы же не создавали объект дочернего класса. 0

@kravam быдлокодер 1724 / 911 / 106 Регистрация: 04.06.2008 Сообщений: 5,705
	15.07.2011, 17:46
	Evg, странно. Ты спрашиваешь что неверно с МОЕЙ Точки зрения. А опровергаешь её с точки зрения создателей компилятора. ...Так-то мне понятны причины, по которым это компилится. Понятны но неубедительны. 0

@kravam быдлокодер 1724 / 911 / 106 Регистрация: 04.06.2008 Сообщений: 5,705
	15.07.2011, 17:54
	Evg, ОК Тогда я так спрошу: тебе непонятно недоумение человека, который считает, что не должно компилиться присваивание указателю на функцию, не принимающую аргументов, адреса функции, принимающей два аргумента? 0

@silentnuke Android Programmer 141 / 142 / 10 Регистрация: 08.12.2010 Сообщений: 421
	15.07.2011, 18:10
	Evg, спасибо, со вторым случае стало хоть более менее понятно.) я так понял то что я привел класс A к наследнику тут вообще не причем, у нас поля стали доступны уже при создании указателя класса наследника. 0