Điều gì xảy ra nếu hành vi C ++ không xác định đáp ứng hành vi được xác định C?

Tôi có một *.cpptệp mà tôi biên dịch bằng C ++ (không phải là trình biên dịch C). Hàm chứa dựa trên một nhóm (xem dòng cuối cùng) dường như được xác định trong C (vui lòng sửa nếu tôi sai!), Nhưng không phải trong C ++ cho loại đặc biệt này.

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

Vì tôi biên dịch tệp này trong tệp C ++, giờ đây là hành vi được xác định hoặc không xác định? Hoặc tôi sẽ cần phải di chuyển nó vào một *.ctập tin, để làm cho nó được xác định hành vi?

Điều này được định nghĩa trong cả C ++ và C. Nó không vi phạm các quy định răng cưa nghiêm ngặt vì nó không làm mất đi con trỏ kết quả.

Đây là trích dẫn từ C ++ (nhờ @interjay và @VTT) cho phép điều này:

Một con trỏ đối tượng có thể được chuyển đổi rõ ràng thành một con trỏ đối tượng thuộc loại khác.

Đây là trích dẫn từ C (cảm ơn @StoryTeller) cho phép điều này:

Một con trỏ tới một loại đối tượng có thể được chuyển đổi thành một con trỏ thành một loại đối tượng khác.

Chúng xác định rằng một loại con trỏ có thể được chuyển đổi sang loại con trỏ khác (và sau đó tùy ý chuyển đổi trở lại) mà không có kết quả.

Và đây là trích dẫn từ POSIX cho phép trường hợp cụ thể này:

Các sockaddr_in cấu trúc được sử dụng để lưu trữ các địa chỉ cho gia đình địa chỉ Internet. Các con trỏ tới loại này sẽ được các ứng dụng chuyển sang struct sockaddr * để sử dụng với các chức năng của socket.

Vì hàm này ( bind) là một phần của thư viện chuẩn C, nên bất cứ điều gì diễn ra bên trong (cụ thể là, bỏ hội thảo con trỏ đúc kiểu) không có hành vi không xác định.

Để trả lời câu hỏi chung chung hơn:

C và C ++ là hai ngôn ngữ khác nhau. Nếu một cái gì đó được định nghĩa trong C nhưng không phải trong C ++, thì nó được định nghĩa trong C nhưng không phải trong C ++. Không có sự tương thích ngụ ý giữa hai ngôn ngữ sẽ thay đổi điều đó. Nếu bạn muốn sử dụng mã được xác định rõ trong C nhưng không được xác định trong C ++, bạn sẽ phải sử dụng trình biên dịch C để biên dịch mã đó.

Các cuộc gọi giữa mã C và C ++ đều gọi Hành vi không xác định, theo quan điểm của các tiêu chuẩn tương ứng, nhưng hầu hết các nền tảng đều chỉ định những điều đó.

Trong các tình huống khi các phần của Tiêu chuẩn C hoặc C ++ và tài liệu triển khai cùng xác định hoặc mô tả một hành động, nhưng các phần khác mô tả nó là Không xác định, việc triển khai được phép xử lý mã theo bất kỳ cách nào phục vụ tốt nhất nhu cầu của khách hàng hoặc - nếu chúng thờ ơ với nhu cầu của khách hàng - bất cứ thời trang nào họ thấy phù hợp. Việc Tiêu chuẩn liên quan đến các vấn đề như bên ngoài phạm vi quyền hạn của họ không bao hàm bất kỳ phán xét nào về việc khi nào và / hoặc cách thức triển khai yêu cầu sự phù hợp cho các mục đích khác nhau nên được xử lý một cách có ý nghĩa, nhưng một số nhà bảo trì biên dịch đăng ký một huyền thoại mà nó thực hiện.