30 ноября 2016 в 08:50

Как использовать PVS-Studio бесплатно

PVS-Studio FreeМы хотим помочь миру программного обеспечения лучше познакомиться с инструментами статического анализа кода и повысить качество программного обеспечения. Мы предоставляем возможность бесплатного использования анализатора PVS-Studio студентам в учебных целях, индивидуальным разработчикам и коллективам энтузиастов.

Введение


Клиентами анализатора PVS-Studio являются отделы разработчиков различных компаний. Мы бы хотели, чтобы нашими клиентами были и индивидуальные разработчики. К сожалению, у нас ничего не получилось с экспериментальным продуктом CppCat. Мы не знаем, как построить успешный бизнес в сфере статического анализа кода, продавая персональные лицензии. Поэтому сейчас продукт PVS-Studio позиционируется исключительно как B2B решение.

Думаю, что наш провал с CppCat был предопределён. Мир диктует свои законы, и, например, тот же Coverity ориентирован на корпоративные лицензии. Однако, это не значит, что нужно исключать другие варианты взаимодействия с миром.

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

Стоит пояснить нашу позицию. Впрочем, если вам не терпится, вы можете сразу перейти к разделу «Бесплатная лицензия PVS-Studio». Если же читателю интересно узнать подробности, то предлагаю продолжить чтение.

Размышления


Представим индивидуального разработчика, разрабатывающего и продающего, например, какую-то игру. Его код закрыт и используется в коммерческих целях. Тем не менее, мы рады помочь ему познакомиться с методологией статического анализа кода и готовы подарить ему лицензию. Это рекламный шаг, который со временем может окупиться. Сейчас он один, но кто знает, что произойдёт через 5 лет.

С другой стороны, возьмем команду из 50 человек, работающих в крупной компании и занимающихся созданием открытого бесплатного проекта. Сидят 50 человек в офисе, едят печенье, получают зарплату и при этом позиционируют себя как идеалисты в плане развития свободного программного обеспечения. Да, продукт бесплатен, но компания извлекает из его существования значительную прибыль косвенными методами. Просто по ряду причин компании удобно, чтобы проект был открытым и бесплатным. Нам кажется вполне честным, что такая организация должна приобрести платную лицензию для использования анализатора.

Как видите, критерий бесплатности программы или открытости кода нам не подходит для принятия решения. Хочется разделить проекты, разрабатываемые в компании, и проекты маленьких коллективов энтузиастов. Можно сделать это исключительно лицензионным соглашением, но в таком случае сложно провести границу между разными типами проектов. Вдобавок, это мало поможет нам с точки зрения рекламы. Давайте будем честны: компании предоставляют бесплатные лицензии ради рекламы. В этом мы не хуже и не лучше других.

Решение было найдено интуитивно. Что отличает корпоративные проекты от проектов энтузиастов? В корпоративных проектах меньше свободы и больше бюрократии. Вряд ли руководство компании Microsoft будет радо, если разработчик в коде Microsoft Office напишет, что это его персональный проект. Этим надо воспользоваться и предлагать вносить в код правки, в которых упоминается PVS-Studio. Заодно код открытых проектов будет рекламировать PVS-Studio.

Бесплатная лицензия PVS-Studio


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

Шаг 1.


Если вы используете PVS-Studio как плагин к Visual Studio, то введите следующий лицензионный ключ:

Name: PVS-Studio Free

Key: FREE-FREE-FREE-FREE

Если Вы используете PVS-Studio for Linux, то сразу переходите ко второму шагу, файл с лицензией вам не понадобится.

Шаг 2.


Внесите правки во все компилируемые файлы вашего проекта. Имеются в виду файлы с расширениями c, cc, cpp, cs и так далее. Заголовочные h-файлы менять не требуется.

Вы должны вписать в начало каждого файла две строки с комментарием. Мы предоставляем на выбор несколько вариантов. Это своего рода плата за возможность бесплатного использования анализатора PVS-Studio.

Комментарии для студентов (академическая лицензия):

// This is a personal academic project. Dear PVS-Studio, please check it.
// PVS-Studio Static Code Analyzer for C, C++ and C#: http://www.viva64.com

Комментарии для открытых бесплатных проектов:

// This is an open source non-commercial project. Dear PVS-Studio, please check it.
// PVS-Studio Static Code Analyzer for C, C++ and C#: http://www.viva64.com

Комментарии для индивидуальных разработчиков:

// This is an independent project of an individual developer. Dear PVS-Studio, please check it.
// PVS-Studio Static Code Analyzer for C, C++ and C#: http://www.viva64.com

Конечно, предложенные варианты подходят далеко не всем. В этом и состоит их смысл. Если ни один из предложенных вариантов вам не подходит, то предлагаем обсудить с нами вопрос покупки лицензии.

Примечание. Помимо описанного здесь способа бесплатного использования анализатора, вы можете по-прежнему скачивать с сайта демонстрационную версию анализатора для ознакомления. Если вы хотите на время снять ограничения демонстрационной версии, то просим написать нам.

Автоматизация


Если в вашем проекте много файлов, то вы можете воспользоваться вспомогательной утилитой. Вы должны будете указать ей какой комментарий вставлять и каталог с кодом. Затем утилита рекурсивно обойдет все файлы в папке и вложенных папках, добавляя в файлы с исходным кодом соответствующие комментарии. Скачать утилиту (вместе с исходным кодом) можно здесь: how-to-use-pvs-studio-free.

Заключение


Некоторые разработчики могут сказать, что не хотят видеть в начале файла две строчки с комментарием, не относящимся к сути проекта. Это их право, и они могут просто не использовать анализатор. Или они могут приобрести коммерческую лицензию и использовать её без ограничений. Мы рассматриваем наличие этих комментариев, как благодарность за предоставленную лицензию и, заодно, как дополнительную рекламу нашего продукта. Я думаю, это хороший, честный обмен.

Заодно решается вопрос отделения корпоративных проектов от частных инициатив. Если проект делают энтузиасты, они в праве делать с кодом всё, что им хочется, в том числе и добавлять такие комментарии. Если нет, значит за проектом стоит некая организация, от которой мы хотим получить вознаграждение в виде приобретения лицензии.

Надеемся наше предложение и позиция понятны. Если у вас остаются вопросы, то просим написать нам.

Чтобы убедить ваших коллег начать использовать анализатор кода PVS-Studio, предлагаем познакомить их со следующими разделами нашего сайта:


Спасибо за внимание. Давайте вместе сделаем программы надежнее и безопаснее.

Update


Возникло очень много рассуждений на тему того, допустимо ли добавлять и удалять комментарии в исходный код, чтобы бесплатно использовать анализатор. Мы считаем такой приём неприемлемым, так как он по факту является способом обхода ограничения, наложенного нами на бесплатную лицензию. Поэтому мы решили добавить следующий раздел в лицензионное соглашение:

Вы имеете право использовать PVS-Studio бесплатно, добавив в исходный код своего проекта комментарии специального вида. Какие именно комментарии следует добавлять и как автоматизировать этот процесс описано в статье «Как использовать PVS-Studio бесплатно».

Отметим, что данный режим не предназначен для оценки возможностей анализатора. Чтобы познакомиться с анализатором, вы должны использовать демонстрационную версию или запросить у нас временный лицензионный ключ.

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

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

Update: Поддержка


Постепенно бесплатный вариант лицензирования набирает популярность, и наша команда всё больше времени тратит, оказывая поддержку бесплатным пользователем. При этом многие вопросы повторяются, поэтому мы считаем целесообразным оказывать в дельнейшем поддержку, отвечая на вопросы на сайте StackOverflow.

Общение через сайт StackOverflow сократит объем переписки, и позволит нам часто отвечать на вопросы, просто давая ссылку на уже обсужденный вопрос по данной теме. Более того, многие вопросы просто не будут заданы, так как пользователи смогут найти готовые ответы на StackOverflow самостоятельно, и им не потребуется ожидать нашего ответа в почте.

Итак, всех кто использует бесплатную версию PVS-Studio просим задавать нам вопросы на сайте StackOverflow. Чтобы ваш вопрос не остался незамеченным, используйте тег «pvs-studio».

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

См. также статью "Поддержка пользователей, использующих бесплатную лицензию PVS-Studio теперь осуществляется на сайте StackOverflow".


Если хотите поделиться этой статьей с англоязычной аудиторией, то прошу использовать ссылку на перевод: Andrey Karpov. How to use PVS-Studio for free.
Автор: @Andrey2008
PVS-Studio
рейтинг 297,76
Ищем ошибки в C, C++ и C# на Windows и Linux
Похожие публикации

