Что означает `((void (*)()) 0x1000)();` mean?

Question

Вот код, который предназначен для установки счетчика программ для перехода на адрес 0x1000. Я знаю, что он делает, но я не понимаю, как это сделать. Это связано с отсутствием знания языка C. Может быть, вы можете просветить меня. Вот заявление/функция (я даже не знаю, что это такое :))

((void (*)())0x1000)(); 

I вещи это указатель на функцию, которая возвращает void и не принимает никаких аргументов. Пожалуйста, поправьте меня, если я ошибаюсь.

Answer 1

C заявления декодируются изнутри с помощью си mple rule: начните с идентификатора и проверьте правильную сторону для [] (массив) или () (функция), затем проверьте на левой стороне тип значений (хранящихся в массиве или возвращенных функцией), не пересекая круглые скобки; вырваться из круглых скобок и повторить.

Например:

void (*p)() 

p не (ничего справа) указатель (на левой стороне, не пересекаются круглые скобки) в (побег скобки, читайте следующий уровень) a функция (справа) , которая ничего не возвращает (слева).

Если идентификатор (в этом случае отсутствует) отсутствует, все, что остается, является объявлением типа.

Тип, заключенный в круглые скобки, помещаемый перед значением, является типом.

(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 */ 

Answer 2

(void (*)()) - указатель на функцию, возвращающую void и принимающий неопределенное, но фиксированное количество аргументов.

(void (*)())0x1000литье буква 0x1000 к вышеуказанному типу.

Наконец, суффикс ()звонит, который функционирует. Вышеприведенное выражение должно быть в скобках, иначе суффикс () будет привязан к 0x1000, который не является синтаксически действительным.

Вам нужно проверить, действительно ли кастинг действителен. Если нет, то поведение вашей программы равно undefined.

Answer 3

Константа

0x1000 

получает приведение к типу:

(type)0x1000 

Тип является void (*)() - указатель (звездочка) для функции, которая не принимает никаких параметров (пустые скобки справа) (см. the comment by pmg) и не возвращает значения (void слева). Дополнительные парнеты на звездочке не позволяют связать его с void, что неправильно создало бы здесь тип void *.

Таким образом, после броска у вас есть указатель на функцию параметра меньше пустот в в 0x1000: Адресная

(void (*)())0x1000 

и эта функция ...

((void (*)())0x1000) 

вызывается добавлением пустой список параметров:

((void (*)())0x1000)(); 

Answer 4

Человек, который писал, что код должен переписать его в читаемом виде, как:

#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(); 

Что делает код теперь довольно много самодокументированных.