CとC ++の両方で有効なコードは、各言語でコンパイルしたときに異なる動作を生成できますか？

CとC ++には多くの違いがあり、すべての有効なCコードが有効なC ++コードであるとは限りません。
（「有効」とは、動作が定義された標準コードを意味します。つまり、実装固有/未定義などではありません。）

CとC ++の両方で有効なコードが、各言語の標準コンパイラーでコンパイルしたときに異なる動作を生成するシナリオはありますか？

それを合理的/有用な比較にするために（私は質問で明らかな抜け穴を見つけようとするのではなく、実際に役立つ何かを学ぼうとしています）、仮定しましょう：

• プリプロセッサに関連するものはありません（つまり#ifdef __cplusplus、、プラグマなどのハックがないことを意味します）
• 実装で定義されたものは両方の言語で同じです（たとえば、数値制限など）。
• 各標準のかなり最近のバージョン（たとえば、C ++ 98およびC90以降）を比較しています。
  バージョンが重要な場合は、それぞれのバージョンの動作が異なることを説明してください。

以下は、CとC ++で有効ですが、CとC ++では異なる値にiなります（ほとんどの場合）。

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;
}

C90が宣言されていない関数の呼び出しを許可するという事実と同様に、CとC ++の関数呼び出しとオブジェクト宣言の違いを利用する例を次に示します。

#include <stdio.h>

struct f { int x; };

int main() {
    f();
}

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

C ++では一時fファイルが作成および破棄されるため、これは何も出力しませんが、C90では、hello宣言せずに関数を呼び出すことができるため、出力します。

名前が気になった場合 fが2度使用されているので、CおよびC ++標準ではこれを明示的に許可しており、オブジェクトを作成するにstruct fは、構造が必要な場合は曖昧さをなくすかstruct、関数が必要な場合はオフにする必要があります。

C ++とC90の場合、実装が定義されていない異なる動作を取得する方法が少なくとも1つあります。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対C ++ 11（int対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標準ごと：

a。カンマ演算子は、Cで左辺値から右辺値への変換を実行しますが、C ++では実行しません。

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

C ++ではこの式の値は100になり、Cではこれはになりますsizeof(char*)。

b。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 ++では、空のparamsリストで宣言された関数は引数を取りません。Cでは、空のparamsリストは、関数paramsの数とタイプが不明であることを意味します。

   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)式の型がCの場合と同じですが、int通常はC ++では1です（必須ではありません）。実際には、ほとんど常に異なります。

C ++プログラミング言語（第3版）には3つの例があります。

1. sizeof（ 'a'）、@ Adam Rosenfieldが言及したとおり。

2. // 非表示のコードを作成するために使用されているコメント：

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

3. あなたの例のように、スコープなどの中で何かを隠す構造体など。

Cコンパイラに依存している古い栗、C ++の行末コメントを認識しない...

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

C ++標準でリストされているもう1つ：

#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 ++のインライン関数はそうではありません。

以下の2つのファイルを一緒にコンパイルすると、GNU Cの場合は「I am 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れていstaticない限り、すべてのグローバルを暗黙的に扱います。externextern

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;
}

このプログラムは印刷します 12832 * sizeof(double)、C ++コンパイラを4使用してコンパイルした場合、およびCコンパイラを使用してコンパイルした場合に（）をます。

これは、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 arrayがあり、Cの整数定数式ではないため、通常の配列に独自の特性を持つ可変長配列を作成します。C++では、型は完全に静的です。

ここに初期化子を追加しようとすると：

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

可変長配列は初期化子を持つことができないため、Cは有効ですがCは無効です。

これは、CおよびC ++の左辺値と右辺値に関係します。

Cプログラミング言語では、前置増分演算子と後置増分演算子の両方が左辺値ではなく右辺値を返します。つまり、=代入演算子の左側に置くことはできません。これらのステートメントは両方とも、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 ++では、前置インクリメント演算子は左辺値を返し、後置インクリメント演算子は右辺値を返します。つまり、プリインクリメント演算子を含む式は、=代入演算子の左側に配置できます。

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

これはなぜですか？ポストインクリメントは変数をインクリメントし、以前と同じように変数を返します、インクリメントが発生する。これは実際には単なる右辺値です。変数aの以前の値は一時的にレジスタにコピーされ、次にaがインクリメントされます。しかし、aの以前の値は式によって返され、それは右辺値です。変数の現在の内容を表しなくなりました。

前置インクリメントは、最初に変数をインクリメントし、その後、インクリメントが発生した後の変数を返します。この場合、変数の古い値を一時レジスタに格納する必要はありません。インクリメントされた後の変数の新しい値を取得するだけです。したがって、前置インクリメントは左辺値を返し、変数a自体を返します。この左辺値を別のものに割り当てることができます。これは次のステートメントのようです。これは、lvalueからrvalueへの暗黙の変換です。

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

前置インクリメントは左辺値を返すので、それに何かを割り当てることもできます。次の2つのステートメントは同じです。2番目の割り当てでは、最初に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;
}