Сеанс чёрной магии

[beldmit]

Как поменять порядок аргументов, передаваемых в функцию, особо извращённым способом. И почему это работает.


#include <math.h>
#include <stdio.h>

double DoubleToTheInt(double base, int power) {
return pow(base, power);
}

int main() {
// cast to a function pointer with arguments reversed
double (*IntPowerOfDouble)(int, double) =
(double (*)(int, double))&DoubleToTheInt;

printf("(0.99)^100: %lf \n", DoubleToTheInt(0.99, 100));
printf("(0.99)^100: %lf \n", IntPowerOfDouble(100, 0.99));
}
The code above never actually defines the function IntPowerOfDouble — because there is no function IntPowerOfDouble. It's a variable that points to DoubleToTheInt, but with a type that says it likes its integer arguments to come before its doubles.

You might expect the IntPowerOfDouble to take its arguments in the same order as DoubleToTheInt, but cast the arguments to a different type, or something like that. But that's not what happens.

Try it out — you'll see the same result value printed on both lines.

emiller@gibbon ~> clang something.c
emiller@gibbon ~> ./a.out
(0.99)^100: 0.366032
(0.99)^100: 0.366032


Программиста, который такие трюки применяет, надо расстреливать увольнять.

Comments

[gornal.livejournal.com]

А ведь это не умолчание, кто-то эту логику придумал, есть специальный код, который это реализует. Вот где ужас-то.

[beldmit.livejournal.com]

Если ты прочитаешь статью, то увидишь, что специальный код реализует логику передачи аргументов через регистры, из которых одни используются для double, другие для int, и эти наборы не пересекаются. В общем, даже логично - через регистры быстрее, чем через стэк. А дальше уже это (не вполне документированное и не кроссплатформенное) поведение начинают использовать.

[gornal.livejournal.com]

Опс. Мир значит не так плох :-)

[vladimir000]

"Начинают использовать" в реальном коде, или исследователь нашел пример, как можно фактически хакнуть компилятор? Условно, если я обнаружу что в моем автомобиле одновнременное нажатеи газа, тормоза и дальнего света в течении 3 секунд включает правый поворотник - это же еще не значит, что я буду использовать такой способ сигнализации другим водителям :)

Или что, пример реально выловлен из какого-то рабочего проекта?!

[beldmit.livejournal.com]

Не признаётся. Во всяком случае, в статье не пишет.