Tự Thúc đẩy dữ liệu loại

Question

tôi đọc qua các phương pháp để sử dụng chức năng variadic trong C tại http://www.gnu.org/s/libc/manual/html_node/Argument-Macros.html#Argument-Macros

Tuy nhiên, tôi đã không thể nắm bắt được ý nghĩa của các kiểu dữ liệu tự quảng bá. Chúng là gì & chúng khác với các loại dữ liệu không tự quảng bá như thế nào?

Answer 1

Đây là C99 standard; các loại "tự quảng cáo" là những loại quảng bá cho chính mình khi các quảng cáo đối số mặc định (§6.5.2.2 khoản 6, tham chiếu các chương trình khuyến mãi số nguyên được mô tả trong §6.3.1.1) được áp dụng.

Đọc của tôi về định nghĩa va_arg (§7.15.1.1) là giới hạn này là được ngụ ý theo tiêu chuẩn. Phần liên quan là tại đoạn 2:

[...] hoặc nếu loại không tương thích với các loại đối số tiếp theo thực tế (như đề bạt theo đến chương trình khuyến mãi đối số mặc định) [... ]

khá rõ ràng về loại đối số tiếp theo thực sự được quảng cáo, nhưng tôi đọc là không nói bất cứ điều gì về loại đang được quảng cáo. (Tôi nghĩ rằng mệnh đề "(như đã được quảng cáo ...)" chỉ là lời nhắc rằng các quảng cáo đối số mặc định được thực hiện trên các đối số sau khi hàm varargs được gọi.)

Mục này trong danh sách các hành vi chưa xác định trong § k.2 hỗ trợ đọc này:

- các vĩ mô va_arg được gọi khi không có tranh luận tiếp theo thực tế, hoặc với một loại quy định đó không phải là tương thích với các loại bạt của thực tế số tiếp theo, với một số ngoại lệ (7.15.1.1).

(mặc dù có, tôi biết, Phụ lục J "thông tin" thay vì "quy phạm" ...).

Trong trường hợp đó: va_arg(ap, float) (ví dụ) không thể có giá trị - loại trong trường hợp đó là float, nhưng kiểu thúc đẩy của cuộc tranh luận tiếp theo thực tế không thể nào được float (một cuộc tranh luận float sẽ được thăng double).

Answer 2

Điều này có vẻ là một hạn chế glibc, tiêu chuẩn C không có điều đó.

Ý tưởng đằng sau này là các loại nguyên đã cái gọi là "chuyển đổi cấp bậc" nhỏ hơn int sẽ được tự động thăng signed hoặc unsignedint. Một hàm va_arg sau đó tìm ra một đối số rộng hơn như vậy. Trước tiên, macro va_arg phải đọc đối số rộng hơn loại int và sau đó truyền trở lại loại ban đầu.

(Tương tự giữ cho float w.r.t để double.)

Đối với các lập trình viên không biết điều này có thể có kết quả đáng ngạc nhiên, vì vậy tôi đồng ý với ý tưởng rằng điều này cần phải tránh. Mô tả bạn đang trích dẫn dường như ngụ ý rằng nó được áp dụng để không sử dụng một loại nhỏ. Điều này là không có thật và như tôi đã nói không phù hợp với tiêu chuẩn. Mặt khác, nếu bạn viết mã như họ đề nghị bạn sẽ không bao giờ có một vấn đề di động với điều đó bởi vì đây là một hạn chế và không phải là một phần mở rộng.