c - 如何让编译器处理这个函数呢？

Question

我在所有代码中使用了一个函数，将诸如“0;1;6”之类的字符串文字转换为 double 值(在本例中为 0.125)。函数 double doztof(const char *string) 通过调用我的其他几个函数和 sscanf() 来完成此操作。我天真地期望编译器运行该函数并将调用替换为常量结果，我的意思是 doztof("0;2;3") 将始终产生常量值 0.1875，但是两者都不是我使用的编译器就是这样做的，当在循环中使用时，我最终会每次运行 sscanf() 来一遍又一遍地处理相同的常量字符串文字。

为什么编译器不对此进行优化？作为 const 传递的字符串文字是否足够清楚地表明它永远不会改变并且可以安全地进行优化？我还缺少什么？这是完整的相关代码:

char *skip_string(const char *string, const char *skipstring)       // skipstring must be terminated by a %n
{
    int n=0;
    sscanf(string, skipstring, &n);
    return &string[n];
}

char *skip_whitespace(const char *string)
{
    return skip_string(string, " %n");
}

char *string_parse_fractional_12(const char *string, double *v)
{
    int i, n=0, ret=1, count=0, neg=0;
    double divisor=1., digit;
    char *p = string;

    *v = 0.;

    p = skip_whitespace(p);

    if (p[0] == '-')
    {
        neg = 1;
        p++;
    }

    for (i=0; i<20 && ret==1; i++)
    {
        n=0;
        ret = sscanf(p, "%lf%n", &digit, &n);
        p = &p[n];
        if (ret==1)
        {
            count++;
            *v += digit / divisor;
            divisor *= 12.;
        }

        n=0;
        sscanf(p, ";%n", &n);
        p = &p[n];

        if (p[0]==' ' || p[0]=='\t')    // detect whitespace so that the next sscanf avoids reading the numbers after the whitespace
            ret = 0;
    }

    if (count==0)
        return string;

    if (neg)
        *v = -*v;

    return p;
}

double doztof(const char *string)
{
    double v;
    string_parse_fractional_12(string, &v);
    return v;
}

Answer 1

“恒定折叠”或“恒定传播”将是描述这种优化的术语(如果存在的话)。但它适用于更简单的事情，比如

int x = 6 / 2;
int y = strlen("foo");

与任何合理的不断折叠预期相比，你的函数极其复杂。如果编译器对 sscanf 的一次调用进行编译时评估，我会印象非常深刻。