Що станеться, якщо невизначена поведінка 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 * для використання з функціями socket.

Оскільки ця функція ( bind) є частиною стандартної бібліотеки С, все, що відбувається всередині (зокрема, перенаправлення покажчика з типовим типом), не має визначеного поведінки.

Щоб відповісти на більш загальне запитання:

C і C ++ - це дві різні мови. Якщо щось визначено в C, але не в C ++, це визначено в C, але не в C ++. Жодна неявна сумісність між двома мовами це не змінить. Якщо ви хочете використовувати код, чітко визначений у C, але не визначений у C ++, вам доведеться використовувати компілятор C для компіляції цього коду.

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

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