字符串中带前导零的填充在Solaris中有效,但在RHEL中则无效

Question

该程序在一个平台上打印带有前导0的字符串,而不是另一个平台.

#include <stdio.h>
#include <string.h>

int main(void)
{
   char test[20];
   char a[4]="a12";
   sprintf(test,"%019s\n",a);
   printf("%s\n",test);
   return 0;
}

输出:

Solaris : 0000000000000000a12
RHEL    :                 a12 (left padding with spaces)

如何在两个平台上获得前导零？

Answer 1

您正在两个系统上调用未定义的行为; 你得到不同的结果是一个不足为奇的后果.

POSIX规范printf()说:

0
为d,i,o,u,x,X,a,A,e,E,f,F,g,和G转换说明,前导零(以下符号或碱的任何指示)用于填充字段宽度,而不是执行空间填充,转换的无边或NaN时除外.如果出现' 0'和' -'标志,0则忽略' '标志.为d,i,o,u,x,和X转换说明,如果指定了精度,则" 0"标志应被忽略.[CX]⌦如果出现' 0'和<apostrophe>标志,则在零填充之前插入分组字符.对于其他转换,行为未定义.⌫

(注意解析该语句.'⌫'的出现表明'其他转换'注释仅适用于0并'出现在一起.但是,检查C11标准(ISO/IEC 9899:2011),它说:

0
为d,i,o,u,x,X,a,A,e,E,f,F,g,和G转换,前导零(以下符号或碱的任何指示)用于填充字段宽度,而不是执行空间填充,转换的无边或NaN时除外.如果 出现0和-标志,0则忽略该标志.对于d,i,o,u,x,和X 转换,如果指定了精度,该0标志将被忽略.对于其他转换,行为未定义.

我认为结束标记'⌫'在POSIX材料中放错了位置.)

因此,要获得可靠的行为,您必须更具创造性.第一步是0从格式字符串中删除.

您还需要增加缓冲区的大小; 你的写作超越了结束.

也许是这样的:

#include <stdio.h>
#include <string.h>

int main(void)
{
    char test[25];
    char a[4] = "a12";
    snprintf(test, sizeof(test), "%19s\n", a);
    size_t leading_blanks = strspn(test, " ");
    memset(test, '0', leading_blanks);
    printf("%s", test);
    return 0;
}

输出:

0000000000000000a12

如果您需要在一行中处理多个值,每个值都需要填充零,有多种方法可以处理它.一个选项是这样的(其中用例由所有相同大小的字段简化):

#include <string.h>
#include <stdio.h>

int main(void)
{
    char buffer[128];
    char *data[] = { "a12", "syzygy.sv.example.com", "192.168.234.119", "Quasimodo" };
    snprintf(buffer, sizeof(buffer), "%20.20s%20.20s%20.20s%20.20s",
             data[0], data[1], data[2], data[3]);
    for (int i = 0; i < 4; i++)
    {
        size_t leading_blanks = strspn(&buffer[20*i], " ");
        memset(&buffer[20*i], '0', leading_blanks);
    }
    printf("%s\n", buffer);
    return 0;
}

输出是:

00000000000000000a12syzygy.sv.example.co00000192.168.234.11900000000000Quasimodo

您可以小心创建更精细的格式:

#include <string.h>
#include <stdio.h>

struct Field
{
    int width;
    char pad;
};

static struct Field fields[] =
{
    { .width = 12, .pad = '0', },
    { .width = 30, .pad = '@', },
    { .width = 15, .pad = '.', },
    { .width = 25, .pad = '-', },
};
enum { NUM_FIELDS = sizeof(fields) / sizeof(fields[0]) };

static char *data[][4] =
{
    { "a12",     "syzygy.sv.example.com", "192.168.234.119", "Quasimodo"             },
    { "zzx2341", "zulu.za.example.com",   "192.168.23.19",   "Beowulf"               },
    { "reynard", "coffee.br.example.com", "192.168.5.9",     "William the Conqueror" },
    { "peanut",  "koala.au.example.com",  "192.168.93.12",   "Quasimodo"             },
};
enum { NUM_ROWS = sizeof(data) / sizeof(data[0]) };

int main(void)
{
    for (int i = 0; i < NUM_ROWS; i++)
    {
        char   buffer[1024];
        char  *bufptr = buffer;
        size_t buflen = sizeof(buffer);
        for (int j = 0; j < NUM_FIELDS; j++)
        {
            int nbytes = snprintf(bufptr, buflen, "[%*.*s]", fields[j].width,
                                  fields[j].width, data[i][j]);
            if ((size_t)nbytes > buflen)
            {
                fprintf(stderr, "Overlength: %zu required\n",
                        sizeof(buffer) - buflen + nbytes + 1);
                return 1;
            }
            size_t leading_blanks = strspn(bufptr + 1, " ");
            memset(bufptr + 1, fields[j].pad, leading_blanks);
            bufptr += nbytes;
            buflen -= nbytes;
        }
        printf("%s\n", buffer);
    }
    return 0;
}

输出:

[000000000a12][@@@@@@@@@syzygy.sv.example.com][192.168.234.119][----------------Quasimodo]
[00000zzx2341][@@@@@@@@@@@zulu.za.example.com][..192.168.23.19][------------------Beowulf]
[00000reynard][@@@@@@@@@coffee.br.example.com][....192.168.5.9][----William the Conqueror]
[000000peanut][@@@@@@@@@@koala.au.example.com][..192.168.93.12][----------------Quasimodo]