[JISX3010:2003 プログラム言語C][1] [1]: https://kikakurui.com/x3/X3010-2003-01.html > 6.3.1.3 符号付き整数型及び符号無し整数型 整数型の値を̲Bool型以外の他の整数型に変換する場合 新しい型が符号付き整数型であって,値がその型で表現できない場合は,結果が処理系定義の値となるか,又は処理系定義のシグナルを生成するかのいずれかとする。 > > 6.5.3.3 単項算術演算子 単項-演算子の結果は,その(拡張された)オペランドの符号を反転した値とする。オペランドに対して整数拡張を行い,その結果は,拡張された型をもつ。 となっていますが、符号無し整数型の場合、符号の反転をどう解釈すればいいかが分かりません。 例えば、次のような操作をしても問題ないでしょうか? ``` int main() { unsigned long long u = 1; long long l = -u; //-1になることを期待している } ``` 仮に`-u`がunsigned long longとして評価される場合、`-u == ULLONG_MAX`となり、`l = -u`の操作でオーバーフローを起こしているかもしれないと思っています。 `-(long long)u`のようにすれば問題ないかとは思うのですが、`-u`が符号無し、符号付きどちらとして評価されるのかが気になります。 符号無し整数型に単項演算子-を使用した場合、その値の型はどのように評価されるのでしょうか?よろしくお願いします。