Рабочее

[spamsink]

Си(++):

unsigned short a = ~0;
unsigned char b = 0;
bool c = a >= b - 1;

c истинно.

Верилог:

wire [15:0] a = ~0;
wire [7:0] b = 0;
wire c = a >= b - 1;

с ложно.

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

Comments

[fregimus.livejournal.com]

Мне оба одинаково не нравятся…

[spamsink]

А какой бы понравился?

[fregimus.livejournal.com]

Где типы явно приводятся, т. е. сравнение — ошибка компиляции.

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

[spamsink]

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

Верилог отличается от Си тем, что в нем нет базовой ширины операций, какой в Си является int.

[e2pii1.livejournal.com]

в приличном С++ компиляторе будет warning на сравнение signed/unsigned. Этого достаточно.

[amigofriend.livejournal.com]

Тоже мне бином ньютона!

тому кто любит сложности -
c ложно
тому кто любит женщин -
c истинно!

[spamsink]

Вот ведь как бывает: и в мыслях не имел тему раскрывать, а раскрыл.

[amigofriend.livejournal.com]

не мог он си от верилога
как мы ни бились отличить
но тему мог зато раскрыть!

[archaicos.livejournal.com]

Уж что стандартизировали. :)

[spamsink]

Поведение Верилога нужно запомнить, потому что по сравнению с Си его понять гораздо труднее.

[archaicos.livejournal.com]

Должен заметить, что и поведение в C(++) нужно запомнить. :)

[spamsink]

Потом главное не забыть, какое где.

[archaicos.livejournal.com]

Да, one не должен forget что and где.

[juan-gandhi.livejournal.com]

первый

[spamsink]

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

[morfizm.livejournal.com]

Первый.

Я считаю, что неявные касты и численные сравнения для разных типов допустимы только в C и в C++, исключительно из уважения к истории.

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

[spamsink]

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

[morfizm.livejournal.com]

В отношении года создания - да, справедливо. Но про Верилог я узнал только сегодня, а про C++ я знал почти с самого начала.

Можно примеры? (Если не белиберды, то хотя бы языков, где вы её видели).

[spamsink]

Язык был, вестимо, VHDL, а код был связан с размножением знакового бита при преобразовании с увеличением ширины данных, где данные были не числа, а битовые векторы. Безымянный автор кода, который мне пришлось отлаживать, отчаявшись написать компилируемый код, не придумал ничего лучше, чем присваивать биты в цикле по одному. В его оправдание скажу, что и у меня получилось правильно написать необходимую функциональность не с первого раза. А на weakly typed language это пишется тривиально, типа b = signed(a);

[morfizm.livejournal.com]

Спасибо! Интересная штука.

[archaicos.livejournal.com]

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

[spamsink]

Математические сравнения бывают и по модулю 2ⁿ.

[archaicos.livejournal.com]

Много чего бывает. В мире полно кода, где неправильно сравниваются signed и unsigned.