В чем смысл Rust, который принуждает программиста что-то там проверять, следовать каким-то владениям? Зачем Rust нужен?

  • MrSugomaOP
    link
    fedilink
    arrow-up
    0
    ·
    1 year ago

    Дно какое-то, самую мякотку сишки выкинули.

    • mittorn
      link
      fedilink
      arrow-up
      0
      ·
      1 year ago

      никуда не выкинули. Стоит тебе перепутать xs с xs_val и мякотка радостно отстреливает тебе ногу

      • MrSugomaOP
        link
        fedilink
        arrow-up
        0
        ·
        1 year ago

        Выкинули строки как массивы.

        • mittorn
          link
          fedilink
          arrow-up
          0
          ·
          1 year ago

          не выкинули, там как раз вся прелесть в том, что строка это просто нуль-терминированный буффер, а всё что не строка - хранится как строка с контрольным байтом в начале

            • mittorn
              link
              fedilink
              arrow-up
              0
              ·
              1 year ago

              Вообще даже c++ сильно теряет от нулль-терминированных строк. string_view появился только в c++17, что очень поздно (да, STL - как всегда бесполезная фигня без задач) Я пробовал в одном проекте переходить на строки в виде структуры из пары указателей (начало-конец) - удобно, zero-copy подстроки, владеть строками может единый пул-строка без всяких терминирующих нулей, так и можно писать их после структуры (например если (uintptr_t)begin == (uintptr_t)(&end + 1) - строка владеющая, иначе - нет). Но всё упирается в необходимость взаимодействия со внешним кодом. Пути в ядерных сисколах - готовь нуль-терминированную строку, imgui - тоже (хотя там есть ветка string_view, но похоже, что она никогда не попадёт в апстрим и так и останется feature branch). А в остальном, пока не надо взаимодействовать со внешним кодом - сравнение строк идёт куда быстрее (сначала сравнивается длина, потом memcmp), копирование - простой memcpy с заранее известной длиной, создание из литерала сразу по sizeof без всяких strlen(), нужна подстрока - просто запиши в структуру указатель на её начало и конец. std::string имеет часть этих преимуществ, но всё равно заставляет нулль-терминировать буфер

              • TheAnonymous
                link
                fedilink
                arrow-up
                0
                ·
                1 year ago

                Кстати вот у жабки строки не нуль-терминированные, и substring раньше работало за O(1) без копирования, но начиная с какой-то версии от этого отказались (я так понимаю, решили, что много памяти жрёт, когда маленькие подстроки держат буферы от уже несуществующих больших строк), и сейчас substring всегда копирует буфер. «std::string имеет часть этих преимуществ, но всё равно заставляет нулль-терминировать буфер» так у неё и бесплатный c_str() имеется

                • kevlarbeaver
                  link
                  fedilink
                  arrow-up
                  0
                  ·
                  1 year ago

                  В шарпе тоже не нуль-терминированные и изначально было сделано копирование в отличии от жабы, но можно создать вьюху над строкой.

                  • TheAnonymous
                    link
                    fedilink
                    arrow-up
                    0
                    ·
                    1 year ago

                    «было сделано копирование в отличии от жабы» Вот это самый прикол. При том, что как раз в жабе заявляется дроч на обратную совместимость и WORA, вот так поменяли поведение в одной из самых базовых вещей. На днях на лоре тред был про шестую жабу, там ещё Dimez писал, что у него где-то на каком-то проде производительность падала при переходе на java7/8 относительно java6. https://www.linux.org.ru/forum/general/17940910?cid=17941339

                • mittorn
                  link
                  fedilink
                  arrow-up
                  0
                  ·
                  1 year ago

                  Имеется, но ради этого c_str оно должно постоянно нулль-терминированную строку держать