1. JavaScript / Говнокод #27809

    0

    1. 1
    2. 2
    3. 3
    4. 4
    5. 5
    6. 6
    7. 7
    8. 8
    9. 9
    function s(v: any): v is string
{
	return typeof v === "string";
}

function main()
{
	print(s("sss"));
}

    А ты так можешь на С/C++ .. а я могу....

    Запостил: ASD_77, 10 Ноября 2021

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

    • ava ASD_77 10.11.2021 22:35 # 0

      аха... где мои сообщения.. почему никто не пишет?
      Ответить

    • ava ISO 10.11.2021 22:49 # 0

      Да как нехуй делать.
      #include <iostream>
#include <string>
#include <any>

void f(const std::any & v)
{
    if (v.type() == typeid(std::string)) {
        std::cout << "string: " << std::any_cast<const std::string &>(v) << std::endl;
    } else {
        std::cout << "not a string" << std::endl;
    }
}

int main()
{
    f(42);
    f(std::string("hello"));

    return EXIT_SUCCESS;
}

      https://wandbox.org/permlink/L4SDEH8qBxpMzbrl
      Ответить

      • ava guest6 10.11.2021 22:59 # 0

        эникаст это такой тайпсейф каст как "as?"?

        типа можно маттерин патчинг запилить?
        Ответить

        • ava Soul_re@ver 10.11.2021 23:01 # 0

          Если попытаешься не в тот тип скастовать — получишь эксепшеном по ебалу. Так что да, тайпсэйф.
          Ответить

          • ava guest6 10.11.2021 23:04 # 0

            Осталось его поймать, и вернуть nullptr


            Тормозить будет адски, но красиво
            Ответить

            • ava bormand 10.11.2021 23:06 # +1

              Зачем? Зачем? Там же как и в любом другом динамическом касте можно по звезде кастовать если надо нулл и по ссылке если надо экцепшен в ебало.
              Ответить

              • ava guest6 10.11.2021 23:08 # 0

                всё, я просрался мозгом

                эксепшен летит если там ссылка, а если указатель то как раз нул и будет?
                Ответить

                • ava bormand 10.11.2021 23:10 # 0

                  Ну. Поэтому ссылка нужна когда ты уверен в типе, а указатель -- когда хочешь проверить.
                  Ответить

                  • ava guest6 10.11.2021 23:11 # 0

                    Забавно, что жавка соснула у крестов 17 (или когда это там появилось?)

                    Там сначала проверяешл тип, потом кастишь
                    А вкотлине уже нет
                    Ответить

                    • ava bormand 10.11.2021 23:12 # 0

                      В бусте это было с дедовских времён.
                      Ответить

                      • ava guest6 10.11.2021 23:13 # 0

                        ну по идее-то тривиально пишеца

                        получаешь указатель, проверяешь typeid, и вот
                        Ответить

                    • ava bormand 10.11.2021 23:17 # 0 

                      if (const int* i = std::any_cast<int>(&x)) {
    // это инт
}


                      Как-то так вроде это пишется. Ни разу не юзала, на самом деле, так что могу ошибиться...
                      Ответить

            • ava bormand 10.11.2021 23:08 # 0

              Можно ещё обработчик выбрать по мапе с type() в качестве ключа. Тогда это не будет так дико лагать как от линейного перебора вариантов.
              Ответить

              • ava guest6 10.11.2021 23:12 # 0

                а можно взять полиморфизм ))
                Ответить

                • ava bormand 10.11.2021 23:15 # 0

                  С полиморфизмом думать надо. А тут можно кресты в "php" превратить если перегрузочек для "any" запилить.
                  Ответить

                  • ava Soul_re@ver 10.11.2021 23:27 # 0

                    А если вместо any взять variant, можно делать кошерные визиторы.
                    Ответить

                    • ava bormand 10.11.2021 23:28 # 0

                      А они мапу умеют юзать для ускорения?
                      Ответить

                    • ava Desktop 10.11.2021 23:30 # 0

                      А как с variant сделать один колбек на два типа?

                      Получается, только выносить его в отдельную лямблию и передавать два раза?
                      Ответить

                      • ava Soul_re@ver 10.11.2021 23:46 # +1 

                        struct pitux
{
    void operator()(int x) { std::cout << "int\n"; }
    void operator()(double x) { std::cout << "double\n"; }
}

std::variant<int, double> foo;

std::visit(pitux(), foo);


                        или воспользоваться шаблономагией:
                        template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; };
