typedef и указатель на функцию

@ZaMaZaN4iK · Регистрация: 24.06.2012

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

Здравствуйте! Помогите пожлауйста с пониманем одного момента...

Так вот, есть оператор typedef.Он насколько я понял, обьявляет синоним.Напрмер:

C++

1 2	typedef int my; my up;

То есть my==int, и мы создали переменную типа int.Это понятно.

Далее, у нас есть прототип функции void func(int*,int*), указателем на эту функцию, как я понимаю, будет void (*func)(int*,int*).

Так вот, вопрос - как запихнуть указатель на функцию в typedef, чтобы потом я мог обьявляь переменные с типом указатель на функцию с коротким именем.
В книге есть пример:

C++

1 2	typedef void(func)(int,int*); func p1;

Но я не понимаю этот пример - мы же в typedef запихнули только заменяемое вроде, а на что оно заменяется, мы не написали.Но всё это работает.

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

go · 26.12.2012, 19:31

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

Но я не понимаю этот пример - мы же в typedef запихнули только заменяемое вроде, а на что оно заменяется, мы не написали.Но всё это работает.

Мы запихнули идентификатор func.

@Avazart · 26.12.2012, 19:33

Я тоже часто теряюсь от такого синтаксиса

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

typedef void(*func)(int*,int*);

тут как бы

Код

func  ==  void xxx (int*,int*);

@ZaMaZaN4iK · 26.12.2012, 19:37 **[ТС]**

go, а почему тогда нельзя писать

C++

1	typedef void()(int,int*) func;

Добавлено через 3 минуты
Avazart, поподробнее пожалуйста расскажите про ваш пример

@Avazart · 26.12.2012, 19:37

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

go · 26.12.2012, 19:39

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

go, а почему тогда нельзя писать

Потому, что typedef это не простая подстановка. Почитайте про синтаксис, чтобы не путаться. Не путайте с define.

@prazuber · 26.12.2012, 19:41

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

go, а почему тогда нельзя писать

C++

1	typedef void()(int,int*) func;

А почему нельзя писать так?

C++

1	void ()(int,int*) func;

Или так:

C++

1	void ()(int,int) func;

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

Запомните главное правило - синтаксис typedef точно так же, как и синтаксис обычного объявления переменной без typedef'а.

go · 26.12.2012, 19:55

ZaMaZaN4iK, http://msdn.microsoft.com/ru-r... sfztk.aspx почитай.

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

Запомните главное правило - синтаксис typedef точно так же, как и синтаксис обычного объявления переменной без typedef'а.

Не правда. Вот смотрите. Я объявил

C++

typedef char* pChar;
 
const pChar a, b, c; // Замените это, как это поймет компилятор, 
// т.е. уберите typedef и сохраните смысл этого объявления :)

@ZaMaZaN4iK · 26.12.2012, 19:58 **[ТС]**

go, может я ошибаюсь, но должно получиться как-то так:

C++

1	const char a,b,*c;

go · 26.12.2012, 20:00

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

go, может я ошибаюсь, но должно получиться как-то так:

Нет. Поэтому должны быть typedef'ы как для неконстантных вариантов указателей, так и для константных.

@taras atavin · 26.12.2012, 20:03

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

Так вот, есть оператор typedef.Он насколько я понял, обьявляет синоним.

Нет. typedef объявляет новый тип, как type на паскале. Можно его юзать и для создания синонимов, но его возможности несопоставимо шире.

@Avazart · 26.12.2012, 20:05

Сообщение от taras atavin

Нет. typedef объявляет новый тип, как type на паскале. Можно его юзать и для создания синонимов, но его возможности несопоставимо шире.

Да нет не новый.. typeid проверьте...

go · 26.12.2012, 20:07

Не по теме:

Сообщение от taras atavin

typedef объявляет новый тип, как type на паскале.

Да ладно :)

Добавлено через 1 минуту
taras atavin, вот синтаксис

Код

typedef type-declaration synonym;

@taras atavin · 26.12.2012, 20:09

А как же тогда указательные типы, в том числе, на функции?

