Почему функции это тип данного

@AnastasiaYakub · Регистрация: 09.11.2020

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

В задании такой вопрос:
Почему функции это тип данного?

@XLAT · 15.01.2021, 21:45

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

Они наверное трактуют стандарт по своему

в данном случае то был баг, который в ближайшей версии был исправлен.

я привёл пример, того,
что не стоит быть чрезмерно оптимистом, надеяться и ждать, что будет всё по стандарту
особенно если вам нужна именно РАБОТАЮЩАЯ программа.

@Recrut_rf · 15.01.2021, 21:52

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

не стоит быть чрезмерно оптимистом,
особенно если вам нужна именно РАБОТАЮЩАЯ программа

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

Ну и согласен с вами, что

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

не стоит быть чрезмерно оптимистом

@TheCalligrapher · 16.01.2021, 02:06

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

Имеются два вида типов: базовые типы (fundamental types) и составные типы (compound types).
Типы описывают объекты (1.8), ссылки (8.3.2) или функции (8.3.5).
Подробности в соответствующих подразделах. Если нужно, могу опубликовать весь пункт 8.3.5

В стандарте С++ описано примерно пять совершенно независимых способов нарезки типов на классы/группы/категории. Зачем вы в этой теме вдруг упомянули именно нарезку на базовые и составные - не ясно. К рассматриваемому вопросу она никак не относится.

Добавлено через 3 минуты

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

Воспринял "в штыки" и отказался компилировать. А Dev C++ 5.11 с TDM-GCC 4.9.2 нормально скомпилировал.

Потому что этот код написан не на С++. А "Dev C++ 5.11 с TDM-GCC 4.9.2" к С++ имеет весьма отдаленное отношение, пока вы его специально не попросите. А попросите - и он тоже перестанет компилировать.

@Recrut_rf · 16.01.2021, 08:47

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

пока вы его специально не попросите

Не совсем понял, о чём речь?

@TheCalligrapher · 16.01.2021, 09:11

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

Не совсем понял, о чём речь?

Речь идет о настройках компилятора, которые в конечном итоге должны заставить ваш TDM-GCC 4.9.2 работать в роли компилятора С++. Пока что вы его используете в режиме студенческого ля-ля-ля псеводязыка, который чем-то напоминает С++ синтаксисом, не более того.

Включите режим С++ в вашем TDM-GCC 4.9.2 и попробуйте скомпилировать ваш код еще раз.

@Recrut_rf · 16.01.2021, 09:43

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

IGPIGP · 16.01.2021, 12:19

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

функции это не типы.
термин тип существует исключительно для данных.

Можно согласиться. Разделение данных и методов/функций - это вопрос уровня выше конкретного языка. Тем не менее, в С++ типом обладают именно объекты. В вопросе тип не является данным типом по формулировке. Сказано о функции как о типе данных. Я его читаю так (имею право) :
Почему функция является типом = разновидностью данных?
Поскольку, как уже я сказал - функции отделены от данных концептуально, - вопрос провокационный и вызывающий на размышление. Он имеет право на жизнь, - на мой взгляд. Отделение функций от данных - достаточно условно.
1. Функции могут определять вложенные типы данных
2. Функции могут включать статические объекты
3. Функции, сами по себе, могут быть объектом анализа и идентифицировать объекты
Это по крайней мере 3 причины, которые я вижу, как ответ на вопрос темы. Поэтому XLAT, я согласен с вами. Вопрос поставлен в расчёте на живое восприятие и широкий взгляд.
Что касается приведенных пунктов, то если 1 и 2 более или мене понятны, я хочу сказать о п.3
3. Функции, сами по себе, могут быть объектом анализа и идентифицировать объекты
Работая над классом само упорядочивающихся коллекций объектов
https://www.cyberforum.ru/blog... g4772.html
я убедился в том, что предикаты класса является его данными. То есть, адрес и тип функции или функционального объекта, можно (и нужно порой) делать ключом в таблицах типа "ключ/значение". И в этом случае предикаты играют ключевую роль в идентификации объектов. Можно сказать что от наличия и качества предикат в наборе предикат для объекта данного класса, зависит то насколько объект интеллектуален = хорошо изучен и тщательно описан.
Согласен с вами, XLAT. Функции отделены от данных в некотором условном контексте. Однако, если требуется умении порассуждать о данной условности, нет вреда в том, что студент взглянет на вопрос шире. Речь не идёт о типах объектов. Вопрос о функциях как разновидности данных. Я могу утверждать, что функции могут выступать в этой роли. Вне зависимости от разделения data-members vs methods-members.

