Great, so what are function pointers? I know a lot people are tired of terminology, only because
the definition is probably a lot easier to understand/grasp. It helps to understand how things are stored
in memory and addressed. For example, a function (ie. SUB or FUNCTION) occupies space in some address space
somewhere. A pointer to that function is just the address of it. So if I know the address of the function,
I can jump into that "process space" and execute the code within. This is the low level way of thinking,
first push the parameters, and then jump to (ie. CALL) the function. So if pointers are only numbers, how
do we find the address of the function? This is the question that will be considered next.
11.2 Определение указателя на функцию ( Defining function pointers
)Если у вас уже есть опыт
работы с указателями на функцию (например в С), вы должны обратить внимание на
некоторые отличия.В Rapid-Q,
поскольку указатели - это просто числа, вы можете использовать любые
числовые типы для определения указателей на функцию.
Кажется странным, да, но указатели - это просто числа. Избегайте использовать
тип BYTE , так как адрес функции может быть гораздо
больше, чем 255. Используйте
INTEGER/LONG
DECLARE SUB Test (I AS INTEGER)
DIM FPtr AS INTEGER
BIND FPtr TO Test
Вот так, мы используем BIND
, чтобы связать нашу переменную FPtr с
адресом функции. Это сделает две вещи - очевидно FPtr
укажет на адресное пространство функции Test,
но также свяжет число параметров с указателем FPtr, это
необходимо, чтобы компилятор знал, сколько параметров надо передавать/принимать.
Для вызова нашей функции мы должны использовать резервированное слово CALLFUNC. CALLFUNC(FPtr, 120)
Это вызовет подпрограмму TEST с одним
параметром. Очевидно, это не очень полезный пример,
рассмотрим, где это может быть полезным. DECLARE SUB Test1 (I AS INTEGER)
DECLARE SUB Test2 (I AS INTEGER)
DIM FPtr(1 TO 2) AS INTEGER
BIND FPtr(1) TO Test1
BIND FPtr(2) TO Test2
Когда вы связываете массивы, отметьте, что первая функция котрая связана будет являться шаблоном для всех
последующих элементов. Например, имеем массив FPtr, и через Bind привязываем FPtr(1)к SUB Test1. FPtr теперь привязан.
Это значит, что если вы привязываете любой другой FPtr(i), функция должна иметь соответствующее число параметров.
Может быть пример поможет лучше понять это.
DECLARE SUB Test1 (I AS INTEGER)
DECLARE SUB Test2 (I AS INTEGER, J AS STRING)
DIM FPtr(1 TO 2) AS INTEGER
BIND FPtr(1) TO Test1
BIND FPtr(2) TO Test2
Второй BIND неверен, так как число
параметров Test2 не соответствует с Test1.
Вы получите сообщение об ошибке, когда попытаетесь так сделать. Отметьте, что
речь идет о несоответствии числа параметров, а не типа параметров. Соответствие
типов необязательно, но результат может быть неопределенный.
11.3 Правильное использование указателей на функции (Using function pointers properly
)
Очевидно, что в некоторых случаях применение указателей на
функции может быть полезно.
Рассмотрим следующую ситуацию.
SELECT CASE I
CASE 1
Process1("1", 44)
CASE 2
Process2("2", 55)
CASE 3
Process3("3", 66)
CASE 4
:
:
etc...
Это может
быть например, меню с несколькими опциями, или возможно
синтаксический анализатор (да Rapid-Q использует указатели функции, чтобы
анализировать ваш код). Как Вы можете
видеть, имеется здесь требуется
произвести много операций сравнения, особенно,
если вы пишете синтаксический анализатор, где имеются много ключевых слов
(более 50). Эти операции мы можем легко
выполнить, используя указатели на функции,
что ускорит нашу
программу.
(См.
FUNCPTR.BAS с примером.)
BIND FPtr(1) AS Process1
BIND FPtr(2) AS Process2
BIND FPtr(3) AS Process3
BIND FPtr(4) AS Process4
BIND FPtr(5) AS Process5
BIND FPtr(6) AS Process6
BIND FPtr(7) AS Process7
x = VAL(INPUT$(1))
CALLFUNC(FPtr(x), 33)
