Форум программистов, компьютерный форум CyberForum.ru

Передача указателя на метод в функцию - C++

Войти
Регистрация
Восстановить пароль
Другие темы раздела
C++ По некоторому количеству строк (не более N) найти пары строк с общим словом http://www.cyberforum.ru/cpp-beginners/thread290276.html
По некоторому количеству строк (не более N) найти пары строк с общим словом. помогите, пожалуйста. слишком быстро перескочили и со строками очень туго.. Именуйте темы осмысленно. Название темы должно максимально полно отражать ее содержание.
C++ Определение симметричны цифры Добрый вечер, помогите с написанием задачи, так как возникли трудности. Буду очень благодарна. Задача: Определение симметричны цифры действительного числа относительно точки. http://www.cyberforum.ru/cpp-beginners/thread290269.html
движение строчки справа налево C++
нужно сделать бегущую строку которая двигается справа налево при этом сначала появляется по 1й букве и как токо слово появилося все на экране строка замирает Вот что вышло у меня #include "stdafx.h" #include "stdio.h" #include "conio.h" #include "math.h" #include <windows.h> #include <iostream> #include <locale.h>
Адреса и указатели на языке С++ C++
Pomogite pliz((( #include <iostream.h> typedef int* IntPtrType; int main() { IntPtrType ptr_a,ptr_b; int num_c=4, num_d=7; ptr_a=&num_c; ptr_b=ptr_a;
C++ ненулевая компонента http://www.cyberforum.ru/cpp-beginners/thread290241.html
Написать программу, использующую функцию. Определить, какой из данных векторов X, Y, Z содержит наибольшее количество ненулевых компонент. Исходные данные: N=15,M=17,K=20. Примечание: определение количества ненулевых компонент вектора оформить в виде функции. (через printf scanf)
C++ массив Найти в каждом столбце матрицы максимальный и минимальный элементы и вывести на печать в виде двух строк. Условия и ограничения: - натуральные числа. Массив:Z. (с помощью printf scanf) подробнее

Показать сообщение отдельно
ValeryLaptev
Эксперт С++
1039 / 818 / 48
Регистрация: 30.04.2011
Сообщений: 1,659
06.05.2011, 22:57     Передача указателя на метод в функцию
Вот ликбез по обоим видам указателей:

Дело в том, что указатель на метод существенно отличается по типу от обычного указателя на функцию, даже если прототипы функции и метода внешне идентичны. Вспомним, как определяется указатель на функцию:
Код
тип (*имя-указателя)(список параметров);
Для сокращения записи применяют обычно оператор typedef. Следующее объявление вводит новое имя типа:
Код
typedef тип (*тип-указателя)(список параметров);
После этого указатель на функцию можно объявлять так:
тип-указателя имя-указателя;

Указателю присваивается адрес функции. В С++ разрешается присваивать адрес функции явно или неявно задавая операцию получения адреса:
имя-указателя = &имя-функции;
имя-указателя = имя-функции;
В последнем случае имя функции неявно преобразуется в адрес.

Вызов функции через указатель выполняется так:
Код
(*имя-указателя)(аргументы);
Тот же вызов можно написать в более простой форме:
имя-указателя(аргументы);

Рассмотрим несколько простых примеров. Допустим, у нас объявлен указатель на функцию:
Код
int (*pf)(void);
Этому указателю можно присвоить адрес любой функции с таким же прототипом, в том числе и библиотечной. Например, такой прототип имеет функция-генератор случайного числа rand(), который объявлен в заголовке библиотеки <cstdlib>:
C++
1
2
3
4
5
int f1(void) { return 1; } 
int f2(void) { return 2; }
pf = f1;    cout << pf() << endl;                // вызов f1()
pf = f2;    cout << pf() << endl;                // вызов f2()
pf = &rand; cout << pf() << endl;                // вызов rand()
Напишем теперь простой класс
C++
1
2
3
4
5
6
class Constant
{    int value;
   public: 
    Constant(const int &a): value(a) {}
    int get(void) { return value; }
};
Метод get() с виду имеет тот же прототип, что и функции в приведенном ранее фрагменте. Однако попытки присвоить адрес метода get() указателю pf компилятор пресекает «на корню». Да и не совсем понятно, как этот адрес задавать. Вариантов два.
1. Объявить объект и взять адрес метода в объекте:
C++
1
Constant A(5); pf = &A.get();
2. Не объявлять объект, а приписать префикс класса:
C++
1
pf = &Constant::get;
Первый вариант вообще неверный: и Visual C++.NET 2003, и Borland C++ Builder 6 сообщают, что операцию взятия адреса & так использовать нельзя. Второй вариант — ближе к истине: оба компилятора сообщают только о невозможности выполнить преобразование типов. Попытки прописать преобразование явно не проходят:
C++
1
2
3
pf = static_cast<int (*)(void)>(&Constant::get);
pf = reinterpret_cast<int (*)(void)>(&Constant::get); 
pf = (int (*)(void))(&Constant::get);
Все эти варианты вызывают ту же ошибку компиляции — невозможность преобразования типов. Таким образом, тип указателя на метод класса кардинально отличается от типа указателя на функцию: адрес метода нельзя присвоить указателю на функцию, даже если внешне их прототипы совпадают. Это становится понятным, если мы вспомнить, что нестатические методы получают дополнительный параметр — указатель this.
Аналогично, нельзя присвоить обычному указателю на функцию адрес виртуального метода — в этом случае дело усугубляется еще наличием в составе объекта указателя на таблицу виртуальных методов. А вот со статическими методами картина другая! Статический метод не получает никаких «лишних параметров», поэтому его адрес можно присваивать обычному указателю на функцию без всяких преобразований. Добавим в класс Constant статическое поле и статический метод с нужным нам прототипом:
C++
1
2
3
4
5
6
7
8
class Constant
{    int value;
    static int d;
public: 
    Constant(const int &a): value(a) {}
    int get(void) { return value; }
    static int getd(void) { return d; }                // статический метод
};
Тогда нашему указателю pf можно присвоить адрес статического метода согласно второму из приведенных ранее вариантов, например:
C++
1
pf = Constant::getd;        // или pf = &Constant::getd;
Префикс, естественно, необходимо писать.
Указатель на метод объявляется по-другому (см. п.п. 8.3.3 в [1]) — нужно задать имя класса в качестве префикса:
C++
1
int (Constant::*pm)(void);
Такому указателю можно присваивать адреса обычных и виртуальных методов согласно второму из приведенных ранее вариантов, например:
C++
1
pm = &Constant::get;        // или pm = Constant::get;
Адрес статического метода, так же как и адрес обычной функции, такому указателю присвоить нельзя — возникает ошибка трансляции: компилятор сообщает о невозможности выполнить преобразование типов.
И косвенный вызов метода выполняется по-другому — с помощью операции выбора члена класса .* или ->* (см. п. 5.5 в [1]). Несмотря на то, что указатель на член класса является отдельной независимой от класса переменной, вызов метода по указателю возможен только при наличии объекта, например:
C++
1
2
Constant A(5);
cout << (A.*pm)() << endl;
Выражение(A.*pm)() означает следующее: для объекта A вызвать метод, чей адрес записан в указателе pm. Слева от операции .* — объект, справа — указатель на метод. Скобки вокруг выражения A.*pm писать обязательно, так как приоритет операции вызова функции (()) выше, чем приоритет операции выбора члена класса (.*).
В выражении (объект.*указатель) можно заменить часть объект. записью указатель->, например:
C++
1
2
Constant *pc = new Constant(7);
cout << (pc->*pm)() << endl;
Обратите внимание: в выражении (pc->*pm) слева — обычный указатель на динамический объект, а справа — указатель на метод этого объекта. Это два совершенно разных типа указателя.
Интересно, что в Visual C++.NET 2003 размер sizeof(pf) указателя на функцию совпадает с размером sizeof(pm) указателя на член класса и равен 4 байта. А вот система Borland C++ Builder 6 выдает совершенно разные цифры: размер указателя на функцию равен 4 байта, а размер указателя на метод — 12 байт!
 
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2017, vBulletin Solutions, Inc.
Рейтинг@Mail.ru