Khác biệt giữa bản sửa đổi của “Kiểu mạnh và kiểu yếu”
Nội dung được xóa Nội dung được thêm vào
→Chuyển kiểu tự động và ép kiểu: sửa lỗi chính tả |
|||
Dòng 18:
Một ví dụ khác: GCC miêu tả việc này là ''chơi kiểu'' (type-punning) và cảnh báo rằng nó sẽ ''bẻ vỡ tính chặt chẽ trong việc [[ánh xạ]] dữ liệu''. [[Thiago Macieira]] nêu ra nhiều vấn đề có thể xảy ra khi việc chơi kiểu khiến [[trình biên dịch]] sai lầm trong việc tối ưu hoá chương trình xuất.<ref>[http://blog.qt.digia.com/blog/2011/06/10/type-punning-and-strict-aliasing/ Type-punning and strict-aliasing, Thiago Macieira]</ref>
Tuy việc tập trung vào cú pháp dễ hơn, nhưng lý luận của Macieira thực sự là về ngữ nghĩa chương trình. Có nhiều ngôn ngữ cho phép việc chuyển kiểu ngầm, nhưng khác là theo một cách đảm bảo tính an toàn về kiểu. Ví dụ: cả C++ và C# cho phép chương trình định nghĩac
=== Con trỏ ===
|