の代わりに 2*i
、私は不注意に2i
:
int foo(int i)
{
2i;
return 2i;
}
コンパイラがエラーをキャッチすることを期待していました。しかし、そうではありませんでした。 2i
Cの有効なステートメントですか?もしそうなら、それは何をしますか?困惑した!
Gccバージョン5.3.0を使用してコンパイルしました。アセンブリ出力は次のとおりです。
.file "strange.c"
.text
.globl foo
.type foo, @function
foo:
.LFB0:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
movl %edi, -4(%rbp)
nop
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE0:
.size foo, .-foo
.ident "GCC: (GNU) 5.3.0"
.section .note.GNU-stack,"",@progbits
これは gcc拡張 、および2i
は虚数定数です 。したがって、次のように複素数を書くことができます。
#include <complex.h>
_Complex x = 4 + 5i;
2i
は、-1
の平方根の2倍の純粋な虚数である複素整数リテラルのgcc
拡張です。この拡張機能は、clang
でもサポートされています。
gcc 5.4.0
を使用してコンパイルすると、投稿されたアセンブリ出力が生成されることは、少し驚くべきことです。
gcc
5.3.0:http://gcc.godbolt.org/#
:error: cannot convert '__complex__ int' to 'int' in return
からコンパイルエラーが発生します。foo
のアセンブリコードは正しくありません:0
を返しません。複素整数定数2i
をint
に変換すると、実部0
が返されます。逆に、clang
3.7を使用すると、警告なしでコンパイルされ、最適なコードが生成されますが、当然のことではありません。
foo(int): # @foo(int)
xorl %eax, %eax
retq
この構文は、他のサフィックスと任意の順序で組み合わせることができます。以下のコードをclang -Weverything
でコンパイルすると、適切な警告warning: imaginary constants are a GNU extension [-Wgnu-imaginary-constant]
が表示されます。
#include <stdio.h>
int main() {
/* complex integer literals */
printf("sizeof(2i) = %zd\n", sizeof(2i));
printf("sizeof(2ui) = %zd\n", sizeof(2ui));
printf("sizeof(2li) = %zd\n", sizeof(2li));
printf("sizeof(2lli) = %zd\n", sizeof(2lli));
/* complex floating point literals */
printf("sizeof(2.i) = %zd\n", sizeof(2.i));
printf("sizeof(2.fi) = %zd\n", sizeof(2.fi));
printf("sizeof(2e0fi) = %zd\n", sizeof(2e0fi));
printf("sizeof(2e0i) = %zd\n", sizeof(2e0i));
/* alternate order */
printf("sizeof(2il) = %zd\n", sizeof(2il));
printf("sizeof(2ill) = %zd\n", sizeof(2ill));
printf("sizeof(2.if) = %zd\n", sizeof(2.if));
return 0;
}
私の環境でこの出力を生成します:
sizeof(2i) = 8
sizeof(2ui) = 8
sizeof(2li) = 16
sizeof(2lli) = 16
sizeof(2.i) = 16
sizeof(2.fi) = 8
sizeof(2e0fi) = 8
sizeof(2e0i) = 16
sizeof(2il) = 16
sizeof(2ill) = 16
sizeof(2.if) = 8
シンタックスカラーリングエディターで最後の1つを試してください;-)