Некорректно работают указатели на функцию

@VibeProgramm · Регистрация: 24.02.2018

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

В режиме отладки видно что, функция возвращает правильный результат, но на экран выводится какой-то мусор.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#include <iostream>
#include <conio.h>
 
using namespace std;
 
int* a()
{
    int b[] = { 1,2,3 };
    return b;
}
 
int main()
{
    setlocale(LC_ALL, "Russian");
 
    int *ar;
    ar = a();
    
    cout << ar[0] << ar[1] << ar[2];
 
    _getch();
    return 0;
}

Почему так происходит? Как это исправить? Как это работает?

@SuperKir · 25.03.2018, 02:48

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

Это херня, вьюношо

Я понимаю, что это херня - но почему эта херня выдает то, чего не должна - вот это не ясно)
На удивление - Релиз проект вообще сохраняет значения и после "единождого" вызова оО

@TRam_ · 25.03.2018, 02:49

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

сразу после момента присвоения, они не затираются мусором

но с некоторой вероятностью при обращении к ним получишь вылет. Не с первого, но раза с 50-100 го вполне. Операционная система следит за твоей программой

Не очищается,потому что освобождение памяти - это разрешение другим ею пользоваться, а не затирание нулями/мусором. И уже деятельность других программ создаёт т.н. "мусор".

nd2 · 25.03.2018, 02:52

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

Да

Нет. Это взятие адреса и разыменование. То есть: return *&b, равнозначно просто return b.

@TRam_ · 25.03.2018, 02:52

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

@SuperKir · 25.03.2018, 03:08

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

Это взятие адреса и разыменование

int* - Указатель на int
int*& - Ссылка на указатель на int.
int** - Указатель на указатель int
int**& - Ссылка на указатель на указатель на int.

Добавлено через 6 минут
В английской литературе нет понятия "взятие адреса" - это лишь запоминалка.

nd2 · 25.03.2018, 03:09

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

int*& - Ссылка на указатель на int.

И что? У тебя же не так, а так:

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

C++
1
2
int *b = new int[3]{ 1,2,3 }; 
return *&b; // взятие адреса указателя и его разыменование

Добавлено через 43 секунды

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

В английской литературе нет понятия "взятие адреса" - это лишь запоминалка.
А "Разыменование" - это оператор ->

Читай литературу внимательнее.

@SuperKir · 25.03.2018, 03:14

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

И что? У тебя же не так, а так:

Кстати да.. пора спать походу

Был не прав, соррян

@COKPOWEHEU · 25.03.2018, 09:26

Почему-то никто не предложил рабочий вариант

C
1
2
3
4
int* a(){
    static int b[3] = { 1,2,3 }; //вот теперь переменная объявлена локальной, но существует глобально
    return &b[0];
}

@Olej · 25.03.2018, 10:09

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

Почему-то никто не предложил рабочий вариант

1. Во-первых, такой вариант (с static) назвали раза 3

... читайте внимательно прежде, чем писать;

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

3. Не нужно там ничего мудрить! Никаких return &b[0]; - там более чем достаточно простого return b;

Croessmah · 25.03.2018, 10:15

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

int* - Указатель на int
int*& - Ссылка на указатель на int.
int** - Указатель на указатель int
int**& - Ссылка на указатель на указатель на int.

Бредить так до конца.
int* - int умножить
int*& - int умножить побитовое И
int** - int умножить умножить
int**& - int умножить умножить побитовое И

Ну то есть сначала смотре где это *& стоит и только потом делай выводы.

@palva · 25.03.2018, 10:47

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

Почему-то никто не предложил рабочий вариант

nd2 предлагал вариант со static. Но это как-то потерялось за общей путаницей. Слово "статик" использовалось в смысле "автоматик" и противопоставлялось слову "динамик". Например:

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

Время жизни статик массива ограничено функцией. Объявляйте внутри функции динамический массив.

На самом деле до сих пор работает, но уже не рекомендован описатель auto, который и является противоположностью static. Все локальные переменные без слова static являются auto. Вот здесь

C++
1
static int b[3] = { 1,2,3 };

Можно убрать слово static, но можно заменить его на auto, что будет эквивалентным.
В новых версиях языка слово auto используется в другом смысле, поэтому теперь его активно не рекомендуют применять, правда, не особо и хотелось.

@COKPOWEHEU · 25.03.2018, 11:07

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

1. Во-первых, такой вариант (с static) назвали раза 3 ... читайте внимательно прежде, чем писать;

