caxapa.ru :: Вопрос не специалиста по СИ.

michas (01.11.2017 17:25, просмотров: 21846)

Вопрос не специалиста по СИ. Могу ли я с помощью typedef создать свои типы, аналогичные физсущностям типа altitude, pressure etc. Потом варнинг должен мне выдаться при недопустимом присваивании типа? Есть ли в этом смысл?

Ответить

- PS А почему аду не хотите? Что вас смущает то. для армов есть, есть даже русскоязычный бложик там на примере ST cortex M4 разобрано применение ады. Я кстати тоже ее хочу. Но на все времени не хватает. - RED_DRAGON(03.11.2017 22:23)
- 1. В С++ сделать это можно lloyd(627 знак., 03.11.2017 11:08)
  - Имеет смысл перейти к float point, точно. И хранить в системе СИ. - fk0(03.11.2017 11:18)
  - Насколько я понял, ТСу надо не "км" с "нм" складывать, а при умножении "ом" на "ампер" получать "вольты". - Ale3000(03.11.2017 11:16)
    - я про то, что теми литералами можно объявлять структуры. lloyd(231 знак., 03.11.2017 11:38)
    - Да сделать-то можно, но фигли толку, он в самой формуле напутает и не то получит и не заметит. - fk0(03.11.2017 11:19)
- замечу, что "физсущности" часто расматриваются как данные по соответствующим каналам преобразования , из чего следует наличие дополнительной информации о достоверности этих данных (статус, время последнего обновления и т.п.). наборы основных и Vit(367 знак., 03.11.2017 09:59 - 10:07, ссылка)
  - мисра обязательно выскажется против :)) - Царская Морда(03.11.2017 10:17)
    - Я почитал немного эту MISRA и берусь утверждать, что она уже просто расходится с нормальными практиками программирования. Я бы вместо мисры рекомендовал Роба Пайка "Практику программирования" почитать. - fk0(03.11.2017 10:58)
    - это потому что 42?:) если знаете, ткните, плз, что ей гарантированно должно не нравиться - самому интересно, но лень. Vit(267 знак., 03.11.2017 10:32 - 10:56)
      - да, это на грани стёба за бэкслэши. по существу могу только подозревать, если аллокейтить такие структуры, то мисра заорёт на изменяемый указатель. - Царская Морда(03.11.2017 11:18)
- Если честно, я задачу не понимаю. Просто контроль присвоения можно решить добавлением префикса в имя переменных или констант и статическим анализом исходников на наличие правильных префиксов. Но есть же еще расчеты с конверсией типов? - VLLV(03.11.2017 09:51)
- Может какие lint-ы или другие проверяльщики кода такое умеют. Тут недавно обсуждали. - AlexBi_(03.11.2017 09:39, )
- +Сделай свои ассерты на контроль входных параметров функции, аргументами которой будут пользовательские типы данных - Любитель_Радио(03.11.2017 07:16, )
  - Ассерт очень тонкая вещь. Ты, представь, ракету в космос запускаешь. И у тебя сработал ассерт в какой-то малозначительной функции, в малозначительном модуле. А упадёт из-за этого вся ракета. Иногда ошибки в программе лучше обрабатывать каким-то fk0(124 знак., 03.11.2017 11:00)
    - Поэтому ассерт устроен вот так: #ifdef NDEBUG #define assert(x) // nothing - SciFi(03.11.2017 11:06)
      - НЕТ. Заметь, NDEBUG нужно искусственно определить. Поэтому ассертом нужно ловить такие вещи, когда уже точно конец и последующий abort() хуже не сделает. А для штатных ошибок нужно не assert, а if писать и возвращать ошибку через штатный механизм fk0(50 знак., 03.11.2017 11:16)
    - статик ассерт? - VLLV(03.11.2017 11:04)
      - а static_assert работает только на constexpr-выражениях, что несколько проблематично в реальном коде - lloyd(03.11.2017 11:10)
  - вот, уже здравое зерно есть в обсуждении! Вполне применимо. michas(104 знак., 03.11.2017 08:52 - 09:19)
