Có extern C với C + + tránh hành vi không xác định đó là hợp pháp trong C nhưng không C + +?

Question

Nếu bạn sử dụng extern C với tệp C++, điều đó có cho phép hành vi C được xác định không được xác định trong C++ không?

blah.h

extern "C" 
{ 
     struct x { 
      int blah; 
      char buf[]; 
     }; 

     char * get_buf(struct x * base); 
     struct x * make_struct(int blah, int size); 
} 

some_random.cpp

#include "blah.h" 

... 

x * data=make_struct(7, 12); 
std::strcpy(get_buf(data), "hello"); 

Đang sử dụng các hành vi quy định tại thành viên mảng linh hoạt C, hành vi được xác định khi được sử dụng theo cách này?

Answer 1

Thành viên mảng linh hoạt là tính năng tiêu chuẩn của C, bắt đầu với tiêu chuẩn 1999. Chúng không tồn tại trong C++.

Mã của bạn không hợp lệ C++. Gói nó trong extern "C" không thay đổi điều đó. Trình biên dịch C++ phù hợp phải ít nhất là cảnh báo về nó và được cho là nên từ chối nó.

Điều đó xảy ra khi g ++ triển khai thành viên mảng linh hoạt kiểu C dưới dạng phần mở rộng cho C++. Điều đó hoàn toàn hợp pháp (các trình biên dịch được phép thực hiện các phần mở rộng), nhưng việc sử dụng nó không phải là di động. Hành vi của nó, giống như của bất kỳ phần mở rộng ngôn ngữ nào, được định nghĩa bởi trình biên dịch, không phải bởi ngôn ngữ.

Nếu bạn biên dịch nó với g++ -pedantic, bạn sẽ nhận được một cảnh báo:

c.cpp:5:21: warning: ISO C++ forbids zero-size array ‘buf’ [-Wpedantic] 
      char buf[]; 
        ^

Nếu bạn muốn sử dụng C-phong cách thành viên mảng linh hoạt trong một chương trình C++ mà không dựa vào một phần mở rộng trình biên dịch cụ thể, bạn có thể biên dịch mã C của bạn thành C và liên kết nó với chương trình C++ của bạn. Bạn không thể tạo kiểu với thành phần mảng linh hoạt hiển thị cho mã C++ của bạn, nhưng bạn có thể sử dụng nó trong nội bộ mã C, và có thể cung cấp truy cập vào nó trong mã C++ của bạn thông qua một con trỏ đục. Xem the C++ FAQ để biết thông tin về trộn C và C++ trong cùng một chương trình. (Hoặc bạn chỉ có thể sử dụng phần mở rộng g ++, với chi phí không thể biên dịch mã của bạn với các trình biên dịch khác.)

(Tôi giả định rằng bạn đang sử dụng g ++).)

Answer 2

số

extern "C" chỉ là một đặc điểm kỹ thuật liên kết, do đó những biểu tượng kèm theo có thể được liên kết đến từ C. Nó không chuyển biên dịch của bạn để chế độ "C" cho một phần của mã.

Answer 3

Tuyên bố extern "C" chỉ ảnh hưởng đến liên kết của các chức năng bên ngoài, do đó việc mang tên không được thực hiện. Nó không có nghĩa là các hàm sẽ được biên dịch bằng các quy tắc của ngôn ngữ C thay vì C++. Nói cách khác, bao gồm mã trong some_random.cpp sẽ không làm cho hành vi của nó được xác định.

Answer 4

Chỉ là ascii cho đến khi trình biên dịch chạy. Vì vậy, bộ tiền xử lý sẽ dán các tệp lại với nhau, sau đó trình biên dịch sẽ xem kết quả là bất kỳ ngôn ngữ nào bạn đã chỉ định.

Nó không phải là thành viên mảng linh hoạt C, đó là tệp văn bản. Hành vi không xác định vẫn còn.