typedef
может использоваться для создания псевдонима не только типа данных:
typedef int myinteger; //myinteger - псевдоним для int
myinteger i; //эквивалентно int i;
но и указания функций, принимающих переменные указанных типов, и возвращающих переменные указанных типов.
Допустим, нас интересует вид функции, принимающей один int
, а возвращающей void
. Как-то более строго обозначить тип функции невозможно, потому что у нее есть тип принимающего значения и тип возвращающего значения, саму внутреннюю логику, очевидно, типизировать нельзя. К примеру, функция типа
void func(int);
заметим, что слово func
это не тип, а просто имя, если говорить про типы в данном случае, то они
void ....(int);
Можно зафиксировать эту комбинацию типов входных и выходных параметров. Только не просто создав псевдоним для типа, как это было с типами переменных, а создав тип указателя на функцию. Указателя, потому что указатель хранит адрес объекта, а имя функции и есть указатель на нее(ее адрес).
Мы можем написать такой указатель на функцию, хранящий в себе типы входных и выходных параметров:
void print(int n){
std::cout << n;
}
int main() {
int n = 10;
void (*funcPointer)(int);
funcPointer = print;
funcPointer(n);
return 0;
}
А теперь, если нам лень писать каждый раз тип создаваемого указателя на функцию? Ведь набор входных и выходных параметров может быть весьма громоздким, и объявление можем повторяться. Для таких случаев используется typedef псевдонима типа указателя на функцию. Мы объявляем тип функции(типы ее входных и выходных параметров, если быть точным):
typedef void (*funcType)(int);
и теперь перепишем предыдущий пример применяя этот псевдоним типа ф-ции:
typedef void (*funcType)(int);
void print(int n){
std::cout << n;
}
int main() {
int n = 10;
funcType funcPointer;// funcPointer – это указатель на ф-цию, хоть и нет *
funcPointer = print;
funcPointer(n);
return 0;
}
То есть в случае typedef
типа переменной, мы создаем сущность некоторого, созданного нами, типа:
typedef int myinteger;
myinteger i; //эквивалентно int i;
При создании псевдонима типа указателя на функцию, повторю: псевдонима типа, мы в итоге тоже создаем сущность funcPointer
созданного нами типа funcType
:
typedef void (*funcType)(int);
funcType funcPointer; //эквивалентно записи void (*funcPointer)(int);
Если применить такой абстрактный подход, становится проще понять концепцию typedef
для функции. А уж потом мы начинаем смотреть, что это за тип, и что за ним скрывается.
Чтобы лучше понять, зачем используются typedef
для функции, рассмотрим пример:
функция signal
из <signal.h>
. Её объявление без <signal.h> typedef
такое:
void (*signal(int sig, void (*func)(int)))(int);
но если мы отдельно создадим псевдоним типа функции:
typedef void (*SigCatcher)(int);
то то же самое объявление функции signal
становится проще воспринимать:
SigCatcher signal(int sig, SigCatcher func);
Часть информации в ответе взята отсюда
float* p = new float[64]
, тоp + 2
указывает на элемент массива с индексом 2, то есть 8-й байт (а не 2-й). (3) да, так и есть. (4) почитайте мой любимый связанный вопрос. Он на английском, но вы продеритесь сквозь текст и получите удовольствие.