int型変数に'12'と代入した場合の動作について

Question

前提・実現したいこと

会社の研修中にint型変数にシングルクォーテーションで囲った数字を
代入していた人がいたのですが、以下のワーニングが出るのみで、
コンパイルは通っておりました。

warning: multi-character character constant

このような使い方はしない認識ではありますが、
説明することが出来ませんでした。

出力結果については文字コードに対応した値が'1' = 0x31、'2' = 0x32であり、
その値がそのまま出力されているというのは分かるのですが、
そもそも、シングルクォーテーションで囲われた中に2文字以上の文字を
書くということは定義されている動作なのでしょうか？

該当のソースコード

    int a = '12';
    printf("出力結果\n[%x]\n", a);

出力結果
[3132]

以上、宜しくお願いします。

Answer 1

そもそも、シングルクォーテーションで囲われた中に2文字以上の文字を

書くということは定義されている動作なのでしょうか？

はい、警告メッセージにあるように、multi-character character constantというものは存在します。型はintで、値は処理系依存とのことです（MSDN）。

[迷信] 一重引用符の中には一文字しか書けない

Comments

[maisumakun]

もっとも、値が「処理系依存」である以上、保証されているのは「int型の何かしらの値としてコンパイルできること」だけです。

挙動が明文化されている特定のコンパイラで使う前提ならともかく、そうでないなら書かないほうがいい部類のコードです。

[kaina]

なるほど、どのような用途で使用するかは分かりませんが、処理系依存ではあるけどきちんと定義された動作なのですね。
非常に勉強になりました。

[ttb]

処理系依存というのは、処理系によって動作を文書化するのが規定されているだけなのですよね。それなら、場合によっては、「動作不可」や「未定義と定める」と文書化されていれば、コンパイルエラーとなる可能性もあるのでは？と思いました。
解釈間違いならすみません。

[maisumakun]

> 場合によっては、「動作不可」や「未定義と定める」と文書化されていれば、コンパイルエラーとなる可能性もあるのでは？と思いました。

いえ、C言語の場合、「処理系定義の値」は「未規定の値」の一種であり、「適切な型の正しい値」で「トラップ表現となることはない」ことは保証されています。これに対して、「未定義」とある箇所は、そこに突っ込めば何が起きるかわからない世界です。

Answer 2

既に明解な回答をいただいておりますので、sizeof('12')がint型を示す、補間的回答です。

$ uname -a
CYGWIN_NT-6.1-WOW turtle0 3.0.7(0.338/5/3) 2019-04-30 18:04 i686 Cygwin

$ cat t1.c
#include <stdio.h>

int main(void) {
    printf("sizeof(int)=%d\n", sizeof(int));
    printf("sizeof('12')=%d\n", sizeof('12'));
    printf("sizeof('123')=%d\n", sizeof('123'));
    return 0;
}

$ gcc -Wall t1.c
t1.c: 関数 ‘main’ 内:
t1.c:5:37: 警告: 複数文字からなる文字定数 [-Wmultichar]
  printf("sizeof('12')=%d\n", sizeof('12'));
                                     ^~~~
t1.c:6:38: 警告: 複数文字からなる文字定数 [-Wmultichar]
  printf("sizeof('123')=%d\n", sizeof('123'));
                                      ^~~~~
$ ./a.exe
sizeof(int)=4
sizeof('12')=4
sizeof('123')=4

$

Comments

[kaina]

int型である確認コードありがとうございます。
なるほど、処理系依存なので、int型のサイズ（まあほぼ4バイトでしょうが）によっては
格納出来る文字数が変わるわけですね。

Answer 3

ちょっとアセンブル出力見てみました。即値(imm:イミディエイト)になってますね。

#include <stdio.h>

int main(void)
{
    int a = '12';
    printf("出力結果\n[%x]\n", a);
    //
    return 0;
}

main:                                   # @main
	.cfi_startproc
# %bb.0:
	pushq	%rax
	.cfi_def_cfa_offset 16
	movl	$.L.str, %edi
	movl	$12594, %esi            # imm = 0x3132
	xorl	%eax, %eax
	callq	printf
	xorl	%eax, %eax
	popq	%rcx
	.cfi_def_cfa_offset 8
	retq

Comments

[cateye]

環境は、Linux Mint + clang version 10

[kaina]

ありがとうございます、アセンブラまで見る機会がないので、
参考になります。

Answer 4

'x'というのは文字定数で、型はchar ですが、charってのは整数ですよ
そもそもC言語には、文字の型とか文字列てのはありません

Comments

[thkana]

Cでは' 'で囲んだ文字リテラルはint型です。