printf %f 分段错误

Question

我在函数中有这段代码。我想在这里打印y的值。

if (x1 < 0 || y1 < 0) {

    // Vertical lign outside of layer
    if (dx == 0 && y1 < 0) {
        return GKIT_NOERR;
    }

    float m = dy / dx;
    float t = y1 - m * x1;
    float x = -t / m;
    float y = m * x + t;

    printf("Hello %s. You are %f years old.\n", "Niklas", y);
}

但是我遇到了分段错误。它完全可以与 no 值一起打印为浮点数。我可以将其更改为 %d 或类似名称，效果很好。

    int val = (int) y;
    printf("Hello %s. You are %d years old.\n", "Niklas", val);

知道 Segfault 来自哪里吗？

编辑：完成功能。

// coding: ascii
// author: Niklas Rosenstein
// e-mail: rosensteinniklas@googlemail.com

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "gkit/defines.h"
#include "gkit/utils.h"
#include "gkit/graphicslayer.h"

#define SWAP_IF_NECCESSARY(x1, y1, x2, y2)  \
    if (x2 < x1 && y2 < y1) {               \
        int temp = x2;                      \
        x2 = x1;                            \
        x1 = temp;                          \
        temp = y2;                          \
        y2 = y1;                            \
        y1 = temp;                          \
    }

/* Based on Bresenhams line algorithm. */
int gk_GraphicsLayer_drawLine(gk_GraphicsLayer* layer, gk_Color* color,
                              int x1, int y1, int x2, int y2,
                              gk_ColorBlendProc blend, gk_float opacity) {
    SWAP_IF_NECCESSARY(x1, y1, x2, y2);

    float dx = x2 - x1;
    float dy = y2 - y1;
    float cx = x1;
    float cy = y1;

    // Figure out where to start in case x1 or y1 are outside of the layer.
    if (x1 < 0 || y1 < 0) {

        // Vertical lign outside of layer
        if (dx == 0 && y1 < 0) {
            return GKIT_NOERR;
        }

        // The function's slope (m)
        // ------------------------
        float m = dy / dx;


        // Find the y-axis intersection (t)
        // -------------------------------
        // y = mx + t   =>
        // y - mx = t

        float t = y1 - m * x1;

        // Compute the root of the function (N)
        // ------------------------------------
        // 0 = mx + t   =>
        // mx = -t      =>
        // x = -t / m

        float x = -t / m;
        float y = m * x + t;

        printf("Hello %s. You are %f years old.\n", "Niklas", y);
    }


    int incx = GKIT_SIGNUM(dx);
    int incy = GKIT_SIGNUM(dy);
    if (dx < 0) { dx = -dx; }
    if (dy < 0) { dy = -dy; }

    int pdx, pdy;
    int ddx, ddy;
    int es, el;

    ddx = incx;
    ddy = incy;

    if (dx > dy) {
        pdx = incx;
        pdy = 0;
        es = dy;
        el = dx;
    }
    else {
        pdx = 0;
        pdy = incy;
        es = dx;
        el = dy;
    }

    float err = el / 2.0;

    #define SET_PIXEL(x, y) \
        do { \
        gk_Color* c = GKIT_GRAPHICSLAYER_ACCESSPIXEL(layer, (int)x, (int)y); \
        if (blend != Null) {                \
            gk_Color t = *c;                \
            blend(color, &t, c, opacity);   \
        }                                   \
        else {                              \
            *c = *color;                    \
        } } while (0)

    SET_PIXEL(cx, cy);

    int t;
    for (t=0; t < el; t++) {
        err -= es;
        if (err < 0) {
            err += el;
            cx += ddx;
            cy += ddy;
        }
        else {
            cx += pdx;
            cy += pdy;
        }
        SET_PIXEL(cx, cy);
    }

    #undef SET_PIXEL

    return GKIT_NOERR;
}

编辑：完整的堆栈跟踪：

