Có sử dụng hợp pháp cho void * không?

Có sử dụng hợp pháp void*trong C ++ không? Hay cái này được giới thiệu vì C đã có nó?

Chỉ để tóm tắt suy nghĩ của tôi:

Đầu vào : Nếu chúng ta muốn cho phép nhiều kiểu đầu vào, chúng ta có thể nạp chồng các hàm và phương thức, hoặc chúng ta có thể xác định một lớp cơ sở chung hoặc mẫu (cảm ơn vì đã đề cập đến vấn đề này trong câu trả lời). Trong cả hai trường hợp, mã được mô tả nhiều hơn và ít bị lỗi hơn (miễn là lớp cơ sở được triển khai một cách lành mạnh).

Đầu ra : Tôi không thể nghĩ ra bất kỳ tình huống nào mà tôi muốn nhận thay void*vì thứ gì đó có nguồn gốc từ một lớp cơ sở đã biết.

Chỉ để nói rõ ý tôi: Tôi không hỏi cụ thể liệu có trường hợp sử dụng cho void*, nhưng nếu có trường hợp thì đâu void*là lựa chọn tốt nhất hoặc duy nhất. Điều đó đã được trả lời hoàn hảo bởi một số người dưới đây.

void*ít nhất là cần thiết vì là kết quả của ::operator new(cũng như mọi operator new...) và của mallocvà là đối số của newtoán tử vị trí .

void*có thể được coi là siêu kiểu chung của mọi kiểu con trỏ. Vì vậy, nó không có nghĩa chính xác là con trỏ tới void, mà là con trỏ tới bất kỳ thứ gì.

BTW, nếu bạn muốn giữ một số dữ liệu cho một số biến toàn cầu không liên quan, bạn có thể sử dụng một số std::map<void*,int> score; sau đó, sau khi đã khai báo toàn cục int x;và double y;và std::string s;làm score[&x]=1;và score[&y]=2;vàscore[&z]=3;

memset muốn một void*địa chỉ (những địa chỉ chung chung nhất)

Ngoài ra, hệ thống POSIX có dlsym và kiểu trả về của nó rõ ràng phải làvoid*

Có nhiều lý do để sử dụng void*, 3 lý do phổ biến nhất:

1. tương tác với thư viện C bằng cách sử dụng void*trong giao diện của nó
2. loại-tẩy
3. biểu thị bộ nhớ chưa được đánh máy

Theo thứ tự ngược lại, việc biểu thị bộ nhớ chưa được đánh máy bằng void*(3) thay vì char*(hoặc các biến thể) giúp ngăn ngừa số học con trỏ ngẫu nhiên; có rất ít hoạt động có sẵn void*vì vậy nó thường yêu cầu truyền trước khi hữu ích. Và tất nhiên, giống như char*không có vấn đề gì với răng cưa.

Type-erasure (2) vẫn được sử dụng trong C ++, cùng với các mẫu hoặc không:

• mã không chung chung giúp giảm khối lượng nhị phân, nó hữu ích trong các đường dẫn lạnh ngay cả trong mã chung
• mã không chung chung là cần thiết để lưu trữ đôi khi, ngay cả trong vùng chứa chung như std::function

Và rõ ràng, khi giao diện bạn xử lý các mục đích sử dụng void*(1), bạn có rất ít lựa chọn.

Ồ vâng. Ngay cả trong C ++, đôi khi chúng ta đi với void *hơn là template<class T*>vì đôi khi mã bổ sung từ việc mở rộng khuôn mẫu nặng quá nhiều.

Thông thường, tôi sẽ sử dụng nó làm kiểu triển khai thực tế và kiểu mẫu sẽ kế thừa từ nó và bao bọc các phôi.

Ngoài ra, trình phân bổ phiến tùy chỉnh (triển khai mới của nhà điều hành) phải sử dụng void *. Đây là một trong những lý do tại sao g ++ thêm phần mở rộng cho phép con trỏ số học trên void *như thể nó có kích thước 1.

Đầu vào: Nếu chúng ta muốn cho phép nhiều kiểu đầu vào, chúng ta có thể nạp chồng các hàm và phương thức

Thật.

cách khác, chúng ta có thể xác định một lớp cơ sở chung.

Điều này đúng một phần: điều gì sẽ xảy ra nếu bạn không thể xác định một lớp cơ sở chung, một giao diện hoặc tương tự? Để xác định những người bạn cần có quyền truy cập vào mã nguồn, điều này thường không thể thực hiện được.

