Что происходит, если неопределенное поведение 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), которая позволяет это:

Указатель на тип объекта может быть преобразован в указатель на другой тип объекта.

Они указывают, что один тип указателя может быть преобразован в другой тип указателя (и затем необязательно преобразован обратно) без последствий.

А вот цитата из POSIX, которая позволяет этот конкретный случай:

Структура sockaddr_in используется для хранения адресов для семейства интернет-адресов. Указатели на этот тип должны быть приведены приложениями к структуре sockaddr * для использования с функциями сокетов.

Так как эта функция ( bind) является частью стандартной библиотеки C, все, что происходит внутри (в частности, разыменование приведенного к типу указателя), не имеет неопределенного поведения.

Чтобы ответить на более общий вопрос:

C и C ++ - два разных языка. Если что-то определено в C, но не в C ++, это определяется в C, но не в C ++. Никакая подразумеваемая совместимость между этими двумя языками не изменит это. Если вы хотите использовать код, который четко определен в C, но не определен в C ++, вам придется использовать компилятор C для компиляции этого кода.

Все вызовы между кодом C и C ++ вызывают неопределенное поведение с точки зрения соответствующих стандартов, но большинство платформ определяют такие вещи.

В ситуациях, когда части стандарта C или C ++ и документация реализации вместе определяют или описывают действие, но другие части характеризуют его как неопределенный, реализации разрешается обрабатывать код любым способом, который лучше всего отвечает потребностям их клиентов или - если они безразличны к потребностям клиентов - независимо от того, что они считают подходящим. Тот факт, что Стандарт рассматривает такие вопросы как находящиеся вне их юрисдикции, не подразумевает какого-либо суждения относительно того, когда и / или как реализации, требующие пригодности для различных целей, должны обрабатывать их осмысленно, но некоторые сопровождающие компилятора подписываются на миф о том, что он делает.