Apa yang terjadi jika perilaku C ++ yang tidak ditentukan memenuhi perilaku yang didefinisikan C?

Saya memiliki *.cppfile yang saya kompilasi dengan C ++ (bukan kompiler C). Fungsi yang berisi bergantung pada pemain (lihat baris terakhir) yang tampaknya didefinisikan dalam C (tolong perbaiki jika saya salah!), Tetapi tidak dalam C ++ untuk jenis khusus ini.

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

Karena saya mengkompilasi ini dalam file C ++, apakah ini perilaku yang sekarang didefinisikan atau tidak terdefinisi? Atau apakah saya perlu memindahkan ini ke *.cfile, untuk membuatnya menjadi perilaku yang didefinisikan?

Ini didefinisikan dalam C ++ dan C. Ini tidak melanggar peraturan aliasing yang ketat karena tidak mengubah pointer yang dihasilkan.

Inilah kutipan dari C ++ (terima kasih kepada @interjay dan @VTT) yang memungkinkan ini:

Pointer objek dapat secara eksplisit dikonversi ke objek pointer dari tipe yang berbeda.

Inilah kutipan dari C (terima kasih @StoryTeller) yang memungkinkan ini:

Pointer ke tipe objek dapat dikonversi ke pointer ke tipe objek yang berbeda.

Ini menentukan bahwa satu tipe pointer dapat dikonversi ke tipe pointer lain (dan kemudian secara opsional dikonversi kembali) tanpa konsekuensi.

Dan inilah kutipan dari POSIX yang memungkinkan kasus khusus ini:

The sockaddr_in struktur digunakan untuk menyimpan alamat untuk keluarga alamat Internet. Pointer ke jenis ini harus dilemparkan oleh aplikasi ke struct sockaddr * untuk digunakan dengan fungsi soket.

Karena fungsi ini ( bind) adalah bagian dari pustaka standar C, apa pun yang terjadi di dalam (khususnya, menandakan pointer tipe-dicor) tidak memiliki perilaku yang tidak ditentukan.

Untuk menjawab pertanyaan yang lebih umum:

C dan C ++ adalah dua bahasa yang berbeda. Jika sesuatu didefinisikan dalam C tetapi tidak dalam C ++, itu didefinisikan dalam C tetapi tidak dalam C ++. Tidak ada kompatibilitas yang tersirat antara kedua bahasa yang akan mengubah itu. Jika Anda ingin menggunakan kode yang didefinisikan dengan baik dalam C tetapi tidak terdefinisi dalam C ++, Anda harus menggunakan kompiler C untuk mengkompilasi kode itu.

Panggilan antara kode C dan C ++ semua memanggil Perilaku Tidak Terdefinisi, dari sudut pandang standar masing-masing, tetapi sebagian besar platform menentukan hal-hal seperti itu.

Dalam situasi di mana bagian dari Standar C atau C ++ dan dokumentasi implementasi bersama-sama mendefinisikan atau menggambarkan suatu tindakan, tetapi bagian lain mencirikannya sebagai Tidak Terdefinisi, implementasi diizinkan untuk memproses kode dengan cara apa pun yang paling sesuai dengan kebutuhan pelanggan mereka atau - jika mereka tidak peduli dengan kebutuhan pelanggan - busana apa pun yang mereka sukai. Fakta bahwa Standar menganggap hal-hal seperti di luar yurisdiksi mereka tidak menyiratkan penilaian kapan dan / atau bagaimana implementasi yang mengklaim kesesuaian untuk berbagai tujuan harus diharapkan untuk memprosesnya secara bermakna, tetapi beberapa pembuat kompiler menganut mitos yang berlaku.