Bạn đã không đề cập đến các mẫu. Tuy nhiên, các mẫu không thể giúp bạn với tính đa hình: chúng hoạt động với các kiểu tĩnh, tức là đã biết tại thời điểm biên dịch.

void*có thể coi là mẫu số chung thấp nhất. Trong C ++, bạn thường không cần nó vì (i) bạn vốn dĩ không thể làm được gì nhiều với nó và (ii) hầu như luôn có những giải pháp tốt hơn.

Hơn nữa, bạn thường sẽ chuyển đổi nó sang các loại bê tông khác. Đó là lý do tại sao char *thường tốt hơn, mặc dù nó có thể chỉ ra rằng bạn đang mong đợi một chuỗi kiểu C, thay vì một khối dữ liệu thuần túy. Đó là lý do tại sao void*tốt hơn char*là vì nó cho phép ép kiểu ngầm từ các kiểu con trỏ khác.

Bạn phải nhận một số dữ liệu, làm việc với nó và tạo ra một đầu ra; để đạt được điều đó, bạn cần biết dữ liệu bạn đang làm việc, nếu không, bạn gặp phải một vấn đề khác không phải là vấn đề bạn đang giải quyết ban đầu. void*Ví dụ, nhiều ngôn ngữ không có và không có vấn đề gì với điều đó.

Sử dụng hợp pháp khác

Khi in các địa chỉ con trỏ với các chức năng như printfcon trỏ phải có void*kiểu và do đó, bạn có thể cần ép kiểu thành void*

Vâng, nó hữu ích như bất kỳ thứ nào khác trong ngôn ngữ.
Ví dụ: bạn có thể sử dụng nó để xóa loại lớp mà bạn có thể truyền tĩnh sang loại phù hợp khi cần thiết, để có một giao diện tối giản và linh hoạt.

Trong đó phản ứng có một ví dụ về sử dụng mà nên cung cấp cho bạn một ý tưởng.
Tôi sao chép và dán nó bên dưới vì mục đích rõ ràng:

class Dispatcher {
    Dispatcher() { }

    template<class C, void(C::*M)() = C::receive>
    static void invoke(void *instance) {
        (static_cast<C*>(instance)->*M)();
    }

public:
    template<class C, void(C::*M)() = &C::receive>
    static Dispatcher create(C *instance) {
        Dispatcher d;
        d.fn = &invoke<C, M>;
        d.instance = instance;
        return d;
    }

    void operator()() {
        (fn)(instance);
    }

private:
    using Fn = void(*)(void *);
    Fn fn;
    void *instance;
};

Rõ ràng, đây chỉ là một trong số rất nhiều công dụng của void*.

Giao diện với một hàm thư viện bên ngoài trả về một con trỏ. Đây là một cho một ứng dụng Ada.

extern "C" { void* ada_function();}

void* m_status_ptr = ada_function();

Điều này trả về một con trỏ đến bất cứ điều gì Ada muốn nói với bạn. Bạn không cần phải làm bất cứ điều gì cầu kỳ với nó, bạn có thể đưa nó lại cho Ada để làm việc tiếp theo. Trên thực tế, việc gỡ rối một con trỏ Ada trong C ++ là không hề nhỏ.

Tóm lại, C ++ là một ngôn ngữ nghiêm ngặt (không tính đến các di tích C như malloc () ) yêu cầu void * vì nó không có cha mẹ chung của tất cả các kiểu có thể có. Không giống như objC, ví dụ, có đối tượng .

Điều đầu tiên xuất hiện trong đầu tôi (mà tôi nghi ngờ là một trường hợp cụ thể của một vài câu trả lời ở trên) là khả năng truyền một cá thể đối tượng đến một threadproc trong Windows.

Tôi có một vài lớp C ++ cần thực hiện việc này, chúng có các triển khai luồng công nhân và tham số LPVOID trong API CreateThread () nhận được địa chỉ của việc triển khai phương thức tĩnh trong lớp để luồng công nhân có thể thực hiện công việc với một phiên bản cụ thể của lớp. Việc ép kiểu tĩnh đơn giản trở lại trong threadproc mang lại thể hiện để làm việc, cho phép mỗi đối tượng khởi tạo có một luồng công nhân từ một phương thức tĩnh duy nhất.

Trong trường hợp đa kế thừa, nếu bạn cần lấy một con trỏ đến byte đầu tiên của đoạn bộ nhớ bị chiếm bởi một đối tượng, bạn có thể dynamic_castlàm như vậy void*.