Tại sao mã này mặc định trên kiến ​​trúc 64 bit nhưng hoạt động tốt trên 32 bit?

Tôi đã xem qua câu đố C sau:

H: Tại sao chương trình sau đây mặc định trên IA-64, nhưng lại hoạt động tốt trên IA-32?

  int main()
  {
      int* p;
      p = (int*)malloc(sizeof(int));
      *p = 10;
      return 0;
  }

Tôi biết rằng kích thước của intmáy 64 bit có thể không bằng kích thước của con trỏ ( intcó thể là 32 bit và con trỏ có thể là 64 bit). Nhưng tôi không chắc điều này liên quan như thế nào đến chương trình trên. Có ý kiến ​​gì không?

Việc ép kiểu để int*che giấu thực tế rằng nếu không có #includekiểu trả về thích hợp mallocđược giả định là int. IA-64 xảy ra sự cố sizeof(int) < sizeof(int*)khiến vấn đề này trở nên rõ ràng.

(Cũng lưu ý rằng do hành vi không xác định, nó vẫn có thể không thành công ngay cả trên nền tảng sizeof(int)==sizeof(int*)đúng, ví dụ: nếu quy ước gọi sử dụng các thanh ghi khác nhau để trả về con trỏ chứ không phải số nguyên)

Câu hỏi thường gặp về comp.lang.c có một mục thảo luận về lý do tại sao việc truyền trả lại từ mallockhông bao giờ cần thiết và có khả năng xấu .

Nhiều khả năng là do bạn không bao gồm tệp tiêu đề cho mallocvà, trong khi trình biên dịch thường cảnh báo bạn về điều này, thực tế là bạn đang truyền giá trị trả về một cách rõ ràng có nghĩa là bạn đang cho nó biết bạn đang làm gì.

Điều đó có nghĩa là trình biên dịch mong đợi một intđược trả về mallocmà từ đó nó chuyển tới một con trỏ. Nếu chúng có kích thước khác nhau, điều đó sẽ khiến bạn đau buồn.

Đây là lý do tại sao bạn không bao giờ truyền malloctrả về trong C. Con void*trỏ trả về sẽ được chuyển đổi ngầm thành một con trỏ đúng loại (trừ khi bạn không bao gồm tiêu đề trong trường hợp đó, nó có thể đã cảnh báo bạn về int- chuyển đổi con trỏ).

Đây là lý do tại sao bạn không bao giờ biên dịch mà không có cảnh báo về việc thiếu nguyên mẫu.

Đây là lý do tại sao bạn không bao giờ truyền trả về malloc trong C.

Diễn viên là cần thiết để tương thích với C ++. Có rất ít lý do (đọc: không có lý do ở đây) để bỏ qua nó.

Không phải lúc nào cũng cần khả năng tương thích với C ++ và trong một vài trường hợp là không thể, nhưng trong hầu hết các trường hợp, nó rất dễ đạt được.