Tại sao phân bổ trong c + + cung cấp chuyên môn cho loại void

Question

Tôi nhận thấy rằng trình cấp phát trong C++ cung cấp chuyên môn cho loại void. Có mục đích đặc biệt nào để làm điều này không? Nó không có ý nghĩa để cấp phát bộ nhớ cho loại void, phải không?

Answer 1

Standard Librarian cột cũ này Matt Austern có một cuộc thảo luận khá kỹ lưỡng của allocators nói chung, trong đó có miếng ngon này:

Chúng ta làm gì về khoảng trống? Đôi khi một vùng chứa phải tham chiếu đến các dấu hiệu void và cơ chế rebind gần như cung cấp cho chúng tôi những gì chúng tôi cần, nhưng không hoàn toàn. Nó không hoạt động, bởi vì chúng ta sẽ cần phải viết một cái gì đó như malloc_allocator :: con trỏ, và chúng tôi đã xác định malloc_allocator theo cách mà instantiating nó cho void sẽ là bất hợp pháp. Nó sử dụng sizeof (T), và nó đề cập đến T &; không hợp pháp khi T vô hiệu. Giải pháp đơn giản như vấn đề: chuyên malloc_allocator cho khoảng trống, bỏ tất cả mọi thứ ngoại trừ mức tối thiểu tối thiểu mà chúng tôi cần để tham chiếu đến con trỏ void.

malloc_allocator là triển khai mẫu mà Austern sử dụng trong ví dụ của mình, nhưng nó đúng với trường hợp chung.

Answer 2

Trình phân bổ cần phải chuyên biệt cho void vì bạn không thể tham chiếu đến void.