在 GNU C 的 printf 格式规范中正确使用 param-no

Question

我正在使用 printf 格式字符串开发一个助手 function，所以我开始更详细地检查 printf 格式规范，发现 GNU 手册允许使用参数号： https://www.gnu.org/software/ libc/manual/2.36/html_mono/libc.html#Output-Conversion-Syntax 。

我以前从未使用过这个功能（因为我没有发现它有用），但是，我希望我的 function 能够处理所有可能的格式规范，所以我开始试验它：

#include <stdio.h>

int main()
{
    double u = 1.23456789;
    double d = 9.87654321;
    
    // Example A                                1.  2. 3.
    printf( "A) Testing param-no: >%3$*.*f<\n", 12, 3, u );
    // Compiler warning: Missing $ operand in format
    // Works.
    
//  // Example B                                1.  2. 3.
//  printf( "B) Testing param-no: >%1$*.*f<\n", 12, 3, u );
//  // Compiler warning: Missing $ operand in format
//  // Prints spaces in an infinite loop.
    
    // Example C                                1.  2. 3.
    printf( "C) Testing param-no: >%3$*.*f<\n", u, 12, 3 );
    // Compiler warning: Missing $ operand in format
    // Works.
    
//  // Example D                                1.  2. 3.
//  printf( "D) Testing param-no: >%1$*.*f<\n", u, 12, 3 );
//  // Compiler warning: Missing $ operand in format
//  // Prints spaces in an infinite loop.
    
    // Example E                                           1.  2. 3. 4. 5. 6.
    printf( "E) Testing param-no: >%3$*.*f<, >%6$*.*f<\n", 12, 3, u, 5, 4, d );
    // Compiler warning: Missing $ operand in format
    // Wrong output: "Testing param-no: >       0.000<, >1.2346<"
    
    // Example F                                           1. 2.  3. 4. 5. 6.
    printf( "F) Testing param-no: >%3$*.*f<, >%6$*.*f<\n", u, 12, 3, d, 5, 4 );
    // Compiler warning: Missing $ operand in format
    // Wrong output: "Testing param-no: >       0.000<, >1.2346<"
    
    // Example G                                    1.  2. 3.
    printf( "G) Testing param-no: >%3$*1$.*2$f<\n", 12, 3, u );
    // Works.
    
    // Example H                                                   1.  2. 3. 4. 5. 6.
    printf( "H) Testing param-no: >%3$*1$.*2$f<, >%6$*4$.*5$f<\n", 12, 3, u, 5, 4, d );
    // Works.
    
    // Example I                                                   1. 2.  3. 4. 5. 6.
    printf( "I) Testing param-no: >%1$*2$.*3$f<, >%4$*5$.*6$f<\n", u, 12, 3, d, 5, 4 );
    // Works.
    
    // Example J                                                   1. 2.  3. 4. 5. 6.
    printf( "J) Testing param-no: >%4$*5$.*6$f<, >%1$*2$.*3$f<\n", u, 12, 3, d, 5, 4 );
    // Works.
    
    // Example K                                                   1. 2.  3. 4. 5. 6.
    printf( "K) Testing param-no: >%1$*3$.*6$f<, >%5$*2$.*4$f<\n", d, 12, 5, 3, u, 4 );
    // Works.
    
    return 0;
}

基于这些结果，我发现相关文档的以下几点具有误导性：

• 转换规范的第二种一般形式， % [ param-no $ ] flags width. * [ param-no $ ] type conversion % [ param-no $ ] flags width. * [ param-no $ ] type conversion建议您可以给出一个星号 ( * ) 作为精度和一个可选的 param-no 后跟一个美元 ( $ )，就像示例 A 中那样。但是，这会生成编译器警告，并且要么像示例 A 那样工作，要么像示例 D 那样使程序在无限（或非常长，我没有等到它结束）循环中打印空格。

• 与前一点相关，当我阅读宽度和精度部分的描述时： “您还可以指定字段宽度为‘*’。这意味着参数列表中的下一个参数（在要打印的实际值之前） ) 用作字段宽度。” 和“您还可以指定精度为‘*’。这意味着参数列表中的下一个参数（在要打印的实际值之前）用作精度。” ，我认为宽度和精度值将从适当的 position 中获取，这是通过获取实际参数的 position（例如上述任何示例中的u ）并将其减少 1 或 2 来计算的。但是，这方法会导致编译器警告和错误 output，如示例 E 所示。

• 呈现转换规范的两个通用 forms 表明没有第三种形式，您可能会得出结论，不允许使用可变参数 arguments 之一设置宽度，因为在第二个中只有精度部分被星号 ( * ) 替换一般形式。 但是，同时设置宽度和精度会像示例 H 中那样工作。

我怀疑正确的描述如下：

printf 模板字符串中的所有转换规范都应具有以下 forms 之一，并且它们都应具有相同的形式：

% flags [ width-digits | * ] [. precision-digits |. * ] type conversion

或者

% param-no-a $ flags [ width-digits | * param-no-b $ ] [. precision-digits |. * param-no-c $ ] type conversion

必选的param-no-a表示实参的position，可选的param-no-b和param-no-c表示宽精度值的position。

我链接的文档是否正确？

我是否正确理解 param-no 的用法？

Answer 1

事实上，似乎缺少 glibc 文档。 使用man 3p fprintf https://pubs.opengroup.org/onlinepubs/9699919799/functions/fprintf.html ：

该格式可以包含编号参数转换规范（即“%n$”和“*m$”）或未编号参数转换规范（即 % 和 * ），但不能同时包含两者。

格式：

printf("%3$*.*f", 12, 3, 1.23);

只是无效的。