在C函数调用前用内联汇编推送额外参数是否安全且可移植？

我写了一个数独美化打印函数，本来可以用循环生成格式，但图省事用了当前的实现（前5个格式说明符对应printf自身压栈的参数，回车后会被覆盖）。虽然在自己机器上能正常运行，但想知道这种方式能不能改造为在不同架构、编译器、libc实现间具备可移植性——当然我也清楚汇编代码可能需要根据目标平台调整，printf的参数压栈数量也依赖当前libc实现。

对应的代码如下：

#define PUSH(x) asm volatile ("push %0" : : "m"(x) :)
#define POP() asm volatile ("pop %%rax" : : : "rax")

void print(void) {
    for (uint8_t i = 1; i <= (9 * 9); ++i) {
        PUSH(sudoku[(9 * 9) - i]);
    }

    printf("%hhd%hhd%hhd%hhd%hhd\r╔═════════╦═════════╦═════════╗\n"
           "║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║\n"
           "║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║\n"
           "║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║\n"
           "╠═════════╬═════════╬═════════╣\n"
           "║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║\n"
           "║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║\n"
           "║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║\n"
           "╠═════════╬═════════╬═════════╣\n"
           "║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║\n"
           "║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║\n"
           "║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║ %hhd  %hhd  %hhd ║\n"
           "╚═════════╩═════════╩═════════╝\n");

    for (uint8_t i = 0; i < (9 * 9); ++i) {
        POP();
    }
}

当前实现的不可移植性根源 #

• 架构绑定的汇编指令：现在的PUSH和POP是x86架构专属指令，换成ARM、RISC-V等架构后，栈操作的指令逻辑完全不同，代码直接失效。
• 调用约定依赖：printf的参数传递规则和平台ABI强绑定——比如x86-64的System V ABI会用寄存器传递前几个参数，而非全压栈；Windows x64的调用约定又有差异。当前手动压栈的方式只适配老式的全栈传参约定（比如x86 32位cdecl），一旦遇到寄存器传参的架构，必然崩溃。
• libc内部实现依赖：你提到前5个格式符对应printf自身压栈的参数，这完全是依赖特定printf的内部实现逻辑，不同libc（如glibc、musl、newlib）的printf入口处理逻辑没有统一标准，换个libc这个逻辑就不成立。
• 栈平衡风险：手动压栈后再手动POP，一旦循环次数计算错误（比如9*9的数值写错），会直接破坏函数栈帧，导致程序在函数返回后崩溃。

可移植的改造方案 #

放弃手动操作栈的思路，用标准C实现是唯一的可移植路径，下面是两种可行方向：

1. 分块逐段打印（最直观且易维护）

通过循环分层次打印边框、数字行和分隔线，完全不依赖任何平台特定特性：

#include <stdio.h>
#include <stdint.h>

// 假设sudoku按行优先存储：sudoku[row*9 + col]对应第row行第col列（0起始索引）
extern uint8_t sudoku[9*9];

void print_sudoku(void) {
    // 打印顶部边框
    printf("╔═════════╦═════════╦═════════╗\n");
    
    for (uint8_t row = 0; row < 9; ++row) {
        printf("║ ");
        for (uint8_t col = 0; col < 9; ++col) {
            printf("%hhd  ", sudoku[row*9 + col]);
            // 每3列后打印竖线分隔（最后一列后不额外打印）
            if ((col + 1) % 3 == 0 && col != 8) {
                printf("║ ");
            }
        }
        printf("║\n");
        
        // 每3行后打印分隔线（最后一行不打印）
        if ((row + 1) % 3 == 0 && row != 8) {
            printf("╠═════════╬═════════╬═════════╣\n");
        }
    }
    
    // 打印底部边框
    printf("╚═════════╩═════════╩═════════╝\n");
}

2. 预构建格式字符串（可选）

如果希望尽量减少printf调用次数，可以预先拼接好完整的格式字符串，再用标准可变参数方式传递所有数字（用va_list而非手动压栈），但这种方式代码复杂度稍高，且对于数独打印场景来说，性能提升可以忽略不计。

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