@XLAT · 16.01.2021, 14:37

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

Функции могут

ок.

функции функциональные,
чары символьные,
а данные данные.

есть типы,
а есть типы типов,
а также типы типов типов,
а также ....

тут можно даже очень преуспеть в накидывании навоза на вентилятор.

НО,
Вложение 1218117
возможно кто-то с этим не согласен, то я не доктор.

Далее:
Любые зания(информация) о функции это ДАННЫЕ.
Те служебные данные которые использует компилятор для строительства кода являются типами.
С точки зрения компилятора вся ваша текстовая портянка кода есть данные,
которые преобразуются в конечном итоге в машинный код.

Полностью правильная интерпретация вашей программы в правильно рабочий код
возможна только при ПОЛНОМ НАЛИЧИИ всей информации о используемых в программе типах,
которые обрабатываются, как данные.

Поэтому func_t это тип функции, представляющие данные компилятору о правилах интерпретации этих данных.

О void:
void это тип чего?
если тип данных, то как же так, тип данных, которых нет?
Да.
void это тип данных, которых нет точка
Вот так бывает, к этому нужно привыкнуть, что данные могут быть, а могут и не быть,
причем тип данных void вам четко заявляет, что в текущем случае их нет!

тут бы был уместен мой любимый анекдот о тру-программистах, но воздержусь.

IGPIGP,
спасибо, что мусолите эту тему,
но для меня тут всё ясно и понятно, вот такой я тупой

@XLAT · 16.01.2021, 14:38

----

IGPIGP · 16.01.2021, 17:08

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

тут можно даже очень преуспеть в накидывании навоза на вентилятор.

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

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

мусолите

тоже не ясно.

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

функции функциональные,
чары символьные,
а данные данные.
есть типы,
а есть типы типов,
а также типы типов типов,
а также ....

Вопрос темы задан с применением термина "тип" вне контекста "тип объекта С++". Это потому что функции - элемент синтаксиса, но они не являются объектами. Везде где мы получаем объект доступа к функции, - мы, фактически, располагаем указателем. Тем не менее, метод - член в широком смысле, предоставляет описатель класса и по сути является видом данных. Если вопрос топика - приглашение, поговорить об этом, это вполне приемлемо. Поэтому я сказал о том, что поддерживаю ваш ответ:

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

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

Впрочем, если преподаватель имел ввиду, сравнение указателей на свободные функции и указателей а методы, то тогда тема совсем о другом. Но и вопрос, в этом случае задан ещё менее внятно.
Вопросы же типа (типа!), - "Что есть тип?", сводятся к ответу - "Я есть Тип!". Потому как: "Вначале был тип и тип был у типа, и тип был -тип". С тех времён понятие разжижилось и теперь типы программных объектов и типы программных (синтаксических, по сути) сущностей живут в рамках одних текстов, описывающих термин тип. Поэтому на вопрос:

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

void это тип чего?

я отвечу: - Пишут, что тип.
Но если о функциях, то

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

Почему функции это тип данного

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

Добавлено через 30 минут

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

3. Функции, сами по себе, могут быть объектом анализа и идентифицировать объекты

идентифицировать типы, а не объекты. Запутался.

@Recrut_rf · 16.01.2021, 17:23

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

void это тип данных, которых нет точка

Согласен с вами, за одним исключением, потому как вспомнил про
такую конструкцию

C++
1
void* malloc( std::size_t size );

А эта конструкция даёт формальный повод относиться к типу

C++
1
void*

как к указателю на "сырой" кусок памяти. А уж что с ним дальше делать - зависит от пользователя.

@XLAT · 16.01.2021, 19:06

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

идентифицировать типы, а не объекты

недавно у одного автора узнал совершенно случайно,
чем параметры отличаются от аргументов: в каких случаях какой термин уместен.

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

...

сорри, пожалуй мне не надо тут больше ничего писать,
а то что-то меня тянет копнуть так глубоко, что может мне не хватить словарного запаса.

этот вопрос ТК как ниточка, потянув за которую, можно намотать на клубок всё вокруг и сверху и снизу.

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

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

стандарты,
как и законы пишут определенное количество людей,
и другое количество людей всегда вправе оспорить их.