Комментарии (662)

  • +14
    Отлично! Супер! Единственная просьба — разрешить не только С++ комментарии, но и Си (/* */). Проект в релиз собирается по стандарту С90, там комментарии "//" не даст вставить компилятор
    • 0
      Расскажите, пожалуйста, что за проект? C90 сейчас все-таки экзотика.
      • +3

        Если честно, Си вообще в принципе почти экзотика для энтерпрайза)
        Подозреваю, что примерно про мой проект в статье и написано: Winter Novel. Подробнее о реализации тут
        С90 и остальные "зверские" опции компилятора сейчас использую почти вместо PVS-Studio — они заставляют писать чище, потом меньше времени на отладку.

      • +6
        например, в микроконтроллерах распространен.
      • +1

        Я сталкивался с подобным наследством в медицинской области, где некоторые файлы были еще старше (там был сильнозапущеный принцип "работает — не трожь", помноженый на медицинскую специфику что любой код или либа по умолчанию считаются опасной и глючной). И проблем там была куча из-за этого, тот же кланг вообще не смог проанализировать или собрать проект из-за отсутствия -fpermissive и присутсвия в коде кнострукций void a(){ return 1;}

    • +10
      Да, такая возможность есть. Вы можете написать:

      /* This is an open source non-commercial project. Dear PVS-Studio, please check it.
       * PVS-Studio Static Code Analyzer for C, C++ and C#: http://www.viva64.com
       */
      

      Замечу, утилита для вставки комментариев так не умеет. Поэтому надо либо вставить комментарии вручную, либо доработать утилиту (на github доступен её исходный код).
  • +13
    Отличная новость и интересная реализация, надеюсь она принесёт вам профит.

  • +22

    Однозначно разумный и честный подход! Моё глубокое вам уважение!

  • +3
    Попытки редактировать поля Registration и Serial в настройках PVS Studio намертво убивают Visual Studio :( (Upd: оказывается не намертво, но где-то полминуты Студия висела.)
    • +1
      Профайлер плагинов в VS2017 покажет кто где не прав! :-)
      • +1
        Боюсь что к тому времени выйдет Rider, и Студия будет постепенно уходить в забвение.
        • +1
          Придется сделать нам плагинчик для Rider.
          • +1

            А что такое Rider?

        • 0
          Боюсь, что Rider для enterprise — это далекое будущее… А значит студия еще поживет…
  • +10
    Уже два раза пытался внедрить ваш продукт на производстве, но есть проблема. Ищешь ты удобного случая, подходишь к начальству говоришь: «Тут есть такая классная штука .....». А тебе в ответ: «Прайс покажи», ну ты мнешься немного, говоришь ну вот полгода назад мне в письме отвечали столько-то. На тебя смотрят сквозь густую бровь: «Ты что на китайском рынке, где ценник на товар не указывают». И ты снова идешь пишешь письмо, и когда этот удобный случай настанет снова…
    • –16
      Казалось бы, возьми да напиши на support@viva64.com и не надо ждать удобного случая.
      • +53
        Казалось бы, возьми да повесь прайс прямо на сайте, и не надо никакие письма писать…
        • +2
          Сколько можно пережевывать одно и то же. Корпоративные продукты и их внедрение имеют свою специфику и «прайс по запросу» — одна из них.

          Это, собственно, очень хороший первичный тест: если ваше начальство не знает о том, что «прайс по запросу» — это типичный способ продажи корпоративного софта и его практикуют, в частности, такие «мелкие китайские лавочки» как IBM или SAP, а также и конкуренты обсуждаемого здесь продукта, то, в общем, вам стоит сначала об этом с начальством поговорить, а не учить весь мир — как ему следует жить?
          • +6
            То, что так делает IBM (а ещё тьма тьмущая производителей и поставщиков железа), не значит, что это хорошо. Я не понимаю зачем так делать? Чтобы каждому клиенту разные ценники выставлять? Чтобы от налогов уклоняться?
            • +8
              Я не понимаю зачем так делать? Чтобы каждому клиенту разные ценники выставлять?
              Именно. Я читал, что такое практикуется в Китае в ресторанчиках, куда захаживает, как местное население, так и туристы. Фиксированной цены в меню нет. Цена зависит от прикидки «на глазок» платежеспособности клиента. Более «продвинутые» китайцы делают два меню:
              Некоторые рестораны (особенно часто мы это наблюдали в городе Санья, остров Хайнань) имеют меню на русском или английском языках. Такое меню ориентировано на иностранных гостей, но цены в нем завышены. Причем иногда в два раза. Заметив такое «кидалово», мой супруг, прищурившись, смотрит на официанта и просит «другое» меню.
            • +9
              Чтобы каждому клиенту разные ценники выставлять?

              Если один клиент готов описывать свою проблему в письме на русском языке и ожидать ответ в течении суток, то разумеется цена поддержки для него будет отличатся от цены того кто хочет получить ответ немедленно, по телефону и на чистом мандаринском.
              Не существует 2-х одинаковых крупных компаний (а на них и рассчитан данный инструмент) и процесс разработки у них поставлен по разному, при этом они хотят добавить продукт стат. анализа не изменяя данные процессы. В итоге ценник за внедрение у разных заказчиков будет разный.
              • 0
                Спасибо за адекватный комментарий.
                • 0
                  А способ сегментации все равно мерзкий. Понятно, что с богатых хочется содрать побольше, а бедным — продать за сколько возможно. У самих такая же проблема впереди. Только вот есть честные способы сегментации, а есть нечестные.

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

                  А нечестные — это когда прайса нет, а есть оценка платежеспособности клиента.

                  Отдельно стоит продажа заказных и полузаказных решений. Когда продукт подтачивается напильником под клиента — да, цены разные, в зависимости от длины напильника.

                  Но у вас-то хотят узнать цены на коробочное решение. Ну если оно у вас есть, конечно.

                  Потому как из-за отсутствия прайса — впечатление хреновое. То ли обдерут как липку, то ли у людей нету продукта, а есть полузаказные (исследовательские) варианты программы.
                  • 0
                    то ли у людей нету продукта


                    Зайдите в раздел Downloads и скачайте. Сможете понять, продукт это или не продукт.
                    • –2
                      Ну батенька, ну Брукса почитайте. Или вы утверждаете что у вас комплексный программный (коробочный) продукт или у вас программа, которая при внедрении подтачивается напильником под клиента.

                      Если внедрение требует усилий от вас(и только от вас) — это не продукт.
                      • +1
                        Мир не такой чёрно-белый. Наличие дистрибутива и кнопки «выполнить анализ», не гарантирует что всё у всех получится, и вот здесь и нужна поддержка. И дело не в том, что мы криворуки. Статический анализатор — это сложный продукт. И как следствие есть масса нюансов, которые невозможно учесть. Сталкиваемся с ними не только мы, но и, например, старшие коллеги из Coverity. В свою очередь предлагаю прочитать их статью: "A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World". В ней как раз рассказывается, что не всё так просто в этом самом Real World.
                        • 0
                          Давайте не путать отсутствие продукта и цену поддержки. На поддержку вполне возможен отдельный прайс. В пределе как в 1С-Бухгалтерии. 1С — вполне себе продукт, но без настройки непригоден для использования. Отличие в том, что настройку делают сторонние фирмы.

                          А у вас, я так понимаю, приходится подпиливать код под заказчика. Что и означает, что программа у вас есть, а комплексного программного продукта нет.

                          Видели компилятор, который подпиливается под заказчика? Такой компилятор — не продукт, а решение. И прайс на него зависит от времени на допилку. Но большинство компиляторов — коробочные продукты. И подпиливания под заказчика не требуют.

                          P.S. Интересно, вы вспомните хоть один пример компилятора, подпиливаемого под заказчика?
                          • 0
                            P.S. Интересно, вы вспомните хоть один пример компилятора, подпиливаемого под заказчика
                            Легко. ICC, SCC. Cygnus Solutions на этом специализировались (и да, скачать с сайта у них можно было весьма небольшую часть того, что можно было купить). Со временем, правда, компиляторы стали более «коробочными» — я знаю что пять лет назад они ещё вовсю пилились под конкретных заказчиков, но не знаю — пилятся ли всё ещё сейчас…
                            • 0
                              я то имел ввиду компилятор Алгол-68, который команда Терехова за месяца раскручивала на новую архитектуру процессора. Кто делал компилятор под NeuroMatrix не помню, но там тоже только кодогенератор писали.

                              Но, повторюсь, это не продукты, а решения. Чуть иная категория.
                          • 0
                            Прочитал все ваши диалоги и не могу сдержаться спросить: вы точно не путаете настройку программ, разработку и поддержку? Просто выглядит так, будто в программе есть гибкие настройки, но от нечего делать разработчики переписывают код каждый раз, когда им пишут на почту.
                            • –7
                              Это вопрос ко мне? Если ко мне, то я бы сказал так, что их программа не является комплексным программным продуктом и не может корректно обрабатывать результаты препроцессирования любых #define. Поэтому они затачивают вручную программу на конкретный набор используемых макроопределений.

                              При этом убрать ложные часть ложных срабатываний они могут конфигурированием, а часть — требует дописывания (расширения) конфигурирования.

                              Ну как пример, что мы используем
                              #define CCASSERT(predicate) _x_CCASSERT_LINE(predicate, __LINE__)
                              #define _x_CCASSERT_LINE(predicate, line) _x_CCASSERT_LINE_CAT(predicate,line)
                              // cppcheck-suppress variableScope
                              #define _x_CCASSERT_LINE_CAT(predicate, line) \
                              typedef char constraint_violated_on_line_##line [2*((predicate)!=0)-1];


                              Это assert, работающий в compile-time. И подавление диагностики от cppcheck там не спроста. Но если вместо настройки макроопредений под систему статического анализа они пытаются сделать наоборот (настроить систему статанализа под используемые макро) регулярное добавление ручек в в конфиг является неизбежным…

                              Мой совет — спросите их напрямую, может быть расскажут… я лично сужу по куче признаков, начиная с конской цены в 25 миллионов рублей (информация с тех времен, когда они ещё цену не скрывали). Ну и см выше об отдельной цене для каждого заказчика.
                              • 0
                                я лично сужу по куче признаков, начиная с конской цены в 25 миллионов рублей (информация с тех времен, когда они ещё цену не скрывали)


                              • +2

                                В PVS-studio можно подавлять предупреждения комментариями.

                                • –3
                                  я чуть о групповом подавлении ложных сообщений. Именно в нем и можно(и нужно) добавлять фильтры под заказчика.
                                  • 0

                                    Тогда я вас не понимаю. Что вам не нравится-то?

                                    • –3
                                      Мне не нравится, когда цену назначают исходя из толщины моего кошелька. я не против сегментации, когда есть явный прайс с вариантами подешевле и получше.
                                      • 0

                                        Нет, это вам в другой ветке не нравится. Тут вы говорили про подавление предупреждений.

                                        • –6
                                          Перечитайте, пожалуйста ветку. Или объясните, к какому именно посту вопрос. А то похоже, что я туплю… Может вы придрались к этому ??

                                          Ну тогда почитайте, что пишут авторы PVS-Studio. Собственно я всего лишь попытался конкретизировать их слова

                                          Наличие дистрибутива и кнопки «выполнить анализ», не гарантирует что всё у всех получится, и вот здесь и нужна поддержка. И дело не в том, что мы криворуки. Статический анализатор — это сложный продукт. И как следствие есть масса нюансов, которые невозможно учесть.


                                          Это авторы PVS-studio считают, что нужно подтачивать их программу напильником, а не я. я всего лишь пояснил, в каких местах её, скорее всего, точат.
                                          • +3

                                            А я вам объяснил почему вы неправильно угадали место.

                                            • 0
                                              Видимо туплю. Объясните тогда (лучше в личке) против каких слов вы возражаете.
          • +7
            Да знаем, хлебали этого говна. Начинаешь изучать, какие продукты на нужную тему вообще есть на рынке. Находишь три варианта, цена от компании X и от компании Y отличается в разы, а у компании Z на сайте цены вообще нет, один только маркетинговый буллшит и вот это вот «возьмите да напишите». При этом ни о какой кастомизации и аццкой интеграции вопрос не стоит. Вообще не стоит, не может стоять, в силу специфики продукта. Вот нахуа?? Зачастую «возьмите да напишите» означает совершенно антигуманные цены, но и это не всегда. Пишу, высылают прайс, явно стандартный какой-то. Всё то же самое, как если бы просто цену на сайте указали, только ещё дополнительно надо прыгнуть через горящее кольцо и подождать ответа от нескольких часов до нескольких дней. По-приколу люблю таким писать с личного мусорного гмайл-аккаунта, всё равно отвечают, высылают тот же самый прайс :)
            • +1
              Ладно если так, а то иногда для запроса цены надо анкету заполнить в которой разве что результатов твоих анализов нет.
              • 0
                Главное, чтобы как Интел не сделали, чтобы анкету надо было заполнять только чтобы скачать триалку новой версии.
                Или как постоянные посетители бара «Голубая устрица» компания Оракл — чтобы скачать что-то надо сперва зарегистрироваться на сайте, при попытке регистрации должно сперва письмо придти для окончания регистрации, а письмо-то и не приходит…
                • +7
                  NVidia тоже не отстаёт — для каждой ихней библиотечки надо подавать заявление на очередную «девелоперскую программу», в процессе чего заполнить анкету, а кто ты, да что ты, да как ты собираешься использовать, после чего они тебя рассмотрят на пленуме ЦК и зааппрувят, а может быть и нет. При этом аппрув, хоть и занимает порой несколько дней, похоже, автоматический — я как-то раз написал в ответ на вопрос «зачем хотите это использовать?» что для пост-обработки детской порнографии, деньги от которой планирую направить на наркоторговлю, работорговлю и поддержку международного терроризма — таки всё равно зааппрувили.
    • +3
      Странно, на самом деле. Сплошь и рядом такое (к сожалению), и не только в России. Недавно 2 недели MaximIntegrated мурижил, чтоб выставили счёт на одну отладочную платку, ну никак не хотели продавать.

      зы: хочу PVC studio для эмбеда (БЕЗ Visual Studio)
      • –4
        Это нормальная стандартная практика.

        P.S. PVS-Studio без VS уже давно есть :)
        • +10

          Когда ты видишь, что SpaceX запросто указывает цены на свои ракеты-носители, понимаешь, насколько смехотворна эта «нормальная стандартная практика».

          • +6
            Если мы сейчас начнём по очереди приводить примеры товаров с ценниками и без, то ветка уйдёт в бесконечность, учитывая, что ни география, ни предметная область вопроса не ограничена.
            • +9
              Так в чём проблема продумать и построить схему ценообразования такой, что её не придётся прятать? Думаете JetBrains добился бы распространения своей IDE, если бы прятал ценник?
              • 0

                Стоит дополнительно заметить, что ещё у JetBrains есть бесплатная версия с открытым исходным кодом. Первая доза — бесплатно. А ещё — студенческие лицензии. Подсадить их смолоду!

                • 0
                  Студенческие лицензии которые, кстати, можно использовать на производстве пока ты студент. Был сильно удивлён когда на мой вопрос в поддержку «А можно ли?» мне ответили прямым текстом «Да» без каких-либо условий.

                  Вот уж действительно, подсадили на иглу смолоду.
              • +1
                И тоже дают с неё скидку при покупке через sales@jetbrains.com или реселлеров.
          • +1
            Только это ничего не значит. NASA, например, платит в два раза больше им. Недавно вон пуск за $120млн. купили.
            • +3
              Потому что NASA, если сильно упростить, покупает примерно так:
              — Хотим вот эту позицию (тычет пальцем в прайс), плюс вот это, это и это. И чтобы ещё всё застраховано было по максимальному тарифу. Ах да, и ещё хотим контролировать каждый ваш чих в момент предоставления услуги.
              — Не вопрос. Тогда цена будет вот такая.
              — По рукам.
              • +1
                NASA не страхует пуски как государственная компания. Она вкладывает дополнительные деньги в дополнительные проверки.
          • +1
            А где кнопочка «Заказать»?
        • +1
          Вот вы ведете себя как очень прогрессивная компания, готовая искать новые каналы сбыта и рекламы. Чего только стоит этот топик.
          Так может попробуете «сломать систему» еще разок и сформировать подход при котором потенциальный клиент может заранее оценить затраты на внедрение?
          • 0
            Я ничего не понял. Прошу сформулировтаь предложение как-то иначе.
            • 0
              Стандартная практика — не публиковать прайсы и не раздавать бесплатных лицензий за комментарии в коде.
              От второго вы смогли отойти, попробуйте отойти и от первого.
              • 0
                В день когда на viva64.com появится прайс, миллионы россиян вздохнут спокойно… А собственно почему? Вот лично Вам какое дело до наличия цен на сайте?

                Если у Вас есть интерес к PVS-Studio, то напишите с корпоративной почты и узнаете цены, секрета в них нет. А если интереса нет, то какая разница, указаны они на сайте или нет.
                • +1
                  я знаю цену, которую вы заломите для нашей компании. А чтобы узнать реальную цену на ваш продукт — нужно писать не вам, а выискать 5-10 ваших клиентов и у них узнавать, по какой цене они купили.

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

                  А искать ваших клиентов — откровенно лень. Потому, если уж покупать продукт для статического анализа — то не у вас, а у фирм, не скрывающих сои прайсы.
                  • –1
                    а у фирм, не скрывающих сои прайсы.


                    Жаль таких фирм почти нет.
                    • +1
                      Да ноль проблем; 1C, ИнСат, Embarcadero
                      … ну в общем все, у кого есть продуктовое решение, не требующее подтачивания напильником под клиента.
                      • 0
                        Ну и покупайте статический анализ у 1С и ИнСат.

                        Сразу видно теоретика. Вам просто не нужно, вот и все.
                        • +1
                          Статический анализ нам полезен. CppCheck я использую. Но судя по косвенным признакам — ваши цены не для нас. 200 тысяч строк кода — не тот размер, где миллионы на PVS-studio окупятся.

                          Поэтому работаем по-старинке — код периодически компилируется дюжиной компиляторов под полудюжину операционок.

                          Ну и опять-таки, отпугивает необходимость адаптировать код PVS-studio под каждый проект.
                          • 0

                            cppcheck — это несерьёзно, на самом деле.


                            Coverity скорее попробуйте или даже clang static analyzer. И вообще, я на днях таки допилю статью на тему недосравнения всех трёх (мне, наконец, ответили из Coverity с решением моей проблемы по запуску их анализатора в моей конфигурации, что дало возможность потестить этот анализатор и в очередной раз затянуло статью), там можно делать выводы.

                            • 0
                              Не понимаю, почему вы решили, что clang static analyzer продукт более высокого уровня, чем coverity.
                              • 0

                                Не понимаю, почему вы решили, что я так решил.

                                • 0
                                  Coverity скорее попробуйте или даже clang static analyzer.

                                  вот это даже мне и не понравилось
                                  • 0

                                    О, прекрасные человеческие языки с их неоднозначностями.


                                    В общем, оно там в другую сторону, считайте.

                        • –1
                          Но в целом вы правы, нам ваш продукт не выгоден. Сколько он может сэкономить времени в год? Ну скажем 2 недели на поиски ошибок. Вот половину этого (неделя ФОП программиста) и должна стоит лицензия на рабочее место. Тогда внедрение выгодно. А при тайных ценах — даже экономический расчет не получится сделать.
                        • –1

                          Т.е. по вашему и покупателям IntelliJ CLion анализ не нужен, коли ваш продукт не покупают? Я конечно им не пользовался (на c/c++ не пишу), но сомневаюсь, что в этом продукте JetBrains отступились от своей практики внедрения он-лайн статического анализа с быстрыми проверками и возможностью более полного статического анализа по запросу…
                          с ним только одна проблема — это побочный клиент-сайд функционал

                          • +1

                            Кстати, непонятно, почему вас минусуют. У CLion анализ находит любопытные и пахнущие места, некоторые из которых не находит тот же PVS или clang.

                • 0
                  А ведь раньше был там прайс. Хотя уже подозрение иногда, что могло и присниться. Помню, что на команду в 9 человек что-то около 110 т.р. выходило. Если сейчас цена приблизительно такая же, то это очень не плохо.
  • +2

    Прочитал статью на сайте обрадовался! Попытаюсь с ней разобраться. Спасибо за замечательный инструмент.

  • +1
    Я что-то не понял, вот, допустим, я очень корпоративный разработчик — кроме мук моей воспалённой совести мне что-то помешает держать ваши комментарии только в моей рабочей копии и автоматически удалять перед каждым коммитом?
    • +5
      В очень корпорации иногда приходит очень внезапно проверка. И очень внезапно обнаруживает у вас нелицензионный софт на компе. В конце концов, для очень корпорации это не такие уж и деньги.
      • +1
        Возможно. Но зачем тогда требовать какой-то дополнительный комментарий в начале каждого файла?
        • +3
          Очевидно чтобы они работали как реклама? Да, какой-то «Злобный Буратино» может настроить в своём личном проекте всё так, как вы сказали — ну так он и без того платить не будет.

          А для корпорации сам факт того, что подобный «обработанный файл» может случайно попасть в репозиторий и потом всплыть где-нибудь в суде — хороший повод так не играться.
    • +19
      Ничто не помешает. А раз Ваше рабочее время стоит так дешево, чтобы заниматься на работе фигнёй, то значит компания где Вы работаете не является нашим потенциальным клиентом. :)
      • +3
        Вот я и думаю: по-замыслу, вроде как, вы пытаетесь создать мне достаточно неудобств, чтобы побудить не заниматься на работе фигнёй и купить уже лицензию. А по-факту, скрипт, который добавляет-удаляет всё, что нужно, я сваяю левой ногой минут за пять, а потом повешу pre-commit hook-ом (или как там оно называется), и мне даже хоткей никакой нажимать не придётся. Уж всяко меньше я с таким подходом потрачу времени на «фигню», чем пытаясь пробить покупку вашего софта по корпоративным каналам (это даже без учёта времени на написание вам письма и ожидание ответа :)
        • +13
          Делайте. Я же поставлю свечку, чтобы однажды скрипт сглючил и комментарии попали в систему контроля версий. За что кого-то накажут. :)

          А если серьезно, то мы отлично понимаем, что систему можно обойти. Более того, её легко было обойти и раньше. Вся идея в том, что тот, кто готов заниматься подобным не является нашим клиентом. Есть компании, которые умеют ценить время и понимают, что приобретают не только программу, но и сопровождение, что крайне важно в больших и сложных проектах. На них мы и ориентируемся.
          • 0
            Делайте. Я же поставлю свечку, чтобы однажды скрипт сглючил и комментарии попали в систему контроля версий. За что кого-то накажут. :)


            Какой вы злой и мстительный… :)
          • +6

            Не накажут. Бог дал нам гит и возможность переписать историю :).

        • +3
          3aicheg, для приличия хоть, добавить бы, сослагательное наклонение
          • 0
            *для приличия делает вид, что понял комментарий*
            • 0
              Имеется в виду замена явного намерения
              всё, что нужно, я сваяю левой ногой минут за пять

              на что-то гипотетическое, типа
              всё, что нужно, я сваял бы левой ногой минут за пять

              для смягчения эффекта.
        • 0
          А по-факту, скрипт, который добавляет-удаляет всё, что нужно, я сваяю левой ногой минут за пять, а потом повешу pre-commit hook-ом (или как там оно называется), и мне даже хоткей никакой нажимать не придётся.

          Не забудьте на гитхаб выложить и опубликовать ссылку! :)
      • +2

        Знаете, написать приложеньку для такого трюка стоит по времени гораздо дешевле, чем стоимость годовой лицензии на человека (в составе команды из 10 человек). Впрочем, в моей, например, компании, даже и в git это можно было бы залить без проблем. Но совесть. Поэтому сидим без лицензии (один год попользовались, профит меньше ожидаемого, продлевать не стали).
        По-моему, вашу — действительно очень здравую и хорошую — задумку с бесплатным использованием лучше продвигать и обсуждать в терминах совести, а не игры в кошки-мышки.

        • 0
          >Знаете, написать приложеньку для такого трюка стоит по времени гораздо дешевле, чем стоимость годовой лицензии на человека

          Вывод — без поддержки вы не обойдетесь. Ну, или по крайней мере дорого выйдет самим колупаться. Логические бомбы — они такие
          • 0

            Казалось бы, если продукт содержит логические бомбы и с ним нельзя работать без постоянной поддержки, то его качество вызывает большие сомнения и покупать его себе дороже.
            При этом мой небольшой опыт работы с PVS Studio говорит, что это вполне нормальный подукт, которым можно пользоваться без посторонней помощи. Отсюда вопрос — что именно входит в ту поддержку, без которой не обойтись, какие операции, какая помощь? Может, я пропустил какие-то важные ее возможности, с которыми от студии был бы гораздо больший профит?

            • 0
              Вверху кликните по ссылке на «блог компании» и отмотайте в прошлое где-то на пол-годика, у них там есть пост, как их триальные ограничения, на самом деле, благо для юзера, ибо стимулируют писать им в техподдержку, а без неё никак. На мой взгляд, не особо убедительно, но, может, вас сильнее убедит.
              • +2

                Спасибо, прочел. Не лишено смысла, но пара ссылок на документацию — это явно не та поддержка. которая требуется годами. В целом, аргументация "почему у нас подписочная модель оплаты" у PVS очень слабая (поддержка, добавление новых правил, ...) и искусственная, призванная заменить настоящую мотивацию "нам надо больше денег". Поэтому дальше обсуждать ее, наверное, бесполезно.

      • 0
        Очень правильная философия. Искренне желаю вашему проекту расти и процветать.
      • +1

        Да ну ладно вам. Я от мира С очень далёк, но я напишу такой скрипт, ну, скажем, за два часа. Это сколько-то тысяч рублей. На этом я сэкономлю компании все деньги на покупку вашего продукта. Я это даже чисто из любви к компании могу сделать, в свободное время, просто потому что для меня это интересный челлендж. И цена моего времени вообще ни при чём тут.

        • 0
          Для мелких компаний — возможно, а в особом мире корпоративного маразма дело не в деньгах, и эффективные менеджеры вряд ли одобрят подобную экономию, а ещё меньше того её одобрит юридический отдел. Зачастую вообще боятся бесплатного ПО (да, именно бесплатного, безо всяких ограничений) из соображений «а вот как бы чего не вышло», типа у них на душе неспокойно, пока за него денег кому-то не занесли (чтобы недалеко ходить за примерами, вспомним хоть российский маразм несколько лет назад, когда приходит проверка лицензионности ПО и требует предъявить платёжки за Линукс). Так что с этой стороны как раз идея нормальная… ну или, как минимум, прикольная.

          С другой же стороны, эффективные менеджеры слыхом не слыхивали ни про какое PVS-Studio, а ещё меньше того про него слышал юридический отдел. Надо переговорить с начальником, замначальника, начальником начальника, представителем юридического отдела, написать заявление от руки в пяти экземплярах, подписать, пере-подписать, размножить, подшить, отксерить, похерить, вот это вот всё, уйдут годы на эту деятельность, которой нормальный разработчик вряд ли желает заниматься. Даже в лучшем случае, когда просто говоришь своему менеджеру, чего ты хочешь, это ждать, ждать, ждать, пока он ответит (если ещё не забудет). Вот с этой стороны да — несложное техническое решение, и сразу играйся с цацкой.
          • 0
            Я работаю в мире большого корпоративного софта, я всякое видел :) И я знаю что когда я тимлид — у меня есть возможность в своём отделе сделать так как мне хочется мимо всякого начальства на худой конец ))
            • 0
          • 0
            Зачастую вообще боятся бесплатного ПО (да, именно бесплатного, безо всяких ограничений) из соображений «а вот как бы чего не вышло», типа у них на душе неспокойно, пока за него денег кому-то не занесли


            Все проще. У больших контор там (там), как правило, процессы зрелые, деньги посчитаны, и есть такая штука — операционные риски. И один из рисков — ПО, которое развернуто без наличия поддержки. Это риск. Вдруг в один прекрасный день обнаружится баг, уязвимость, и прочие радости мира ПО. И остановится какой-то важный процесс, компания будет терять реальные деньги. В результате, появляется требование — любое ПО должно иметь поддержку. Очевидно, у бесплатного, поддержки скорее всего не будет. И второе требование, поставщик поддержки — не компания-однодневка.

            Кстати, в связи с этим и процветают конторы типа Red Hat и т.д.
            • 0
              Возможно, для какого-то ПО это и так, но какой важный процесс остановит баг в статическом анализаторе? И зачем тогда так извращаются герои статьи, если все, кто могут заплатить, и так заплатят?
              • 0
                Популяризация методологии статического анализа.
              • 0
                Вы рассуждаете, как типичный ИТ-шник, что нормально.
                К счастью, или к сожалению, за операционные риски отвечает чувак, как правило, далекий от ИТ. Этот умный чувак пишет правила. Задача всех прочих, в том числе ИТ-шников, эти правила соблюдать. Написали: все ПО должно быть с поддержкой, это значит все (все) ПО должны быть с поддержкой.

                Авторы PVS пробуют еще один канал продажи. Больше каналов хороших и полезных!
              • 0
                И зачем тогда так извращаются герои статьи, если все, кто могут заплатить, и так заплатят?
                Затем что при работе в больших компаниях «здравый смысл» часто можно оставить за дверью.

                Есть один отдел — он считает риски. И с его точки зрения продукт (тем более бесплатный) от фирмы-однодневки — страшный риск.

                Есть другой отдел — он отвечает за закупки. И старается закупать, разумеется, подешевше (а как иначе?). Может и бесплатную версию за'approve'ить, если фирма уже первым отделом одобрена.

                А у PVS'ников задача — пройти их все и получить денег, однако…
  • +2
    Всё так сделали, спасибо! Успехов вашему проекту.
  • +1
    Попробуемс))
    Для небольших групп можно сделать как у Unreal Engine, типо в проектах с прибылью до скольки то там, юзай бесплатно, как превысил — отчисляй пенни.
    • +1
      Это сложно и непонятно как отслеживать. Плюс это не решает вопроса с большой компанией, продукт которой бесплатен, но по факту косвенно приносит прибыль.
      • +1

        Unity требует покупки Pro лицензий, если годовой доход организации превышает $200k. Не знаю, как они проверяют и проверяют ли вообще, но смысл в том, что им не важно, чем занимается контора.


        Контора может


        • делать продукты на Unity и продавать;
        • раздавать их даром, зарабатывая на рекламе или поддержке;
        • использовать Unity для каких-то внутренних целей (обучение сотрудников, хз);
        • жить пожертвования пользователей или получать деньги из гос. бюджета.

        Вообще не важно, откуда берутся деньги, но если откуда-то всё-таки берутся, изволь купить лицензии.

  • +6
    Мне кажется если кто и ведет взвешенную и разумную политику по продвижению своего продукта так это вы ребята, приятно видеть столь логичные шаги в сторону сообщества, очень надеюсь что через некоторое время год-два это действительно приведет к ожидаемому профиту.
  • +4
    Отличная идея.
    Меня, как независимого разработчика под лин, это устраивает почти на 100%.
    А с заказчиками по поводу «лишних строк в начале файла» договориться не сложно: внести допусловие в стандартный договори и/или озвучить цену того, чтоб этих строк не было. :)

    Единственная просьба, разрешите, чтоб эти сроки были не первые в файле, просто в пределах «шапки», в пределах ~20 строк, например. Все же, информация о разработчике и владельце прав на код важнее, имхо.
    • +3
      Если информация о разработчике и владельце прав на код важнее, то предлагаем рассмотреть вариант приобретения платной лицензии. А так, извините, нет.
      • 0
        Воля Ваша.
        Тогда давайте проясним один момент. Допустимо ли, с Вашей точки зрения, удаление «шапки» после окончания разработки?
        • +3
          Я вот кстати не знаю, что такое «окончание разработки». А вы?
          • 0
            Это случай, когда продукт на 100% соответствует требованиям технического задания.
            Еще одним примером является момент запуска продукта в серию.
            • +1
              Ну а потом его все, сразу на кладбище?

              Вот у PVS-Studio окончание разработки — это когда продукт на кладбище окажется, как мне кажется. А у вас как?
              • +3
                Вот, допустим, человек разрабатывал-разрабатывал код, честно ставил в начале каждого файла ваш комментарий. Заказчик видит, говорит: «Убери.» Должен ли он сказать в ответ твёрдое и решительное «Нетъ!», или же допустимо убрать комментарий, но перестать пользоваться бесплатной версией PVS-Studio для этого проекта? А когда интенсивная фаза разработки, в целом, закончена, и код выкинут на кладбище передан заказчику, который вообще не слышал ни о каком PVS-Studio — этот заказчик имеет право убрать комментарий? А если заказчик что-то ещё сам дописал и хочет от изначального разработчика неких доработок — должен ли тот добавить комментарий обратно?
                • +4
                  Ответ прост: если возникают сложности с бесплатной лицензией, значит лицензия не подходит для данного проекта.
                  • +1
                    Стоит ли это понимать, как:
                    «Пользуетесь PVS-Studio — вставляйте комментарии. Перестали пользоваться — можно удалить.»?
                    • +2
                      Это стоит понимать как сложности :D
                      • –2
                        То есть это как продажа души — один раз и на всю жизнь?
                  • +4
                    Вообще не ответ, а вольные фантазии в духе гоголевской Коробочки:
                    — Право, я боюсь на первых-то порах, чтобы как-нибудь не понести убытку. Может быть, ты, отец мой, меня обманываешь, а они того… они больше как-нибудь стоят.

                    Понятна вполне ваша боязнь понести убытку, но ответить-то можно на поставленный конкретный ответ, а не изворачиваться, как аскариды в прямой кишке?
                    • +4
                      А можно просто поблагодарить разработчиков крутого продукта за предоставление его широким массам, а не вести себя как нехороший человек, выискивая неточности в формулировках и доставая авторов?
                      • +4

                        А можно сравнить с Coverity, которые этого не требуют, например.

                      • +2
                        А продукт Боженька разрабатывает, что даже спросить ничего нельзя, а можно только «славатебегосподи»?
                • 0
                  Не вижу смысла обсуждать абстрактные «а что если». Но Святослав рядом правильно написал.
              • 0
                Конечно. На кладбище. Кладбище ПО — т.е. в архив.
                Проекты они разные бывают. Бывают, внезапно, и со статическим и полным ТЗ. ТЗ выполнил — работа окончена, код изменениям более не подвергается.
      • 0
        У нас первой строкой обычно идет что-то вроде
        /* -*- mode: c++; coding: windows-1251-dos; fill-column:160 -*- */

        Это некий компромиссc между удобством на Windows и linux. На Windows — удобнее комментарии в 1251, на линуск — в UTF-8. вот и приходится сообщать редактору о кодировке файла.
        • 0
          Может проще всегда utf-8 тогда сделать кодировку файлов?
          • 0
            Среда отладки на Windows не позволяет. Про MS-DOS уже не говорю. А основная отладка — в Windows.
            • 0
              А что вы используете как среду отладки?
              Qt Creater вроде как только в utf работает. Visual Studio тоже без разницы, в локальной там или в utf'е, главное, чтобы BOM был. Если какие-то среды, которые BOM в файлах не понимают?
              • 0
                Лучшую среду всех времен и народов — <a href=«https://ru.wikipedia.org/wiki/Borland_C++>Borland C++ 3.1 :). Это для MS-DOS. Для windows — Borland C++ Builder 5.0.

                А кто ещё может брейкопйнты на изменение значений, просмотр структур с изменением их полей и так далее??? Ну Qt Creator советуют посмотреть, а кого ещё?

                Работает-то оно под linux в основном. А отладка комфортнее на винде.
                • 0
                  А кто ещё может брейкопйнты на изменение значений, просмотр структур с изменением их полей и так далее??? Ну Qt Creator советуют посмотреть, а кого ещё?

                  Вы не поверите, лучшая иде всех времён и народов, ака Visual Studio, это всё умеет уже лет как N'дцать. Qt creater в плане удобства отладки, даже рядом не валялся.
                  Кстати, советую, ещё https://blogs.msdn.microsoft.com/vcblog/2016/07/11/debugging-tips-and-tricks-for-c-in-visual-studio/ прочитать/посмотреть, может там что заинтересует ещё, а вот например Parallel Stacks так для себя открыл, уже пару раз реально помогло.

                  P.S. Примите соболезнования по поводу необходимости работать в иде и с компилятором 2000-го года выпуска. Может вам стоит совершить сумасбродство, и перейти на C++ Builder 6.0? :)
                  • –2
                    Вы не поверите, лучшая иде всех времён и народов, ака Visual Studio, это всё умеет уже лет как N'дцать

                    Почитал. Аппаратные брекопоинты — явно недоделанные. Мало того, что их нет для Си, так ещё и вручную считать размер данных. И пересчитать адрес после перекомпиляции автоматически он сам не может.

                    Окна для изменения данных в структуре — просто нет. И даже не вижу окна для просмотра структуры с разворачиваем и сворачиваем её подструктур…

                    Окна регистров FPU тоже не вижу. Не говорю уже о том, что для VS++ POSIX — это оbsolete. Короче, отказать. Глючный и очень неудобный.

                    У коллег в VS++ только debug-сборка работает. В релизе у них просто не собирается… Ну в общем VS++ — для тех, кто не видел возможности удобных отладчиков.

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

                    Вообще-то, BC++ 3.1 — 1992ого года. А что вас так удивляет? Новое дороже и тормозней, но с чего вы взяли, что оно удобней? Не говоря уже о том, что вряд ли вы найдете компилятор под MS-DOS новее 1995ого года.

                    Может вам стоит совершить сумасбродство, и перейти на C++ Builder 6.0? :)

                    Зачем? Назовите хоть один важный для меня плюс. А важных минусов — много.
                    Главный минус — Kylix, то есть CLX. Это потребовало перетряски VCL, в итоге что Delphi 6, что C++ Builder 6 — основано на прилично забагованной библиотеке.
                    В семерке стало получше, но вмешалась кадровая ошибка. В ядро VCL пустили человека, плохо понимающего работу в многопоточной среде. Итогом стало несколько неприятных ошибок.

                    Мы купили 10.1 Berlin, но я пока его не смотрел. Из очевидных минусов — gcc в качестве компилятора. А чем больше разных компиляторов — тем проще с портируемостью.
                    • 0
                      У коллег в VS++ только debug-сборка работает. В релизе у них просто не собирается…

                      Самая глупая отмазка из тех которые я видел. Если кто-то перемудрил с директивами условной компиляции — это не является недостатком ни IDE, ни компилятора.


                      Ошибки компиляции надо взять и исправить.

                      • –3
                        Вы знаете, если у "одной из ведущих российских компаний" на рынке SCADA один из их флагманских продуктов так себя ведет, то явно не все так просто.

                        Ошибки компиляции надо взять и исправить.

                        Ну-ну… Скачайте и разберитесь.

                        я понимаю, вы не занимаетесь АСУТП. Но подумайте о том, что баги в продуктах мирософта видели все. Ни о какой надежности там речи не идет, зато ИнСат — это работа на рынке, где требуется очень высокая надежность. Это защиты АЭС, это автоматизация котла ТЭЦ (а современный котле без автоматики или тухнет ил взрывается), это автоматизация изготовления сопел ракет, это климат-контроль на производстве банковских карт., это автоматизация компрессорной магистрального газопровода, это мониторинг теплоснабжения миллионного города…

                        Так что уж извините, но ИнСат писать код умеет. Потому что о багах и в их продуктах я не слышал.

                        Может быть, вы круче их и сумеете решить эту проблему. Но скорее всего это очередное дурацкое ограничение у микрософта — EXE, рассчитанный на подключение dll отладочной сборки, не может подключить dll релизной сборки. Хотя в других системах это проблем не вызывает.

                        Чтобы никогда не использовать VC++ мне хватает того, что они объявили POSIX obsolete и ввели свои, нестандартные вызовы. Поскольку целевой системой у нас Linux и FreeRTOS, То проще уж отлаживаться там, где POSIX не вызывает таких проблем.

                        Собственно это повтор истории про осла. Когда IE захватил рынок, он диктовал свои стандарты. Ну и где он сейчас?
                        image

                        • 0
                          Может быть, вы круче их и сумеете решить эту проблему. Но скорее всего это очередное дурацкое ограничение у микрософта — EXE, рассчитанный на подключение dll отладочной сборки, не может подключить dll релизной сборки. Хотя в других системах это проблем не вызывает.

                          Это не "дурацкое ограничение", а конфликт зависимостей. До тех пор, пока отладочный рантайм и релизный рантайм — это две разных библиотеки, проблема будет существовать.


                          Решается она, кстати, очень просто. Например, принудительным использованием нужной версии рантайма.

                          • 0
                            Но скорее всего это очередное дурацкое ограничение у микрософта — EXE, рассчитанный на подключение dll отладочной сборки, не может подключить dll релизной сборки

                            Ну, если вы так изначально рассчитывали, что же потом удивляетесь?
                            Вот если бы не хотели такого ограничения, то написали бы сразу exe, который рассчитывает, что ему пофигу с какой dll работать — с релизной или с дебажной. :-).
                            А если серьёзно, то у майкрософт таких ограничений, конечно же нет, это вы придумали. Вот гляньте на ffmpeg, например. Ты собрал dll'ки, хоть в релизе, хоть в дебаге, хоть другим компилятором, например интеловским. И дальше используй хоть в релизном, хоть в дебажном exe'шнике.

                            Чтобы никогда не использовать VC++ мне хватает того, что они объявили POSIX obsolete и ввели свои, нестандартные вызовы. Поскольку целевой системой у нас Linux и FreeRTOS, То проще уж отлаживаться там, где POSIX не вызывает таких проблем.

                            Я уже писал выше, что вы всё перепутали, и майкрософт наоборот, вместо нестандартных платформозависимых POSIX функций, ввела обычные стандартные, прямо из ISO C++, функции.
                            • +1
                              Чёрт, случайно комментарий послался не законченным. Продолжу.

                              Так вот, в стандарте C++ нет ничего, например, про strcmpi. Но есть _strcmpi. Поэтому VS честно предупредит, если вы используете этот анахронизм. И да, как вы понимаете, я не говорю не про C++98, где strcmpi — это норма. Ну что же, за 19 лет мир немного поменялся.

                              Собственно это повтор истории про осла. Когда IE захватил рынок, он диктовал свои стандарты. Ну и где он сейчас?

                              А это к чему? Компилятор от MS сейчас вролне поддерживает стандарты C++. Да есть свои extension'ы, но ИМХО, в том же gcc их уже больше :-). А так, например VS 2013 поддерживала C++11 лучше, чем скажем вышедший одновременно Intel composer 2013.

                              Но подумайте о том, что баги в продуктах мирософта видели все. Ни о какой надежности там речи не идет, зато ИнСат — это работа на рынке, где требуется очень высокая надежность. Это защиты АЭС, это автоматизация котла ТЭЦ (а современный котле без автоматики или тухнет ил взрывается), это автоматизация изготовления сопел ракет, это климат-контроль на производстве банковских карт., это автоматизация компрессорной магистрального газопровода, это мониторинг теплоснабжения миллионного города…

                              Так что уж извините, но ИнСат писать код умеет. Потому что о багах и в их продуктах я не слышал.

                              Я скажу так, не бывает идеальных программ без багов, так как не бывает идеальных аналитиков, которые написали бы ТЗ без противоречий, не существует идеальных системных архитектов, не бывает идеальных программистов, которые написали бы код без багов, не бывает идеальных тестеров, которые не пропустили бы ни одной баги, и т.д…
                              То, что баги есть — это нормально, это надо понимать. Да что там, я лично более 2-х десятков багов репортил на vs connect. А вот то, что вы не слышали не про одну багу в продуктах ИНСАТ или любой другой компании, это не значит, что их там нет. У нас вот в компании тоже половина программистов свято уверена, что у наших клиентов нет никаких проблем, типа это они круто пишут, что багов мало, а те что есть, типа все находятся тестированием. А когда периодически всплывает, что дня без клиентской проблемы не обходится, так делают круглые глаза. Я к тому, что неспособность скомпилировать свой же код в релизе — говорит о многом. Я бы не хотел работать с такими партнёрами, чтобы они для меня код писали. И да, у меня соседний департамент имеет схожую проблему, они не умеют собирать дебажные сборки. Так что о проблеме, её источнике, и т.д., я знаю не понаслышке.
                              • –1
                                Вы немного промахнулись при ответе. Если вам нужен ответ, то я его, конечно дам. Но лучше подождите, пока я напишу статью про систему, работающую 14лет 365*24 без видимых сбоев.

                                Мир АСУТП и embeded -это несколько иной мир, чем мир visual studio. За программу типа Word, падающую при ошибке в любой части без сохранения данных, в АСУТП бы оторвали… Ну в общем что оторвали, то бы и оторвали.

                                Но если нужен ответ именно в комменте — я отвечу.
                                • 0
                                  С нетерпением буду ждать вашу статью.
                          • –2
                            Самое правильное решение — это не использовать компилятор с несовместимыми версиями рантайма. Потому что такое решение рано или поздно приведет к плавающим ошибкам, воспроизводимым лишь при одной из версий рантайма.
                            • 0

                              А кто вам сказал, что они несовместимы?

                              • –1
                                До тех пор, пока отладочный рантайм и релизный рантайм — это две разных библиотеки, проблема будет существовать.


                                Всё остальное — спор о терминах. я в нем участвовать не хочу.
                                • 0

                                  Отладочный рантайм и релизный рантайм — это две разных совместимых библиотеки

                                  • –4
                                    Давайте не спорить о терминах.Разные — означает несовместимые. По багам, по таймингу… Исходя из ваших слов — по зависимостям.

                                    Это совсем иная ситуация, чем два разных варианта одной библиотеки, собранные из одних и тех же сорцов и отличающихся лишь ключами компиляции. А совсем уж сильное отличие от ситуации, когда две библиотеки отличаются лишь отладочной информацией.

                                    Для доказательства несовместимости — достаточно одной ситуации, где библиотеки не взаимозаменяемы. Искомая ситуация описана выше. Если программа, собранная для одного из рантаймов не может вызвать dll с другим рантаймом — значит они несовместимы. Были бы совместмы -легко бы совмещались в одном проекте.

                                    • +3
                                      Вы зря спорите. Конечно, вопрос интересный. На самом деле некая совместимость между ними есть. Например, иногда можно добавить в игнор либу от дебага, и залинковаться с релизной (msvcrt.lib) или наоборот. С рантаймом для cpp там сложнее, msvcprtd.lib вместо msvcprt.lib сложнее подсунуть.
                                      Кстати, это именно тот случай когда «два разных варианта одной библиотеки, собранные из одних и тех же сорцов и отличающихся лишь ключами компиляции».
                                      А так как, что это 2 разные библиотеки — это не бага, как пытается jef представить, а фича! Да, если для тебя это «большая, реальная» проблема, что не хочется иметь 2 набора бинарников — не используй это. А так дебажный рантайм даёт много полезных фич нужный для отладки (на например, там при каждой деаллокации памяти куча проверяется по этому адресу, или итераторы чекаются, что они в валидном слейте. То же со строками, например, в дебаге, там даже в обычном std::string'е новые мемберы появляются, нужные для последующей фоновой валидации строк).
                                      Если вам не нужны все эти возможности, потому что вы не можете их осились/понять/другая_надуманная_причина, то не используйте эту фичу. Собирайте свой код без оптимизации, и отлаживайтесь на нём. Тогда у вас будет только одна версия crt и cprt.
                                      • 0
                                        1. Кстати, это именно тот случай когда «два разных варианта одной библиотеки, собранные из одних и тех же сорцов и отличающихся лишь ключами компиляции».

                                        2. А так дебажный рантайм даёт много полезных фич нужный для отладки (на например, там при каждой деаллокации памяти куча проверяется по этому адресу, или итераторы чекаются, что они в валидном слейте. То же со строками, например, в дебаге, там даже в обычном std::string'е новые мемберы появляются, нужные для последующей фоновой валидации строк).


                                        Нетрудно догадаться, что или одно или другое. Но не оба вместе.

                                        скорее всего там много #ifdef, то есть сорцы одни, но отличия — совсем не только в ключах компиляции, а ещё и в дефайнах сборки
                                        • 0
                                          А что — где-то по другому? Вы тут Borland C++ 3.1 упоминали — так в нём, о ужас, аж шесть рантаймов!
                                          • –3
                                            Да, обычно иначе. gcc, clang, С++ builder… В BC++ рантайм зависел вовсе не от наличия отладки, а от модели памяти. В gcc и clang мы можем выбирать рантайм на этапе сборки компилятора… То есть проблема, что при отладке иной рантайм, чем при выполнении — это проблема VC++. Вполне возможно, что она решается отладкой на релизном ранйтайме. Но уже понятно, что у VC++ на одну проблему больше.

                                            • 0
                                              Я уже говорил — это не проблема — это фича. Можете, как все отлаживаться. А можете кучу бенефитов получить. Это дополнительная возможность.
                                              • –2
                                                Увы, наоборот. Или как все (one microsoft way debug+relize ) или куча геморроя для получения того, что мне нужно. При этом в варианте «как все» часто вижу стон «в релизе не пашет, в дебаг все хорошо». Уж на что я далек от форумов по VC++, но даже до меня этот стон долетал.

                                                Ну и регулярно вижу споры «эта фича не нужна, потому что студия её не умеет». Не, я лучше буду там, где умеют все, что нужно.

                                                При этом вполне допускаю, что в иных задачах — VC++ лучше всех. Ну скажем драйвер windows я бы на нём писал, несмотря на все его неудобства.
                                                • +2
                                                  При этом в варианте «как все» часто вижу стон «в релизе не пашет, в дебаг все хорошо». Уж на что я далек от форумов по VC++, но даже до меня этот стон долетал.

                                                  Ещё раз повторю свой совет: меньше случать горе-партнёров-коллег, интернет и бабок у подъезда. Лучше сперва попробовать самому и сформировать своё личное мнение.

                                                  «в релизе не пашет, в дебаг все хорошо»

                                                  Этот стон, если и раздаётся, то на порядки реже, чем стон «у меня на компе работает, а у тестеров нет» или «у нас в лабе работает, а у клиента нет». При этом если стонет человек адекватный, и он понимает, что тестеры тестирует на 20 ядерном ксеоне, а он на 4-х ядерном проце, то он просто идёт и начинает искать, например, race condition.

                                                  Ну и регулярно вижу споры «эта фича не нужна, потому что студия её не умеет». Не, я лучше буду там, где умеют все, что нужно.

                                                  Я вот уверен, что студия умеет гораздо больше стандартного, чем любой другой 19-ти летний компилятор, и в обратном вы меня не убедите. Ваши споршики видимо мало отличаются от ваших партнёров (может это они же?) :-)

                                                  При этом вполне допускаю, что в иных задачах — VC++ лучше всех. Ну скажем драйвер windows я бы на нём писал, несмотря на все его неудобства.

                                                  Ну хоть на этом спасибо :-).
                                                  • –1
                                                    Лучше сперва попробовать самому и сформировать своё личное мнение.

                                                    Увы, по правилам хабра мат запрещен. А без обсценной лексики личное мнение о VС++ не излагается :-) Увы, пробовал я эту поделку…

                                                    «у нас в лабе работает, а у клиента нет».

                                                    Ну чтобы понять, что делает клиент, надо зело великую фантазию иметь… я когда был главным альфатестером T-Mail такого навидался… Ну вроде FIDO не совсем для чайников, но корректно описывают баги единицы.

                                                    «у меня на компе работает, а у тестеров нет»

                                                    А это качество работы тестеров. Пример. Тыкаю мышкой — баг 100%. Тыкает мышкой второй тестер (@yole) — 50%баг. Тыкает мышкой автор — нету бага. Оказалось, что для бага надо было в однопиксельную полоску попасть.

                                                    Я вот уверен, что студия умеет гораздо больше стандартного,

                                                    я сказал нужного. А то, что мои задачи нестандартные — это факт.
                                                    • 0
                                                      Ладно, пора заканчивать кормить тролля. И так уже отъелся походу.
                                                      • 0
                                                        Самокритичненько вы. :-)
                                                  • –1
                                                    Я вот уверен, что студия умеет гораздо больше стандартного, чем любой другой 19-ти летний компилятор, и в обратном вы меня не убедите.

                                                    Может, студия как IDE умеет и много, но впечатления о её компиляторной части у меня сугубо негативные.

                                                    • 0
                                                      Вам уже расписывали, что компиляторная часть в ней вполне хорошая. Если Хотите, перефразирую так:
                                                      «Я вот уверен, что студийный компилятор умеет гораздо больше стандартного, чем любой другой 19-ти летний компилятор, и в обратном вы меня не убедите.»
                                                      • 0

                                                        Ну, это расписывали не мне тогда.


                                                        Бекенд, может, там действительно хороший и оптимизирующий, но фронтенд — совсем другой разговор.


                                                        А так как числодробилки в моей практике пишутся не под Windows, то все теоретические преимущества бекенда немножко разбиваются о некроссплатформенность cl.exe.

                                                        • 0
                                                          Ой, точно не вам :-)
                                                          Думал, что это Джеф опять ругает компилятор :-)
                                                          И не соглашусь с вами по поводу некроссплатформенности cl.exe. Нормальный он сейчас, если код кроссплатформенный, и не полностью на C++14, то cl.exe его нормально может.
                                                          • 0

                                                            Я про то, что мне качества его кодогенерирующего бекенда не очень важны, если непосредственно числодробилку мне надо запускать под линуксом, а кросскомпиляции или работы cl.exe под линуксом нативно нет.


                                                            Но вообще да, VS2015 вот уже выглядит поприятнее, чем 2013, которая была последней крайний раз, когда я на неё смотрел.

                                                • +2
                                                  При этом в варианте «как все» часто вижу стон «в релизе не пашет, в дебаг все хорошо»
                                                  Это вы что-то с чем-то путаете. Можете писать код в gcc и запускать его только с -O0, а потом попытаться оптимизации включить. Скажите «ССЗБ»? И будете правы. Только почему-то в случае с GCC это [справедливо] считается проблмой кривых рук программиста, а в случае с Visual Studio — это, типа, проблема компилятора. Проблемой «другого рантайма» это является в лучшем случае в одном случае из 100.

                                                  Ещё раз: попробуйте поработать с Visual Studio — а уже потом сказки рассказывать.
                                                  • –2
                                                    Не знаю, возможно дело в том, что ярые сторонники VC++ утверждают, что с включением оптимизаций ничего не меняется. И вообще мол надо отлаживаться в дебаге, а после отладки — выдавать релиз без всяких лишних проверок.

                                                    Со студией я немного работал, мнение нецензурное.
                                                    • +2
                                                      выдавать релиз без всяких лишних проверок.

                                                      Без тестирования, ага. А ещё у меня есть коллега джавист, так он говорит, что после него код вообще тестировать не надо, если он закоммител, то сразу можно клиенту ставить. Только причём тут C++, VC++ и т.д. если проблема в мозгах?

                                                      Ладно, извиняюсь, на сегодня хватит бреда.
                                                      • –1
                                                        угу, тестировать дебаг, а отдавать релиз. Это очень давний холивар.
                                                        • 0
                                                          Не рассказывайте сказок. Если и есть такой холивар у вас, то он никак к студии не относится. А так предложений лично я слышал множество, как надо деплоить, начиная с «ху@к, ху@к, и в продакшен». И некоторые даже так и работают. Но это на их совести. И это не связано ни с VC++, ни с самим C++, ни, даже, с написание кода.
                                                          • –3
                                                            Да это, увы, не сказки, а реальность. Деток так в институтиках учат — debug для отладки, релиз для работы. :-( Некоторые потом даже не понимают, что можно отлаживаться на тот же коде, что пойдет в production. Любуйтесь
                                                            Проекты Visual Studio имеют отдельные конфигурации выпуска и отладки для вашей программы. Как следует из самих названий, производится построение отладочной версии для отладки и версии выпуска для окончательного выпуска программы.

                                                            Как думаете откуда эта кривь? А это из MSDN. Ну да, строго формально это связано не с самой студией, а с её документацией микрософтом. И дальше эта кривь копируется большинством учебников по VC++.
                                                            • 0
                                                              И где кривь то? Отлаживаем/разрабатываем на дебаге, тестируем/деплоим релиз. Нигде в документации не написано, что надо деплоить дебажную версию, как делают детки-партнёры, или что тестировать надо не ту версию что в итоге в продакшен уйдёт.
                                                              • –3
                                                                И где кривь то? Отлаживаем/разрабатываем на дебаге, тестируем/деплоим релиз.

                                                                Это и есть кривь. Если фирма большая, есть отдельный отдел тестирования, то есть и некоторая культура программирования. А если фирма мелкая, то тестирование совмещено с отладкой. И получается кривь: тестируем и отлаживаемся на debug. а в деплоим релиз.

                                                                Вы поспрашивайте джуниоров — многие ли отличают тестирование от отладки?

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

                                                                Поэтому там, где требуется надежность — отладка идет на единой версии. И включение-выключение отладочных функций делается не перекомпиляцией, а командой программе.

                                                                Более того, делается удаленное управление, чтобы не ехать за пару тысяч километров, а из конторы (или из дома) залезть в сбоящий прибор, посмотреть, что там происходит и подправить конфигурацию. А в конфигурации — некоторое количество ручек, делающих плавную деградацию. И возможность дистанционного обновления прошивки.

                                                                Вся беда в том, что у тестеров нету собственного завода, ТЭЦ, лефортовского тунеля, корабля, близости к Сирии… у тестеров — имитаторы. А основной этап тестирования называется опытная эксплуатация и делается у заказчика.

                                                                Мой коллега (переманилии!!!) — создатель одного из фоторадаров. Так вот, он хвалится, что потребность поехать и дернуть питания была всего лишь один раз на несколько тысяч установок. И то, сам виноват, ошибся и загасил установку при ребуте. И даже в этом случае справились местными силами.

                                                                И ещё раз дисклеймер. Это У НАС так. У настоящих программистов — иначе. Там, где для тестирования не нужен завод, корабль, локомотив, туннель — там можно и дебаг/релиз применять.

                                                                Байка от того же коллеги. Опытная эксплуатация, Лефортовский туннель. Фоторадар показывает 320 километров в час, программер судорожно думает, где же он посадил багу в коде. Сообщение от гайцев: не ищите багу, козел реально с такой скоростью летел. :-) Ну кто из тестеров додумается, что лихач может разогнаться быстрее истребителя на взлете? Так что опытная эксплуатация — главный этап и тестирования и отладки. Все, что до него — это лишь цветочки.
                                                                • +2
                                                                  Это и есть кривь.

                                                                  Это кривь только у вас в голове. Да, если, в компании настолько надёжный код, что тестирует разработчик на своей машине, то тут ничего не поможет. Ну хотят денег на тестировании съэкономить — пусть экономят.

                                                                  И опять, в дебаге функциональность отлаживать проще: нет оптимизации, видны все переменные, куча дебажных проверок, в том числе на порчу кучи и т.д. При разработке только в релизе, часть проблем может оказаться не найдеными, да и время гораздо больше уйдёт. Да и вообще не верю я в разработку с /O2. Поэтому схема дебуг-релиз производит более надежные приложения. В принципе у нас в компании это очень хорошо видно. Один департамент в одной схеме работает, второй в другой (они не умеют дебаг собирать). Очень хорошо разницу видно.

                                                                  • –6
                                                                    Да посмотрите вы на реальный мир! Возможность комплексность комплексного тестирования и комплексной отладки — это чудо. Никто не даст вам завод или корабль на месяц тестирования. На несколько часов — максимум. А потом — опытная эксплуатация.

                                                                    Полноценное тестирование есть только там, где нету реального мира. А есть искусственный цифровой мир. Который можно скопировать для целей тестирования.

                                                                    И опять, в дебаге функциональность отлаживать проще

                                                                    Пьяный мужик что-то ищет под фонарем. Тут к нему под ходит милиционер и
                                                                    спрашивает: «Что вы тут делаете?» Мужик отвечает: «Ключи от квартиры
                                                                    ищу». «А где потерял?». «В парке». «А зачем здесь ищешь?».
                                                                    «А здесь светлее ».

                                                                    Согласен, проще. В тяжелых случаях используется и перекомпиляция с -O0 и вставка специального отладочного кода.

                                                                    При разработке только в релизе, часть проблем может оказаться не найдеными, да и время гораздо больше уйдёт.

                                                                    Так все-таки тестеры у вас работают с дебаг-версией? Или тестирует сам программист? Короче, кто находит проблемы в дебуг-версии?

                                                                    Да и вообще не верю я в разработку с /O2. Поэтому схема дебуг-релиз производит более надежные приложения.

                                                                    Только потому, что вы не верите? Мне очень грустно за вас стало…

                                                                    Один департамент в одной схеме работает, второй в другой (они не умеют дебаг собирать). Очень хорошо разницу видно.

                                                                    А вы заведите себе третий департамент, который не собирает релиз, а скорости достигает оптимизацией алгоритмов. я же говорил вам, что у нас отладка не выкидывается из продуктов. И ибо продукты проходят опытную эксплуатацию.

                                                                    а пока такого департамента у вас нету — вы не то сравниваете.
                    • +3
                      Почитал. Аппаратные брекопоинты — явно недоделанные. Мало того, что их нет для Си, так ещё и вручную считать размер данных. И пересчитать адрес после перекомпиляции автоматически он сам не может.

                      Скажу честно. Недоделанными их можно назвать, по сравнению с тем, что, например, Windbg умеет. Т.е. да, студия умеет следить только когда значение по некому адресу меняется (это именно то, что вы хотели). А про Си я вообще не понял.

                      Окна для изменения данных в структуре — просто нет. И даже не вижу окна для просмотра структуры с разворачиваем и сворачиваем её подструктур…

                      Если вы не видите окна для просмотра структуры, то с вами пока неочём разговаривать. Смотреть и редоктировать данные можно во многих местах (Locals, Watch, да просто навести мышкой на переменную, и смотри/редактируй, сколько влезет.

                      Окна регистров FPU тоже не вижу.

                      Оно ещё живо? Ооо.

                      Не говорю уже о том, что для VS++ POSIX — это оbsolete.

                      И что такого плохого, что компилятор стал работать согласно стандарту ISO C++, что об этом не стоит говорить? При этом не стандартные имена он так же поддерживает, но честно предупреждает, что если вы хотите, чтобы ваш код соответствовал стандарту и был кросс-платформенным, надо использовать не некие платформо-специфические функции, а их стандартные аналоги.

                      У коллег в VS++ только debug-сборка работает. В релизе у них просто не собирается…

                      Ну что, поздравьте ваших коллег.

                      Ну в общем VS++ — для тех, кто не видел возможности удобных отладчиков.

                      Вот вы явно со студией не работали нормально (это видно хотя бы по тому, что не знаете как переменные смотреть). Да, что-то прочитали в инете и как-то интерпретировали, что-то в курилки услышали от горе-коллег-партнёров… Поэтому от вас такой вывод странно слышать. Я как активный пользователь VS под винду и QtCreater под линукс (второе только для отладки) могу ответственно заявить, что отлаживаться в студии гораздо удобнее.

                      Может вам стоит совершить сумасбродство, и перейти на C++ Builder 6.0? :)
                      Зачем? Назовите хоть один важный для меня плюс...

                      Это я пошутил так.

                      А чем больше разных компиляторов — тем проще с портируемостью.

                      Я бы с этим согласился, если бы не то обстоятельство, что один из этих компиляторов даже не знает о существовании C++03, C++11, C++14. Вот сейчас всё просто. Мы когда под gcc портировали с VS2013, там уже такие мелочи оставались… В основном, замена WinAPI'шных функций на std аналоги…
                      • –4
                        А про Си я вообще не понял.

                        В MSDN написано, что аппаратные брейкпоинты только для С++, а не для чистого Си. Ну и по сравнению с тем, что я использую сейчас, они недоделанные.

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

                        Так покажите мне инспектор структур. Или ссылкой на MSDN или скриншотом. Судя по тому, что вы не понимаете, что это такое — такого окна в VC++ нет.

                        Почитайте про отладчик Delphi.

                        Ну или на скриншот посмотрите
                        image

                        Кардинальное отличие инспектора, что он показывает имена полей структуры, а для класса-ещё и имена методов и свойств. Для ответа на вопрос, «в порядке ли данный объект», мне достаточно сделать один клик мышкой с зажатым контролом. А вовсе не добавлять каждое поле объекта в окно Watch.

                        И что такого плохого, что компилятор стал работать согласно стандарту ISO C++, что об этом не стоит говорить?

                        Что плохого, что компилятор отказался от международных стандартов ANSI C и POSIX?! Да пусть отказывается, только мы такой компилятор использовать не хотим. Так, по мелочи, плагины написать. На большее он не годится.

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

                        Вот ровно для этого и придуман POSIX. Это универсальный язык общения с OS. И большая беда Windows, что POSIX подсистема в ней была не развита. В итоге в Win10 пришлось добавлять ядро линукс в режиме виртуальной машины.

                        Ну что, поздравьте ваших коллег.

                        Уже написали, что это design-баг. Ну или багофича.

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

                        Как переменные смотреть, я знаю… А вот как смотреть поля структуры или элементы связанного списка — нет. Рассказывайте. А что я мало работал со студией — это факт. я стараюсь работать с удобными продуктами. Поработай с Delphi — поймете, что такое удобный отладчик.

                        Я бы с этим согласился, если бы не то обстоятельство, что один из этих компиляторов даже не знает о существовании C++03, C++11, C++14.

                        А зачем нам они? Где в них киллер-фичи, которые заставят нас отказатьсяот потенциальных военных заказов? А военный заказ — это МСВС 3.0 с gcc 2.95.4. И полный запрет на установку и запуск любых программ, кроме собранных на МСВС из собственных исходных кодов.

                        Ну ладно, откажемся мы от военных заказов. От embeded нам тоже отказаться? Какие из ваших киллер-фичей влезут в 64 килобайта ПЗУ? А в такое же количество ОЗУ?

                        Мы пишем на Си с отдельными элементами С++. Сейчас я отлаживаюсь на довольно мощной машинке, у которой 192 килобайта ОЗУ и 512 ПЗУ. При этом у меня 8 килобайт кучи. Какие киллер-фичи новых версий С++ не вызовут фрагментации при 10 килобайтах кучи, из которых после начального захвата свободно 2 килобайта?

                        Если вы такие киллер-фичи знаете, то рассказывайте. В исходном С++ такой фичей были классы, ссылки и комментарии через //. А что полезного для нас добавили в новых версиях?
                        • +4
                          В MSDN написано, что аппаратные брейкпоинты только для С++, а не для чистого Си. Ну и по сравнению с тем, что я использую сейчас, они недоделанные.

                          Аппаратный брекпоинт ставится на адрес. Обычный нативный адрес. Там хоть на ассемблере программу пиши. Бряка поставится и сработает. Рекомендую, прежде чем судить о студии, всё таки попробовать сперва её поближе, не на уровне скриншотов.

                          Так покажите мне инспектор структур. Или ссылкой на MSDN или скриншотом. Судя по тому, что вы не понимаете, что это такое — такого окна в VC++ нет.

                          Я так и не особо понял, что вы хотите, может что-то такое?

                          Для ответа на вопрос, «в порядке ли данный объект», мне достаточно просто навести мышкой на переменную. А вовсе не зажимать контрол. И вовсе не добавлять каждое поле объекта в окно Watch (дикость какая).

                          Что плохого, что компилятор отказался от международных стандартов ANSI C и POSIX?! Да пусть отказывается, только мы такой компилятор использовать не хотим. Так, по мелочи, плагины написать. На большее он не годится.

                          Вы так и не сказали, что плохого в том, что компилятор C++ отказался от стандартов других языков и от стандартов для операционных систем в пользу стандарта своего языка? Я ещё раз приведу в пример strcmpi/stricmp. О нём в стандарте С99, например, тоже нет не слова. Потому что нет требований ни к одному из компиляторов эту функцию реализовывать. А вот операционная система должна реализовать такую системную функцию, иначе она не будет POSIX-системой. Т.е. здесь наоборот, переход от платформозависиой реализации к стандарту. Т.е. когда вы напишите stricmp, то это скомпилиться, заработает только на POSIX системах (на самом деле в POSIX её уже вроде как выкинули лет 15 назад, в пользу strcasecmp). Тоже самое с strdup, например. Ну нет в стандартах C и C++ этой функции. И даже более. В стандарте C написано, что функции которые начинаются с «str» зарезервированы, и их нельзя использовать. Но так как Майкрософт решила, что пусть функции можно не реализовывать, но они могут пригодиться клиентам, то она их оставила, но с именами, которые не конфликтуют со стандартом (префикс _ — это индикация, что это майкрософт-специфик). Открою ещё один секрет, gcc, например, тоже не реализовывает stricmp.

                          Вот ровно для этого и придуман POSIX. Это универсальный язык общения с OS. И большая беда Windows, что POSIX подсистема в ней была не развита. В итоге в Win10 пришлось добавлять ядро линукс в режиме виртуальной машины.

                          Вот я вообще не понял, для чего вы это написали. Есть стандарт для операционной системы, есть стандарты для языков, со своими стандартными библиотеками. Это разная вещь. Или вы предлагаете весь glibc запихать в ядро? А так да, каждая операционка предоставляет свой API, и вопрос какое api лучше: WinAPI или POSIX или ещё какое, к вопросу о компилятору языка отношения не имеет вообще.

                          Ну что, поздравьте ваших коллег.

                          Уже написали, что это design-баг. Ну или багофича.

                          Не понял про design-баг ну или багофичу. А нас это называется другими словами: кривые руки, распиздяйство, несостоятельность, и т.д. Помните, я рассказывал о соседнем департаменте с похожей проблемой? Ну так одного из них, кто нам слишком рьяно доказывал, что им это совершенно невозможно разобраться и поправить, один из нашего департамента однажды назвал жертвой аборта, но это уже слишком грубо на мой взгляд.

                          Как переменные смотреть, я знаю… А вот как смотреть поля структуры или элементы связанного списка — нет. Рассказывайте.

                          Рассказываю: просто наведите на переменную мышкой. Всплывёт окно (похожее на locals на скриншоте выше). Если std::vector<> заменить на std::list, то в визуализаторе ничего не поменяется, также все элементы будут видны. Новый скрин не прикладываю, так как там кроде замены vector на list ничего не поменялось. Но! Дальше я рекомендую меньше читать в инете, а больше пробовать самому. Вот попробуйте сами посмотреть как list будет показываться в отладчике.

                          Поработай с Delphi — поймете, что такое удобный отладчик.

                          Спасибо, но нет. Я уж лучше на плюсах, по старинке. Или уж на шарпах. Возвращаться к дельфи/билдеру желания нет.

                          А зачем нам они? Где в них киллер-фичи, которые заставят нас отказатьсяот потенциальных военных заказов? А военный заказ — это МСВС 3.0 с gcc 2.95.4. И полный запрет на установку и запуск любых программ, кроме собранных на МСВС из собственных исходных кодов.

                          Если верить вики по вашей ссылке, то там везде gcc 4.1 поддерживается. Не густо, конечно, но и не ужас с 2.95. Нам с Astra-linux больше повезло, gcc 4.9, код в бинарном виде сертифицируется, и потом будет ставится. А по поводу киллер-фич, то если вы незнакомы с C++11/C++14, и с тем, насколько сейчас проще и быстрее писать более безопасный код (например, сейчас даже new/delete уже не надо писать в коде), то нам не о чём дальше разговаривать.

                          Какие из ваших киллер-фичей влезут в 64 килобайта ПЗУ? А в такое же количество ОЗУ?

                          Большая часть «киллер-фич» — языковые, они не увеличивают кол-во получаемого кода. Например, написание «auto it = » вместо «std::map<std::string, std::vector<std::string>>::const_iterator it = » ну никак не повлияет на размер кода. Тоже и с лямбдами, например, или с rvalue-ссылками.

                          Мы пишем на Си с отдельными элементами С++. Сейчас я отлаживаюсь на довольно мощной машинке, у которой 192 килобайта ОЗУ и 512 ПЗУ. При этом у меня 8 килобайт кучи. Какие киллер-фичи новых версий С++ не вызовут фрагментации при 10 килобайтах кучи, из которых после начального захвата свободно 2 килобайта?

                          Вообще ничего не понял про фрагментацию кучи. Это тут при чём?
                          • –1
                            Аппаратный брекпоинт ставится на адрес. Обычный нативный адрес. Там хоть на ассемблере программу пиши.

                            Тем страннее ограничение MSDN.

                            Рекомендую, прежде чем судить о студии, всё таки попробовать сперва её поближе,

                            Нет, спасибо. Хватило адаптации кода для неё. Боль примерно та же, что и с адаптацией сайта под IE. При этом со всеми остальными компиляторами и операционками — проблем было мало. Даже с WIN32 на linux перешли с меньшей болью, чем при адаптации к VC++

                            Я так и не особо понял, что вы хотите, может что-то такое?

                            Уже похоже. А VC++ может иметь 5-7 окон инспектора на экране одновременно (а не рассованные по разным вкладкам)? Иногда есть необходимость сразу несколько структур раскрывать.

                            Для ответа на вопрос, «в порядке ли данный объект», мне достаточно просто навести мышкой на переменную

                            я не настолько крут и разобраться в хите длиннее 1024 символов не могу. :-) Особенно, если первые 4К не несут важной информации. :-) Всплывающие подсказки хороши для простых типов, а не для объектов.

                            А так да, каждая операционка предоставляет свой API

                            Да нет… Все современные операционки предоставляют POSIX. И только windows — WinAPI. Чтобы выйти за пределы POSIX нужно уж совсем в дебри залезать. Более того, часть POSIX Уже перешла в стандарт языка Си.

                            Не понял про design-баг ну или багофичу. А нас это называется другими словами: кривые руки, распиздяйство, несостоятельность, и т.д.

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

                            Вы так и не сказали, что плохого в том, что компилятор C++ отказался от стандартов других языков и от стандартов для операционных систем в пользу стандарта своего языка?

                            Все отлично, просто для нас это чудовище чудо не пригодно. Скорее уж мы откажется от используемых элементов С++, чем от языка Си. Процессоры, где нету С++ бывают. А вот Си есть практически везде. Даже на очень странных машинках с 32битными байтами.
                            Потому что нет требований ни к одному из компиляторов эту функцию реализовывать.

                            Жалко, что вы не изучали язык FORTRAN. В фортране было разделение между стандартными внутренними функциями, которые могли реализовываться компилятором, и стандартными внешними функциями, которые реализовывались библиотекой.
                            Так вот, всякие asin никогда компилятором не реализуются. Компилятор может реализовать sqrt или fabs, потому что в сопроцессоре могут быть соответствующие машинные команды.

                            Открою ещё один секрет, gcc, например, тоже не реализовывает stricmp.

                            Согласитесь, что кровать — это не холодильник, а библиотека — не компилятор.? Так что открою вам другой секрет — gcc не реализует и strcpy — это делает библиотека. А POSIX-совместимых библиотек весьма много (мы используем glibc, uClibc, Newlib). И все они кроссплатформенные и реализуются на любой нормальной ОС (и даже на части ненормальных. например есть на винде, просто не от микрософта).

                            и вопрос какое api лучше: WinAPI или POSIX или ещё какое, к вопросу о компилятору языка отношения не имеет вообще.

                            к нормальному компилятору — да, не имеет. Но вы видели, чтобы VC++ работал не с микрософтовским clibc? Если вы знаете альтернативу — дайте ссылку. Вы же не на пустом месте спутали компилятор с библиотекой. У VC++ библиотека — часть компилятора. Увы, не заменяемая.

                            Если верить вики по вашей ссылке, то там везде gcc 4.1 поддерживается.

                            А если почитать внимательно — там gcc 2.95.4. Сертификация идет на конкретную версию МСВС и стоит миллионы. Сертифицировано МСВС 3.0 — или платите миллионы за сертификацию МСВС 5.0 или живите на gcc 2.95.4

                            то если вы незнакомы с C++11/C++14, и с тем, насколько сейчас проще и быстрее писать более безопасный код (

                            Увы, знаком. Ничего сильно полезного для нас не вижу. ну попробуйте, найдите хоть одну киллер-фичу.

                            Например, написание «auto it = » вместо «std::map<std::string, std::vector<std::string>>::const_iterator it = » ну никак не повлияет на размер кода.

                            я же писал, что на SOC обычно не используют кучу. Так что std::vector нам вообще не нужен. И даже там, где куча есть,, лучше использовать специальные библиотеки для многомерных матриц, чем возиться с std::vector<std::vector<std::vector<std::vector><std::vector>>>> Неужели вы не понимаете, что std::vector придумали для совсем других целей, а не для многомерных массивов. Посмотрите, насколько уродлив код с std::vector<std::vector>> и насколько он красив с eigen. Впрочем eigen — это чуть иной проект

                            я согласен, если микроскопом забивать гвозди, он потребует многих улучшений. А если молотком… ну так молоток 18ого века — вполне нормальный инструмент.

                            Лямбды… ну опыт АЛГОЛ-60 показал, что лучше их не использовать, чем использовать. Опять-таки, не актуально в связи с отсутствием у нас контейнеровв STL.

                            rvalue-ссылки… ну нету у нас лишних копирований. Просто нету. И потребности в этой семантике нету. Фишка полезная. но не для нас.

                            Вообще ничего не понял про фрагментацию кучи. Это тут при чём?

                            При том, что из-за опасности фрагментации (отказ программ в малопредсказуемый момент) мы не используем кучу совсем. Для того, чтобы в проекте можно было бы использовать кучу нужна или виртуальная память + swap или памяти должно быть процентов на 60 больше необходимого.

                            А вот возможность ценой не очень больших усилий отказаться от С++ и в части модулей перейти на Си — это киллер-фича.
                            • 0
                              Тем страннее ограничение MSDN.

                              Повторю совет: меньше читать в инете, больше пробовать самому

                              Нет, спасибо. Хватило адаптации кода для неё. Боль примерно та же, что и с адаптацией сайта под IE. При этом со всеми остальными компиляторами и операционками — проблем было мало. Даже с WIN32 на linux перешли с меньшей болью, чем при адаптации к VC++

                              Вот прямо возникает вопрос: а вы под какую студию код адаптировали? Не под 5.0? Просто сейчас вот у нас проблема, что gcc 4.9 хуже стандарт поддерживает, чем студия. Я вот уже заколебался код «доунгрейдить», чтобы он у нас под линукс тоже собирался. Про интеловский компилятор я тоже говорил уже, не взлетел тоже в силу ущербности той версии, что была в 2013м компосере (сейчас в 2017м конечно лучше должно встать, но уже на gcc переехали под линукс).

                              Уже похоже. А VC++ может иметь 5-7 окон инспектора на экране одновременно (а не рассованные по разным вкладкам)? Иногда есть необходимость сразу несколько структур раскрывать.

                              Окно просмотра переменной можно пинить, и хоть 5, хоть 7, хоть 57 их иметь. Лучше попробуйте, множество вопросов отпадёт.

                              я не настолько крут и разобраться в хите длиннее 1024 символов не могу. :-) Особенно, если первые 4К не несут важной информации. :-) Всплывающие подсказки хороши для простых типов, а не для объектов

                              Вот видно, что так и не попробовали. Там не хит на 4к символом всплывает, а полноценное окно просмотра/редактирования переменной. Да, такое же как на моём скриншоте окна locals.

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

                              Не передёргивайте. Моё высказывание не относилось к качеству дизайна майкрософт (хотя иногда даже у МС встречается такие, что хочется эти же эпитеты к ним применить).

                              Потому что нет требований ни к одному из компиляторов эту функцию реализовывать.
                              Жалко, что вы не изучали язык FORTRAN. В фортране было разделение между стандартными внутренними функциями, которые могли реализовываться компилятором, и стандартными внешними функциями, которые реализовывались библиотекой.
                              Так вот, всякие asin никогда компилятором не реализуются. Компилятор может реализовать sqrt или fabs, потому что в сопроцессоре могут быть соответствующие машинные команды.

                              Вот не надо меня жалеть, что я Фортран не изучал. Это как пожалеть, что в армии 2 года не служил. И собственно ваш аргумент ни о чём. Ну пусть в Фортране есть внутренние и внешние функции. Это не значит, что он с бодуна должен вдруг начать реализовывать функции не из своего стандарта, например, из стандарта POSIX'а.

                              А POSIX-совместимых библиотек весьма много (мы используем glibc, uClibc, Newlib). И все они кроссплатформенные и реализуются на любой нормальной ОС (и даже на части ненормальных. например есть на винде, просто не от микрософта).

                              Отлично, что их много. Как много 100500 других библиотек, некоторые из котолрых реализуют так же свои стандарты. Но это не повод называть компилятор (хоть от майкрософт, хоть от интел, хоть ещё какой), плохим словом, если их рантайм не поддерживает эти левые стандарты.

                              и вопрос какое api лучше: WinAPI или POSIX или ещё какое, к вопросу о компилятору языка отношения не имеет вообще.
                              к нормальному компилятору — да, не имеет. Но вы видели, чтобы VC++ работал не с микрософтовским clibc? Если вы знаете альтернативу — дайте ссылку. Вы же не на пустом месте спутали компилятор с библиотекой. У VC++ библиотека — часть компилятора. Увы, не заменяемая.

                              Ну как бы никаких предпосылок, что он может с ним не заработать нету. А так вы вот до 2012-й студии stlport, например, использовали, крутая штука, кстати была 12 лет назад. И опять таки, к сравнению POSIX-api и WinAPI это отношения не имеет. Вообще. Берите любой компилятор (хоть gcc, хоть clang, хоть интеловский, хоть Builder, хоть VC), вам будет доступна стандартная библиотека и API операционной системы. Т.е. под gcc все WinAPI'шные функции также доступны под виндой.

                              А если почитать внимательно — там gcc 2.95.4. Сертификация идет на конкретную версию МСВС и стоит миллионы. Сертифицировано МСВС 3.0 — или платите миллионы за сертификацию МСВС 5.0 или живите на gcc 2.95.4

                              Я, наверное, плохо выделил слово везде. На вики написано, что и под MCBC 3.0 доступен 4-й gcc. Не надо для этого на MCBC 5.0 переходить.

                              Увы, знаком. Ничего сильно полезного для нас не вижу. ну попробуйте, найдите хоть одну киллер-фичу.

                              Так все думают (да, да, мы думали абсолютно так же), пока не переходят на новый компилятор, и внезапно С++11/С++14 код не начинает пролазить во все места в которые может и не может. И дело может быть даже в одной киллер-фиче, а в общем упрощении и убыстрении написания кода (при этом более безопасного и эффективного).

                              И даже там, где куча есть,, лучше использовать специальные библиотеки для многомерных матриц, чем возиться с std::vector<std::vector<std::vector<std::vector><std::vector>>>> Неужели вы не понимаете, что std::vector придумали для совсем других целей, а не для многомерных массивов.

                              Вы так пишете, как будто я пытаюсь вас убедить в том, что vector<vector<vector<...>>> это круто и надо использовать только их, особенно для многомерных массивов :-). Не надо мне лишних грехов приписывать, у меня и так своих немало.

                              я согласен, если микроскопом забивать гвозди, он потребует многих улучшений. А если молотком… ну так молоток 18ого века — вполне нормальный инструмент.

                              Хорошая аналогия, я бы до такой не догадался :-). Да, молоток 18-го века, вполне нормальный инструмент, сам таким пользуюсь. А вот профессионалы (по крайней мере, те, что мне ремонт делали), используют гвоздезабиватели (проще, быстрее, и безопаснее, в плане, что хрен ошибёшься).

                              Лямбды… ну опыт АЛГОЛ-60 показал, что лучше их не использовать, чем использовать. Опять-таки, не актуально в связи с отсутствием у нас контейнеровв STL.

                              rvalue-ссылки… ну нету у нас лишних копирований. Просто нету. И потребности в этой семантике нету. Фишка полезная. но не для нас.

                              Блин, у меня аж голова сломалась :-( Причём тут ваш печальный опыт на АЛГОЛ-60 и лямбды в C++? (Секс… ну опыт ТетяМашка-60 показал, что лучше им не заниматься, чем заниматься.). Какую связь лямбры имеют с stl-контейнерами? (это прямо мозг вынесло). Ну и как бы я сильно рад за вас, что у нас нету лишних копирований (а у кого они есть?).

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

                              Мой вопрос был, как это связано, используете вы кучу или нет, с фичами C++11/C++14?
                              • –2
                                Честно говорю — эта дискуссия отнимает слишком много сил от работы.

                                Повторю совет: меньше читать в инете, больше пробовать самому

                                Напробовался. Цензурных слов нет, очень тянет блевать. я понимаю, у вас логика наркомана: да как ты можешь судить о героине, если ты 5 лет не кололся?!

                                а вы под какую студию код адаптировали? Не под 5.0?

                                2012ая вроде.

                                «Там не хит на 4к символом всплывает, а полноценное окно просмотра/редактирования переменной.»

                                То есть случайно мышку оставил над переменной, а потом окно закрывать? Ну очередной минус VC++.

                                Ну пусть в Фортране есть внутренние и внешние функции.

                                Они есть во всех языках, только стандарт фортрана их выделил явно. Внутренние — это те, про которые компилятор знает. А внешние — про которые не знает.

                                Но это не повод называть компилятор (хоть от майкрософт, хоть от интел, хоть ещё какой), плохим словом, если их рантайм не поддерживает эти левые стандарты.

                                Угу, типичное мнение любителя микрософт. я выбираю инструменты под свои задачи. И говорю, что данный инструмент плох для наших задач. А мне начинают втюхивать, что задачи у нас неправильные, код не тот, операционные системы не те, железки не такие… Ну в общем нужно все бросить, фирму закрыть и идти путем one microsoft way. Вам самому не грустно?

                                Ну как бы никаких предпосылок, что он может с ним не заработать нету.

                                Ну-ну, попробуйте для начала. Даже gcc не позволяет, чтобы проект, скомпилированный для glibc, запустился с uClibc. Компилятор вызывает много служебных процедур, которые в разных библиотеках разные.

                                Я, наверное, плохо выделил слово везде. На вики написано, что и под MCBC 3.0 доступен 4-й gcc.

                                Что за бред? Вы хоть раз с МСВС работали? Ещё раз: сертификация идет на конкретную версию и редакцию МСВС по конкретному процессору. Никакой софт, кроме самописного ставить туда нельзя. Новая редакция с новым gcc — повезло. Старая редакция — платите миллионы за новую сертификацию или пользуйтесь тем, что есть. Мой вам совет — поработайте с МСВС, а потом судите. Не вот, увы, пришлось. Повезло. Кто-то подсуетился вовремя и оплатил сертификацию более нового варианта на тот же sparc МЦСТ R500. Но адаптировать я ядру 2.4 и gcc 2.95.4 все равно пришлось.

                                и внезапно С++11/С++14 код не начинает пролазить во все места в которые может и не может.

                                Упаси нас боже от этого ужаса. Лучше уж вернуться на голый Си.

                                А вот профессионалы (по крайней мере, те, что мне ремонт делали), используют гвоздезабиватели

                                Там, где нужна надежность — никогда не используется ничего нового. Все детали — только реально проработавшие 10-20 лет. С известной опытным путем (а не теоретически) наработкой на отказ. Все технологии — старые, с известными проблемами и способами их решениях. Любая операционка — после третьего сервис-пака (одна из причин, почему в банкоматах до сих пор Windows XP). Нужна была бы вашим «профессионалам» надежность — использовали бы молотки. Просто потому, что ремонт гвоздезабивателя в поле — то ещё приключение.

                                Причём тут ваш печальный опыт на АЛГОЛ-60 и лямбды в C++?

                                я вам ссылку дал — почитайте внимательно. АЛГОЛ-60 использовал лямбды в виде передачи параметров по наименованию. Выражение, переданное, как параметр запроцедуривалось, и исполнялось в точке обращения. Это приводило к возможности вызывать самые разные побочные эффекты и к красивым трюкам. Через 10-20 лет общее мнение пришло к тому, что это был design-баг и лучше передачу по наименованию не использовать.

                                Какую связь лямбры имеют с stl-контейнерами?

                                А где они ещё нужны? Типовой пример из вики
                                std::vector<int> someList;
                                int total = 0;
                                std::for_each(someList.begin(), someList.end(), [&total](int x) {
                                  total += x;
                                });
                                std::cout << total;
                                

                                Да, это действительно наглядней и удобней. Но без STL — просто не нужно.

                                Ну и как бы я сильно рад за вас, что у нас нету лишних копирований (а у кого они есть?).

                                У тех, кто выдает объект как результат функции. Например часто результатом функции бывает std::string. Вот тут экономия огромная.

                                Мой вопрос был, как это связано, используете вы кучу или нет, с фичами C++11/C++14?

                                Летели два крокодила, один зеленый, а другой в Африку.
                                Вопрос: Сколько лет бритому ежику.
                                Ответ: зачем мне холодильник, если я не курю.


                                Мы не используем кучу. Следовательно, мы не используем STL. Мы вообще пишем на Си с некоторыми элементами С++. Вот и подумайте, какие элементы С++14 будут полезны в Си? что-нибудь равно по силе использованию ссылок вместо указателей. Есть такое? Ах нету? Ну вот то-то, что нету. :-)
                                • +1
                                  Но без STL — просто не нужно.

                                  Я использую лямбды и без STL. Возможность сформировать анонимную функцию вот прям здеся в точке вызова — она, ну, удобная и полезная не только в STL. Это позволяет писать более обобщённый код и производить более точную декомпозицию.


                                  Какие ещё киллер-фичи — автоматический вывод типов, вариадики, constexpr, да мало ли.


                                  Я на этом C++14 символьное взятие производных в компил-тайме написал, что сильно облегчило поддержку и разработку кода для одного моего вычислительного эксперимента. Никакой кучи, никаких new в рантайме.


                                  В соседнем проекте у меня есть автоматическая генерация байндингов к базе данных для недоORM по простому описанию структуры, отвечающей таблице. И никакого STL там нет.


                                  В ещё одном проекте есть обощённая и красиво декомпозированная очередь заданий с пулом, адекватной обработкой ошибок на уровне типов (Either, монадки, вот это всё), композабельные асинхронные примитивы (тоже монадки, если подумать), обобщённые примитивы для применения вызывабельных объектов (это как функторы, но мне после хаскеля не хочется использовать слово «функтор» в плюсовом смысле) (о, и лямбды можно!) поверх этого всего счастья (монадки же, аппликативные функторы, все дела).

                                  • –3
                                    Возможность сформировать анонимную функцию вот прям здеся в точке вызова — она, ну, удобная и полезная не только в STL.

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

                                    автоматический вывод типов

                                    То есть убрать возможность проверки? Это само по себе является источником ляпов. А вкупе с системой приведения типов — невообразимым источником разных глюков.

                                    std::string str= "ворона";
                                    auto s = str;
                                    auto k = 'k';
                                    s = k;
                                    

                                    И вы долго будете искать вашу корону…

                                    вариадики

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

                                    constexpr

                                    Ещё одна костыльная недофича. Хорошая недофича, конечно. Но пока вы не сможете в compile-time создавать новые операторы — это все будет недофичей. Ну вот не нравится вам, что #elif есть, а elif нету — ну взяли и написали сами, как это делается в FORTH. Думаю, ч то лет за 50 С++ продвинется в этом направлении. constexpr — это шаг в нужную сторону. Но это все-таки костыль, по сравнению с прямой кодогенерацией в compile-time в FORTH.

                                    да мало ли.

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

                                    Я на этом C++14
                                    у меня есть
                                    мне после хаскеля

                                    Ну у вас и компы не на 18мегагерц работают. И памяти — не 64килобайта. И отладка без паяльника и осциллографа идет. И ещё много-много чего не так.

                                    Давай не путать — мы ненастоящие программисты. У нас многое не так.
                                    • +2
                                      Но абсолютно бесполезная для нас. Нету у на временных функций, нужных только в точке вызова.

                                      Возможность их легко и дёшево создавать меняет мышление. Это поначалу только кажется, что лямбды только для STL нужны. Неа.


                                      То есть убрать возможность проверки? Это само по себе является источником ляпов.

                                      И как вам указание типа сильно поможет? Особенно с учётом приведений, опять же.


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

                                      Ну, тут я согласен. Преобразование типов — зло.


                                      И вы долго будете искать вашу корону…

                                      А что ваш пример призван показать? В s будет символ k, длина строки равна единице. Что не так?


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

                                      Темплейты (и вообще статический полиморфизм) — это механизм, позволяющий абстрагировать и переиспользовать код. Причём тут библиотеки?


                                      Но пока вы не сможете в compile-time создавать новые операторы — это все будет недофичей.

                                      Почему это? Вообще какие-то ортогональные вещи, как по мне.


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

                                      А С вам зачем? Что там есть такое, что принципиально невыразимо на ассемблере?


                                      Ну у вас и компы не на 18мегагерц работают. И памяти — не 64килобайта. И отладка без паяльника и осциллографа идет. И ещё много-много чего не так.

                                      На C++ под attiny какой-то, где мегагерц ещё меньше, а памяти в окрестности килобайта, я писал. С шаблонами и вот этим всем. Не на C++11, правда, он тогда C++0x ещё назывался и поддерживался не очень, год был где-то 2008-й.

                                      • –4
                                        А что ваш пример призван показать? В s будет символ k, длина строки равна единице. Что не так?

                                        Желание программиста. Явно имелось ввиду не то, что написано.

                                        И как вам указание типа сильно поможет? Особенно с учётом приведений, опять же

                                        Была очень веселая история в 1998 ногу. Тестирую, вижу баг, пишу @yole — мол у тебя вещественный тип вместо денежного. Он в ответ — у меня все норм. На четвертый раз дал ему тестовый пример, он убедился. Через четыре часаЧертова Венгерская нотация.!!!!/ Мало назвать переменную так, как читает верным микрософт, надо ещё и на самом деле дать ей нужный тип.

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

                                        Возможность их легко и дёшево создавать меняет мышление.

                                        Героин — тоже. А из дешевого — можно бензин нюхать. :-) Аналогия прямая — все трое приводят к глюкам.

                                        Темплейты (и вообще статический полиморфизм) — это механизм, позволяющий абстрагировать и переиспользовать код. Причём тут библиотеки?

                                        Да по определению "Библиоте́ка (от англ. library) в программировании — сборник подпрограмм или объектов, используемых для разработки программного обеспечения (ПО)". Впрочем, я соглашусь, что молодое поколение имеет право не знать изначальный смысл этого слова.

                                        Но мне все это «переиспользование» напоминает смешную историю 1998ого года. Тогда тот же yole нашел настройку, позволяющую менять количество часов в сутках. Ну вдруг у кого-то 25 часов или 18… :-) За очень редкими исключениями, алгоритмы не инвариантны относительно типов. То есть, сделав алгоритм для double — не надо его расширять на float или int64. Да, есть синтаксический сахар в том, чтобы дать алгоритму сильную типизацию, то есть не просто double, а отдельно TWieight(масса), а отдельно — TVolume(объем).

                                        Но все эти красоты — увы, не перевешивают проблем с отладкой темплейтов.

                                        Так что темплейты нужны на своём месте — там, где код многократно будет использоваться с заведомо разными типами. А таких мест у нас в проекте нету.

                                        А С вам зачем? Что там есть такое, что принципиально невыразимо на ассемблере?

                                        А Си как раз и писался, как универсальный ассеблер (сначала PDP-8, потом PDP-11). *dst++ = *src++; — это одна машинная команды MOV (R3)++, (R2)++.

                                        На C++ под attiny какой-то, где мегагерц ещё меньше, а памяти в окрестности килобайта, я писал.

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

                                        — Я духов вызывать могу из бездны
                                        — И я могу и каждый это может.
                                        — Вопрос лишь, явятся ль они на зов.
                                        • 0
                                          Желание программиста. Явно имелось ввиду не то, что написано.

                                          Я так и не понял, кто что желал. Судя по коду, программист явно желал, чтобы строка s == «k», что и исполнено. В чём проблема?
                                          • –3
                                            Хотелось что-то вроде *s = 'K'. То есть ворону в корону превратить. :-)
                                            • +2
                                              Ну это было не явно из вашего кода. У вас какое-то особое мнение.
                                              • –4
                                                Знаете в нашей профессии столько неявного. Ошибка в одной букве и Word превращает «персональный» в анального перса. :-) Ситуации, когда описка в одном знаке влечет не выявляемую компилятором ошибку- опасныеситуации. Если вы используете такие конструкции, то статический анализатор становится обязательным.
                                                • 0

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

                                                  • –2
                                                    int &k=1; не прокатит. Достаточно? Или вам нужно в любом контексте? Тогда что-то типа /bin/sh, где для обращения к значению переменной нужно явно делать операцию разыменования, то есть $I
                                                • +1
                                                  Тогда попробуйте PVS, вдруг реально будет помогать!
                                                  • –2
                                                    Попробовать — попробую. Но пока чтение рекламных статей PVS-studio оставляет впечатление. что он нам не нужен. Сколько ни читал — ну ни разу не было «ой, мы за таким же багом 3 дня гонялись». Было наоборот — нифига себе, какую ерунду люди пишут.

                                                    Видимо следствие того, что наши проекты маленькие до 100 тысяч строк и весь код целиком сидит в мозгу. В больших проектах бардака как-то побольше. Ну или дело в том, что мы просто не используем опасных конструкций.

                                                    Но я потестируюсь, как время будет. И отчет напишу. Вполне возможно, что я ошибаюсь кардинально.

                                                    • +2
                                                      Сколько ни читал — ну ни разу не было «ой, мы за таким же багом 3 дня гонялись».

                                                      Пример использования статического анализатора.
                                                      • –4
                                                        Вы не поняли. я о том, что ни разу не видел, чтобы статический анализатор нашел баг, аналогичный тому, что уже встречался в нашем в унаследованном коде и был найден вычиткой кода или отладкой.

                                                        Да, у нас тоже был баг, за которым гонялись долго: математик решил, что математическая эквивалентность означает, что компилятор «оптимизирует все» и сделал установку бита в маске через возведение в степень вместо сдвига.

                                                        Оно замечательно работала на x86 потом что сопроцессор работает с 80битными long double, А вот на ARM, увы, только double длиной 64 бита. В итоге вместо на 2**31 выдавало на единичку меньше.

                                                        Ещё была смешная история про проверку пустоты строки через strlen. Оно работало, но настолько неэффективно… строки там по 4К были…

                                                        Общее впечатление от ваших статей — ну вот как у вас от проверки Clang. Вы же не стали ежедневно проверять свой код Clang, после того как он нашел у вас ошибки?

                                                        Но я ещё раз обещаю, что наш код бесплатной версией проверю и статью с результатами напишу.
                                                        • +3
                                                          Вы же не стали ежедневно проверять свой код Clang, после того как он нашел у вас ошибки?

                                                          Проверяем каждый день (см. «Тестирование PVS-Studio»).
                                                          • –5
                                                            Ткните меня носом в нужную строчку, пожалуйста. Вижу "мы дополнительно используем компилятор Clang для проверки C++ кода." Но компилятор Clang и Clang Static Analyzer все-таки не одно и то же.

                                                            Если считать их одним и тем же, так мы тогда тоже Clang используем. С практически нулевым результатом.
                                                            • +5
                                                              Ну написано в статье неудачно. Хватит уже всех троллить, придираясь к словам и фразам.
                                                              • –5
                                                                Да не троллю я и не придираюсь. Мышление формальное. Как написано, так и читается. Исключения — только когда на саппорте работаю. Вот там любое слово может любое понятие изображать.

                                                                знаете историю про налево?
                                                                Дама у трех вокзалов садится в такси.
                                                                Машет рукой вправо:
                                                                — поворачивайте налево, налево!!!
                                                                Водитель поворачивает налево.
                                                                — Куда же вы? У нас в Расее куды кажут, там и лево!
                                            • +1

                                              Я бы такой код на ревью не пропустил хоть со си-строками, хоть с чем хотите. s[0] = 'K' читабельнее, вызывает меньше WTF и вообще.


                                              И, кстати, работает как ожидается с std::string.

                                              • –4
                                                Увы, у std::string есть перегрузка оператора присваивания от сhar
                                                string& operator= (char c);
                                                


                                                А код — да, кривой, не спорю. В хорошем коде — лучше без auto. Ну разве что в темплейтах — там может так сложиться, что без него не обойтись.
                                                • 0

                                                  А причём тут auto? Написали бы вы где надо std::string, где надо char — как бы это вас спасло?

                                                  • 0
                                                    Да, ляп был бы понятней и нашелся бы мной при чтении кода. А с auto — его пропустить проще.
                                                    • +6
                                                      нашелся бы мной

                                                      Ну сказали бы, что код без аннотаций типов вы читать не можете. Так нет, auto виноват.


                                                      Я в упор не понимаю, как этот ляп с auto пропустить проще, серьёзно.

                                                      • –5
                                                        Знаете, тоже в упор не понимаю, как можно вместо 1<<N написать pow(2,N). Но выяснилось, что можно. Правда авто бага — математик, а не программер. Все-таки программер обычно понимает кодогенерацию, а не рассчитывает, что оптимизатор выручит.

                                                        Ну сказали бы, что код без аннотаций типов вы читать не можете

                                                        я читаю код даже на тех языках, которых не знаю. И даже какие-то баги нахожу. :-) Но одно дело — найти какие-то ошибки, а другое дело — найти все. Наличие auto понижает шансы на нахождение ошибки. Хотя и делает код более (а не менее) читабельным.
                                                        • +4
                                                          Все-таки программер обычно понимает кодогенерацию, а не рассчитывает, что оптимизатор выручит.

                                                          Обычно достаточно понимать семантику языка.


                                                          Наличие auto понижает шансы на нахождение ошибки.

                                                          Для вас, опять же.

                                                          • –6
                                                            2**N и 2<<N обладают одинаковой семантикой. pow(2,N) тоже по семантике не отличается от 2**N. Но рассчитывать, что компилятор превратит pow(2,N) в 2<<N нельзя — кодогенерация совсем разная.

                                                            Хотя — тут многое зависит от определений слов, потому я прошу привести, где в вашем толковании проходит граница.

                                                            Что касается auto, то почти 60 лет истории языков программирования вполне доказали, что языки, требующие явного указания типа — более надежны, чем языки с неявной типизацией. Мне как-то казалось, что споры о этом утихли примерно к 1975ому году вместе со спорами о GOTO. Но видимо развитие идет по спирали и молодняк просто не в курсе.
                                                            • +4
                                                              2**N и 2<<N обладают одинаковой семантикой. pow(2,N) тоже по семантике не отличается от 2**N. Но рассчитывать, что компилятор превратит pow(2,N) в 2<<N нельзя — кодогенерация совсем разная.

                                                              Рассчитывать на компилятор вообще не стоит, и чувствительные к производительности вещи надо профилировать. А до того — писать то, что читабельнее и что надёжнее.


                                                              pow(2,N) очевидно надёжнее, не надо заморачиваться с правилами битовых сдвигов в C.


                                                              Что касается auto, то почти 60 лет истории языков программирования вполне доказали, что языки, требующие явного указания типа — более надежны, чем языки с неявной типизацией.

                                                              Во-первых, адекватному выводу типов хорошо если 30 лет — того же Хиндли-Милнера допилили примерно в 80-х. В плюсах, конечно, не он, но мы ведь говорим здесь о языках в общем, не так ли?
                                                              Во-вторых, где это они доказали? Можно почитать? А то молодняк действительно не в курсе.

                                                              • –6
                                                                pow(2,N) очевидно надёжнее, не надо заморачиваться с правилами битовых сдвигов в C.

                                                                Вы математик что ли?! Или только на x86 работали? На АРМ 2**31 дал результат на единицу меньше. И вместо нужного бита в битовой маске установились все биты кроме нужного. Искали это полтора года, нашли вычиткой текста.
                                                                И это как раз тот баг, ради поимки которого не жалко денег на статический анализатор.

                                                                Скажите, а strlen(str) > 0 тоже для вас лучше *str != 0? А на строках размером 4килобайта? Семантика одинаковая. зато кодогенерация разная…

                                                                Во-первых, адекватному выводу типов хорошо если 30 лет

                                                                Багоусточивый вывод типов — это миф.
                                                                auto x = 1;
                                                                auto y = 2;
                                                                double xy = x / y;

                                                                И получаем 0 вместо 0.5. Написали бы double вместо auto — все хорошо бы было.

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

                                                                Это все было задолго до интернета. Поищите дискуссию про implict none (запрет автоматического определения типа по имени переменной в FORTAN). Ну как бы общее место Поэтому запомните правило: ставить implicit none всегда, а затем корректно обрабатывать вылезающие ошибки. Иначе рано или поздно нарветесь на проблемы. Но сам implict noneпоявился в фортране с большими боями. Слишком уж удобно было, что I. J, K — целые, а X, Y, Z — вещественные.

                                                                Вторая история это язык Ада, специально спроектированный для надежных применений. И там тоже в требования попало явное указание типа, как приводящее к большей надежности.

                                                                Тут есть другой момент. Кроме того, что в Fotran и BASIC использовалась неявная типизация, там ещё и использовалось неявное описание имен переменных. И критика этих разных сущностей сливалась вместе.

                                                                В целом, есть хорошая обзорная статья о плюс и минусах разных систем типизации.

                                                                Если сильно надо — могу покопаться в библиотеке, но она у меня на родительской квартире осталась.

                                                                А идея простая. Любая избыточность в тексте программы дает компилятору (и статанализатору) больше информации для проверки. Взамен — замедляется написание кода. Поэтому короткие программы удобнее писать на BASIC, а длинные и надежные — на чем-то алголоподобном (Си, Pascal...)

                                                                • 0
                                                                  Вы математик что ли?! Или только на x86 работали? На АРМ 2**31 дал результат на единицу меньше. И вместо нужного бита в битовой маске установились все биты кроме нужного.

                                                                  Значит, вам так повезло в данном конкретном случае, что комбинация размеров типов и поведения оператора сдвига дала нужный вам результат. Сами понимаете, что такой код не очень портируемый и не очень поддерживаемый.


                                                                  Скажите, а strlen(str) > 0 тоже для вас лучше *str != 0? А на строках размером 4килобайта?

                                                                  В читабельности и правилах приведения разницы особо нет. Разве что, второй вариант даже немного лучше — не надо вспоминать, как там себя strlen ведёт на нулевых указателях, из кода сразу всё видно.


                                                                  Семантика одинаковая. зато кодогенерация разная…

                                                                  Что самое смешное, кодогенерация тоже одинаковая. Можете проверить, gcc и clang, проверенные мной, генерируют одинаковый код для обоих веток:


                                                                  #include <cstring>
                                                                  
                                                                  int main (int argc, char **argv)
                                                                  {
                                                                  #if 1
                                                                    return *(argv[1]) != 0;
                                                                  #else
                                                                    return std::strlen(argv[1]) > 0;
                                                                  #endif
                                                                  }

                                                                  Компиляторы нынче умные, заразы.


                                                                  И получаем 0 вместо 0.5. Написали бы double вместо auto — все хорошо бы было.

                                                                  Написали бы 1.0 вместо 1 — тоже было бы хорошо.


                                                                  Адекватным решением здесь являются не явные аннотации типов, а более адекватная система типов, где операнды для оператора / должны быть вещественного типа. Ну, как в хаскеле, опять же.


                                                                  Поищите дискуссию про implict none (запрет автоматического определения типа по имени переменной в FORTAN).

                                                                  Это действительно плохая идея. Но вы ведь понимаете, что к выводу типов что на уровне плюсов, что в общем случае это имеет отношение весьма малое?


                                                                  Вторая история это язык Ада, специально спроектированный для надежных применений. И там тоже в требования попало явное указание типа, как приводящее к большей надежности.

                                                                  Вы ведь понимаете, что сам факт попадания чего-либо в требования не может быть доказательством ненадёжности? Доказательством могло бы быть присовокуплённое обоснование ненадёжности от авторов пропозала в Аду, например.


                                                                  В целом, есть хорошая обзорная статья о плюс и минусах разных систем типизации.

                                                                  Ну да, с явной типизацией программисту сразу виднее.


                                                                  Поэтому короткие программы удобнее писать на BASIC, а длинные и надежные — на чем-то алголоподобном (Си, Pascal...)

                                                                  Длинные и надёжные программы лучше писать на языках с сильной статической выразительной системой типов. C и Pascal к ним не относятся.

                                                                  • +3
                                                                    > Скажите, а strlen(str) > 0 тоже для вас лучше *str != 0? А на строках размером 4килобайта?

                                                                    В читабельности и правилах приведения разницы особо нет. Разве что, второй вариант даже немного лучше — не надо вспоминать, как там себя strlen ведёт на нулевых указателях, из кода сразу всё видно.

                                                                    Сразу видно что будет ub, если что?

                                                                    • –2

                                                                      Я встречал не самых необразованных людей, которые думают, что strlen на нулевых указателях — это норма, например.

                                                                      • 0
                                                                        Я встречал не самых необразованных людей, которые думают, что strlen на нулевых указателях — это норма, например.

                                                                        Это уже implementation defined, может быть ub, а может и не быть. По крайней мере strlen(3) не говорит ничего о поведении при передаче NULL. Естественно, логично предполагать, что в общем случае будет ub, но в частном просто SIGSEGV. На glibc это справедливо.


                                                                        Кстати, clang выдает предупреждение, если в strlen отдать NULL, но дальше этого не заходит.

                                                                        • +4
                                                                          Это уже implementation defined, может быть ub, а может и не быть.
                                                                          Это что ещё за разговоры? Implementation defined and Undefined Behaivior — это вообще «из разных опер». Undefined Behavior — это требования, налагаемые не на компилятор, а на программу. Их в программе быть не должно, точка.

                                                                          По крайней мере strlen(3) не говорит ничего о поведении при передаче NULL.
                                                                          Именно. Что это значит? Правильно: всё описывают «правила использования библиотечных функций» (раздел 7.1.4 в C99/C11). А там — английским по белому написано: If an argument to a function has an invalid value (such as a value outside the domain of the function, or a pointer outside the address space of the program, or a null pointer, or a pointer to non-modifiable storage when the corresponding parameter is not const-qualified) or a type (after promotion) not expected by a function with variable number of arguments, the behavior is undefined.

                                                                          Кстати, clang выдает предупреждение, если в strlen отдать NULL, но дальше этого не заходит.
                                                                          А вот GCC — заходит:
                                                                          int foo(char *p) {
                                                                            int x = strlen(p);
                                                                            if (!p) return 42;
                                                                            return x;
                                                                          }
                                                                          

                                                                          Даёт:
                                                                          foo(char*):
                                                                                  sub     rsp, 8
                                                                                  call    strlen
                                                                                  add     rsp, 8
                                                                                  ret
                                                                          

                                                                          Неплохая такая оптимизация, да? Всё в рамках стандарта, между прочим. Можете сходить на Compiler Explorer сходить, проверить…
                                                                          • 0
                                                                            Это что ещё за разговоры? Implementation defined and Undefined Behaivior — это вообще «из разных опер». Undefined Behavior — это требования, налагаемые не на компилятор, а на программу. Их в программе быть не должно, точка.

                                                                            В стандарт сейчас не заглядывал, каюсь. Если сказано в стандарте, что ub — то разговоров нет. И оптимизация абсолютно правомерна.


                                                                            Моё утверждение базировалось на том, что для strlen это не специфицировано и libc вполне может иметь guard вида if(!str) return 0;.

                                                                            • 0
                                                                              Моё утверждение базировалось на том, что для strlen это не специфицировано и libc вполне может иметь guard вида if(!str) return 0;
                                                                              Вы путаете C и C++ — это в C++ подобные вещи бывают (скажем в std::operator delete можно nullptr передавать). Но в C — другие законы. По умолчанию — нельзя. Должно быть явно описано, если можно.

                                                                              В частности std::operator delete так и устроен — проверка на nullptr + вызов free.

                                                                              Естественно, логично предполагать, что в общем случае будет ub, но в частном просто SIGSEGV.
                                                                              Собственно это — большой-большой хинт. Если у вас случается SIGSEGV, то у вас в программе с вероятностью 99% процентов UB…
                                                                              • 0
                                                                                Собственно это — большой-большой хинт. Если у вас случается SIGSEGV, то у вас в программе с вероятностью 99% процентов UB…

                                                                                Да, вполне хороший указатель. Гораздо приятнее тихой порчи данных ,)

                                                                  • –4
                                                                    Значит, вам так повезло в данном конкретном случае, что комбинация размеров типов и поведения оператора сдвига дала нужный вам результат. Сами понимаете, что такой код не очень портируемый и не очень поддерживаемый.

                                                                    Когда тролите — тролльте потоньше, пожалуйста. Сдвиг столь же переносим, как операция сложения и намного более, чем вещественная арифметика. Впрочем, вы вполне способны и сложение объявить непереносимым. Действительно, может быть переполнение и результат будет неопределенным. :-) Пока (N >=0) && (N < (WORD_BIT-1)) все работает на любой архитектуре. А в реальном использовании все чуть сложнее:

                                                                    #ifdef USE_GALILEO
                                                                    typedef uint64_t TSatMask;
                                                                    #else // USE_GALILEO
                                                                    typedef uint32_t TSatMask;
                                                                    #endif // USE_GALILEO
                                                                    #define ONE_SATT_MASK TSatMask(1)
                                                                    TSatMask mask = ONE_SATT_MASK << N;
                                                                    


                                                                    Зато uint32_t mask = pow(2,N); работает непредсказуемо. То есть зависит от архитектуры процессора, софтверной или аппаратной плавающей точки, ключей компилятора, конкретных алгоритмов в софтверной реализации. Если для 2**2 вы получите 4.00000000001 — это не страшно, а вот если будет 3.99999999999999 то при преобразовании в целое у вас получится 3.

                                                                    Что самое смешное, кодогенерация тоже одинаковая. Можете проверить, gcc и clang, проверенные мной, генерируют одинаковый код для обоих веток:

                                                                    Проверил на gcc под corrtex-M7, код разный. Жду от вас версию и название библиотеки. Версия компилятора скорее всего не причем, просто std::strlen объявлен inline. ну или вообще через #define или template. Ну и жду от вас теста с нормальным strlen.

                                                                    Чуть ужатый пруф на кодогенерацию
                                                                    1876:../Pobase3/ugol-2a.cpp **** bool test1(const char *str) {return *str != 0;}
                                                                    1529 0000 0078 ldrb r0, [r0] @ zero_extendqisi2
                                                                    1531 0002 0030 adds r0, r0, #0
                                                                    1532 0004 18BF it ne
                                                                    1533 0006 0120 movne r0, #1
                                                                    1534 0008 7047 bx lr
                                                                    1877:../Pobase3/ugol-2a.cpp **** bool test2(const char *str) {return strlen(str) > 0;}
                                                                    1551 0000 08B5 push {r3, lr}
                                                                    1556 0002 FFF7FEFF bl strlen
                                                                    1558 0006 0030 adds r0, r0, #0
                                                                    1559 0008 18BF it ne
                                                                    1560 000a 0120 movne r0, #1
                                                                    1561 000c 08BD pop {r3, pc}
                                                                    1878:../Pobase3/ugol-2a.cpp **** #include 1879:../Pobase3/ugol-2a.cpp **** bool test3(const char *str) {return std::strlen(str) > 0;}
                                                                    1578 0000 08B5 push {r3, lr}
                                                                    1583 0002 FFF7FEFF bl strlen
                                                                    1585 0006 0030 adds r0, r0, #0
                                                                    1586 0008 18BF it ne
                                                                    1587 000a 0120 movne r0, #1
                                                                    1588 000c 08BD pop {r3, pc}



                                                                    Написали бы 1.0 вместо 1 — тоже было бы хорошо.

                                                                    Конечно. Но это значит, что нужно иметь двойной набор констант. Например SECS_PER_DAY — количество часов в сутках (86400), а для поддержки auto потребуется SECS_PER_DAY_FLOAT со значение 86400.0. Увы, неудобно и ненадежно.

                                                                    Так что пусть auto лет 5-10 отлаживается на подопытных свинках. ну в смысле на всяких настоящих програмистах из хайлоада. А когда наберется опыт, что надежно, а что нет, тогда и в АСУТП можно будет применить.

                                                                    Длинные и надёжные программы лучше писать на языках с сильной статической выразительной системой типов. C и Pascal к ним не относятся.

                                                                    Ну в паскале как раз достаточно сильная система типов. Своя операция деления для целых (DIV) и запрет на неявное преобразование вещественных в целые. Так что он как раз подходит. А ещё лучше Delhi, ибо дает много преимуществ.

                                                                    С остальным более-менее согласен.
                                                                    • +1
                                                                      Зато uint32_t mask = pow(2,N); работает непредсказуемо. То есть зависит от архитектуры процессора, софтверной или аппаратной плавающей точки, ключей компилятора, конкретных алгоритмов в софтверной реализации.

                                                                      Ну, если у вас IEEE754-совместимая система, то всё вполне предсказуемо. Впрочем, да, различие в семантике есть, я забыл, что нет перегрузок pow для целочисленных аргументов.


                                                                      Если для 2**2 вы получите 4.00000000001 — это не страшно, а вот если будет 3.99999999999999 то при преобразовании в целое у вас получится 3.

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


                                                                      Проверил на gcc под corrtex-M7, код разный. Жду от вас версию и название библиотеки.

                                                                      Вы хотя бы -O1 добавили?


                                                                      А какая библиотека — фиг знает, что там на gcc.godbolt.org. Кстати, проверил только что там же, код снова эквивалентен.


                                                                      Например SECS_PER_DAY — количество часов в сутках (86400), а для поддержки auto потребуется SECS_PER_DAY_FLOAT со значение 86400.0.

                                                                      Вас auto заставляют писать либо везде, либо нигде, что ли? Напомню (а то сам подзабыл уже, в конце концов), что изначально дискуссия началась со споров о нужности auto вообще.


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

                                                                      Там ещё не зря было «выразительная».

                                                                      • –4
                                                                        Ну, если у вас IEEE754-совместимая система, то всё вполне предсказуемо.

                                                                        Увы, нет. Оно почти предсказуемо. На х86 сопроцессор выполняет вычисления в long double. А записываем мы временные результаты в double. Убрал компилятор при оптимизации временную переменную — получили капельку иной результат. я уж не говорю о том, что на других архитектурах long double иного размера — не 80, а 96 или 64 бита. Включили -Ofast, он включил -ffast-math и вот вам ещё отличия от IEEE.

                                                                        Вы хотя бы -O1 добавили?
                                                                        А какая библиотека — фиг знает, что там на gcc.godbolt.org.

                                                                        У нас -O2, но дело именно в библиотеке. Можете проверить, при -O0 оно тоже инлайнится. У нас NewLib, а у вас — glibc.

                                                                        любуйтеь на # define strlen(str)
                                                                        /* Return the length of S.  */
                                                                        # define _HAVE_STRING_ARCH_strlen 1
                                                                        # define strlen(str) \
                                                                          (__extension__ (__builtin_constant_p (str)				      \
                                                                        		  ? __builtin_strlen (str)				      \
                                                                        		  : __strlen_g (str)))
                                                                        __STRING_INLINE size_t __strlen_g (const char *__str);
                                                                        
                                                                        __STRING_INLINE size_t
                                                                        __strlen_g (const char *__str)
                                                                        {
                                                                          register char __dummy;
                                                                          register const char *__tmp = __str;
                                                                          __asm__ __volatile__
                                                                            ("1:\n\t"
                                                                             "movb	(%0),%b1\n\t"
                                                                             "leal	1(%0),%0\n\t"
                                                                             "testb	%b1,%b1\n\t"
                                                                             "jne	1b"
                                                                             : "=r" (__tmp), "=&q" (__dummy)
                                                                             : "0" (__str),
                                                                               "m" ( *(struct { char __x[0xfffffff]; } *)__str)
                                                                             : "cc" );
                                                                          return __tmp - __str - 1;
                                                                        }
                                                                        



                                                                        изначально дискуссия началась со споров о нужности auto вообще.

                                                                        Так вот нам, в нашем коде он более вреден, чем полезен. А у вас — другие задачи и другой код.

                                                                        Там ещё не зря было «выразительная».

                                                                        Прошу точнее определить термин, возможно мы его по-разному понимаем. В паскале есть диапазонные типы множества (то есть битовые маски). Так что его система типов — более выразительная, чем в С++. Ещё одно достоинство Delphi (object pascal) — это интерфейсы, как в java.Это некий аналог множественного наследования, но без присущих множественному наследованию проблем.
                                                                        • +1
                                                                          Включили -Ofast, он включил -ffast-math и вот вам ещё отличия от IEEE.

                                                                          Ну так что вы удивляетесь с -ffast-math, это вообще несовместимый режим.


                                                                          И я с ним ловил очень классные глюки в своё время, когда сортировал массив флоатов, и там были -NaN'ы.


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

                                                                          Ну это как в хаскеле, короче, а ещё лучше — как в Idris каком.

                                                                          • –3
                                                                            Ну это как в хаскеле, короче, а ещё лучше — как в Idris каком.

                                                                            Ещё раз прошу пояснить термин «выразительная система типов».
                                                                            • +2

                                                                              Это когда я средствами компилятора и тайпчекера могу отследить, что мутабельные данные или хендлы не убежали за пределы некоторого контекста выполнения (см. rank-2 polymorphism и existential types).


                                                                              Это когда я могу выразить больше ограничений системой типов, когда пишу тот же компилятор (см. GADT и functional dependencies, к примеру).


                                                                              Это когда я могу проверить соответствие размерностей перемножаемых матриц на уровне системы типов, даже если их размерности известны лишь на этапе выполнения (см. dependent types).


                                                                              На самом деле очень сложно привести достаточно краткие примеры для каждой из столь любимых мной функций.

                                                                              • –5
                                                                                На самом деле очень сложно привести достаточно краткие примеры для каждой из столь любимых мной функций.

                                                                                Ещё сложнее вам будет доказать, что эти возможности реально увеличивают надежность.

                                                                                Реальная задача такова. Есть фиксированное ТЗ с объемом работы. Есть требуемый уровень надежности. Какой язык позволит достигнуть результата за меньшую стоимость и время? Сомневаюсь, что это будет haskel. Высокая оплата разработчиков на haskel вряд ли окупается во столько раз возросшей производительностью и надежность. В лучшем случае, заплатив в 2 раза больше — мы увеличим надежность в корень из двух раз.

                                                                                С другой стороны, взяв в команду разработчиков на чем-то паскалеподобном высококлассного архитектора, мы можем путем увеличения стоимости проекта процентов на 20 увеличить надежность в несколько раз.

                                                                                я очень рекомендую сравнить 50 страничек стандарта паскаля (порядка 70 у дельфи) с более тысячей страниц стандарта С++.

                                                                                А как размер стандарта хаскел со всеми нужными вами расширениями?
                                                                                • +5
                                                                                  Ещё сложнее вам будет доказать, что эти возможности реально увеличивают надежность.

                                                                                  Больше возможностей отвергнуть некорректные программы. Почитайте Пирса, серьёзно, хотя б вступление.


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

                                                                                  Что-то мне не кажется, что разработчикам на Haskell платят статистически значимо больше, чем аналогичным по уровню разработчикам на тех же плюсах.


                                                                                  С другой стороны, взяв в команду разработчиков на чем-то паскалеподобном высококлассного архитектора, мы можем путем увеличения стоимости проекта процентов на 20 увеличить надежность в несколько раз.

                                                                                  Тоже вариант. Примерно поэтому Google сделал простой как пробку язык Go — вроде как даже они это не особо скрывали.


                                                                                  А как размер стандарта хаскел со всеми нужными вами расширениями?

                                                                                  От 60 до 100 страниц на core language, ещё страниц 200 описания стандартной библиотеки (API и семантика). Полезные мне расширения, которые не относятся к синтаксическому сахару — existential types, GADTs, functional dependencies, type families. Есть ссылки на соответствующие научные работы, обосновывающие эти расширения, можно оценить. Заодно учесть, что все эти описания содержат в себе соответствующие доказательства их свойств.

                                                                                  • –4
                                                                                    Больше возможностей отвергнуть некорректные программы.

                                                                                    я не о возможностях. Возможность стать президентом России у вас есть.А шансов — нету. :-)

                                                                                    typeded int Metr;
                                                                                    typeded int MetrSquare;
                                                                                    Metr l, w, sWrong;
                                                                                    MetrSquare sRight;
                                                                                    sWrong = l * w; 
                                                                                    sRight= l * w; 
                                                                                    


                                                                                    Сумеете ваша система типов ругнуться на sWrong = l * w? Если нет — её возможности несколько не в той области.
                                                                                    • +2
                                                                                      Сумеете ваша система типов ругнуться на sWrong = l * w? Если нет — её возможности несколько не в той области.

                                                                                      Если в С++ объявить Metr и MetrSquare как классы и перегрузить операторы умножения, то ругнётся по-моему.

                                                                                      • –5
                                                                                        Покажите, пожалуйста, переопределение pow(x.y) на пригодной для физики метода размерностей системе классов. Ну как минимум систему СИ (или СГС) поддержать сможете?
                                                                                        • 0
                                                                                          Покажите, пожалуйста, переопределение pow(x.y) на пригодной для физики метода размерностей системе классов.

                                                                                          Это чтобы вторая степень метров возвращала площадь, а третья объём? Подозреваю, что не смогу, это не шахматы, тут думать надо. Если только в рантайме эксепшны кидать. Но это наверное тоже неплохо.


                                                                                          Ну как минимум систему СИ (или СГС) поддержать сможете?

                                                                                          Система Си большая вроде, а я маленький. Но компоненты какие-то думаю, можно.

                                                                                          • –4
                                                                                            А пока мы это не сделаем в compile-time говорить о надежной системе типов бесполезно. И статанализ такие ошибки не выявит.
                                                                                        • +1

                                                                                          Если вы хотите полноценный метод размерностей с pow(x, y), где y — переменная времени выполнения, то вам в зависимые типы.

                                                                                          • –3
                                                                                            А что, они такое поддерживают в compile-time? А можно ссылочку на популярное и понятное описание?
                                                                                            • 0

                                                                                              Я не уверен, что для всяких вещей существуют популярные и понятные описания, которые при этом не делают хуже, создавая иллюзию понимания вместо самого понимания. Раз вы так сильно не хотите читать Пирса, то можно ограничиться для начала википедией.

                                                                                              • –7
                                                                                                Знаете, чем выше квалификация программиста — тем более читаемый его код. Чем выше квалификация ученого — тем проще он объясняет свою область. Можете для сравнения Фейнмана почитать. Если ваш Пирс не читаем — то, наверное, не стоит его читать. Но ссылочку дайте. Можно и на Пирса, если есть хороший перевод.

                                                                                                • +2
                                                                                                  Можете для сравнения Фейнмана почитать.

                                                                                                  Я читал, и ФЛФ, и прочие замечательные вещи. При этом я не уверен, что книжечку Фейнмана по КЭД, например, средний человек вот прям так осилит влёт и поймёт.


                                                                                                  Если ваш Пирс не читаем — то, наверное, не стоит его читать.

                                                                                                  По мне — читаем, мне очень понравилось в своё время.


                                                                                                  Скачать русский перевод можно на здесь. Но всё-таки в долгосрочной перспективе лучше и полезнее освоить английский.

                                                                                                  • –4
                                                                                                    При этом я не уверен, что книжечку Фейнмана по КЭД, например, средний человек вот прям так осилит влёт и поймёт.

                                                                                                    Ну она на уровне шестиклассника написана. То есть очень понятна.

                                                                                                    За ссылочку спасибо, гляну.
                                                                                    • +2
                                                                                      Сумеете ваша система типов ругнуться на sWrong = l * w?

                                                                                      Сумеет, почему нет? Правда хаскель я знаю не очень хорошо, но пример на расте (язык, кстати, низкоуровневый) показать могу:


                                                                                      struct Metr(u32);
                                                                                      struct MetrSquare(u32);
                                                                                      
                                                                                      //let err: Metr = Metr(1) * Metr(2);
                                                                                      let val = Metr(1) * Metr(2);
                                                                                      println!("{:?}", val); // MetrSquare(2)
                                                                                      • –4
                                                                                        я не об этом. Вы переопределили операцию умножения. И вам придется переопределять каждую операцию. А это неинтересно, слишком много писать кода, причем писать для каждого типа. Интереснее когда в описании типа MetrSquare я могу сказать, что его размерность равна квадрату от Metr. И компилятор сам это проверит по всем операциям.

                                                                                        я же прямо написал, сумеет ваша система типов ругнуться. Сама система описаний типов, а не дополнительный код.
                                                                                        • +2

                                                                                          В хаскеле:


                                                                                          {-# LANGUAGE MultiParamTypeClasses, TypeFamilies, FlexibleInstances #-}
                                                                                          {-# LANGUAGE DataKinds, KindSignatures, TypeOperators #-}
                                                                                          
                                                                                          -- Чтобы не писать натуральные числа времени компиляции самому
                                                                                          import GHC.Types
                                                                                          import GHC.TypeLits
                                                                                          
                                                                                          -- Описываем тайпкласс для нашего извращённого умножения
                                                                                          class DimMult a b where
                                                                                              type Result a b
                                                                                              (|*|) :: a -> b -> Result a b
                                                                                              infixl 6 |*|
                                                                                          
                                                                                          -- Описываем структуру данных, которая будет реализовывать тайпкласс,
                                                                                          -- и тип которой параметризован натуральным числом.
                                                                                          data SI a (d :: GHC.Types.Nat) = SI { val1 :: a } deriving (Eq, Show)
                                                                                          
                                                                                          -- Реализуем для неё наш класс типов.
                                                                                          instance Num a => DimMult (SI a d1) (SI a d2) where
                                                                                              type Result (SI a d1) (SI a d2) = SI a (d1 + d2)
                                                                                              (SI val1) |*| (SI val2) = SI $ val1 * val2
                                                                                          
                                                                                          -- Пара функций для удобства, чтобы создавать экземпляры размерности 1
                                                                                          linear :: Double -> SI Double 1
                                                                                          linear = SI
                                                                                          
                                                                                          -- и размерности два
                                                                                          squared :: Double -> SI Double 2
                                                                                          squared = SI

                                                                                          Попробуем заведомую лажу:


                                                                                          *Main> squared 100 == linear 100
                                                                                          
                                                                                          <interactive>:59:16: error:
                                                                                              • Couldn't match type ‘1’ with ‘2’
                                                                                                Expected type: SI Double 2
                                                                                                  Actual type: SI Double 1
                                                                                              • In the second argument of ‘(==)’, namely ‘linear 100’
                                                                                                In the expression: squared 100 == linear 100
                                                                                                In an equation for ‘it’: it = squared 100 == linear 100

                                                                                          Ошибка типов, как и ожидалось.


                                                                                          А теперь перемножим два элемента размерности один и сравним с элементом размерности один:


                                                                                          *Main> linear 10 |*| linear 10 == linear 100
                                                                                          
                                                                                          <interactive>:60:1: error:
                                                                                              • Couldn't match type ‘2’ with ‘1’
                                                                                                Expected type: SI Double 1
                                                                                                  Actual type: Result (SI Double 1) (SI Double 1)
                                                                                              • In the first argument of ‘(==)’, namely ‘linear 10 |*| linear 10’
                                                                                                In the expression: linear 10 |*| linear 10 == linear 100
                                                                                                In an equation for ‘it’: it = linear 10 |*| linear 10 == linear 100

                                                                                          Не получилося. И хорошо.


                                                                                          А вот тут всё работает:


                                                                                          *Main> linear 10 |*| linear 10 == squared 100
                                                                                          True
                                                                                          *Main> linear 10 |*| linear 10 == squared 101
                                                                                          False
                                                                                          • –4
                                                                                            Ну и сколько вам потребуется дописать для сложения? я правильно понимаю, что нужен будет аналог DimMult и аналог Num?
                                                                                            • +1

                                                                                              Нет. Num тут упоминается только для того, чтобы делегировать непосредственное умножение величин нижележащему типу, эти величины представляющему (ну там, Double, Float, Int, Complex, мало ли). Для сложения достаточно просто добавить соответствующий оператор в DimMult, например.

                                                                                              • –3
                                                                                                Все равно, немного не то, что хочется… Но взять на заметку можно…
                                                                                                • –1

                                                                                                  Здесь минимум из того, что можно получить в языке общего назначения. Описание семантики размерностей, описание правил, по которым они преобразовываются (сложение при умножении, ничего при сложении), да и всё. Ну и синтаксис имеет довольно низкий оверхед.

                                                                                        • +2
                                                                                          я же прямо написал, сумеет ваша система типов ругнуться.

                                                                                          Как по мне, ругаться будет всё-таки система типов, дополнительный код нужен для указания позволенных операций, а не наоборот. Но в остальном да, дополнительный код писать придётся. Стоит ли оно того вопрос сложный, очень может быть, что в каких-то случаях стоит. Ну а вообще, при желании, оно пишется один раз и дальше используется.


                                                                                          Ну и ругань, как вы и хотели, будет происходить на этапе компиляции, а не в рантайме.

                                                                                          • –4
                                                                                            Обсуждение было в контексте надежности языков. И определение операций, скорее всего внесет больше ошибок, чем даст выигрыша в надежности.

                                                                                            Хочется несколько иное — язык, на котором достаточно сказать, что MetSquare — это Metr во второй степени. А весь контроль типов — встроенный.

                                                                                            Стоит ли оно того вопрос сложный, очень может быть, что в каких-то случаях стоит.

                                                                                            Ну если вспомогательные определения занимают 5%, то может и стоит. Но боюсь, то в реальности они будут занимать 80% кода.
                                                                                            • 0

                                                                                              Дык, отсутствие неявных преобразований уже повышает надёжность.
                                                                                              Опять же, если этот "вспомогательный код" написан, оттестирован и используется по всему проекту (а может даже не в одном проекте), то сомневаюсь, что дефекты будут частыми.


                                                                                              На язык в котором "достаточно сказать, что MetSquare — это Metr во второй степени" взглянуть было бы интересно, но есть некоторые сомнения, что такие указания были бы достаточно гибкими для всех случаев. Иначе это уже не язык общего назначения.


                                                                                              С 80% явно перебор, мы ведь не о игрушечном примере говорим, а о проекте не самого маленького размера?

                                                                                              • –3
                                                                                                Дык, отсутствие неявных преобразований уже повышает надёжность.

                                                                                                Ну это не про С++. В нем неявных преобразований много. В 93ем году экспериментировали с системой преобразований — и выяснили, что лучше её не использовать, а все преобразования писать явно.

                                                                                                С другой стороны, необходимость прописывать явно все преобразования — это перебор. Ибо на системе из 10 классов их будет 90. И даже если половина бессмысленна — то все равно писать много.

                                                                                                Что будет в ином языке — нужно будет проверять.

                                                                                                есть некоторые сомнения, что такие указания были бы достаточно гибкими для всех случаев

                                                                                                Сомнения и у меня есть. Но в реальном мире мы же используем размерности? Значит такую систему типизации создать можно. Проблем пока вижу две:

                                                                                                1. градусы, радианы, полуциклы для углов. ну или футы, дюймы, метры для длин.
                                                                                                2. сложение уток с курицами дает птицы, а куриц с коровами — живность. То есть без наследования не обойтись.


                                                                                                С 80% явно перебор, мы ведь не о игрушечном примере говорим, а о проекте не самого маленького размера?

                                                                                                Открываю стандарт RTCM 3.2 — 457 типов полей. При обычном программировании — нужен просто множитель для приведения к метрам или герцам. А при строгой типизации? А на все возможные операции? Боюсь, что на переводе из RTCM 3.2 в RINEX можно и 95% вспомогательного кода получить. И да, проект точно будет не самого маленького размера.

                                                                                                Но вполне возможно, что в каких-то областях такой подход будет реально удобней.
                                                                                            • +1
                                                                                              Хочется несколько иное — язык, на котором достаточно сказать, что MetSquare — это Metr во второй степени.

                                                                                              А с кубами вы как будете работать? Мне просто интересно, как вы предлагаете такие вещи выражать.


                                                                                              Пример на хаскеле выше работает с произвольными размерностями (включая обратные метры и прочие замечательные вещи).

                                                                                              • –3
                                                                                                А ровно так же. Какая отдельная проблема с кубами? Не названный отдельным именем тип — это все равно тип.
                                                                                                • 0

                                                                                                  Ну в итоге вы и получите тот код, что был приведён выше.

                                                                                    • 0

                                                                                      Сумеет. Я бы даже сказал, что подобные вещи — это классический пример, и в этом случае нет ничего сложного.


                                                                                      Правда, вместо значка умножения нужно будет использовать другой значок. Умножение — это всё-таки операция на поле в него же.

                                                                                      • –6
                                                                                        С другим значком — не интересно, это почти на любом языке можно. Интереснее всего — это чтобы pow(x, 2.0) давало квадратные метры, а pow(x, 3.0) — кубические. И чтобы система на этапе компиляции понимала, что pow(x1,2.5) / pow(x2, 1.5) — это просто метры.

                                                                                        Сумеет такое хаскель? Нет? Ну если нет — значит не сильно он поднимет надежность на наших задачах.
                                                                                        • +1

                                                                                          В хаскеле, в принципе, и с тем же значком можете. Правда, тогда штатные функции из тайпкласса Num прятать придётся.


                                                                                          Сумеет такое хаскель? Нет? Ну если нет — значит не сильно он поднимет надежность на наших задачах.

                                                                                          Конкретно в хаскеле зависимые типы прикручены сбоку. Для таких целей лучше Agda или Idris, например.

                                                                                          • –5
                                                                                            И опять — прошу ссылочку.
                                                                                            • +2

                                                                                              Ну правда сложно что ли хотя бы википедию открыть?


                                                                                              Idris
                                                                                              Agda

                                                                                              • –6
                                                                                                В вики я без вас полез. Мне бы описание языка языка на русском или хоть кратное введение. По idris нашел.

                                                                                                Но уже понятно, что ваш уровень таков, что вам кажется, что вики хватает. :-(
                                                                                                • +3

                                                                                                  Тут могла бы быть колкость об уровне программистов, которые английского не знают, но я просто сошлюсь на здравый смысл: откуда взяться подробным материалам на русском о сравнительно новых и не мейнстримовых языках? А на википедии есть ссылка, в том числе, на официальный сайт с мануалами.

                                                                                                  • –5
                                                                                                    Встречаются в Лондоне два англичанина
                                                                                                    — whitch watch?
                                                                                                    — six cloch.
                                                                                                    — such match?
                                                                                                    — match such!
                                                                                                    — What which?
                                                                                                    — a for whom how.
                                                                                                    — MGIMO fisnihed?
                                                                                                    — ack!

                                                                                                    Так что одно дело читать datasheetы, а другое дело — полный разговорный язык.

                                                                                                    А вот то, что на разработанный в 1973ем году язык ML нету хорошего русского описания — скорее всего показывает, что этот язык никому не нужен. Не все, что не вылезло в мейнстрим — не заслуживает потраченного на него времени. Но тем менее — это хороший критерий, на что тратить время, а на что нет. Не так уж долго жить на этом свете осталось, чтобы тратить время на ерунду.
                                                                                                    • +2

                                                                                                      Грустно, когда любознательность умирает.

                                                                                                      • –6
                                                                                                        грустно, когда любознательность растрачивается на ерунду. А ещё более грустно, когда взрослый человек не хочет (или не может) отличать одно от другого.

                                                                                                        Ну вот очень интересная технология. Это переворот не меньший, чем внедрение навигаторов. Автопосадка самолетов, автовождение машин… Через 20 лет высокоточная навигация будет у каждого в кармане.

                                                                                                        А ваш ML известен в 1969ого года. И за 45 лет — так ни во что путное не развился. Да, в отдельных нишах что-то используется. Как используется и COBOL, и PROLOG и LISP и FORTH… Но вот глобального переворота — даже в программировании не вижу. В быту — тем более.

                                                                                                        А вот то, что вы не умеете отличать одно от другого — это грустно.
                                                                                                        • +2
                                                                                                          грустно, когда любознательность растрачивается на ерунду.

                                                                                                          Осталось определить, что такое ерунда. Вот желание читать Пирса — ерунда? А книгу по алгебраической топологии (никогда в программировании не пригодится)?


                                                                                                          А ваш ML известен в 1969ого года. И за 45 лет — так ни во что путное не развился. Да, в отдельных нишах что-то используется.

                                                                                                          ocaml, F#, Scala, Haskell тот же.


                                                                                                          А так вообще всё программирование — одна большая ниша.

                                                                                                          • –3
                                                                                                            Глянул Пирса. Для его изучения требуется знать один из ML-подобных языков. Так что все тот же вопрос в третий раз — дайте, пожалуйста, хорошее и понятное описание ML или чего-то ML-подобного.

                                                                                                            ерунда — расстрачивание сил на то, что в жизни не пригодится.
                                                                                                • +2
                                                                                                  Но уже понятно, что ваш уровень таков, что вам кажется, что вики хватает. :-(

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

                                                                                                  • –5
                                                                                                    Часто, но далеко не всегда. В нашей области — процентов на 60, не более…
                                                                                        • +2
                                                                                          С другим значком — не интересно, это почти на любом языке можно. Интереснее всего — это чтобы pow(x, 2.0) давало квадратные метры, а pow(x, 3.0) — кубические. И чтобы система на этапе компиляции понимала, что pow(x1,2.5) / pow(x2, 1.5) — это просто метры.

                                                                                          Вы говорите про метод размерностей и несёте лютую пургу тут же. Это ошибка, за которую любой школьник или студент 1 курса тут же получает линейкой по рукам. Возведение в действительную степень (а равно, скажем, лонарифм или экспонента) определено только для безразмерных величин.


                                                                                          Операция возведения в рациональную степень для размерности определена (хоть и не всегда имеет смысл). Но возведение размерного числа в действительную степень — операция неопределенная и не имеющая никакого смысла. И, уж тем более, не сохраняющая размерность, как линейная функция с безразмерным коэффициентом.


                                                                                          Конечно IEEE754'шные числа являются действительными с некоторой натяжкой, но чтобы трактовать их как рациональные необходимо использовать gmp ,)

                                                                                          • –5
                                                                                            Возведение в действительную степень (а равно, скажем, лонарифм или экспонента) определено только для безразмерных величин.

                                                                                            s = a *t**2 / 2;
                                                                                            t = sqrt(2*s)/sqrt(a) = pow(2*s, 0.5) / pow (a, 0.5)

                                                                                            Неужели вы такого в школе не проходили? А номер школы, где равноускоренное движение не проходят, можно? :-)
                                                                                            • +2

                                                                                              Там вам товарищ про рациональные степени чуть ниже написал.


                                                                                              Конечно, корректнее было бы сказать, что возведение в степень x \in \mathbf{R} \ \mathbf{Q} не имеет особого смысла, но это настолько ясно из контекста, ИМХО, что даже я со всем своим занудством, если бы спорил с grossws, к этому бы не придрался — просто в голову бы не пришло.

                                                                                            • +3

                                                                                              Если вам так интересен номер моей школы, то ФМШ №18. И, к вашему сожалению, я отличаю натуральные, целые, рациональные и действительные числа.


                                                                                              Если вы не способны понять, что возведение в рациональную степень (а целые и натуральные числа являются рациональными, JFYI) описано на параграф ниже в том же комментарии, то не стоит предполагать, что вокруг такие же люди с органическими патологиями мозга.


                                                                                              Также вам стоило бы понять ещё в школе, что операция возведения в натуральную степень, в целую степень, в рациональную степень и в действительную степень над полем действительных чисел — разные операции, иногда дающие один результат, т. к. для более широкого множества чисел операция строится таким образом, чтобы она обычно давала одинаковый результат для, скажем, натурального числа 2 и целого числа 2.


                                                                                              Но бывают случаи когда это не так: например, операция возведения в целую степень определена для -2 (\in Z), но операция возведения отрицательного числа в рациональную степень не определено над полем действительных чисел, но определена над полем комплексных.

                                                                                              • –4
                                                                                                Ну привет из ФМЛ 239. Математикой я перестал заниматься почти 40 лет назад, и что там в строгой математике — это неинтересно (ну или интересно только математикам). Поэтому о математике я с вами спорить не буду, а расскажу, что на самом деле.

                                                                                                Логарифм определен только для безразмерных? Ха-ха-ха, неужели в школе не говорили про децибелы? логарифмируем 1 киловатт — получаем 3 BW (3 бела") или 30 dBW или 60 dBm. Да, это очень не строго. Но в технике — так. А главное — так в ГОСТах откуда берутся формулы. Ну вот вам ГОСТ 24204-80 и формула абсолютного уровня мощности оттуда:
                                                                                                image
                                                                                                Логарифмируем милливатты и получаем dBm.

                                                                                                Ещё смешнее — с arcsin, Берем arcsin(0.5) и получаем… радианы, градусы, полуциклы, реже -грады и обороты (циклы) — все, что угодно, но не безразмерную величину. Может её стоит называть псевдоразмерной, но уж безразмерной она не является.

                                                                                                pow(x1,2.5) / pow(x2, 1.5) на который вы ополчились — это как раз рациональные, а не действительные числа. Но…

                                                                                                Беда в том, что на компе вообще-то нету действительных чисел. То, что дает IEEE 754 это представление действительных чисел с помощью двоичных дробей. То есть фактически, в обычной плавающей арифметике — все числа рациональные. Причем их не так много. Тип float — это чуть меньше 4 миллиардов значений. То есть ещё у нас далеко не любое число представимо.

                                                                                                Далее, ещё смешнее. pow(x,2.5) мы можем представить как х*х*sqrt(x). И если x — это квадратные метры, то размерность будем m**5; Но… бывают ошибки округления. И 2.4999999999999999 мы должны рассматривать как 2.5.

                                                                                                Бывает ещё смешнее. Синус больше единицы в математике быть не может. Но… синус, подсчитанный через векторное произведение — получился больше 1. Не сильно больше — на 10**-12, но больше. Пришлось вставлять условия — если больше 1, то брать строго 1. А уж потом — arcsin.

                                                                                                Так что жалко, что вас не научили отличию физики от математики, а техники от физики. А что там в математике — извините, не интересно. у меня — техника.
                                                                                                • +3
                                                                                                  Логарифм определен только для безразмерных? Ха-ха-ха, неужели в школе не говорили про децибелы? логарифмируем 1 киловатт — получаем 3 BW (3 бела") или 30 dBW или 60 dBm. Да, это очень не строго. Но в технике — так. А главное — так в ГОСТах откуда берутся формулы. Ну вот вам ГОСТ 24204-80 и формула абсолютного уровня мощности оттуда:

                                                                                                  Логарифмируем милливатты и получаем dBm.

                                                                                                  Если вы сами не заметили, то под логарифмом искусственно убирается размерность (выполняется переход к безразмерным величинам) посредством нормализации на 1 Вт/1 мВт. И логарифмируете вы не 1 кВт, а 1 кВт/1 Вт. Если вы этого не понимаете, то лучше бы и не заикались про размерности. Точно такая же ситуация, например, в диффурах, во всяких вещах типа магнитуд (где под логарифмом может быть приведённая к безразмерной энергия, максимальное отклонение в мкм и т. п.)


                                                                                                  Ещё смешнее — с arcsin, Берем arcsin(0.5) и получаем… радианы, градусы, полуциклы, реже -грады и обороты (циклы) — все, что угодно, но не безразмерную величину. Может её стоит называть псевдоразмерной, но уж безразмерной она не является.

                                                                                                  И получаете радианы, как естественную единицу угла, которая, напомню, отношение длины дуги к радиусу, т. к. безразмерная величина. То, что вы потом её перемасштабируете — к делу не относится.


                                                                                                  pow(x1,2.5) / pow(x2, 1.5) на который вы ополчились — это как раз рациональные, а не действительные числа. Но…

                                                                                                  Беда в том, что на компе вообще-то нету действительных чисел. То, что дает IEEE 754 это представление действительных чисел с помощью двоичных дробей. То есть фактически, в обычной плавающей арифметике — все числа рациональные. Причем их не так много. Тип float — это чуть меньше 4 миллиардов значений. То есть ещё у нас далеко не любое число представимо.

                                                                                                  Как я уже сказал выше, для восприятия чисел типа IEEE754 как рациональных нужно брать gmp или аналогичную библиотеку для работы с generic multiprecision numbers. Вы, естественно, не удосужились прочитать соответствующий абзац. Как известно из ненавистной вам математики любое периодическое действительное число представимо в виде рационального. Но большого смысла в размерности m^{123896721987/999999999999} нет.


                                                                                                  Бывает ещё смешнее. Синус больше единицы в математике быть не может. Но… синус, подсчитанный через векторное произведение — получился больше 1. Не сильно больше — на 10**-12, но больше. Пришлось вставлять условия — если больше 1, то брать строго 1. А уж потом — arcsin.

                                                                                                  Запросто, sin(1+1i) = 1.298 + 0.635i, и действительная часть, и модуль > 1. Ну или sin(1.571+1.317i) = 2.000, если хочется действительного результата.


                                                                                                  Так что жалко, что вас не научили отличию физики от математики, а техники от физики. А что там в математике — извините, не интересно. у меня — техника.

                                                                                                  Тут тоже не угадали, я физик. Ну и чтобы не вставать лишний раз — и с технической стороной образования проблем у меня нет, и в АСУТП поработать успел. И повидать программ написанных "инженерами" в которых ни они сами баги нормально выловить не могли, ни просто разобраться. Зато минимально написание повторно используемого кода, почти полное отсутствие форматирования, до 8 стейтментов на одной строке в коде на Си… Вы, кстати тоже код какого-нибудь ПИД-регулятора или фильтра копируете в несколько мест, чтобы потом независимо баги вносить?


                                                                                                  И софт от всяких товарищей типа Carel, TAC/SE и Necos/Danfoss не сильно далеко от этого ушел.

                                                                                                  • –4
                                                                                                    Если вы сами не заметили, то под логарифмом искусственно убирается размерность

                                                                                                    Это называется абстракция. Странно, что математик не видит их. В технике законодательно (на уровне ГОСТ) принята абстракция, что логарифм от мощности выдает белы. А что под капотом — не важно. Под капотом у умножения — вообще-то сдвиги и сложения. А у взятия квадратного корня — подсчет ряда. И что происходит с размерностью при подсчете ряда — вопрос для меня темный. Да и как сдвиги и сложения меняют размерность — тоже не понятно. Но абстракция такова, что некий ряд делает из квадратных метров метры, а некая последовательность сложений и сдвигов метров с метрами — дает квадратные метры.

                                                                                                    Понятно, что строго математически вы правы, но мы говорили про язык для техники. И он должен поддерживать все нужные технике абстракции. Включая, кстати, возможность назначить ряду изменение размерности.

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

                                                                                                    Естественная где? На плоскости? Вы хоть на одной карте видели радианы? Земля вообще-то круглая. :-) Поэтому естественная единица в геодезии — градус. Видели хоть на одной карте радианы? :-) А самая естественная единица угла — это оборот и доли оборота. Все остальное (градусы, грады, полуциклы) — пляшет от оборота. Так что для техники абстракция плоскости не всегда применима. И в языке для техники нужны и градусы и полуциклы.

                                                                                                    Как известно из ненавистной вам математики любое периодическое действительное число представимо в виде рационального

                                                                                                    Мне известно про то, что иррациональных чисел — не меньше рациональных. :-)

                                                                                                    Как я уже сказал выше, для восприятия чисел типа IEEE754 как рациональных нужно брать gmp или аналогичную библиотеку для работы с generic multiprecision numbers.

                                                                                                    Мда… На физфаке СПбГУ тоже так думали. И потеряли все значащие цифры при подсчете сходящегося ряда. :-) Не все абстракции математики выполняются в программировании. Ассоциативный закон сложения — увы, выполняется не всегда.

                                                                                                    Тут тоже не угадали, я физик.

                                                                                                    Ну тогда все понятно. Видел я, как программируют физики. Картинка с натуры (Программист — П, Физик — Ф, место действия физфак СПбГУ, 1983 год):
                                                                                                    Ф — программа что-то не работает
                                                                                                    П — у вас деление на ноль
                                                                                                    Ф — физически эта переменная не может быть нолем. А можно обойти ошибку?
                                                                                                    П — могу не делить, если ноль. Сделал.
                                                                                                    Ф — ура! Ошибка исправлена!

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

                                                                                                    Вы, кстати тоже код какого-нибудь ПИД-регулятора или фильтра копируете в несколько мест, чтобы потом независимо баги вносить?


                                                                                                    Ну вот вам пример ПИД-регулятора, а вот — экспоненциальный фильтр:
                                                                                                          result = result * (1. - k) + value * k;
                                                                                                    


                                                                                                    я понимаю, что настоящие программисты обернут этот фильтр в класс, класс в темплейты, получат где-то 200-300 строк кода и за недельку отладят.

                                                                                                    Но… у нас система оплаты чуть иная. Нам платят не за количество строк, а за работоспособность. Поэтому прежде чем выносить код в библиотеку — думаем, а насколько нам нужна модицифруемость, а насколько повторная используемость. А прежде, чем использовать чужой библиотечный код — сравниваем время на изучение и время на написание и отладку собственного кода. Ну и все остальные характеристики тоже смотрим.

                                                                                                    Потому мы и не настоящие программисты, что мы думаем, а не слепо следуем правилам моде. Есть очень хорошая статья про Hype Driven Developmen. А вот рассказ про очень модный стиль примерно lдесятилетней давности, заглавие говорит само за себя "Микросервисы: пожалуйста, не нужно".

                                                                                                    Ну в общем любой технологией нужно пользоваться обдуманно, а слепое следование правилам применимо только для ГОСТ.

                                                                                                    почти полное отсутствие форматирования,

                                                                                                    Это действительно плохо, но математики так пишут. Почему-то математикам форматирование не нужно для понимания смысла кода.

                                                                                                    до 8 стейтментов на одной строке в коде на Си…

                                                                                                    В отдельных случаях — это правильно. Много операторов на одной строке писали, чтобы уменьшить количество перфокарт в колоде. А один оператор на строке — дань вычисления производительности программиста исходя из числа строк. Вы как цикл for запишите?
                                                                                                    for (int i=0;
                                                                                                          i < N;
                                                                                                          i++)
                                                                                                    

                                                                                                    или нормально, как for (int i=0; i < N; i++)? Вот аналогичные конструкции (прежде всего инициализацию) и принято писать в одной строке. Вам не кажется, что в этом примере однострочная иницализация явно читаемей была бы?

                                                                                                    /*     MACHINE CONSTANTS FOR THE BURROUGHS 1700 SYSTEM. */
                                                                                                    /*
                                                                                                       imach[1] = 2;
                                                                                                       imach[2] = 33;
                                                                                                       imach[3] = 8589934591;
                                                                                                       imach[4] = 2;
                                                                                                       imach[5] = 24;
                                                                                                       imach[6] = -256;
                                                                                                       imach[7] = 255;
                                                                                                       imach[8] = 60;
                                                                                                       imach[9] = -256;
                                                                                                       imach[10] = 255;
                                                                                                    */
                                                                                                    

                                                                                                    Но увы, это переписано с фортрана «1 в 1». :-) Недостатки общепринятого библиотечного кода, между прочим.

                                                                                                • –1
                                                                                                  Математикой я перестал заниматься почти 40 лет назад, и что там в строгой математике — это неинтересно (ну или интересно только математикам).

                                                                                                  А что там в математике — извините, не интересно.

                                                                                                  А зря. Во-первых, это просто красиво. Во-вторых, ум в порядок приводит и вот это всё.


                                                                                                  Я лично немножко жалею, что математикой относительно серьёзно заинтересовался в условные 22-23 года, а не в 15, когда сил было больше, и все их я тратил на C++.

                                                                                                  • –3
                                                                                                    А жизни много красивого: горы, самолеты, атомные ледоколы, педагогика, театр… Просто после того, как достиг вершины — уже неинтересно. я в свое время прыгнул через голову и стал призером Питера по математике (диплом 1ой степени, 2ое место в личном зачете). Вот только разница с Игорем Жуковым — не одно место в таблице, а примерно на голову. Поэтому Игорь стал призером мира, а я математикой заниматься перестал.

                                                                                                    Для меня всегда был важен вопрос, чтобы меня помнили после моей смерти. Кого вы знаете из ныне живущих математиков? я Гришу Перельмана, Матиясевича, Башмакова… И то, лишь потому что лично знаком.

                                                                                                    Зато по всей России стоит тысяча зданий, просчитанных на прочность программой «Ладога», документацию к которой я правил в 17 лет. И это намного важнее любой математики.