c - warning: assignment from incompatible pointer type

Question

В продолжение изучения языка си я встретил такой код: "Split string with delimiters in C" Он отлично работает, но когда я компилирую программу, то получаю следующее предупреждение:

split.c: In function ‘split’: split.c:44:7: warning: assignment from incompatible pointer type [enabled by default] res = (char *)calloc(count,sizeof(char));

Я, конечно, заметил, что-то неправильно с распределением памяти и указателями - calloc для указателя на указатель, но я не могу понять, что именно неправильно и как сделать без багов. Не могли бы вы помочь прояснить ситуацию?

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

/**
 *  splits str on delim and dynamically allocates an array of pointers.
 *
 *  On error -1 is returned, check errno
 *  On success size of array is returned, which may be 0 on an empty string
 *  or 1 if no delim was found.
 *
 *  You could rewrite this to return the char ** array instead and upon NULL
 *  know it's an allocation problem but I did the triple array here.  Note that
 *  upon the hitting two delim's in a row "foo,,bar" the array would be:
 *  { "foo", NULL, "bar" }
 *
 *  You need to define the semantics of a trailing delim Like "foo," is that a
 *  2 count array or an array of one?  I choose the two count with the second entry
 *  set to NULL since it's valueless.
 *  Modifies str so make a copy if this is a problem
 */
size_t split(
    char * str,
    char delim,
    char ***array,
    size_t *length
)
{
    char *p = NULL;
    char **res = NULL;
    size_t count = 0;

    p = str;
    // Count occurance of delim in string
    while((p=strchr(p,delim)) != NULL) {
        *p = 0; // Null terminate the deliminator.
        p++; // Skip past our new null
        count++;
    }

    // allocate dynamic array
    if(count > 0){
        res = (char *)calloc(count,sizeof(char));
        if(!res){
            printf("Error: can't allocate memory!");
            exit(EXIT_FAILURE);
        }
    }else{
        return(0);
    }

    p = str;
    for(size_t k=0; k<count; k++ ) {
        if( *p ) res[k] = p;  // Copy start of string
        p = strchr(p, 0 );    // Look for next null
        p++; // Start of next string
    }

    *array = res;
    *length = count;

    return(0);
}

int main(void)
{
    char **res = NULL;
    size_t count = 0;
    size_t rc = 0;

    char str[] = "JAN,FEB,MAR,APR,MAY,JUN,JUL,AUG,SEP,OCT,NOV,DEC,";

    rc = split(str,',',&res,&count );
    if(rc) {
        printf("Error: %s errno: %d \n", strerror(errno), errno);
    }

    printf("count: %zu\n", count );
    for(size_t k=0; k<count; k++) {
        printf("str: %s\n", res[k]);
    }

    free(res);
    return(0);
}

Answer 1

• Просто оставьте карго-культовую привычку явно приводить тип результата функции выделения памяти. В языке С это - дурной тон. А также возьмите за правило размер выделяемой памяти вычислять через sizeof *указатель, а не путем явного указания типа под sizeof. Идиоматическое выделение памяти через calloc в С выглядит так

  res = calloc(count, sizeof *res);
  

  Это сделает код типонезависимым и тем самым избавит вас от ошибок типизации. А также исключит необходимость "перелопачивания" кода после смены типа указателя (если вдруг его придется изменить).

• Логика

  if( *p ) res[k] = p;
  

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

• Также можно заметить, что если входной список пуст, то функция завершается по return досрочно, но при этом забывает проинициализировать нулем выходные значения *length и *array. Вся надежда на то, что вызывающий код не забудет их заранее проинициализировать. Это странно.

• Отдельно режут глаз скобки вокруг аргумента return. Хотя роль возвращаемого значения в вашей функции вообще не ясна - она всегда возвращает 0, если не завершается по exit. При этом в вызывающем коде вы зачем-то проверяете возвращенное значение... Зачем?

P.S. И приведение типа функции выделения памяти, и скобки вокруг аргумента return - пережитки первых младенческих версий С ("это было давно и неправда"), в которых функции выделения памяти возвращали char *, а синтаксис return требовал этих скобок.