Чи правомірно використовувати void *?

Чи є законним використання void*C ++? Або це було запроваджено тому, що це було у С?

Просто, щоб підбити підсумки своїх думок:

Введення : Якщо ми хочемо дозволити декілька типів введення, ми можемо перевантажити функції та методи, в якості альтернативи ми можемо визначити загальний базовий клас або шаблон (спасибі, що згадали це у відповідях). В обох випадках код отримує більш описовий і менш схильний до помилок (за умови, що базовий клас реалізований розумним способом).

Результат : Я не можу придумати жодної ситуації, коли б я віддав перевагу отримувати void*на відміну від чогось, що походить від відомого базового класу.

Тільки для того, щоб чітко пояснити, що я маю на увазі: я не спеціально запитую, чи існує варіант використання void*, а чи є такий випадок, коли void*найкращий чи єдиний доступний вибір. На що чудово відповіли кілька людей нижче.

void*є принаймні необхідним як результат ::operator new(також кожного operator new...), так mallocі як аргумент newоператора розміщення .

void*можна розглядати як загальний надтип кожного типу покажчика. Отже, це не зовсім означає вказівник на void, а вказівник на що-небудь.

До речі, якщо ви хочете зберегти деякі дані для декількох не пов'язаних глобальних змінних, ви можете використати деякі std::map<void*,int> score; тоді, після оголошення глобальних int x;і double y;і std::string s;, score[&x]=1;і score[&y]=2;і іscore[&z]=3;

memset хоче void*адресу (найбільш загальну)

Крім того, POSIX-системи мають dlsym, і його тип повернення, очевидно, повинен бутиvoid*

Існує безліч причин використання void*, 3 найпоширеніші:

1. взаємодія з бібліотекою C, використовуючи void*в її інтерфейсі
2. стирання типу
3. що позначає нетипізовану пам’ять

У зворотному порядку позначення нетипізованої пам'яті за допомогою void*(3) замість char*(або варіантів) допомагає запобігти випадковій арифметиці вказівника; операцій доступно дуже мало, void*тому, як правило, перед тим, як стати в нагоді, потрібен кастинг. І звичайно, подібно до char*того, як не існує проблем із псевдонімами.

Тип-стирання (2) як і раніше використовується в C ++, разом із шаблонами чи ні:

• не-загальний код допомагає зменшити двійкове здуття, він корисний у холодних шляхах навіть у загальному коді
• не-загальний код необхідний для зберігання іноді, навіть у загальному контейнері, такому як std::function

І очевидно, що коли інтерфейс, з яким ви маєте справу, використовує void*(1), у вас мало вибору.

О, так. Навіть у C ++ іноді ми використовуємо, void *а не template<class T*>тому, що іноді додатковий код розширення шаблону важить занадто багато.

Зазвичай я використовував би його як фактичну реалізацію типу, а тип шаблону успадковував би від нього і обертав закиди.

Також слід використовувати спеціальні розподільники слябів (нові реалізації оператора) void *. Це одна з причин, чому g ++ додав розширення дозволу вказівника арифметичного на, void *як ніби розміром 1.

Введення: Якщо ми хочемо дозволити декілька типів введення, ми можемо перевантажити функції та методи

Правда.

в якості альтернативи ми можемо визначити загальний базовий клас.

Це частково вірно: що робити, якщо ви не можете визначити загальний базовий клас, інтерфейс або подібний? Для визначення тих, кому потрібно мати доступ до вихідного коду, що часто неможливо.

Ви не згадали шаблони. Однак шаблони не можуть допомогти вам з поліморфізмом: вони працюють зі статичними типами, тобто відомими під час компіляції.

void*може розглядатися як найнижчий спільний знаменник. У C ++ він вам, як правило , не потрібен, тому що (i) ви за своєю суттю не можете багато з ним зробити, і (ii) майже завжди є кращі рішення.

Навіть далі, як правило, вам доведеться перетворити його на інші конкретні типи. Ось чому char *зазвичай краще, хоча це може вказувати на те, що ви очікуєте рядок у стилі С, а не чистий блок даних. Ось чому void*краще, ніж char*для цього, оскільки він дозволяє неявний привід з інших типів покажчиків.

Ви повинні отримувати деякі дані, працювати з ними та видавати результати; щоб досягти цього, вам потрібно знати дані, з якими ви працюєте, інакше у вас інша проблема, не та, яку ви вирішували спочатку. void*Наприклад, багато мов не мають і не мають з цим проблем.

Ще одне законне використання

При друку адрес вказівника з такими функціями, як printfвказівник, має бути void*тип, і, отже, вам може знадобитися приведення до void*

Так, це так само корисно, як і будь-яка інша мова.
Як приклад, ви можете використовувати його для стирання типу класу, який ви можете статично передати в потрібний тип, коли це потрібно, щоб мати мінімальний та гнучкий інтерфейс.

У цій відповіді є приклад використання, яке повинно дати вам уявлення.
Я копіюю та вставляю його нижче для ясності:

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;
};

Очевидно, що це лише одне з безлічі застосувань void*.

Взаємодія з функцією зовнішньої бібліотеки, яка повертає покажчик. Ось один для програми Ada.

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

void* m_status_ptr = ada_function();

Це повертає вказівник на те, про що Ада хотіла вам розповісти. Вам не потрібно робити з цим нічого вигадливого, ви можете повернути його Аді, щоб зробити наступне. Насправді розплутування вказівника Ада в C ++ є нетривіальним.

Коротше кажучи, С ++ як сувора мова (не беручи до уваги реліквії С, як malloc () ) вимагає void *, оскільки він не має загального батьківського з усіх можливих типів. На відміну від ObjC, наприклад, який має об'єкт .

Перше, що спадає мені на думку (що, на мою думку, є конкретним випадком з декількох відповідей вище), це можливість передавати екземпляр об’єкта в threadproc у Windows.

У мене є кілька класів C ++, які повинні це зробити, вони мають реалізації робочих потоків, а параметр LPVOID в API CreateThread () отримує адресу реалізації статичного методу в класі, щоб робочий потік міг виконувати роботу з конкретний екземпляр класу. Просте статичне відкидання назад у threadproc дає екземпляр для роботи, дозволяючи кожному екземплярові об’єкту мати робочий потік з одного реалізації статичного методу.

У разі множинного спадкоємства, якщо вам потрібно отримати покажчик на перші байти шматку пам'яті , займаного об'єкт, ви можете dynamic_castв void*.