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

@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, ты нашел ответ на свой вопрос?

Новые блоги и статьи Все статьи Все блоги /
Море в объективе kumehtar 06.07.2026 Хотел написать много проникновенных слов, но передумал. Оно само - говорит. Кто слышит тот слышит.	Оказывается, Unreal Engine позволяет качество на порядки выше, чем было в Lineedge Etyuhibosecyu 05.07.2026 Жаль, конечно, что я не узнал об этом, пока Lineedge существовала, а то бы Noname2331 написал, что волки превращаются в пиксельную кашу, а я бы его попросил скачать какую-нибудь бриллиантовую или Pro. . .	Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .	Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .
Сезонность и суточность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .	В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .	интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .	Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .

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

Решение

Решение

Evg 21281 / 8305 / 637 Регистрация: 30.03.2009 Сообщений: 22,660 Записей в блоге: 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