1. C++ / Говнокод #24474

    0

    1. 01
    2. 02
    3. 03
    4. 04
    5. 05
    6. 06
    7. 07
    8. 08
    9. 09
    10. 10
    11. 11
    12. 12
    13. 13
    14. 14
    15. 15
    16. 16
    17. 17
    18. 18
    19. 19
    20. 20
    21. 21
    22. 22
    23. 23
    24. 24
    25. 25
    26. 26
    27. 27
    28. 28
    29. 29
    30. 30
    31. 31
    32. 32
    33. 33
    34. 34
    35. 35
    36. 36
    37. 37
    38. 38
    39. 39
    40. 40
    41. 41
    #include <stdio.h>
#include <stdlib.h>
#include <inttypes.h>

void test1(void)
{
  printf("test1\n");
}
void test2(void)
{
  printf("test2\n");
}
void test3(void)
{
  printf("test3\n");
}
void test4(void)
{
  printf("test4\n");
}

uint8_t func_dist[3] = {(uint8_t)((char *)test2-(char *)test1), (uint8_t)((char *)test3-(char *)test2), (uint8_t)((char *)test4-(char *)test3)};

void callf(uint8_t fn)
{
  size_t sum_dis = 0;
  for (uint8_t i = 0; i < fn; i++)
  {
    sum_dis += func_dist[i];
  }
  ( (void(*)(void)) ((char *)test1+sum_dis) )  ();
}

int main(void)
{
  callf(0);
  callf(1);
  callf(2);
  callf(3);
  return EXIT_SUCCESS;
}

    Зожатие указателей. Главное чтоб длины функций не превышали 255 и чтоб функции шли строго подряд, как они объявлены кода
    Как сделать чтобы это компилировалось сишкой?

    Запостил: j123123, 10 Июля 2018

    Комментарии (12) RSS

    • ava j123123 10.07.2018 21:14 # 0

      https://godbolt.org/g/8pmgBp и вообще, почему uint8_t func_dist[3] не инициализируется в компилтайме? Говно какое-то, не могли как в ассемлере сделать.

      _GLOBAL__sub_I_test1():
        mov     eax, OFFSET FLAT:test2()
        sub     rax, OFFSET FLAT:test1()
        mov     BYTE PTR func_dist[rip], al
        mov     eax, OFFSET FLAT:test3()
        sub     rax, OFFSET FLAT:test2()
        mov     BYTE PTR func_dist[rip+1], al
        mov     eax, OFFSET FLAT:test4()
        sub     rax, OFFSET FLAT:test3()
        mov     BYTE PTR func_dist[rip+2], al
        ret
func_dist:
        .zero   3
      Ответить

    • ava guest8 10.07.2018 21:16 # −999

      показать все, что скрытоvanished
      Ответить

      • ava j123123 10.07.2018 21:33 # 0

        длина функций это то, сколько эта самая функция занимает байт в исполняемом сегменте
        Ответить

        • ava Sim_salapim 10.07.2018 22:24 # −2

          Entry pointy в Вашу шарагу не завезли?
          Ответить

          • ava j123123 10.07.2018 22:30 # 0

            у меня в шараге-то и курса программирования не было толком. По образованию я химик-теоретик
            Ответить

    • ava roskomgovno 12.07.2018 04:01 # 0

      где тут плюсы?
      Ответить

      • ava j123123 12.07.2018 07:19 # 0

        а ты попробуй собери это сишкой
        Ответить

        • ava 666_N33D135 12.07.2018 07:31 # 0

          А в чём проблема?
          Ответить

          • ava j123123 12.07.2018 07:39 # 0

            Выражение (uint8_t)((char *)function1 - (char *)function2) в компилтайме не считается, а вставлять рантаймовую питушню, как это происходит в плюсах, сишка не умеет.
            Ответить

    • ava j123123 12.07.2018 07:29 # 0

      вообще, с точки зрения C и C++, выражение вида 
      uint8_t ptrdif = (uint8_t)((char *)function1 - (char *)function2);

      не может быть вычислено на этапе компиляции. Компилятор узнает о расстоянии между двумя указателями на фукцнями уже в конце, когда все оттранслировано в машинный код.
      Вот типа будет у нас в некоторой функции function3 код:
      if ( (uint8_t)((char *)function1 - (char *)function2) == 20 ) {делай_некую_фигню;}

      Если разница между function1 и function2 будет равна 20 то нужно всегда выполнять {делай_некую_фигню;} и проверка условия лишняя, т.к. указатели на функции в процессе выполнения не могут сместиться. Саму проверку if() можно выкинуть
      Если разница между function1 и function2 будет не равна 20, никогда ничего выполнять не надо и проверку делать тоже смысла нет.
      Но тут интересный момент. Если компилятор сделат те или иные действия (выкинет только if() проверку т.к. решит что там всегда true или выкинет и проверку и код т.к. решит то там всегда false) - это может в итоге повлиять на расстояние между двумя указателями, и получится что эта оптимизация неправильная.
      Вот потому-то Настоящие Цари не будут использовать какие-то анскильные плюсы и сишку, а будут писать сразу в машинных кодах или в крайнем случае на ассемблере
      Ответить

    • ava bormand 12.07.2018 07:33 # 0

      > сишкой
      Добавить новый формат релокации -- расстояние между джвумя символами. Ну или возможность инициализации глобалок в рантайме как в крестах.

      З.Ы. Дизасм не глядел, так что могу заблуждаться.
      Ответить

    Добавить комментарий