#0 0xb7e68cb0   ___printf_fp(fp=0xb7fc3a20, info=0xbffff684, args=0xbffff6f8) (printf_fp.c:844)
#1 0xb7e63ab0   _IO_vfprintf_internal(s=0xb7fc3a20, format=<optimized out>, ap=0xbffff750 "\001") (vfprintf.c:1623)
#2 0xb7e6cc2f   __printf(format=0x8049da0 "Hello %s. You are %f years old.\n") (printf.c:35)
#3 0x8049143    gk_GraphicsLayer_drawLine(layer=0x804d008, color=0xbffff810, x1=-20, y1=-10, x2=49, y2=200, blend=0, opacity=0) (/home/niklas/git/c-gkit/gkit/graphicslayer.c:180)
#4 0x8049ba4    test_drawLine() (/home/niklas/git/c-gkit/main.c:46)
#5 0x8049c80    main() (/home/niklas/git/c-gkit/main.c:68)

编辑：请注意printf()确实在将它放在 if 子句之后或之前时起作用。 IE。类似的东西

    printf("Foo: %f\n", 1.0);
    // Figure out where to start in case x1 or y1 are outside of the layer.
    if (x1 < 0 || y1 < 0) {

        // Vertical lign outside of layer
        if (dx == 0 && y1 < 0) {
            return GKIT_NOERR;
        }

确实有效，但将printf() 移入 if 子句会产生分段错误。

更新：根据T.E.D.的回答，我已经测试了一下，结果如下：

问题似乎是比较操作的结果 (<)。我可以的

if (True) { printf("%f", 53.3); }

但我做不到

if (x1 < 0 || y1 < 0) { printf("%f", 53.3); }
// nor
if (x1 < 0) { printf("%f", 53.3); }
// nor
int x_smaller = x1 < 0;
if (x_smaller) { printf("%f", 53.3); }

有趣的是，这是可行的：

int x_smaller = x1 < 0;
int y_smaller = y1 < 0;
x_smaller = y_smaller = 1;
if (x_smaller || y_smaller) { printf("%f", 53.3); }

---

结论：在 if 子句中测试的操作 x1 < 0 和 y1 < 0 的结果使 printf() 失败。问题是：

1. 大富奇？为什么会这样？
2. 我该如何解决？

---

如果您对整个代码感兴趣，我不介意分享它。它在github 上。这是一个 Code::Blocks 项目。唯一的包含路径必须是 gkit 文件夹的父目录。

Answer 1

这正是我讨厌printf() 的原因。它是在其他容易出错的语言中最容易出错的例程。

处理“奇怪”崩溃的第一件事是简化逻辑以尝试缩小范围。

在这种情况下，接下来我会尝试在 printf 之前将您的浮点数设置为已知值（例如：1.0）。可能是你的printf 有一个错误，你碰巧在那里有一些奇怪的值。

如果可行（打印1.0），那么我的下一步是尝试打印该变量中的位。对于 C，这可能会将格式更改为 %x 并将参数更改为 *((unsigned int *)(&y))

如果它不起作用（我猜不是您的评论），请继续简化。尝试删除%s 及其参数（无论如何都是一种不必要的ATM）。如果仍然失败，请尝试：

• 将损坏的代码 sn-p 移动到独立的“main”中，然后（假设它有效）添加代码直到它损坏。
• 从现有代码中注释掉代码，直到找到可以使其工作的内容。

Answer 2

感谢 unkulunkulu，他在chat 中提供了帮助，我们得以找到问题所在。

我无法相信之前对gk_GraphicsLayer_drawLine 的调用会影响后续调用的行为，但this 正是如此。在我的main() 函数中，我调用了该函数三遍。第一次调用意外收到的值也超出了gk_GraphicsLayer 的像素数组的范围。第三个调用最终导致程序崩溃。

这也解释了为什么在 if-clause（错误出现的地方）修复了段错误之后退出函数。这是因为它阻止了函数访问它不应该访问的内存。

总结：写入无效地址的内存非常危险，它甚至会触发一个完全其他的函数失败并导致您错误假设。不幸的是，当无效地址仍在操作系统为您的应用程序提供的内存范围内时，不会收到分段错误错误。