Когда использовать const void*?

const int *var;

const это контракт. Получив const int * параметр, вы" говорите " вызывающему абоненту, что вы (вызываемая функция) не будете изменять объекты, на которые указывает указатель.

ваш второй пример явно разрывает контракт отбрасывая классификатор const, а затем изменяя объект, на который указывает полученный указатель. Никогда так не делай.

этот" контракт " выполняется компилятором. *dummy = 1 не скомпилируется. Приведение-это способ обойти это, сказав компилятору, что вы действительно знаете, что делаете, и позволяете вам это делать. К сожалению, "я действительно знаю, что делаю" обычно не так.

const также может использоваться компилятором для выполнения оптимизации, иначе это невозможно.

неопределенное поведение Примечание:

обратите внимание, что, хотя сам бросок технически легален, изменение значения, объявленного как const неопределенное поведение. Так технически исходная функция в порядке, если указатель, переданный ей, указывает на данные, объявленные изменяемыми. Иначе это неопределенное поведение.

_{подробнее об этом в конце поста}

что касается мотивации и использования, давайте рассмотрим аргументы strcpy и memcpy функции:

char* strcpy( char* dest, const char* src );
void* memcpy( void* dest, const void* src, std::size_t count );

strcpy работает со строками типа char, memcpy работает на общих данных. В то время как я использую strcpy в качестве примера, следующее обсуждение точно так же для обоих, но с char * и const char * на strcpy и void * и const void * на memcpy:

dest is char * потому что в буфере dest функция поместит копию. Функция будет изменять содержимое этого буфера, поэтому она не является const.

src и const char * потому что функция считывает только содержимое буфера src. Она не изменяет его.

только взглянув на декларацию функция, вызывающий может утверждать все вышеизложенное. По контракту strcpy не будет изменять содержимое второго буфера, переданного в качестве аргумента.

const и void ортогональны. Вот и вся дискуссия выше о const относится к любому типу (int, char, void, ...)

void * используется в C для "общих" данных.

еще больше о неопределенном поведении:

Пример 1:

int a = 24;
const int *cp_a = &a; // mutabale to const is perfectly legal. This is in effect
                      // a constant view (reference) into a mutable object

*(int *)cp_a = 10;    // Legal, because the object referenced (a)
                      // is declared as mutable

случае 2:

const int cb = 42;
const int *cp_cb = &cb;
*(int *)cp_cb = 10;    // Undefined Behavior.
                       // the write into a const object (cb here) is illegal.

void foo(const int *cp) {
    *(int *)cp = 10;      // Legal in case 1. Undefined Behavior in case 2
}

Пример 1:

int a = 0;
foo(&a);     // the write inside foo is legal

Пример 2:

int const b = 0;
foo(&b);     // the write inside foo causes Undefined Behavior

еще раз подчеркну: если вы действительно не знаете, что делаете, и все люди, работающие в настоящем и будущем над кодом, являются экспертами и понимают это, и у вас есть хорошая мотивация, если все вышесказанное не выполняется, никогда не отбрасывайте constness!!