Co się stanie, jeśli niezdefiniowane zachowanie C ++ spełnia zachowanie zdefiniowane w C?

Mam *.cppplik, który kompiluję za pomocą C ++ (nie kompilatora w języku C). Funkcja zawierająca opiera się na rzutowaniu (patrz ostatni wiersz), który wydaje się być zdefiniowany w C (popraw, jeśli się mylę!), Ale nie w C ++ dla tego specjalnego typu.

[...] 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 [...]

Skoro kompiluję to w pliku C ++, czy jest to teraz zdefiniowane czy niezdefiniowane zachowanie? A może powinienem przenieść to do *.cpliku, aby zdefiniować zachowanie?

Jest to zdefiniowane zarówno w C ++, jak i C. Nie narusza to ścisłych przepisów dotyczących aliasingu, ponieważ nie wyklucza wynikowego wskaźnika.

Oto cytat z C ++ (dzięki @interjay i @VTT), który pozwala na to:

Wskaźnik obiektu można jawnie przekonwertować na wskaźnik obiektu innego typu.

Oto cytat z C (dzięki @StoryTeller), który pozwala na to:

Wskaźnik do typu obiektu można przekonwertować na wskaźnik do innego typu obiektu.

Określają one, że jeden typ wskaźnika można przekonwertować na inny typ wskaźnika (a następnie opcjonalnie przekonwertować z powrotem) bez konsekwencji.

Oto cytat z POSIX, który pozwala na ten konkretny przypadek:

Struktura sockaddr_in służy do przechowywania adresów dla rodziny adresów internetowych. Wskaźniki tego typu będą rzutowane przez aplikacje na struct sockaddr * do użytku z funkcjami gniazd.

Ponieważ ta funkcja ( bind) jest częścią standardowej biblioteki C, cokolwiek dzieje się w środku (a konkretnie dereferencja wskaźnika rzutowanego na typ) nie ma niezdefiniowanego zachowania.

Aby odpowiedzieć na bardziej ogólne pytanie:

C i C ++ to dwa różne języki. Jeśli coś jest zdefiniowane w C, ale nie w C ++, jest zdefiniowane w C, ale nie w C ++. Żadna domniemana zgodność między dwoma językami tego nie zmieni. Jeśli chcesz użyć kodu dobrze zdefiniowanego w C, ale niezdefiniowanego w C ++, będziesz musiał użyć kompilatora C do skompilowania tego kodu.

Wywołania między kodami C i C ++ wywołują Niezdefiniowane zachowanie z punktu widzenia odpowiednich standardów, ale większość platform określa takie rzeczy.

W sytuacjach, w których części standardu C lub C ++ oraz dokumentacja implementacji razem definiują lub opisują działanie, ale inne części określają je jako Niezdefiniowane, implementacje mogą przetwarzać kod w dowolny sposób, który najlepiej zaspokoi potrzeby klientów lub - jeśli są obojętni na potrzeby klientów - niezależnie od mody, którą uznają za stosowną. Fakt, że Standard traktuje takie kwestie jako będące poza ich jurysdykcją, nie implikuje żadnego osądu co do tego, kiedy i / lub w jaki sposób implementacje twierdzące, że są odpowiednie do różnych celów, powinny je w znaczący sposób przetwarzać, ale niektórzy opiekunowie kompilatorów zgadzają się z tym mitem.