std::visit( overloaded {
    [](int x)    { std::cout << "int: " << x*x << '\n';  },
    [](double x) { std::cout << "double: " << -x << '\n'; },
    [](bool x)   { std::cout << "bool:" << !b << '\n'; }
}, foo)


                        А, понял вопрос. не на то отвечал.
                        Можно с auto и if constexpr в лямбде.
                        [](auto x){
    using T = decltype(arg);
    if constexpr (std::is_same_v<T, int> or std::is_same_v<T, double> ) {
        std::cout << "number\n"; 
    else if constexpr (std::is_same_v<T, bool>) {
        ... 
    }
}
                        Ответить

                        • ava Desktop 11.11.2021 00:03 # 0

                          с auto и if constexpr можно и без лямбды)))
                          Ответить

                          • ava Soul_re@ver 11.11.2021 00:06 # 0

                            Если у тебя коллбек через коллбек и вариант где-то в недоступных кишках, то придётся через лямбду.
                            Ответить

            • ava HO9I6PbCKuu_neTyx 11.11.2021 10:02 # 0

              Ну как, поймал?
              Ответить

    • ava guest6 10.11.2021 22:54 # 0

      Ого, RTTI для себя отрыли
      Ответить

      • ava ASD_77 11.11.2021 01:20 # 0

        это у С++ RTTI а у меня ничего такого нет
        Ответить

        • ava bormand 11.11.2021 08:06 # 0

          Вариант и хешмапа?
          Ответить

        • ava ISO 11.11.2021 19:37 # 0

          > у меня ничего такого нет
          > typeof v
          [X] Сомнение
          Ответить

          • ava guest6 11.11.2021 19:40 # 0

            В JS всегда есть RTTI, а в C++ вроде компилятор может выпилить, если ты не виртуальный например.
            Или это детали реализации, и с точки зрения программиста RTTI есть всегда?
            Ответить

            • ava ISO 11.11.2021 19:50 # 0

              > Или это детали реализации, и с точки зрения программиста RTTI есть всегда?
              (RT)TI в крестах бывает разный:
              1. dynamic_cast: работает для виртуальных объектов за счёт таскания с собой уко-ко-козателя на vtable;
              2. typeid(X), где X — ссылка/указатель на невротуальный объект: работает в компайлтайме и всегда возвращает информацию о статическом типе X;
              3. typeid(V), где V — ссылка/указатель на вротуальный объект: работает уже в рантайме за счёт проверки указателя на vtable.
              Возможно, ещё что-то я пропустил, но не суть.

              В общем и целом, рантайм-расходы на RTTI есть только для виртуальных объектов, которые таскают за собой таблицу вротуальных функций; для всех остальных typeid() разрешается в компайлтайме.
              Ответить

              • ava guest6 11.11.2021 19:56 # 0

                Забавно, что статическая (комплайл тайм) проверка всё равно называется RTTI.
                Но это же по сути оптимизация компилятора: он МОЖЕТ статически проверить тип, вот и проверяет, а название осталось

                В жавке все говно витуальное и такой оптимизации нет (хотя ее может JIT наверное)
                Ответить

                • ava ISO 11.11.2021 19:58 # 0

                  На самом деле не называется, это просто термины путаются под ногами. Тут разве что проблема с тем, что и для рантайм проверки, и для статической используется один и тот же оператор — typeid.
                  Ответить

                  • ava bormand 11.11.2021 20:00 # 0

                    Хм, а разве typeid можно юзать не в рантайме? Ты ведь даже не сможешь их сравнить в статике.

                    Вроде только какой-нибудь std::is_same можно...
                    Ответить

                  • ava guest6 11.11.2021 20:01 # 0

                    Блядь как всё сложно

                    А бывает так, что компилятор не умеет в RTTI, и тогда typed взять у невиртуального питуха можно, а у виртуального (ну точнее у ссылки на нево) нельзя?
                    Ответить

                    • ava bormand 11.11.2021 20:07 # 0

                      RTTI отключается всегда целиком, емнип. Никто его там не делит на "виртуальные" и "невиртуальные".

                      А когда включен, тупо линкер выбрасывает неиспользованное.
                      Ответить

                      • ava guest6 11.11.2021 20:10 # 0

                        Было бы смешно если бы оператора было два разных
                        Ответить

                        • ava bormand 11.11.2021 20:16 # +1

                          static_typeid, dynamic_typeid и reinterpret_typeid?
                          Ответить

                          • ava bormand 11.11.2021 20:45 # +1

                            dynamic_const_cast. Снимает const с объекта либо возвращает nullptr если объект совсем-совсем константный.
                            Ответить

            • ava ASD_77 11.11.2021 21:49 # 0

              Это мой компилятор, а не JavaScript. потому я не пользуюсь RTTI (кроме exceptions)
              Ответить

    • ava gostinho 13.11.2021 01:03 # 0

      В твоём гомне поддержаны argc, argv?
      Ответить

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