Void ** как параметр требует лить

Question

У меня есть функция в C, которая должна получать указатель на массив (с неопределенным типом).

Для этого я использую void **, так как я бы использовал void * для получения массива неуказанных элементов.

К сожалению, проблема связана с компилятором (передается аргумент 1 из 'f' из несовместимого типа указателя). Если я игнорирую предупреждение и пытаюсь выполнить программу, все работает так, как ожидалось.

Единственный способ избавиться от предупреждения - это бросить все, что я пытаюсь передать функции void **.

Почему C ведет себя так? И есть ли лучший способ решить предупреждение?

PS: Мне нужно скомпилировать с помощью GCC с флагами -std = gnu89 -pedantic -Wall

Пример

int f(void** param){ return 1; } 

int main(){ 
    int *arr = malloc(sizeof(int) * 20); 
    int i; 
    for(i=0; i < 20; i++) arr[i] = i; 
    f(&arr); 
} 

Answer 1

Указатель на что-нибудь типа void*, и компилятор не будет жалуйтесь на конверсии этого типа. Но void** не является указателем на что-либо, это указатель на массив указателей на что угодно, что сильно отличается от указателя на массив указателей на целые числа, поэтому компилятор жалуется. Итак, чтобы решить предупреждение, да, вам нужно будет явно указать.

Answer 2

Хотя void * является «общим указателем» в C, void ** не является «общим указателем на указатель». Вместо этого это не что иное, как «» указатель на void *, общий указатель ».

В вашем случае int ** преобразуется неявно в void **, что не является общим. Поскольку void ** не может содержать все переменные указателя (таким образом, несовместимые с int **), компилятор выводит предупреждение.

Вот предупреждение генерируется звоном:

main.c:7:7: warning: incompatible pointer types passing 'int **' to parameter of 
     type 'void **' [-Wincompatible-pointer-types] 
    f(&arr); 
     ^~~~ 
main.c:1:14: note: passing argument to parameter 'param' here 
int f(void** param){ return 1; } 

Чтобы устранить это предупреждение, вы можете иметь int f(void* param); и брось param к int ** внутри функции. Там не будет никакого предупреждения, поскольку void * может быть использован для хранения любого указателя (Цитируется из N1570):

6.3.2.3 Указателей

1 Указатель к мочеиспусканию может быть преобразован в или из указателя на любой тип объекта. Указатель на любой тип объекта может быть преобразован в указатель на void и обратно; результат сравнивается с исходным указателем .

Answer 3

кажется, что вы хотите изменить адрес данных (не значение) внутри функции, вы не можете сделать это прямо с void *, потому что вы не можете использовать арифметику с void *, но вы можете передать размер первого элемента и кусок байтов (char *), предположим, что вы хотите изменить адрес arr к arr + 1 (второй элемент массива) внутри функции:

#include <stdio.h> 
#include <stdlib.h> 
#include <string.h> 

void f(void *ptr, size_t size) 
{ 
    // char *p = *ptr; Wrong, you can't dereference a void * without a cast 
    char *p = *(char **)ptr; /* pointer to address of ptr */ 

    memmove(p, p + size, size); /* assign the address of ptr + 1 to ptr */ 
} 

int main(void) 
{ 
    int *arr = malloc(sizeof(int) * 20); 
    int i; 
    for (i = 0; i < 20; i++) arr[i] = i; 
    f(&arr, sizeof arr[0]); 
    printf("%d\n", arr[0]); 
    return 0; 
} 

Выход:

1