- В C++ относительно просто. В C++ -- арифметические операции переопределить нельзя, придётся писать набор функций для любых вычислений. Как -- просто. Каждый тип -- отдельная структура (даже если с одним интом внутри) отдельного типа. Только fk0(454 знак., 02.11.2017 23:53)
  - Позвольте не согласиться... edward_sh(148 знак., 03.11.2017 10:43)
    - Я про C. В C++ можно, но овчинка не стоит выделки. И массу побочных проблем создашь ещё. - fk0(03.11.2017 10:56)
- Может вам с такими пожеланиями в Ada податься :) - RED_DRAGON(02.11.2017 22:24)
  - Этот вопрос прямо возник после чтения про Ада. Простота решения просто поразила. Не меньше поразило то что в Си есть создание своих типов. Но мне никогда не попадалось, зачем это надо. Ну я и вообразил что можно использовать не свои типы а свои michas(25 знак., 03.11.2017 08:50)
    - typedef - это не создание типа, а создание псевдонима для существующего типа, обычно для сокращения. Скажем, хитровывернутый указатель на функцию с аргументами в виде других указателей на функции лучше сократить. - SciFi(03.11.2017 08:55)
      - Структура -- вполне отдельный тип. Другое дело, в C для них нельзя операторы перегрузить. - fk0(03.11.2017 11:10)
      - Ну да, правильно. Это все в книгах описано. Но я чувствую недосказанность. Си вообще лаконичный язык, может еще какой полезный функционал именно в прикладном смысле имеет, не как трюк программирования? - michas(03.11.2017 09:07)
        
        Вы стоите на развилке, принципиальной для языков программирования, как категории. Строгая типизация. Си, и большинство последовавших за ним языков, на этой развилке свернули влево. Вы - смотрите вправо. - Скрипач(03.11.2017 09:15)
        
        Про типизацию языков ознакомился. У меня за соседним столом любитель TCL сидит, так он наоборот считает достоинством сношение всего скопом. - michas(03.11.2017 09:28)
        
        В Tcl арифметика вообще через отдельную функцию expr сделана и никаких своих типов там быть не может. И синтаксис языка не позволит написать свои a + b. Позволит написать [+ a b] а-ля лисп, но это не читаемый код, оно годится для некого fk0(85 знак., 03.11.2017 11:12)
        
        В Tcl столько ОО расширений ->, что не удивлюсь, если там что-то подходящее найдется. - Evgeny_CD(03.11.2017 13:06, ссылка)
        
        Ко всему-то подлец-человек привыкает! (ФМ) Я видел, как человек, весьма далёкий от программирования, стал писать довольно большие программы на Форте. Вот прямо с фортовской обратной польской записью. - йцукен(03.11.2017 12:29)
        
        На чистом листе можно написать все, что угодно. Лист все примет :) Это в части "весьма далёкий от программирования". У меня тоже не было проблем "писать проги" для МК-61. - Evgeny_CD(03.11.2017 12:46)
        
        Может и имеет. Но телепаты ушли на выходные на день раньше положенного. - SciFi(03.11.2017 09:09)
        
        Ну тогда давай про гейропку поговорим. - michas(03.11.2017 09:18)
  - Одну букву обрежь - и фраза станет правильной! :) - Evgeny_CD(02.11.2017 22:25)
    - У Gnu есть компилятор ADA. Точнее надстройка над компилятором. По идее должен много где идти. - Скрипач(02.11.2017 22:32, ссылка)
      - А то там насчет такой типизации в Rust, Go и прочих Scala? - Evgeny_CD(02.11.2017 22:34)
        
        в *опу их нахрен (скромное имхо) - RED_DRAGON(02.11.2017 22:38)
        
        Зря. Rust пилят для Cortex-M и даже для AVR. - Evgeny_CD(02.11.2017 23:29)
        
        Безумству храбрых поём мы песню! - SciFi(02.11.2017 23:35)
        
        Изучать - одно, использовать в серии - другое. - Evgeny_CD(02.11.2017 23:41)
        
        Тут в пустыне с пеной у рта обсуждают прибавление к регистру единицы (пардон за утрирование, но недалеко от истины), а тут типа язык с гарантиями какой-то там безопасности. Поищи аудиторию в другом месте. - SciFi(02.11.2017 23:50)
        
        Какие в жопу гарантии, когда он размерности напутает или в формуле ошибку сделает? Фортран самодостаточен -- ТОЧКА. Нужно лишь комментарии в коде писать и иногда, может быть, разумно называть переменные. Хотя I, J, K, L, M, N тоже вариант -- чаще fk0(34 знак., 02.11.2017 23:55)
        
        А мне местная аудитория нравится. Совмещать несовместимое - это моя главная фишка. Здесь люди имеют практический опыт, их критика бесценна для меня. - Evgeny_CD(02.11.2017 23:53)
        
        Да, и еще Kotlin! -> --> - Evgeny_CD(02.11.2017 22:36, ссылка, ссылка)
        
        Не в курсе. С Адой - баловался, перечисленное вами - вообще не смотрел. - Скрипач(02.11.2017 22:36)
    - :D она девочка (Ада) - RED_DRAGON(02.11.2017 22:32)
