未定義のC ++の動作がCの定義された動作と一致するとどうなりますか？

*.cpp（Cコンパイラではなく）C ++でコンパイルするファイルがあります。含まれている関数は、Cで定義されているように見えるキャスト（最後の行を参照）に依存していますが（間違っている場合は修正してください！）、この特別な型のC ++ではありません。

[...] C++ code [...]

struct sockaddr_in sa = {0};
int sockfd = ...;
sa.sin_family = AF_INET;
sa.sin_port = htons(port);
bind(sockfd, (struct sockaddr *)&sa, sizeof sa);

[...] C++ code [...]

これをC ++ファイルでコンパイルしたので、これは現在定義済みまたは未定義の動作ですか？または*.c、これをファイルに移動して、動作を定義する必要がありますか？

これは、C ++とCの両方で定義されています。結果のポインタを逆参照しないため、厳密なエイリアス規則に違反していません。

これを可能にするC ++からの引用（@interjayおよび@VTTに感謝）は次のとおりです。

オブジェクトポインターは、明示的に別の型のオブジェクトポインターに変換できます。

これを可能にするCの引用（@StoryTellerに感謝）は次のとおりです。

オブジェクト型へのポインタは、別のオブジェクト型へのポインタに変換される場合があります。

これらは、1つのポインター型を別のポインター型に変換できる（そしてオプションで元に戻す）ことができることを指定しています。

そして、これはこの特定のケースを可能にするPOSIXからの引用です：

sockaddr_in構造体は、インターネットアドレスファミリのアドレスを格納するために使用されます。この型へのポインターは、ソケット関数で使用するために、アプリケーションによってstruct sockaddr *にキャストされます。

この関数（bind）はC標準ライブラリの一部であるため、内部で行われる処理（具体的には、型キャストされたポインタの逆参照）の動作は未定義ではありません。

より一般的な質問に答えるには：

CとC ++は2つの異なる言語です。Cで定義されていてC ++では定義されていないものは、Cでは定義されていますが、C ++では定義されていません。2つの言語間の暗黙の互換性はそれを変更しません。Cで明確に定義されているがC ++では定義されていないコードを使用する場合は、Cコンパイラを使用してそのコードをコンパイルする必要があります。

CとC ++コード間の呼び出しはすべて、それぞれの規格の観点から、未定義の動作を呼び出しますが、ほとんどのプラットフォームはそのようなことを指定します。

CまたはC ++標準の一部と実装のドキュメントが一緒にアクションを定義または説明しているが、他の部分がそれを未定義として特徴付けている状況では、実装は、顧客のニーズに最適な方法でコードを処理することが許可されています。顧客のニーズに無関心です-どんな方法でも彼らが合うと思います。標準がそのような問題を管轄外と見なしているという事実は、さまざまな目的への適合性を主張する実装がそれらを有意義に処理することが期待される時期および/または方法に関する判断を意味するものではありませんが、一部のコンパイラーメンテナーは、そうするという神話に同意しています。