Что такое имя функции?

@pcmax · Регистрация: 29.01.2018

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

скажите пожалуйста что такое имя функции?

создаю указатель на функцию

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
 
void foo(void){
 
std::cout << "hi all! ";
}
 
 
int main(){
 
(*p)(void)=foo;   // вот если я присваиваю указателю на функцию  foo без &  , то есть 
 
(*p)(void)=&foo; // то значит имя функции  " foo" это или адрес или указатель.
 
 
return 0;
}

что такое имя функции?

@pcmax · 27.07.2019, 22:03 **[ТС]**

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

Значение типа T может быть преобразовано в значение типа «указатель на T».

каким образом?

@_stanislav · 27.07.2019, 22:06

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

каким образом?

https://www.youtube.com/watch?v=kW7KBl7zSE0

Evg · 27.07.2019, 22:06

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

люди утверждают, что имя функции является указателем на функцию.

я не несу отсебятину. просто пытаюсь разобраться с вашей помощью

Для начала ты не можешь внятно поставить вопрос. Вопрос "что такое имя функции" на программерском форуме звучит настолько же абстрактно, как и вопрос "что такое хорошо и что такое плохо". В качестве итога и получил срач на много постов, который ушёл даже в область ассемблера. Не поленись внятно задать вопрос - сильно повысятся шансы того, что получишь нормальный ответ

@pcmax · 27.07.2019, 22:08 **[ТС]**

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

Для начала ты не можешь внятно поставить вопрос. Вопрос "что такое имя функции" на программерском форуме звучит настолько же абстрактно, как и вопрос "что такое хорошо и что такое плохо". В качестве итога и получил срач на много постов, который ушёл даже в область ассемблера. Не поленись внятно задать вопрос - сильно повысятся шансы того, что получишь нормальный ответ
______________

хорошо.
является ли имя функции адресом или указателем?

@_stanislav · 27.07.2019, 22:11

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

является ли имя функции адресом или указателем?

транслятор делает добро

Добавлено через 51 секунду
холиварчик раздуваешь

@Eanmos · 27.07.2019, 22:23

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

Не поленись внятно задать вопрос - сильно повысятся шансы того, что получишь нормальный ответ

Вы понимаете, что человеку сложно сформулировать вопрос просто потому что он недостаточно компетентен (не в обиду автору, мы все по-началу не особо компетентны, а я и сейчас себя шибко компетентным не считаю)? Это для вас «имя функции» звучит абстрактно, а для ТС — нет. Так что не стоит утверждать, что ТС поленился задать вопрос.

Evg · 27.07.2019, 22:29

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

является ли имя функции адресом или указателем?

Если вопрос применителен к точке, подсвеченной стрелкой в этом коде

C
void foo (void);
void bar (void)
{
  foo;  // <-- является ли имя функции адресом или указателем?
}

то имя функции, поставленное в выражение, семантически является операцией взятия адреса на функцию. Т.е. такое выражение имеет тип (конкретно в данном примере) void(*)(void), который является указателем на функцию

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

Croessmah · 27.07.2019, 22:36

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

Т.е. такое выражение имеет тип (конкретно в данном примере) void(*)(void)

Нет, типом этого выражения в C++ будет void() (или void(void), как удобнее)

C++
1
2
3
4
5
6
7
8
9
10
11
#include <iostream>
#include <type_traits>
 
void foo();
 
 
int main()
{
    std::cout << std::is_same<decltype(foo), void(*)()>::value << std::endl; //false
    std::cout << std::is_same<decltype(foo), void()>::value << std::endl; //true
}

https://wandbox.org/permlink/A8yCgIUMU6q76qwp

@Eanmos · 27.07.2019, 22:42

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

Т.е. такое выражение имеет тип (конкретно в данном примере) void(*)(void), который является указателем на функцию

В C это также будет void (void).

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

то имя функции, поставленное в выражение, семантически является операцией взятия адреса на функцию. Т.е. такое выражение имеет тип (конкретно в данном примере) void(*)(void), который является указателем на функцию

Это неверно. Взгляните на этот код (используются GCC-расширения):

C
1
2
3
4
5
6
7
8
9
10
11
12
#include <stdio.h>
 
void foo(void)
{
    puts("foo");
}
 
int main(void)
{
    typeof(foo) t = foo;
    t();
}

Он скомпилируется, только если мы заменим typeof(foo) на typeof(&foo).

В данном примере foo — это function designator expression.

Evg · 27.07.2019, 22:54

У decltype аргументом может быть либо entity, либо expression. Подозреваю, что в твоём случае "foo" рассматривалось как entity. Если бы "foo" как выражение имело тип "void(void)", то его нельзя было бы использовать в правой части присваивания указателя на функцию. Но это уже какие-то языковые тонкости, которые, честно говоря, я даже не знаю, как проверить. И запросто в Си++ тут может быть всё не так, как в Си

