Вот код, который предназначен для установки счетчика программ для перехода на адрес 0x1000. Я знаю, что он делает, но я не понимаю, как это сделать. Это связано с отсутствием знания языка C. Может быть, вы можете просветить меня. Вот инструкция/функция (я даже не знаю, что это такое:))
((void (*)())0x1000)();
Я считаю, что это указатель на функции, которые возвращают void и не принимают никаких аргументов. Пожалуйста, поправьте меня, если я ошибаюсь.
C декларации декодируются изнутри с помощью простого правила: начните с идентификатора и проверьте правильную сторону для [] (массив) или () (функция), затем проверьте на левой стороне тип значений (хранимых в массиве или возвращаемых функцией), не пересекая круглые скобки; выйдите из круглых скобок и повторите.
Например:
void (*p)()
p - это (ничего справа) указатель (слева, не пересекайте круглые скобки), чтобы (бежать из круглых скобок, читать следующий уровень) функцию (справа), которая ничего не возвращает (слева).
Если идентификатор (p в этом случае) отсутствует, все, что остается, является объявлением типа.
Тип, заключенный в круглые скобки, помещенный перед значением, является типом.
(void (*)())0x1000
преобразует число 0x1000 в указатель на функцию, которая ничего не возвращает (см., что вне круглых скобок в абзаце об объявлении p выше).
На следующем уровне выражение выше (указатель на функцию может использоваться так же, как имя функции) используется для выполнения кода, на который указывает.
См. ниже полное выражение, декомпозированное:
(
(
void (*)() /* type: pointer to function that doesn't return anything */
)0x1000 /* value 0x1000 treated as a value of the type declared above */
) /* enclose in parentheses to specify the order of evaluation */
(); /* the pointer above used as a function name to run the code */
(void (*)()) - это указатель на функцию, возвращающую void и принимающую неопределенное, но фиксированное количество аргументов.
(void (*)())0x1000 отличает литерал 0x1000 к указанному выше типу.
Наконец, суффикс () вызывает эту функцию. Вышеприведенное выражение должно быть в скобках, иначе суффикс () будет привязан к 0x1000, который не является синтаксически действительным.
Вам нужно проверить, действительно ли кастинг действителен. Если нет, то поведение вашей программы будет undefined.
Постоянная
0x1000
передается в тип:
(type)0x1000
Тип void (*)() - указатель (звездочка) к функции, которая не принимает параметров (пустые скобки справа) (oops, см. комментарий pmg) и не возвращает значения (void слева). Дополнительные парсеры в звездочке не связывают его с void, что неправильно создало бы здесь тип void *.
Итак, после актера у вас есть указатель на функцию void с параметром-меньше в addres 0x1000:
(void (*)())0x1000
И эта функция...
((void (*)())0x1000)
вызывается путем добавления пустого списка параметров:
((void (*)())0x1000)();
Человек, который написал этот код, должен был переписать его читаемым образом как:
#define ADDRESS_OF_FUNCTION_X 0x1000
typedef void (*func_ptr_t)(void);
...
func_ptr_t function_x = (func_ptr_t)ADDRESS_OF_FUNCTION_X;
function_x();
То, что делает код, теперь довольно самодокументировано.