- Скрипач, остатками сознания, проявляет возможность мыслить как Русский Человек. Я бы тоже так сделал, объявил тип "физическая величина", и написал соответствующие функции IBAH(432 знак., 02.11.2017 08:39 - 08:48)
- дай бох памяти - такое можно было только на паскале. там да. назвал икс месяцем и игрек днем и только с ними и можно оперировать. - LordN(01.11.2017 20:38)
- Создать так свои типы можно, только Си типы не контролирует, а потому все равно позволит подставить в аргумент функции altitude вместо pressure :), если численно они конвертируемы. И только C++ станет ругаться, когда подстановка возможна, но типы Ксения(8 знак., 01.11.2017 18:25 - 19:10)
  - А так? _basile(216 знак., 01.11.2017 20:29, )
    - (c) Скрипач -> - Evgeny_CD(01.11.2017 20:31, ссылка)
      - Применение слова "стандартные", без ссылки на стандарт, указывают сразу на долбоеба. - _basile(03.11.2017 12:58, )
        
        Зануда, блеать. Операторы же! - SciFi(03.11.2017 13:02)
  - Все понятно. Это меня и интересовало. - michas(01.11.2017 18:54)
- Да, с пол-оборота на Си. Высота и давление всего - лишь unsingned int. Я так понял, это авиация. _basile(287 знак., 01.11.2017 19:04, )
  - Вот!!! Вот такие любители unsingned и писали ПО для F-22 и F-35. Какой-то из них при первом пересечении экватора перевернулся брюхом вверх - навигационная система отрабатывала изменившийся знак широты. - Evgeny_CD(01.11.2017 20:41)
    - Высота над уровнем моря, или давление отрицательное - это зведец. Эта вся хрень, как я понял, для вывода на приборы, ну, теперь уж на дисплей. И хули те разница, если у тя ВВП ниже уровня моря хоть на 100 метров, а прибор застыл на нуле ? _basile(103 знак., 01.11.2017 21:06, )
      - достаточно низэнько так над ним пролететь. был же случай. - Alex68(01.11.2017 21:46)
        
        Да ладно. Кто-то что-то там с3,14здил ярдов на -надцать, а крайним назначили быдлокодера. - SciFi(02.11.2017 08:49)
      - Расскажи это на астраханском аэродроме Приволжский... - Дошик(01.11.2017 21:20, )
    - а еще мертвое море ниже уровня океана - Alex68(01.11.2017 20:50)
      - Это ваще ППЦ - древняя диверсия КГБ, которое закошмарило древних укров, и они углубили мертвое море... - Evgeny_CD(01.11.2017 20:53)
    - базиль - вражеский засланец, православных инженеров с пути сбивает - POV_(01.11.2017 20:47, )
- Нет, не можешь. Либо придется отказаться от ВСЕХ стандартных арифметических операций. Описать все как struct и написать свои функции работы с ними. - Скрипач(01.11.2017 18:20)
- Если я правильно понял задачу, для неё есть готовое решение в C++. Боюсь, под голым Си не получится. - йцукен(01.11.2017 18:00, ссылка)

Средства и методы разработки