如何用C语言的printf语句输出一个边长为n的实心正方形？

Question

常见问题：如何用纯 `printf` 语句（不借助循环嵌套或数组）输出边长为 `n` 的实心正方形？ 许多初学者误以为必须用双重 `for` 循环才能实现，但实际中若 `n` 是编译期已知的小常量（如 `n=5`），可借助宏展开或递归宏（C11+）配合 `printf` 单次调用生成重复字符；而若 `n` 是运行时变量，则**无法仅靠单条 `printf` 语句完成**——因为 `printf` 本身不支持动态重复格式化（如 `%*c` 只能打一个字符，`%.*s` 需预构造字符串）。常见错误包括滥用 `printf("%*s", n, "*")` 试图打印一行星号（实际只输出右对齐的1个星号加空格），或误用 `setvbuf`/`fwrite` 曲解题意。本质难点在于：`printf` 是格式化输出函数，非字符串生成工具；真正的解法仍需外层循环控制行数，每行用 `printf("%.*s\n", n, "*******************")`（配合足够长的星号字符串）或 `memset + printf` 辅助——但核心逻辑离不开循环结构。

Answer 1

```html

一、问题本质剖析：printf 的能力边界与语义误读

绝大多数初学者将 printf 视为“万能打印器”，却忽视其 ISO/IEC 9899 标准定义的核心语义：格式化输出，非字符串重复生成器。它接收格式串与参数，按规则展开并写入流，但不提供原生的「重复 n 次某字符」指令（对比 Python 的 "*"*n 或 Bash 的 printf "%0.s*" {1..n}）。关键限制包括：

• %*c：仅输出 一个 字符（c），左侧填充空格至总宽 * —— 无法生成 n 个星号；
• %.*s：需传入 已存在的字符串地址 和最大截取长度，本质是子串切片，非动态构造；
• 无 %{repeat:n}c 类扩展（C23 仍未纳入）。

二、编译期常量场景：宏展开的精巧解法（C11+）

当 n 是字面量（如 #define N 5），可借助 C 预处理器递归展开实现“零运行时循环”。以下为安全、可移植的宏方案：

#define REPEAT_1(x) x
#define REPEAT_2(x) x x
#define REPEAT_4(x) REPEAT_2(x) REPEAT_2(x)
#define REPEAT_5(x) REPEAT_4(x) x
// 支持 N≤5；更大值需扩展幂级宏链
#define SQUARE_ROW(N) REPEAT_##N("*")
#define PRINT_SQUARE(N) do { \
    printf("%s\n", SQUARE_ROW(N)); \
    /* 重复 N 行：此处仍需 N 次宏调用，非单条 printf */ \
    _Generic((N), int: (void)0); /* 触发编译期检查 */ \
} while(0)

注意：即使宏展开，单条 printf 仍只能输出一行；完整正方形需 N 次宏展开调用（逻辑上等价于 N 行静态代码），非“一条语句完成全部输出”。

三、运行时变量的不可逾越性：形式化证明与反例验证

尝试方案	实际输出（n=5）	根本缺陷
printf("%*s", 5, "*");	" *"（4空格+1星）	宽度控制对齐，非重复字符
printf("%.*s", 5, "*");	"*"（仅1字符）	源字符串长度仅1，截取无效
printf("%.*s", 5, "*****");	"*****"	依赖预构造字符串，长度上限硬编码

结论：若 n 来自 scanf 或函数参数，则不存在符合 C 标准的单 printf 语句解法——此为语言层面的确定性限制，非技巧缺失。

四、工程实践中的折中方案：兼顾可读性与效率

面向生产环境，推荐以下分层策略：

1. 小 n（≤100）：静态星号池 + %.*s（安全、无内存分配）
2. 大 n 或内存敏感：memset + write(STDOUT_FILENO, ...)（绕过 stdio 缓冲，零格式化开销）
3. 跨平台可移植：标准双循环（for(i=0;i<n;i++) { for(j=0;j<n;j++) putchar('*'); puts(""); }）

示例（静态池）：

char starbuf[4096] = {0}; // 全局初始化
memset(starbuf, '*', sizeof(starbuf)-1);
// 使用时：printf("%.*s\n", n, starbuf); // 安全截断

五、认知升级：从“语法技巧”到“系统思维”

graph TD
  A[需求：输出 n×n 实心正方形] --> B{n 是否编译期常量？}
  B -->|是| C[宏展开生成 N 行静态 printf]
  B -->|否| D[必须引入控制结构]
  D --> E[显式 for/while 循环]
  D --> F[递归函数调用]
  D --> G[setjmp/longjmp（不推荐）]
  C & E & F --> H[每行仍依赖 printf + %.*s 或 putchar]
  H --> I[本质：行控制在外部，字符填充在内部]

该流程图揭示核心范式转移：**问题求解粒度应从“单语句魔术”升维至“分层职责分离”**——行数控制属算法逻辑层，字符渲染属 I/O 表达层。资深工程师会优先评估缓存局部性、系统调用次数、可调试性，而非执着于语句数量。

六、延伸思考：现代 C 的演进与替代路径

C23 标准草案新增 <stdatomic.h> 与更严格的约束检查，但仍未扩展 printf 族。可行的未来路径包括：

• 使用 asprintf 动态构造字符串（POSIX，需 free）；
• 采用 C++20 std::format（fmt::format("{:*>{}}", "", n) 生成单行）；
• 嵌入 Lua/Python 解释器执行动态模板（适用于脚本化工具）。

这印证了软件工程的永恒命题：**没有银弹，只有权衡；而理解限制，比突破限制更接近本质**。

```