Dlaczego stwierdzenie „2i”; NIE powoduje błędu kompilatora?

Question 1

Zamiast tego 2*iniedbale napisałem 2i:

int foo(int i)
{
    2i;
    return 2i;
}

Spodziewałem się, że kompilator wykryje błąd. Ale tak się nie stało. Czy więc 2iprawidłowe stwierdzenie w C? Jeśli tak, co to robi? Zdziwiony!

Skompilowałem używając gcc w wersji 5.3.0 i oto wynik asemblera:

    .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

Question 2

To jest rozszerzenie gcc i 2ijest wyimaginowaną stałą . Możesz więc napisać liczbę zespoloną w następujący sposób:

#include <complex.h>

_Complex x = 4 + 5i;

Question 3

2ijest gccrozszerzeniem zespolonego literału liczby całkowitej, czystej liczby urojonej, która jest dwa razy większa od pierwiastka kwadratowego -1. To rozszerzenie jest również obsługiwane przez clang.

Zaskakujące jest to, że kompilacja z gcc 5.4.0generuje wysłany wynik montażu:

Kompilując na http://gcc.godbolt.org/# Otrzymuję błąd kompilacji z gcc5.3.0 http://gcc.godbolt.org/#:: error: cannot convert '__complex__ int' to 'int' in return.
Wysłany kod asemblera funkcji foojest nieprawidłowy: nie zwraca 0. Przekształcenie stałej zespolonej liczby całkowitej 2ina intpowinno zwrócić jej część rzeczywistą 0.

I odwrotnie, w wersji clang3.7 kompiluje się bez ostrzeżenia i generuje optymalny kod, ale oczywiście nie taki, jakiego oczekujesz:

foo(int):                       # @foo(int)
    xorl    %eax, %eax
    retq

Tę składnię można łączyć z innymi przyrostkami w dowolnej kolejności. Kompilacja poniższego kodu clang -Weverythingdaje mi odpowiednie ostrzeżenia 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;
}

Tworzy ten wynik w moim środowisku:

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

Wypróbuj ostatnią za pomocą edytora kolorowania składni ;-)

Answer 1

82

Zamiast tego 2*iniedbale napisałem 2i:

int foo(int i)
{
    2i;
    return 2i;
}

Spodziewałem się, że kompilator wykryje błąd. Ale tak się nie stało. Czy więc 2iprawidłowe stwierdzenie w C? Jeśli tak, co to robi? Zdziwiony!

Skompilowałem używając gcc w wersji 5.3.0 i oto wynik asemblera:

    .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

c syntax daltonfury42
źródło

Co to za kompilator?

Iharob Al Asimi

Nie pracuję z _Complexliczbami. Po przeczytaniu standardu i podanego linku myślę, że odpowiedź @ iharob jest poprawna.

zbyt szczery dla tej strony

@Olaf Szybka transformata Fouriera na Zachodzie fftw używa tego _Complextypu. Dowiedziałem się o tym pisząc oprogramowanie do przetwarzania danych na potrzeby mojej pracy magisterskiej ( właściwie fizyka, a nie informatyka lub tym podobne ) - ( musiałem zastosować filtr dolnoprzepustowy, czyli splot, czyli Szybka transformata Fouriera, więc fftw ).

Iharob Al Asimi

@iharob: Hmm, czy to szybsze niż ffte, a jeśli nie, czy mogę używać tego szybciej, jeśli mieszkam na zachodzie, ale na wschód od ciebie? ;-) Poważnie: dzięki za informację. Wygląda na to, że standard C nie obsługuje nawet podobnej prostej notacji z C11.

zbyt szczery dla tej strony

Bardzo dobry przykład „… nie„ Eureka ”, ale„ To zabawne… ”!

Jongware

Answer 2

Co to za kompilator?

Iharob Al Asimi

Answer 3

Nie pracuję z _Complexliczbami. Po przeczytaniu standardu i podanego linku myślę, że odpowiedź @ iharob jest poprawna.

zbyt szczery dla tej strony

Answer 4

@Olaf Szybka transformata Fouriera na Zachodzie fftw używa tego _Complextypu. Dowiedziałem się o tym pisząc oprogramowanie do przetwarzania danych na potrzeby mojej pracy magisterskiej ( właściwie fizyka, a nie informatyka lub tym podobne ) - ( musiałem zastosować filtr dolnoprzepustowy, czyli splot, czyli Szybka transformata Fouriera, więc fftw ).

Iharob Al Asimi

Answer 5

@iharob: Hmm, czy to szybsze niż ffte, a jeśli nie, czy mogę używać tego szybciej, jeśli mieszkam na zachodzie, ale na wschód od ciebie? ;-) Poważnie: dzięki za informację. Wygląda na to, że standard C nie obsługuje nawet podobnej prostej notacji z C11.