@Avazart · 26.12.2012, 20:14

C++

#include <iostream>
#include <typeinfo>
//----------------------------------
int main()
{
typedef int my;
 
std::cout <<  typeid(int).name() << std::endl;
std::cout <<  typeid(my).name() << std::endl;
 
return 0;
}

Добавлено через 31 секунду

Сообщение от taras atavin

А как же тогда указательные типы, в том числе, на функции?

А что с ними ?

@taras atavin · 26.12.2012, 20:15

Так здесь то синоним.

Добавлено через 48 секунд

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

А что с ними ?

Ну в синтаксис декларации синонимов они ни как не лезут, хоть копром забивай.

go · 26.12.2012, 20:21

Сообщение от taras atavin

Ну в синтаксис декларации синонимов они ни как не лезут, хоть копром забивай.

C++

#include <iostream>
#include <typeinfo>
 
typedef void (my)(int);
 
void m(int);
 
int main()
{
    std::cout <<  typeid(m).name() << std::endl;
    std::cout <<  typeid(my).name() << std::endl;
    std::system("pause");
    return 0;
}

go 3646 / 1378 / 243 Регистрация: 16.04.2009 Сообщений: 4,526
	26.12.2012, 20:00	10
	Сообщение от ZaMaZaN4iK go, может я ошибаюсь, но должно получиться как-то так: Нет. Поэтому должны быть typedef'ы как для неконстантных вариантов указателей, так и для константных. 0

@taras atavin 4226 / 1795 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	26.12.2012, 20:03	11
	Сообщение от ZaMaZaN4iK Так вот, есть оператор typedef.Он насколько я понял, обьявляет синоним. Нет. typedef объявляет новый тип, как type на паскале. Можно его юзать и для создания синонимов, но его возможности несопоставимо шире. 0

go 3646 / 1378 / 243 Регистрация: 16.04.2009 Сообщений: 4,526
	26.12.2012, 20:07	13
	Не по теме: Сообщение от taras atavin typedef объявляет новый тип, как type на паскале. Да ладно :) Добавлено через 1 минуту taras atavin, вот синтаксис Код typedef type-declaration synonym; 0

@taras atavin 4226 / 1795 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	26.12.2012, 20:15	16
	Так здесь то синоним. Добавлено через 48 секунд Сообщение от Avazart А что с ними ? Ну в синтаксис декларации синонимов они ни как не лезут, хоть копром забивай. 0

go 3646 / 1378 / 243 Регистрация: 16.04.2009 Сообщений: 4,526
	26.12.2012, 19:31	2
	Сообщение от ZaMaZaN4iK Но я не понимаю этот пример - мы же в typedef запихнули только заменяемое вроде, а на что оно заменяется, мы не написали.Но всё это работает. Мы запихнули идентификатор func. 0

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	26.12.2012, 19:33	3
	Я тоже часто теряюсь от такого синтаксиса Сообщение от ZaMaZaN4iK typedef void(func)(int,int); тут как бы Код func == void xxx (int,int*); 1

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	26.12.2012, 19:37	5
	А кто его знает, такую нелогичность - наверное так было проще реализовать. 0

go 3646 / 1378 / 243 Регистрация: 16.04.2009 Сообщений: 4,526
	26.12.2012, 19:39	6
	Сообщение от ZaMaZaN4iK go, а почему тогда нельзя писать Потому, что typedef это не простая подстановка. Почитайте про синтаксис, чтобы не путаться. Не путайте с define. 1

@Avazart 8385 / 6147 / 615 Регистрация: 10.12.2010 Сообщений: 28,683 Записей в блоге: 30
	26.12.2012, 20:05	12
	Сообщение от taras atavin Нет. typedef объявляет новый тип, как type на паскале. Можно его юзать и для создания синонимов, но его возможности несопоставимо шире. Да нет не новый.. typeid проверьте... 0

@taras atavin 4226 / 1795 / 211 Регистрация: 24.11.2009 Сообщений: 27,562
	26.12.2012, 20:09	14
	А как же тогда указательные типы, в том числе, на функции? 0