C言語でunsigned int型「12」に対して、単項演算子-を作用させた「-12」の型は何ですか?

Question

前提・実現したいこと

C言語でunsigned int型「12」に対して、単項演算子-を作用させた「-12」の型は何ですか?

発生している問題・エラーメッセージ

エラーメッセージ

該当のソースコード

# include <stdio.h>

int main(void)
{
  unsigned int a=12;
  unsigned int b=-a;

  printf("%u\n",a);
  printf("%d\n",a);
  printf("%u\n",b);
  printf("%d\n",b);




  return 0;
}

試したこと

ここに問題に対して試したことを記載してください。

補足情報（FW/ツールのバージョンなど）

cygwinでgccコンパイラを使っています。

Answer 1

まず、オペランドはすでにunsigned intですので汎整数拡張は起こりません。unsigned intのままです。
そして負の単項演算子 - は、オペランドの符号を反転、より具体的には2の補数に変換します。
その結果の式に対しても暗黙の型変換が起こる理由はありませんので、unsigned intのままです。

Comments

[abustoy]

ご回答本当にありがとうございます。確認させていただきたいことと質問がございます。
あるサイトで
「整数変換の順位が int型よりも低い型の値を指定した場合、暗黙的に int型か unsigned int型へ変換されるというルールがあります。」
という記述がありました。
つまり、「unsigned int 」と「int」 は整数変換の順位が同じ(低くない)ため、汎整数拡張は起こらずunsigned intのままという理解で正しいでしょうか。

[abustoy]

質問の方です。
私は勝手に、負の単項演算子-は「unsigned型」に作用させると、「signed型」に変換されるイメージを持っています。そうではなく、負の単項演算子-はオペランドの型を変換しない（負の単項演算子-はオペランドのビットを変換するだけである）という理解で正しいでしょうか。
長い質問をしてしまい、申し訳ございません。ご回答いただけると助かります

[itagagaki]

汎整数拡張による格上げはint型よりも低い型に対して行われます。つまりunsigned int型は汎整数拡張の対象外です。そして負の単項演算子がオペランドの型を変換することはありません。型変換が起こると思われたのはただの想像でしょうか？

[abustoy]

負の単項演算子がオペランドの型を変換することはないこと、理解いたしました。はい、型変換が起こると思い込んでおりました。
わかりやすいご回答とても助かりました。ありがとうございました。

Answer 2

signed int 型、あるいはsigned long型　ですね

Comments

[abustoy]

ご回答本当にありがとうございます。非常に助かりました。

[pepperleaf]

提示のコードにある"-a" は式じゃないですか?

[itagagaki]

根拠のない回答のように思います。

[abustoy]

すみません、「"-a" は式じゃないですか?」はどういう意図でしょうか?