質問があります．
unsignedとsigned型は上位の1ビットを符号と見なすかどうかの違いと理解しています．
上位一ビットを符号と見なすかどうかはどこで管理しているのでしょうか？