IGPIGP · 16.01.2021, 19:37

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

недавно у одного автора узнал совершенно случайно,
чем параметры отличаются от аргументов: в каких случаях какой термин уместен.

Это бывает. Я их тоже путал. Параметр, это характеристика которая может изменяться. То есть, параметр, это собственность функции. Она его объявляет. А аргумент, это то что один тип/субъект/объект передаёт другому в обмен на его аргумент. И имея ввиду аргумент типа:

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

сорри, пожалуй мне не надо тут больше ничего писать

возвращаю вам тип void, который нельзя не передать, ни выразить, ни принять в качестве аргумента. Хотя написать такое в объявлении void foo(void); можно легко. Что и пишут (порой, но частенько и по достаточно серьёзным вопросам, кстати) в сырых стандартах. )

@_stanislav · 16.01.2021, 23:32

Не по теме:

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

Это бывает. Я их тоже путал.

В академических кругах “аргументы” иногда называются фактическими параметрами
(actual parameters), а “параметры” — формальными параметрами (formal parameters).

IGPIGP · 17.01.2021, 00:12

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

В академических кругах “аргументы” иногда называются фактическими параметрами
(actual parameters), а “параметры” — формальными параметрами (formal parameters).

Это в точку! То есть, ты понял, что хотел сказать XLAT. Это главное. Потому, что если перепутать, то мир никогда не уже не будет таким как прежде. И то, что он и без этого никогда не будет таким как прежде, не имеет ни какого значения.

@eva2326 · 17.01.2021, 05:46

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

в точку!

Всегда хотела у Вас спросить))
Как правильно: STABLE_RELEASE, или RELEASE_STABLE ?

"Каталог исходников" - это DIR_SOURCE, или DIR_SOURCES ?

IGPIGP · 17.01.2021, 10:07

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

Всегда хотела у Вас спросить))
Как правильно:

Это вопрос о самой сути. Вот один из возможных подходов:

В конце первого диалога - ряд вековых вопросов о том как правильно. В частности:

Сообщение от вечных сомнений

А как правильно сказать: «не надо» или «не нужно»?

@Mightsoul · 18.01.2021, 09:37

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

Почему функции это тип данного?

Это не тип данных, это способ организации кода, в C++ тип данных функции определяет лишь то, как нужно с ней обращаться.

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

дело в том что кодер не может получить прямой доступ к памяти в которой находится исполняемый код

может:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include <stdio.h>
 
int main () {
    const unsigned char *byte = (const unsigned char*)&main;
    char hex[3] = {0x00,0x00,0x00};
    for (unsigned int id = 0; byte[id] != 0xC3; ++id) {
        hex[0] = (byte[id] & 0xF0) >> 4;
        hex[1] = (byte[id] & 0x0F);
        hex[0] += '0';
        hex[1] += '0';
        if (hex[0] > '9') hex[0] += 'A'-'9'-1;
        if (hex[1] > '9') hex[1] += 'A'-'9'-1;
        if (id && id % 16 == 0) putc('\x0a',stdout);
        printf("%s\x20",hex);
        if (byte[id+1] == 0xC3) printf("C3");
    }
    return 0;
}

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

Фон Нейман - это компьютерная архитектура, ни к терминологии, ни к концепциям языка С++ не имеющая никакого отношения. Вопрос задан по С++, где код и данные - два изолированных непересекающихся мира.

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

C++
1
2
unsigned char code[] = "\xB8\xFF\x00\x00\x00\xC3";
printf("%d",((int(*)())code)());

Или вообще вот так:

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
#include <windows.h>
#include <stdio.h>
 
LPCVOID GetBasePageAddress (LPCVOID addr) {
    MEMORY_BASIC_INFORMATION info;
    LPCVOID base = 0;
    while (true) {
        VirtualQuery(base,&info,sizeof(MEMORY_BASIC_INFORMATION));
        if ((ULONG_PTR)addr >= (ULONG_PTR)info.BaseAddress && (ULONG_PTR)addr < (ULONG_PTR)info.BaseAddress+(ULONG_PTR)info.RegionSize) {
            break;
        } else base = (LPCVOID)((ULONG_PTR)info.BaseAddress+(ULONG_PTR)info.RegionSize);
    }
    return base;
}
 
int main () {
    BYTE code[] = "\xB8\xDD\xCC\xBB\xAA\xC3";
    DWORD old;
    LPCVOID page = GetBasePageAddress(code);
    MEMORY_BASIC_INFORMATION info;
    VirtualQuery(page,&info,sizeof(MEMORY_BASIC_INFORMATION));
    VirtualProtect(info.BaseAddress,info.RegionSize,PAGE_EXECUTE_READWRITE,&old);
    printf("%x",((int(*)())code)());
    VirtualProtect(info.BaseAddress,info.RegionSize,old,&old);
    return 0;
}

И ничего ты мне не сделаешь, я в другом городе живу, можно хоть в .rodata лезть и перезаписывать нуль-терминированные строки, хоть .text сделать PAGE_EXECUTE_READ_WRITE и творить смуту, не боясь #GP. Языка ассемблера, заметь, здесь нет. Только машинный код.

Всё это для справки, я не призываю никого делать такое в практических целях, только ради постижения запретных знаний.
Кстати, привет, как дела? Жизнь цветёт цветами цветов. Хотел ещё тогда ответить, что именно для такого существует volatile, запрещающий подобные оптимизации, но как-то вылетело из головы, сразу, короче, кину себе ворнинг, что в C++ всего этого нет, так, на всякий случай, конечно же, установлю защиту от UB, и вообще, короче, делаю межсегментный переход в окно.

@TheCalligrapher · 18.01.2021, 09:42

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

Принцип однородности памяти говорит лишь о том, что данные и код хранятся в одной и той же оперативной памяти.

В языке С++ не никакого "принципа однородности памяти". Память данных и память кода - это в С++ две разных памяти, ибо язык должен поддерживать платформы, для которых это действительно так.

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

ибо их единственное отличие в атрибуте доступа.

В языке С++ не никаких "атрибутов доступа". Это свойство каких-то частных местечковых ОС-платформ.

Никакого отношения к рассматриваемой теме все это не имеет даже отдаленно.

@Mightsoul · 18.01.2021, 09:43

Я предупреждал.

Новые блоги и статьи Все статьи Все блоги /
Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .	Родители токсичные абьюзеры по отношению к своим детям ругают их оскорбляют не любят zorxor 08.11.2026 Жить в атмосфере постоянных оскорблений, критики и холодности со стороны родителей — это тяжелое и болезненное испытание, которое оставляет глубокие эмоциональные раны. Токсичное и абьюзивное. . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .
Проверка полного ФИО в типовом справочнике Maks 07.11.2026 Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .	Про "Windows must die!" kumehtar 04.11.2026 Знаете, чет накатило. . . . Когда-то это было почти боевым кличем: мол, нормальный человек сидит на DOS, OS/ 2 или Linux, а вот это вот - Must Die. А теперь человек произносит «мастдай» с усмешкой - и. . .	Красочные поля с номером страницы svg+background-image russiannick 04.11.2026 Красочные поля с номером страницы не менее важны чем в эпоху бумажных книг. Посему спешу представить почтеннейшей публике этот важный инструмент который эти поля и формирует. В процессе разработки. . .	Вступаем в новую фазу генерации favicons, векторную. russiannick 02.11.2026 Теперь нет нужды скрывать что используется простой svg. Исходный код изображения помещаем в поле и жмем кнопку. Исходник преобразуется в вид корректный для помещения в favicon или в url(). Нажатие. . .

@AnastasiaYakub 0 / 0 / 0 Регистрация: 09.11.2020 Сообщений: 20

	Почему функции это тип данного 15.01.2021, 00:03. Показов 6586. Ответов 71 Метки нет (Все метки) В задании такой вопрос: Почему функции это тип данного? 0

@Recrut_rf 392 / 337 / 66 Регистрация: 14.10.2014 Сообщений: 1,538
	16.01.2021, 09:43
	TheCalligrapher, понял. Да это не стандартная вещь, о который компилятор честно предупреждает. (Не стал включать опцию обработки варнингов как ошибок) Подробности во вложении Миниатюры 0

@XLAT Just Do It! 4221 / 2687 / 656 Регистрация: 23.09.2014 Сообщений: 9,246 Записей в блоге: 3
	16.01.2021, 14:38
	---- Миниатюры 1

@Mightsoul El. Psy. Congroo. 110 / 92 / 32 Регистрация: 09.01.2018 Сообщений: 344
	18.01.2021, 09:43
	Я предупреждал. 0