C 및 C ++ 모두에서 유효한 코드가 각 언어로 컴파일 될 때 다른 동작을 생성 할 수 있습니까?

C와 C ++에는 많은 차이점이 있으며 모든 유효한 C 코드가 유효한 C ++ 코드는 아닙니다.
""유효한 "이란 정의 된 동작을 가진 표준 코드를 의미합니다 (즉, 구현 별 / 정의되지 않은 등).

C와 C ++ 모두에서 유효한 코드 가 각 언어의 표준 컴파일러로 컴파일 될 때 다른 동작을 생성하는 시나리오가 있습니까?

합리적이고 유용한 비교를하기 위해 (질문에서 명백한 허점을 찾으려고 시도하지 않고 실제로 유용한 것을 배우려고합니다) 가정 해 봅시다.

• 전 처리기 관련 없음 ( #ifdef __cplusplus, pragma 등으로 해킹하지 않음 )
• 구현에 정의 된 것은 두 언어 모두에서 동일합니다 (예 : 숫자 제한 등).
• 우리는 각 표준의 합리적으로 최신 버전 (예 : C ++ 98 및 C90 이상)을 비교
  하고 있습니다. 버전이 중요한 경우 각 버전이 다른 동작을하는 것을 언급하십시오.

C와 C ++에서 유효한 다음과 같은 결과 i는 C와 C ++ 에서 다른 값을 갖게 될 것입니다.

int i = sizeof('a');

차이점에 대한 설명은 C / C ++에서 문자 크기 ( 'a')를 참조하십시오 .

이 기사 에서 다른 하나 :

#include <stdio.h>

int  sz = 80;

int main(void)
{
    struct sz { char c; };

    int val = sizeof(sz);      // sizeof(int) in C,
                               // sizeof(struct sz) in C++
    printf("%d\n", val);
    return 0;
}

다음은 C와 C ++에서 함수 호출과 객체 선언의 차이점과 C90이 선언되지 않은 함수의 호출을 허용한다는 사실을 이용하는 예입니다.

#include <stdio.h>

struct f { int x; };

int main() {
    f();
}

int f() {
    return printf("hello");
}

C ++에서는 임시 f가 생성되어 소멸 되므로 아무것도 인쇄하지 않지만 C90에서는 hello선언하지 않고 함수를 호출 할 수 있기 때문에 인쇄 합니다.

이름 f이 두 번 사용되는 것에 대해 궁금한 경우 C 및 C ++ 표준에서 명시 적으로 허용 struct f하고 구조를 원한다면 명확하게 말 하거나 struct함수를 원한다면 떠나야 할 객체를 만들 수 있습니다 .

C ++ 대 C90의 경우 구현이 정의되지 않은 다른 동작을 얻는 방법이 적어도 하나 있습니다. C90에는 한 줄 주석이 없습니다. 약간의주의를 기울이면 C90과 C ++에서 완전히 다른 결과를 가진 표현식을 작성할 수 있습니다.

int a = 10 //* comment */ 2 
        + 3;

C ++에서는 //줄 끝에서 끝까지 모든 것이 주석이므로 다음과 같이 작동합니다.

int a = 10 + 3;

C90에는 한 줄 주석이 없으므로 주석 만 /* comment */있습니다. 첫 번째 /와 2는 모두 초기화의 일부이므로 다음과 같이 나타납니다.

int a = 10 / 2 + 3;

따라서 올바른 C ++ 컴파일러는 13을 제공하지만 엄격하게 올바른 C90 컴파일러 8을 제공합니다. 물론 여기서는 임의의 숫자를 선택했습니다. 다른 숫자를 적절하게 사용할 수 있습니다.

C90 vs. C ++ 11 ( intvs. double) :

#include <stdio.h>

int main()
{
  auto j = 1.5;
  printf("%d", (int)sizeof(j));
  return 0;
}

C에서 auto지역 변수를 의미합니다. C90에서는 변수 또는 함수 유형을 생략해도됩니다. 기본값은 int입니다. C ++ 11에서 auto완전히 다른 것을 의미하는 것은 변수를 초기화하는 데 사용되는 값에서 변수 유형을 유추하도록 컴파일러에 지시합니다.

아직 언급하지 않은 또 다른 예는 전 처리기의 차이점을 강조한 것입니다.

#include <stdio.h>
int main()
{
#if true
    printf("true!\n");
#else
    printf("false!\n");
#endif
    return 0;
}

C에서 "false"를 인쇄하고 C ++에서 "true"를 인쇄합니다. C에서 정의되지 않은 매크로는 0으로 평가됩니다. C ++에서는 1 개의 예외가 있습니다. "true"는 1로 평가됩니다.

C ++ 11 표준에 따라 :

ㅏ. 쉼표 연산자는 C에서 lvalue에서 rvalue 로의 변환을 수행하지만 C ++에서는 수행하지 않습니다.

   char arr[100];
   int s = sizeof(0, arr);       // The comma operator is used.

C ++에서이 표현식의 값은 100이되고 C에서이 값은입니다 sizeof(char*).

비. C ++에서 열거 자의 유형은 열거입니다. C에서 열거 자의 유형은 int입니다.

   enum E { a, b, c };
   sizeof(a) == sizeof(int);     // In C
   sizeof(a) == sizeof(E);       // In C++

이는 sizeof(int)같지 않을 수 있음을 의미합니다 sizeof(E).

씨. C ++에서 빈 매개 변수 목록으로 선언 된 함수는 인수를 사용하지 않습니다. C 빈 매개 변수 목록에서 함수 매개 변수의 수와 유형을 알 수 없음을 의미합니다.

   int f();           // int f(void) in C++
                      // int f(*unknown*) in C

이 프로그램 1은 C ++ 및 C로 인쇄 됩니다 0.

#include <stdio.h>
#include <stdlib.h>

int main(void)
{
    int d = (int)(abs(0.6) + 0.5);
    printf("%d", d);
    return 0;
}

이 때문에 발생 double abs(double), C ++의 과부하 때문에 abs(0.6)반환 0.6C에서 반환 동안 0때문에 호출하기 전에 암시 더블 - 투 - INT 변환의 int abs(int). C에서는을 사용 fabs하여 작업해야 double합니다.

#include <stdio.h>

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

C에서는 sizeof(int)현재 시스템 의 값이 무엇이든 인쇄 4합니다. 일반적으로 오늘날 대부분의 시스템에서 일반적으로 사용됩니다.

C ++에서는 1을 인쇄해야합니다.

또 다른 sizeof함정 : 부울 식.

#include <stdio.h>
int main() {
    printf("%d\n", (int)sizeof !0);
}

sizeof(int)표현식은 유형 int이지만 C ++에서는 일반적으로 1 이기 때문에 C 와 같습니다 (필요하지는 않지만). 실제로 그들은 거의 항상 다릅니다.

C ++ 프로그래밍 언어 (제 3 판) 는 세 가지 예를 제공합니다.

1. @Adam Rosenfield가 언급했듯이 sizeof ( 'a');

2. // 숨겨진 코드를 만드는 데 사용되는 주석 :

   int f(int a, int b)
   {
       return a //* blah */ b
           ;
   }

3. 예제와 같이 범위 밖의 물건을 숨기는 구조 등.

C ++ 줄 끝 주석을 인식하지 않고 C 컴파일러에 의존하는 오래된 밤나무 ...

...
int a = 4 //* */ 2
        +2;
printf("%i\n",a);
...

C ++ 표준에 의해 나열된 또 하나 :

#include <stdio.h>

int x[1];
int main(void) {
    struct x { int a[2]; };
    /* size of the array in C */
    /* size of the struct in C++ */
    printf("%d\n", (int)sizeof(x)); 
}

C의 인라인 함수는 기본적으로 C ++의 인라인 함수가 아닌 외부 범위로 설정됩니다.

다음 두 파일을 함께 컴파일하면 GNU C의 경우 "I in inline"이 인쇄되지만 C ++에는 아무것도 인쇄되지 않습니다.

파일 1

#include <stdio.h>

struct fun{};

int main()
{
    fun();  // In C, this calls the inline function from file 2 where as in C++
            // this would create a variable of struct fun
    return 0;
}

파일 2

#include <stdio.h>
inline void fun(void)
{
    printf("I am inline\n");
} 

또한 C ++ 는 기본값 인 C와 달리 명시 적으로 선언되지 않는 한 모든 const전역을 암시 적으로 처리합니다 .staticexternextern

struct abort
{
    int x;
};

int main()
{
    abort();
    return 0;
}

C ++에서 종료 코드 0 또는 C에서 3을 리턴합니다.

이 트릭은 아마도 더 흥미로운 것을 수행하는 데 사용될 수 있지만 C에 적합 할 생성자를 만드는 좋은 방법을 생각할 수 없었습니다. 휴대가 불가능한 방식으로 전달 되더라도 :

struct exit
{
    int x;
};

int main()
{
    struct exit code;
    code.x=1;

    exit(code);

    return 0;
}

그러나 VC ++ 2005는 "종료 코드"가 어떻게 재정의되는지에 대해 불평하면서 C ++ 모드에서 컴파일을 거부했습니다. (프로그래밍 방법을 잊어 버리지 않는 한 이것이 컴파일러 버그라고 생각합니다.) C로 컴파일 할 때 프로세스 종료 코드 1로 종료되었습니다.

#include <stdio.h>

struct A {
    double a[32];
};

int main() {
    struct B {
        struct A {
            short a, b;
        } a;
    };
    printf("%d\n", sizeof(struct A));
    return 0;
}

이 프로그램 은 C ++ 컴파일러를 사용하여 컴파일 할 때 128( 32 * sizeof(double))를 인쇄 하고4 사용하여 컴파일 할 때 .

C에는 스코프 해상도의 개념이 없기 때문입니다. 다른 구조에 포함 된 C 구조에서는 외부 구조의 범위에 포함됩니다.

C와 C ++ 전역 네임 스페이스의 차이점을 잊지 마십시오. foo.cpp 가 있다고 가정하십시오.

#include <cstdio>

void foo(int r)
{
  printf("I am C++\n");
}

그리고 foo2.c

#include <stdio.h>

void foo(int r)
{
  printf("I am C\n");
}

이제 main.c 와 main.cpp 가 다음과 같이 있다고 가정합니다 .

extern void foo(int);

int main(void)
{
  foo(1);
  return 0;
}

C ++로 컴파일되면 C ++ 전역 네임 스페이스의 기호를 사용합니다. C에서는 C를 사용합니다.

$ diff main.cpp main.c
$ gcc -o test main.cpp foo.cpp foo2.c
$ ./test 
I am C++
$ gcc -o test main.c foo.cpp foo2.c
$ ./test 
I am C

int main(void) {
    const int dim = 5; 
    int array[dim];
}

이것은 C ++ 및 C99, C11 및 C17에서 유효하다는 점에서 다소 특이합니다 (C11, C17에서는 선택 사항 임). C89에서는 유효하지 않습니다.

C99 +에서는 컴파일 타임 형식 대신 런타임 형식이 있고 sizeof arrayC에서는 정수 상수식이 아니기 때문에 일반 배열에 대해 고유 한 가변 길이 배열을 만듭니다 . C ++에서는 형식이 완전히 정적입니다.

여기에 이니셜 라이저를 추가하려고하면 :

int main(void) {
    const int dim = 5; 
    int array[dim] = {0};
}

가변 길이 배열 은 이니셜 라이저를 가질 수 없으므로 유효한 C ++이지만 C 는 아닙니다.

이것은 C 및 C ++의 lvalue 및 rvalue와 관련이 있습니다.

C 프로그래밍 언어에서 사전 증분 및 사후 증분 연산자는 모두 lvalue가 아니라 rvalue를 반환합니다. 이는 =할당 연산자 의 왼쪽에있을 수 없음을 의미합니다 . 이 두 명령문 모두 C에서 컴파일러 오류를 발생시킵니다.

int a = 5;
a++ = 2;  /* error: lvalue required as left operand of assignment */
++a = 2;  /* error: lvalue required as left operand of assignment */

그러나 C ++에서 증분 사전 연산자는 lvalue를 리턴 하고 사후 증분 연산자는 rvalue를 리턴합니다. 사전 증가 연산자가있는 표현식을 =대입 연산자 의 왼쪽에 배치 할 수 있음을 의미합니다 !

int a = 5;
a++ = 2;  // error: lvalue required as left operand of assignment
++a = 2;  // No error: a gets assigned to 2!

왜 이럴까요? 후행 증가는 변수를 증가시키고 이전 과 같이 변수를 반환합니다. 증가시키고 증가가 발생 . 이것은 실제로 rvalue 일뿐입니다. 변수 a의 이전 값은 임시로 레지스터에 복사 된 다음 a가 증가합니다. 그러나 이전의 a 값은 표현식에 의해 리턴되며 rvalue입니다. 더 이상 변수의 현재 내용을 나타내지 않습니다.

사전 증분은 먼저 변수를 증분 한 다음 증분이 발생한 후 변수를 반환합니다 . 이 경우 변수의 이전 값을 임시 레지스터에 저장할 필요가 없습니다. 변수가 증가한 후에 변수의 새 값을 검색합니다. 따라서 사전 증분은 lvalue를 반환하고 변수 자체를 반환합니다. 우리는이 lvalue를 다른 것에 할당 할 수 있습니다. 다음 문장과 같습니다. 이것은 lvalue를 rvalue로 암시 적으로 변환 한 것입니다.

int x = a;
int x = ++a;

사전 증분은 lvalue를 반환하기 때문에 무언가를 할당 할 수도 있습니다. 다음 두 문장은 동일합니다. 두 번째 할당에서는 먼저 a가 증가한 다음 새 값이 2로 덮어 씁니다.

int a;
a = 2;
++a = 2;  // Valid in C++.

빈 구조체의 크기는 C에서 0이고 C ++에서 1입니다.

#include <stdio.h>

typedef struct {} Foo;

int main()
{
    printf("%zd\n", sizeof(Foo));
    return 0;
}