zbyt szczery dla tej strony

Answer 6

Bardzo dobry przykład „… nie„ Eureka ”, ale„ To zabawne… ”!

Jongware

Answer 7

107

To jest rozszerzenie gcc i 2ijest wyimaginowaną stałą . Możesz więc napisać liczbę zespoloną w następujący sposób:

#include <complex.h>

_Complex x = 4 + 5i;

Iharob Al Asimi
źródło

12

Wow, to była niespodzianka! Powiesz mi, dlaczego zadziałało, nawet jeśli nie załączyłem pliku nagłówkowego complex.h?

daltonfury42

4

@ daltonfury42 Nagłówek jest dla _Complextypu, 2ijest stałą ( w rozumieniu gcc ). Dodaj flagę std=c99lub std=c11połączoną z, -Walla zobaczysz ostrzeżenie. Co więcej, rzeczywiście nie zwraca, 0ale ponieważ typ zwracania powinien być _Complexi wartość 0 + 2i, nie możesz tego sprawdzić printf(). Więc może to tylko prawdziwa część 0!

Iharob Al Asimi

12

@ daltonfury42: Nie musisz #include <float.h>(lub math.h), aby uzyskać obsługę stałych zmiennoprzecinkowych .

zbyt szczery dla tej strony

2

@ daltonfury42 Zgadza się. Pliki nagłówkowe nie zmieniają składni języka, po prostu deklarują takie rzeczy, jak zmienne, funkcje, typy itp.

Barmar

2

@ daltonfury42 Chociaż możliwe było by rozpoznawanie tej składni było kontrolowane przez a #pragma, co complex.hmogłoby spowodować błąd. Ale nie zrobili tego w ten sposób.

Barmar

Answer 8

12

Wow, to była niespodzianka! Powiesz mi, dlaczego zadziałało, nawet jeśli nie załączyłem pliku nagłówkowego complex.h?

daltonfury42

Answer 9

4

@ daltonfury42 Nagłówek jest dla _Complextypu, 2ijest stałą ( w rozumieniu gcc ). Dodaj flagę std=c99lub std=c11połączoną z, -Walla zobaczysz ostrzeżenie. Co więcej, rzeczywiście nie zwraca, 0ale ponieważ typ zwracania powinien być _Complexi wartość 0 + 2i, nie możesz tego sprawdzić printf(). Więc może to tylko prawdziwa część 0!

Iharob Al Asimi

Answer 10

12

@ daltonfury42: Nie musisz #include <float.h>(lub math.h), aby uzyskać obsługę stałych zmiennoprzecinkowych .

zbyt szczery dla tej strony

Answer 11

2

@ daltonfury42 Zgadza się. Pliki nagłówkowe nie zmieniają składni języka, po prostu deklarują takie rzeczy, jak zmienne, funkcje, typy itp.

Barmar

Answer 12

2

@ daltonfury42 Chociaż możliwe było by rozpoznawanie tej składni było kontrolowane przez a #pragma, co complex.hmogłoby spowodować błąd. Ale nie zrobili tego w ten sposób.

Barmar

Answer 13

2ijest gccrozszerzeniem zespolonego literału liczby całkowitej, czystej liczby urojonej, która jest dwa razy większa od pierwiastka kwadratowego -1. To rozszerzenie jest również obsługiwane przez clang.

Zaskakujące jest to, że kompilacja z gcc 5.4.0generuje wysłany wynik montażu:

Kompilując na http://gcc.godbolt.org/# Otrzymuję błąd kompilacji z gcc5.3.0 http://gcc.godbolt.org/#:: error: cannot convert '__complex__ int' to 'int' in return.
Wysłany kod asemblera funkcji foojest nieprawidłowy: nie zwraca 0. Przekształcenie stałej zespolonej liczby całkowitej 2ina intpowinno zwrócić jej część rzeczywistą 0.

I odwrotnie, w wersji clang3.7 kompiluje się bez ostrzeżenia i generuje optymalny kod, ale oczywiście nie taki, jakiego oczekujesz:

foo(int):                       # @foo(int)
    xorl    %eax, %eax
    retq

Tę składnię można łączyć z innymi przyrostkami w dowolnej kolejności. Kompilacja poniższego kodu clang -Weverythingdaje mi odpowiednie ostrzeżenia 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;
}

Tworzy ten wynik w moim środowisku:

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

Wypróbuj ostatnią za pomocą edytora kolorowania składni ;-)

Answer 14

Cóż, to właśnie otrzymałem, kiedy użyłem GCC 5.3.0 na moim komputerze z Arch Linux. Oto moja konfiguracja gcc, jeśli jesteś zainteresowany.

daltonfury42

Dlaczego stwierdzenie „2i”; NIE powoduje błędu kompilatora?

Odpowiedzi: