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);
}

但是我遇到了分段错误。 它完全没有任何价值可以打印成浮动。 我可以将其更改为%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子句之后或之前放置时确实有效。 就是这样的

    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-子句的内部产生一个段故障。

更新 ：根据TED的回答，我已经测试了一下，这是出来的：

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

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. DAFUQ？ 为什么会这样？
2. 我该如何解决？

---

如果您对整个代码感兴趣，我不介意分享它。 它在github上 。 这是一个Code :: Blocks项目。 唯一的include-path必须是gkit文件夹的parent-directory。

Answer 1

这正是我讨厌printf() 。 它是关于容易出错的语言中最容易出错的例程。

“werid”崩溃的第一件事就是简化逻辑以尝试缩小范围。

在这种情况下，我接下来尝试在printf之前将浮点数设置为已知值（例如： 1.0 ）。 可能是你的printf有一些你曾经遇到的奇怪价值的错误。

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

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

• 将破碎的代码片段移动到独立的“主”中，然后（假设它有效）添加代码直到它中断。
• 从现有代码中注释掉代码，直到找到使其有效的代码。

Answer 2

感谢unkulunkulu，他在聊天中提供了帮助，我们找到了问题。

我简直不敢相信，以前的电话gk_GraphicsLayer_drawLine可能会影响下面的调用的行为，但究竟这是事实。 在我的main()函数中，我调用了三次函数。 第一个调用意外收到的值也超出了gk_GraphicsLayer像素数组的gk_GraphicsLayer 。 第三个电话是最终导致程序崩溃的人。

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

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