Если ТС вообще про это спрашивал

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

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

Он скомпилируется, только если мы заменим typeof(foo) на typeof(&foo)

Здесь тоже самое. Внутри typeof слово "foo" может рассматриваться как entity и как expression. Я в том смысле, что хз, как определить, что именно

@Eanmos · 27.07.2019, 22:56

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

является ли имя функции адресом или указателем?

Смотри. То, что ты называешь именем функции — это ее идентификатор. Далее.

C
1
2
3
4
5
6
7
8
9
10
11
#include <stdio.h>
 
void foo(void)
{
    puts("foo");
}
 
int main(void)
{
    foo;
}

foo; — это statement. foo (без ; ) — это function designator expression. Далее.

C
1
2
3
4
5
6
7
8
9
10
11
#include <stdio.h>
 
void foo(void)
{
    puts("foo");
}
 
int main(void)
{
    foo();
}

Здесь function designator expression foo преобразуется в non-lvalue указатель на функцию, потому что используется в операторе вызова функции.

Evg · 27.07.2019, 22:57

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

@Eanmos · 27.07.2019, 22:59

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

Если бы "foo" как выражение имело тип "void(void)", то его нельзя было бы использовать в правой части присваивания указателя на функцию.

В правой части присваивание function designator foo преобразуется в non-lvalue указатель на эту функцию.

@Undisputed · 27.07.2019, 23:01

Croessmah,
А каков use case у типов вроде void()?
Где это может быть полезным?

Evg · 27.07.2019, 23:04

Eanmos, это оно?

Code
ISO/IEC 9899:1999 (E)
 
6.3.2.1 Lvalues, arrays, and function designators
 
4 A function designator is an expression that has function type. Except when it is the
operand of the sizeof operator54) or the unary & operator, a function designator with
type ‘‘function returning type’’ is converted to an expression that has type ‘‘pointer to
function returning type’’.

@Eanmos · 27.07.2019, 23:07

Evg, да.

Evg · 27.07.2019, 23:07

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

Нет, типом этого выражения

Судя по всему, есть две сущности - "function designator" и "выражение". Выражение как раз имеет тип указателя на функцию. А funcrion designator имеет тип функции. При этом "foo" является function designator'ом, который сразу же приводится к указателю на функцию. Или что-то типа того, если я правильно понял

@Eanmos · 27.07.2019, 23:16

Evg, почти. Function designator — это тоже выражение, только выражение функционального типа.

Croessmah · 27.07.2019, 23:21

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

Здесь function designator expression foo преобразуется в non-lvalue указатель на функцию, потому что используется в операторе вызова функции.

Если я правильно понимаю, то postfix-expression в выражении вызова может быть непосредственно типом функции, т.е. преобразования в указатель не требуется. Но это так, семечки.

The postfix expression shall have function type or function pointer type.

http://eel.is/c++draft/expr.call

@Eanmos · 27.07.2019, 23:29

Croessmah, видимо, в этом C и С++ отличаются:

The expression that denotes the called function¹⁰⁰⁾ shall have type pointer to function returning void or returning a complete object type other than an array type.

¹⁰⁰⁾ Most often, this is the result of converting an identifier that is a function designator.

Это из C11.

pcmax, ты нашел ответ на свой вопрос?

Новые блоги и статьи Все статьи Все блоги /
Транслитерация текста с кириллицы на латиницу (вариант №1) Maks 11.11.2026 Решил облегчить жизнь себе и коллегам админам при создании электронных почтовых ящиков для пользователей, в результате написал обработку "Транслитерация текста" с кириллицы на латиницу, а в ней. . .	Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 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 Красочные поля с номером страницы не менее важны чем в эпоху бумажных книг. Посему спешу представить почтеннейшей публике этот важный инструмент который эти поля и формирует. В процессе разработки. . .

Evg 21287 / 8312 / 637 Регистрация: 30.03.2009 Сообщений: 22,671 Записей в блоге: 30
	27.07.2019, 22:57
	Вообще правильным было бы взять и посмотреть, что в стандарте написано по этому поводу, но для этого нужен доброволец 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	27.07.2019, 23:01
	Croessmah, А каков use case у типов вроде void()? Где это может быть полезным? 0

@Eanmos 698 / 140 / 57 Регистрация: 20.08.2017 Сообщений: 255
	27.07.2019, 23:07
	Evg, да. 0

@Eanmos 698 / 140 / 57 Регистрация: 20.08.2017 Сообщений: 255
	27.07.2019, 23:16
	Evg, почти. Function designator — это тоже выражение, только выражение функционального типа. 0

Что такое имя функции?

Решение

Решение