C语言中重复声明size_t不报错？循环内重声明变量的疑问

嘿，这两个问题其实都围绕着C语言的作用域规则和typedef类型的特性，咱们一步步来解释清楚：

1. 为什么重复声明size_t类型不会报错？ #

首先要明确：size_t并不是C语言的原生基本类型，它是通过typedef定义的类型别名（通常是unsigned int或unsigned long的别名，具体取决于平台）。

C标准有个特殊规定：如果多次使用typedef声明同一个类型别名，且每次声明的底层类型是兼容的，这种重复声明是合法的，属于冗余但允许的操作。举个例子：

typedef unsigned int size_t;
typedef unsigned int size_t; // 完全合法，编译器不会报错

但如果两次typedef的底层类型不兼容（比如第一次绑定unsigned int，第二次绑定char），编译器就会报错，因为这相当于试图给同一个别名绑定完全不同的类型。

对比一下，如果你试图重复声明一个原生基本类型（比如写两次unsigned int;），这本身就是语法错误——但size_t是typedef别名，所以适用不同的规则。

2. 为什么循环内重复声明size_t string_len不报错，但重复声明unsigned int idx会报错？ #

这本质是作用域的问题，咱们拆解你的代码结构来看：

// 这里的变量属于「函数/文件作用域」
char * string; size_t string_len; unsigned int idx;

for (idx=0; (string=src[idx]) != NULL; idx++) {
    // 这里的{}是一个独立的「块作用域」
    size_t string_len = strlen(string); // 块作用域内的全新变量
    if (!(dest[idx] = malloc(string_len + 1))) {
        perror("Failed to copy string value");
        exit (EXIT_FAILURE);
    }
    dest[idx] = string;
}

• 循环体内部的size_t string_len是在块作用域（{}内部）声明的新变量，它和外部作用域的string_len是两个完全独立的个体——内部变量会「隐藏」外部的同名变量，但这是C语言明确允许的行为，所以不会触发报错。
• 至于你说重复声明unsigned int idx会报错，我猜你大概率是在同一个作用域里重复声明它（比如在外部作用域已经声明了idx，又在同一个作用域再次写unsigned int idx;），这就违反了C语言的核心规则：同一作用域内不能重复声明同名变量。但如果你是在循环体的块作用域里声明unsigned int idx;，那它和外部的idx属于不同作用域，理论上是不会报错的——除非你的编译器还在遵循C89标准（C89要求变量必须声明在块的开头，不允许在块中间声明新变量），这时候不管是string_len还是idx，在块中间声明都会报错。

一句话总结：不同作用域内的同名变量可以共存；同一作用域内，绝对不能重复声明同名变量。你代码里的string_len属于跨作用域声明，所以合法；而你遇到的idx报错场景，应该是同一作用域内的重复声明。

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