Сейчас только один раз нашел, без комментариев и сливающийся с цитатой

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

2. Во-вторых, никакая переменная теперь не "локальная"

Не путайте область видимости (локальная) и время жизни (глобальная). Я говорил именно про область видимости.

@Recrut_rf · 25.03.2018, 11:10

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

Можно убрать слово static, но можно заменить его на auto, что будет эквивалентным.
В новых версиях языка слово auto используется в другом смысле, поэтому теперь его активно не рекомендуют применять, правда, не особо и хотелось.

А можно ссылку на данную инфу (самому искать очень лень

) Auto этож (если не ошибаюсь) нововведение C++11 и оно призвано облегчить жизнь пользователю с точки зрения выведения типа переменной. Ну то есть если до C++11 надо было писать int i = 0, то теперь auto i = 0, компилятор сам выведет тип переменной исходя из значения переменной (если сможет конечно же

) Но причём здесь модификатор доступа static?

@palva · 25.03.2018, 11:23

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

А можно ссылку на данную инфу

По хорошему надо искать официальный стандарт. Но можно найти и описание человеческим языком. Здесь, например, говорится http://www.quizful.net/post/cpp-keywords-usage В любой книге по языку есть перечисление зарезервированных слов. Слово auto там есть. Но это слово и в программу вставить можно. Любой компилятор (старого стандарта) его проглотит. Современный компилятор выдаст предупреждение.

@Recrut_rf · 25.03.2018, 11:34

palva, Это не совсем то, что я хотел узнать - про все эти volatile, extern, register, mutable мне и так было известно - я впервые слышу про то, что:

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

Можно убрать слово static, но можно заменить его на auto, что будет эквивалентным.
В новых версиях языка слово auto используется в другом смысле, поэтому теперь его активно не рекомендуют применять, правда, не особо и хотелось.

Croessmah · 25.03.2018, 11:38

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

про все эти volatile, extern, register, mutable мне и так было известно

auto пропустил.

Раньше спецификатор auto делал локальную переменную автоматической. Но они и так по-умолчанию были автоматическими.
int x;
Было эквивалентно
auto int x;

@palva · 25.03.2018, 11:46

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

Можно убрать слово static, но можно заменить его на auto, что будет эквивалентным.

Recrut_rf, наверно вы видите двусмысленность этого утверждения? Согласен. Фраза неудачная. Непонятно, что будет эквивалентным. Будут эквивалентны два текста, получающиеся в результате этих двух действий. Но не текст до действия и после.

@Olej · 25.03.2018, 11:49

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

Раньше спецификатор auto делал локальную переменную автоматической.

Это было сильно раньше ... лет уж 7-8 тому или больше auto имеет совершенно другой (и богатый) смысл (C++11).

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

Croessmah · 25.03.2018, 11:50

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

Это было сильно раньше

Да не так уж и сильно.

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

не вспоминайте это старьё, чтобы не смущать молодёжь и не создавать им в голове бессмыслицу.

Возможно, они придут на работу, а там компилятор с не полной поддержкой C++98.

@Recrut_rf · 25.03.2018, 11:53

К примеру цитата из Справочного руководства по STL (Джосатиса) про auto:
"В языке С++11" можно объявить переменную или объект без указания их конкретного типа, использую ключевое слово auto. Тип переменной, объявленной с помощью ключевого слова auto, выводится из её инициализатора. Разрешается использование дополнительных квалификаторов. Например:

C++
1
static auto vat = 0.19

. Использование ключевого слова auto особенно полезно в ситуациях, когда тип является очень длинным, а выражение сложным. То есть это скорее аналог typedef (частичный) или что - то вроде шаблонного псевдонима (тоже нововведение C++11)

Добавлено через 59 секунд

Не по теме:

Сколько же здесь понаписали пока я сочинял свой "шедевр" :D

Новые блоги и статьи Все статьи Все блоги /
Поиск всех путей на ориентированном графе. 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 мог продолжить работу без необходимости заново разбираться в. . .	сукцессия 15 неявная схема anaschu 29.06.2026 Алиса Калибровка параметров симбиотической модели: технический обзор Содержание: Введение Постановка проблемы Технические аспекты реализации Процесс внедрения изменений

@TRam_ зомбяк 1585 / 1219 / 345 Регистрация: 14.05.2017 Сообщений: 3,940
	25.03.2018, 02:52
	А вот когда другие программы начать пользоваться той же областью памяти, который только что был освобождён от стека твоей функции - это уже вопрос к теории вероятности. 0