@TuxonSch

Подскажите, пожалуйста, если для представления типа данных как signed отвечает старший разряд, то как происходит разделение типа данных на signed/unsigned. Например, для представления наименьшего знакового значения типа char используют старший разряд 1000 0000, но как, в каком месте определяется сам тип signed/unsigned?

0

@TheCalligrapher

Никак и ни в каком.

Данные в памяти традиционной современной массовой платформы хранятся в виде последовательностей безличных нулей и единиц, не обладающих никаким дополнительными свойствами. Как роман "Война и мир" в памяти принципиально ничем не отличается от картины "Девочка с персиками", так и беззнаковый char в памяти ничем не отличается от знакового char или от массива double. Все это - лишь нули и единицы в памяти.

Различия будут возникать только на уровне интерпретации этих безличных нулей и единиц обрабатывающим их кодом. Обрабатывающий код должен знать, где в памяти лежит "Война и мир", где - "Девочка с персиками", где - беззнаковый char, где знаковый char, а где - массив double. И, соответственно, обрабатывающий код должен применять правильные операции, заточенные под правильные типы данных при работе с каждым участком памяти.

Причем правильность в данном случае - понятие относительное. Эту правильность никто не контролирует. Никто вам не запрещает, при необходимости, интерпретировать значение типа signed char в памяти как значение типа unsigned char. Или массив double как массив unsigned char.

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

4

@TuxonSch

TheCalligrapher, значит, чтобы ответить на свой вопрос нужно знать устройство компилятора?

0

@TheCalligrapher

Знать для чего именно?

Когда речь идет о более-менее строго типизированных языках программирования, то заботу об правильной интерпретации каждой области памяти (т.е. о контроле соответствия типов) берет на себя компилятор. Вы объявили переменную типа double - компилятор для работы с соответствующим кусочком памяти генерирует машинные инструкции, соответствующие типу double. Вы объявили переменную типа signed char - компилятор работает с соответствующим кусочком памяти через инструкции, соответствующие signed char. И т.д.

Вот, собственно, и все. А уж что еще вам надо знать - зависит.

4

@jdzvk

TheCalligrapher, осмелюсь сообщить, что это ваше "Советский "Эльбрус", -
-это примерно то же, как если бы напечатать "Капиталистический Гринвичский Меридиан").
----
вы завидуете, что система Эльбрус умеет аппаратно разбирать стек?)
*просто интересна причина акцентуации на "Советский"

0