C语言命令行参数提取整数的代码仅全数字输入正常，含字符串时运行异常

• 数组索引逻辑错位，是混有字符串参数时崩溃的直接诱因
  原代码存储识别到的整数时，直接以遍历命令行参数的下标i作为数组位置，但是统计有效整数数量的变量j是独立累加的，两者没有做位置映射。举个例子，执行程序传参为123 abc 456时：
  1. 参数123被存入intput[1]，j累加为1
  2. 参数abc转换失败，不对intput做任何赋值，j保持1
  3. 参数456被存入intput[3]，j累加为2
     后续打印循环按照i从1到j的顺序读取数组时，会访问intput[2]——这个位置是未初始化的栈内存垃圾值，触发越界读取，直接导致程序运行异常。如果所有参数都是纯数字，索引和计数会完全同步，数组没有空洞，程序就能正常运行。
• atoi的整数识别逻辑存在多处硬缺陷
  1. 硬卡“转换结果大于0”的判定条件，会把合法的0、负整数全部过滤，完全不符合“识别任意整数”的功能预期
  2. atoi没有错误返回机制，遇到无法转换的字符串时默认返回0，无法区分“输入是纯数字0”和“输入根本不是有效数字”的场景
  3. atoi不会校验字符串完整性，比如输入123abc这类半数字半字符的内容，会被错误识别为整数123，不符合校验要求
• 硬编码偏移程序名的逻辑存在越界风险
  原代码直接将argv[0]指针偏移2位来去掉./前缀，如果程序不是通过./可执行文件名的方式启动（比如全局PATH调用、可执行文件名长度不足2个字符），直接偏移指针会读到字符串边界外的内容，触发乱码甚至段错误。

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

int main(int argc, char *argv[]) {
    // 定义数组时保证最小长度为1，避免argc=1时出现零长数组的未定义行为
    int intput[argc > 1 ? argc : 1];
    int valid_int_count = 0;

    // 自动提取程序名，不做硬偏移，避免越界
    const char *prog_name = strrchr(argv[0], '/');
    prog_name = prog_name ? prog_name + 1 : argv[0];
    printf("%s ", prog_name);

    for (int i = 1; i < argc; i++) {
        printf(" %s ", argv[i]);
        char *endptr;
        errno = 0;
        // 用strtol替换atoi，实现全流程合法性校验
        long convert_res = strtol(argv[i], &endptr, 10);
        // 满足三个条件才判定为合法整数：无转换错误、字符串完全被消费、数值在int类型范围内
        if (errno == 0 && *endptr == '\0' && convert_res >= INT_MIN && convert_res <= INT_MAX) {
            // 用有效计数作为数组索引，保证数组元素连续存储无空洞
            intput[valid_int_count] = (int)convert_res;
            valid_int_count++;
        }
    }

    printf("\n ");
    // 按实际存储的连续元素读取，不访问数组空洞位置
    for (int i = 0; i < valid_int_count; i++) {
        printf(" %d ", intput[i]);
    }
    printf("\n");
    return 0;
}

• 混合字符串参数场景下不会出现未初始化内存读取导致的崩溃
• 可以正确识别正整数、负整数、0，不会错误过滤合法整数
• 可以准确排除123abc这类带杂字符的无效数字输入
• 程序名打印不会因为硬编码偏移出现越界问题

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