如何消除C语言Base64解码代码中的array subscript has type ‘char’警告？

问题背景 #

编译一段C语言Base64编解码代码时，执行命令：

gcc -Wall -g -c main.c

base64.h文件的base64_decode函数出现4处编译警告，具体信息如下：

source/base64.h: In function ‘base64_decode’:
source/base64.h:45:75: warning: array subscript has type ‘char’ [-Wchar-subscripts]
   45 |         uint32_t sextet_a = data[i] == '=' ? 0 & i++ : decoding_table[data[i++]];
      |                                                                       ~~~~^~~~~
source/base64.h:46:75: warning: array subscript has type ‘char’ [-Wchar-subscripts]
   46 |         uint32_t sextet_b = data[i] == '=' ? 0 & i++ : decoding_table[data[i++]];
      |                                                                       ~~~~^~~~~
source/base64.h:47:75: warning: array subscript has type ‘char’ [-Wchar-subscripts]
   47 |         uint32_t sextet_c = data[i] == '=' ? 0 & i++ : decoding_table[data[i++]];
      |                                                                       ~~~~^~~~~
source/base64.h:48:75: warning: array subscript has type ‘char’ [-Wchar-subscripts]
   48 |         uint32_t sextet_d = data[i] == '=' ? 0 & i++ : decoding_table[data[i++]];
      |

相关代码片段：
main.c：

#include "base64.h"

简化版base64.h：

#pragma once
#include <stdlib.h>
#include <string.h>
#include <stdint.h>
 
static const char encoding_table[] = {'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H',
                                'I', 'J', 'K', 'L', 'M', 'N', 'O', 'P',
                                'Q', 'R', 'S', 'T', 'U', 'V', 'W', 'X',
                                'Y', 'Z', 'a', 'b', 'c', 'd', 'e', 'f',
                                'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n',
                                'o', 'p', 'q', 'r', 's', 't', 'u', 'v',
                                'w', 'x', 'y', 'z', '0', '1', '2', '3',
                                '4', '5', '6', '7', '8', '9', '+', '/'};
static char *decoding_table = NULL;
 
void build_decoding_table() {
 
    decoding_table = malloc(256);
 
    for (int i = 0; i < 64; i++)
        decoding_table[(unsigned char) encoding_table[i]] = i;
}
 

void base64_cleanup() {
    free(decoding_table);
}
 

char *base64_decode(const char *data,
                             size_t input_length) {
 
    if (decoding_table == NULL) build_decoding_table();
    if (input_length % 4 != 0) return NULL;
 
    size_t output_length = input_length / 4 * 3;
    if (data[input_length - 1] == '=') (output_length)--;
    if (data[input_length - 2] == '=') (output_length)--;
 
    char *decoded_data = malloc(output_length+1);
    if (decoded_data == NULL) return NULL;
 
    for (int i = 0, j = 0; i < input_length;) {
 
        uint32_t sextet_a = data[i] == '=' ? 0 & i++ : decoding_table[data[i++]];
        uint32_t sextet_b = data[i] == '=' ? 0 & i++ : decoding_table[data[i++]];
        uint32_t sextet_c = data[i] == '=' ? 0 & i++ : decoding_table[data[i++]];
        uint32_t sextet_d = data[i] == '=' ? 0 & i++ : decoding_table[data[i++]];
 
        uint32_t triple = (sextet_a << 3 * 6)
        + (sextet_b << 2 * 6)
        + (sextet_c << 1 * 6)
        + (sextet_d << 0 * 6);
 
        if (j < output_length) decoded_data[j++] = (triple >> 2 * 8) & 0xFF;
        if (j < output_length) decoded_data[j++] = (triple >> 1 * 8) & 0xFF;
        if (j < output_length) decoded_data[j++] = (triple >> 0 * 8) & 0xFF;
    }
    decoded_data[output_length] = '\0';
 
    return decoded_data;
}

警告原因 #

多数编译器中char是有符号类型，若字符值大于127（如扩展ASCII字符），会被解析为负数，用作数组下标时可能导致越界访问，因此GCC触发该警告。代码中直接将char类型的data[i]作为decoding_table的下标，正是警告触发点。

修复方案 #

将作为下标的data[i]强制转换为unsigned char，确保下标始终为非负值。修改base64_decode中的4行代码：

修改前：

uint32_t sextet_a = data[i] == '=' ? 0 & i++ : decoding_table[data[i++]];
uint32_t sextet_b = data[i] == '=' ? 0 & i++ : decoding_table[data[i++]];
uint32_t sextet_c = data[i] == '=' ? 0 & i++ : decoding_table[data[i++]];
uint32_t sextet_d = data[i] == '=' ? 0 & i++ : decoding_table[data[i++]];

修改后：

uint32_t sextet_a = data[i] == '=' ? 0 & i++ : decoding_table[(unsigned char)data[i++]];
uint32_t sextet_b = data[i] == '=' ? 0 & i++ : decoding_table[(unsigned char)data[i++]];
uint32_t sextet_c = data[i] == '=' ? 0 & i++ : decoding_table[(unsigned char)data[i++]];
uint32_t sextet_d = data[i] == '=' ? 0 & i++ : decoding_table[(unsigned char)data[i++]];

额外优化建议 #

1. 初始化解码表默认值：当前build_decoding_table仅初始化64个有效Base64字符的位置，其余位置为未初始化的垃圾值，若输入含非法字符会导致未定义行为。可先将所有位置初始化为无效标记（如0xFF）：

void build_decoding_table() {
    decoding_table = malloc(256);
    memset(decoding_table, 0xFF, 256); // 初始化所有值为无效标记
    for (int i = 0; i < 64; i++)
        decoding_table[(unsigned char)encoding_table[i]] = i;
}

解码时可检查非法字符，例如：

uint32_t sextet_a = data[i] == '=' ? 0 & i++ : 
                    (decoding_table[(unsigned char)data[i]] != 0xFF ? decoding_table[(unsigned char)data[i++]] : (free(decoded_data), NULL));

2. 优化位移运算可读性：位移运算符<<优先级低于乘法*，当前写法逻辑正确，但可添加括号或直接写数值提升可读性：

// 方式1：添加括号
uint32_t triple = (sextet_a << (3 * 6))
                + (sextet_b << (2 * 6))
                + (sextet_c << (1 * 6))
                + (sextet_d << (0 * 6));

// 方式2：直接写数值（更直观）
uint32_t triple = (sextet_a << 18)
                + (sextet_b << 12)
                + (sextet_c << 6)
                + sextet_d;

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