знаковый или беззнаковый?

[avva]

(эта запись может быть интересна программистам, знающим C/C++)

Во внутреннем форуме на работе кто-то устроил опрос, который просто не могу не украсть:

[Poll #2078582]

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

Comments

[mopexod.livejournal.com]

Я боюсь представить себе причины опроса.
Может, есть какой-нибудь стандарт С-2017, в котором употребление знака делает выражение знаковым?

[avva.livejournal.com]

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

[unibasil.livejournal.com]

Мне кажется, implementation defined — это универсальный и всегда корректный ответ на любой вопрос в области IT. В других областях человеческой деятельности вместо этого говорят it depends. ;)

[livelight]

Правильно: "IT depends"!

[gul-kiev.livejournal.com]

Всё не так просто. Бывает ещё undefined behavior, и это существенно отличается от implementation defined. :)

[a-konst.livejournal.com]

По логике не хватает еще варианта "зависит от стандарта/языка".

[avva.livejournal.com]

В принципе да, но по-моему в данном случае начиная как минимум с C89 и C++98 разницы нет. Возможно и раньше.

[(Anonymous)]

Я так думаю, после гугления, что правильный ответ - implementation defined, потому что prvalues of small integral types (such as char) **may** be converted to prvalues of larger integral types (such as int).

http://en.cppreference.com/w/cpp/language/implicit_conversion#Integral_promotion

[(Anonymous)]

да, какое счастье, что мне как быдло-vb.net-программисту не нужно про это думать.

[mopexod.livejournal.com]

Integral Promotions
The difference between the ANSI C and traditional versions of the conversion rules is that the traditional C rules emphasize preservation of the (un)signedness of a quantity, while ANSI C rules emphasize preservation of its value.

In traditional C, operands of types char, unsigned char, and unsigned short are converted to unsigned int. Operands of types signed char and short are converted to int.

ANSI C converts all char and short operands, whether signed or unsigned, to int. Only operands of type unsigned int , unsigned long, and unsigned long long may remain unsigned.

Мило.

[vladimir000]

Это в предположении, что int != short. Если int == short, то получим unsigned int, иначе - Int.

И не говорите, что 16-битных приложений не бывает:)

[leonov.livejournal.com]

Integral promotions и integral conversions проводятся не по желанию левой пятки компилятора, а лишь если результат выражения необходимо использовать в ситуации, требующей другой тип. Т.е. в данном случае - если результат нужно было бы передать функции f(int). Или если бы результат участвовал в арифметическом выражении с операндом другого типа.

Так что висящее в воздухе выражение foo + foo все-таки имеет тип unsigned short.

[victor-chapaev.livejournal.com]

Набираю:

unsigned short foo;
foo= 33000;
short a= foo+foo;

В инспекторе вижу:

foo,x: 0x80E8
foo+foo,x: 0x101D0
a: 464
foo: 33000
foo+foo: 66000

Получается, беззнаковое...

[avva.livejournal.com]

Нет, это у вас знаковый int.

[mtyukanov.livejournal.com]

Ответил implementation defined, но настоящий ответ -- expressions do not really have types.

Это должен знать каждый ) [CLion в помощь!]

[baramin.livejournal.com]

Re: Это должен знать каждый ) [CLion в помощь!]

[p-a-s-h-a.livejournal.com]

Ну, у вашего брата Си-шника и подход к вычитанию и делению...
Брахмагупта нервно переворачивается...

[kuzh]

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

[Илья Цыгвинцев (from livejournal.com)]

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

Conversion rules

[son-0f-morning.livejournal.com]

Всегда считал, что инкремент\декремент не требуют правил конвертации.

Но похоже это не так. ОМГ какая клоака прикрыта обычной унарной операцией "++"
Up
Хотя рано паниковать -- ведь в дополнительном коде битовые представления эквивалентны...



ПС
По вопросу:
1. Если sizeof(short) < sizeof(int) => foo+foo signed int
2. Если sizeof(short) == sizeof(int) => foo+foo unsigned int

Re: Conversion rules

[avva.livejournal.com]

Верно. А кстати, остались ли какие-то живые архитектуры, в которых sizeof(short int)==sizeof(int)?

[Дмитрий Васильев (from livejournal.com)]

В 90-х шрифты TrueType на Windows не были совместимы с шрифтами на Маке — из-за того, что на Windows кто-то перемудрил с unsigned short.

right answer

[cohenj.livejournal.com]

look at http://en.cppreference.com/w/cpp/language/typeid

operator typeid(expression)
returns object of class std::type_info
(which has member function name())

The type_info class is neither CopyConstructible nor CopyAssignable


typeid(foo+foo).name() is "unsigned short"

Re: right answer

[migmit (from livejournal.com)]

https://avva.livejournal.com/3090909.html?thread=132896733#t132896733

[vladimir000]

Небось и кодировку сразу utf? :)

[http://users.livejournal.com/_hedning_/]

логика подсказывает второй вариант
здравый смысл - третий (его и выбрал)
значит верен - первый...

[caztd.livejournal.com]

То есть short-арифметика на Си не реализуется никак
(если int != short)?

[e2pii1.livejournal.com]

реализуется:
если (foo + foo) преобразовать обратно в unsigned short, то результат будет правильный результат unsigned short-арифметики.

если тип foo - short, то же самое.

[occuserpens.livejournal.com]

Интуитивно, плюсы от unsigned int должны быть unsigned int. И действительно, судя по http://www.cplusplus.com/forum/beginner/8529/ так оно и есть, если, конечно, не углубляться в теологические тонкости.

[migmit (from livejournal.com)]

$ cat test.cpp; g++ test.cpp -o test; ./test
#include 
int main() {
  unsigned short f = 1;
  unsigned int i = 1;
  signed short s = 1;
  signed int j = 1;
  std::cout << typeid(f).name() << std::endl;
  std::cout << typeid(i).name() << std::endl;
  std::cout << typeid(s).name() << std::endl;
  std::cout << typeid(j).name() << std::endl;
  std::cout << typeid(f+f).name() << std::endl;
}
t
j
s
i
i

Signed int.

[serge kork (from livejournal.com)]

Действительно GCC продвигает до int.



http://coliru.stacked-crooked.com/a/742e9a8cca865c91