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

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

Новые блоги и статьи Все статьи Все блоги /
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .
Создание формы заимствованного документа Maks 03.08.2026 Задача: Необходимо создать собственную форму заимствованного документа. На форме должен быть реквизит "Покупатель", а также табличная часть со следующими реквизитами: - Расчетный счет покупателя. . .	Задача предоставления скидок покупателям Maks 03.08.2026 Задача: В документе "Продажи" необходимо реализовать функционал предоставления скидок покупателям. Скидка должна автоматически рассчитываться и подставляться в соответствующее поле при выборе. . .	Почему SEO не начинается с ключевых слов: что проверить до написания текстов Neotwalker 01.08.2026 Когда владельцу сайта предлагают заняться SEO, первым шагом часто становится сбор запросов и написание текстов. Логика кажется понятной: 1. Находим ключевые слова. 2. Добавляем их на. . .	Знание — сила: Доктрина интенциональности знаний, углубление в формулу Hrethgir 01.08.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11957&stc=1&d=1785567302 Знаменитый афоризм Фрэнсиса Бэкона «Знание — сила» (Scientia potentia est) в массовой культуре принято понимать. . .

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

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

Решение

Решение