C语言二维数组编译报错：表达式必须指向对象完整类型求助

问题描述 #

编写了两个函数用于检查symbols数组中的字符与标准输入读取到line_array的文本行字符是否相等，但编译时出现错误：the expression must be a pointer to the full type of the object。symbols数组元素示例为(2, a, b, c)，line_array通过put_array函数拆分存储每行文本，[j]表示行号，[i]表示行内字符索引。报错的原始代码如下：

char put_array()
{
  int lines = count_nlines();
  char c1;
  int i, j;
  char string[lines][j];
  for(i = 0; i < lines; i++)
  {
    for(j = 0; (c1 = getchar()) != '\n'; j++)
    {
       string[i][j] = getchar();
    }
  }
  return string;
}

void control_print(const char symbols[][], const char line_array[][])
{
  for(int k = 0; k < 11; k++)
  {
    for(int i = 0; symbols[k][i] != 0; i++) //err
    {
      line_array = put_array();
      for(int j = i; line_array[j] != '\n'; j++) //err
       {
         if (symbols[k][i] == line_array[j][i]) //err 
           {
             printf("%s", line_array); 
           }
       }

    }
  }  
} 

核心错误原因与修复点 #

1. 二维数组参数语法错误 #

C语言中，二维数组作为函数参数时必须指定第二维的大小，编译器需要这个值来计算数组元素的内存偏移地址。比如const char symbols[][MAX_LEN]，不能写成const char symbols[][]，这是触发编译报错的直接原因。

2. put_array函数的致命问题 #

• 返回值类型不匹配：函数声明返回char，但实际返回二维数组string，类型完全不兼容；且C语言无法直接返回数组，需改用动态分配内存或通过指针参数传出数组。
• 数组定义非法：char string[lines][j];中j是未初始化的变量，不能用来指定数组维度；变长数组的维度必须是已确定的常量或初始化后的变量。
• 字符读取逻辑错误：循环中先调用getchar()赋值给c1判断是否换行，随后又调用getchar()赋值给数组，会导致跳过一半输入字符。
• 返回局部数组：string是函数内的局部变量，函数执行结束后内存会被释放，返回其地址属于未定义行为。

3. control_print函数的错误 #

• 修改const参数：line_array是const char类型参数，属于只读属性，不能执行line_array = put_array();这样的赋值操作。
• 数组访问逻辑混乱：line_array[j] != '\n'中，line_array[j]是指向第j行的指针，不能直接与字符'\n'比较；line_array[j][i]的索引逻辑混淆了行号和列号。
• printf参数错误：printf("%s", line_array);中%s需要char*类型的字符串，而line_array是二维数组，应指定具体行如line_array[j]。

修正后的代码示例 #

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

#define MAX_LINE_LEN 1024
#define SYMBOL_LINE_LEN 4

// 统计输入行数
int count_nlines() {
    int count = 0;
    int c;
    while ((c = getchar()) != EOF) {
        if (c == '\n') count++;
    }
    rewind(stdin); // 重置输入指针，以便后续读取
    return count;
}

// 读取所有行到动态分配的二维数组，返回行数，数组通过指针传出
int put_array(char ***line_array) {
    int lines = count_nlines();
    // 分配行指针数组
    *line_array = malloc(lines * sizeof(char*));
    if (!*line_array) {
        perror("malloc failed");
        return -1;
    }

    for (int i = 0; i < lines; i++) {
        // 分配每行内存
        (*line_array)[i] = malloc(MAX_LINE_LEN * sizeof(char));
        if (!(*line_array)[i]) {
            perror("malloc failed");
            // 释放已分配的内存
            for (int k = 0; k < i; k++) free((*line_array)[k]);
            free(*line_array);
            return -1;
        }
        // 读取一行
        if (!fgets((*line_array)[i], MAX_LINE_LEN, stdin)) {
            // 读取失败，释放内存
            for (int k = 0; k <= i; k++) free((*line_array)[k]);
            free(*line_array);
            return -1;
        }
        // 去除换行符
        char *newline = strchr((*line_array)[i], '\n');
        if (newline) *newline = '\0';
    }
    return lines;
}

// 检查symbols与line_array的字符匹配并打印对应行
void control_print(const char symbols[][SYMBOL_LINE_LEN], int symbol_count, char **line_array, int line_count) {
    for (int k = 0; k < symbol_count; k++) {
        for (int i = 0; symbols[k][i] != 0; i++) {
            // 遍历所有行
            for (int j = 0; j < line_count; j++) {
                char *ptr = line_array[j];
                while (*ptr != '\0') {
                    if (*ptr == symbols[k][i]) {
                        printf("%s\n", line_array[j]);
                        break; // 找到匹配后跳出当前行循环
                    }
                    ptr++;
                }
            }
        }
    }
}

// 示例主函数
int main() {
    // 示例symbols数组
    const char symbols[11][SYMBOL_LINE_LEN] = {
        {'2', 'a', 'b', 'c'},
        // 补充其余9个元素
        {0}
    };

    char **line_array;
    int line_count = put_array(&line_array);
    if (line_count == -1) return 1;

    control_print(symbols, 11, line_array, line_count);

    // 释放动态分配的内存
    for (int i = 0; i < line_count; i++) free(line_array[i]);
    free(line_array);

    return 0;
}

修正说明 #

• 用动态分配内存替代局部数组，避免返回无效内存地址，使用完后手动释放内存防止泄漏。
• 二维数组参数指定第二维大小，或改用指针数组传递，符合C语言语法要求。
• 使用fgets读取行，避免字符丢失问题，同时处理换行符统一字符串格式。
• 调整索引逻辑，明确行号和列号的含义，修正数组访问方式。
• 遵守const参数的只读属性，不再对其赋值。

内容的提问来源于stack exchange，提问作者Dimon4ick