Question

首先 - 抱歉具体细节。我通常会尝试将我的SO问题归结为只有相关内容的通用“A类”内容，但我不确定这里问题的根源是什么。

我有一个矩阵类模板，看起来像这样（只显示我认为的相关部分）：

template <std::size_t R, std::size_t C>
class Matrix
{
private:
    //const int rows, cols;
    std::array<std::array<float,C>,R> m;
public:
    inline std::array<float,C>& operator[](const int i)
    {
        return m[i];
    }

    const std::array<float,C> operator[](const int i) const
    {
        return m[i];
    }

    template<std::size_t N>
    Matrix<R,N> operator *(const Matrix<C,N> a) const
    {
        Matrix<R,N> result = Matrix<R,N>();
        // irrelevant calculation
        return result;
    }
    // ... other very similar stuff, I'm not sure that it's relevant
}

template <std::size_t S>
Matrix<S,S> identity()
{
    Matrix<S,S> matrix = Matrix<S,S>();

    for(std::size_t x = 0; x < S; x++)
    {
        for(std::size_t y = 0; y < S; y++)
        {
            if (x == y)
            {
                matrix[x][y] = 1.f;
            }
        }
    }

    return matrix;
}

我对整个班级进行了单元测试，乘法和身份工厂似乎都工作正常。然而，我在这个方法中使用它，它被称为很多次（我认为如果你曾经写过渲染器，那么我在这里尝试做的很明显）：

Vec3i Renderer::world_to_screen_space(Vec3f v)
{
    Matrix<4,1> vm = v2m(v);
    Matrix<4,4> projection = identity<4>(); // If I change this to Matrix<4,4>(), the error doesn't happen
    projection[3][2] = -1.f;
    vm = projection * vm;
    Vec3f r = m2v(vm);
    return Vec3i(
            (r.x + 1.) * (width / 2.),
            (r.y + 1.) * (height / 2.),
            r.z
        );
}

经过一段时间和一些随机调用此方法后，我得到了这个：

Job 1, 'and ./bin/main' terminated by signal SIGBUS (Misaligned address error)

但是，如果我将行identity<4>()更改为Matrix<4,4>()，则不会发生错误。我是C ++的新手，所以它一定是非常愚蠢的东西。

所以，（1）这个错误意味着什么，（2）我是如何设法在腿上射击自己的？

更新：当然，此错误不会在LLDB调试器中重现。

更新2 ：这是我通过Valgrind运行程序后得到的结果：

==66525== Invalid read of size 4
==66525==    at 0x1000148D5: Renderer::draw_triangle(Vec3<float>, Vec3<float>, Vec3<float>, Vec2<int>, Vec2<int>, Vec2<int>, Model, float) (in ./bin/main)

draw_triangle正是调用world_to_screen_space并使用结果的方法。

更新3 ：我发现了问题的根源，并没有任何与此代码相关的内容 - 而且这也非常明显。真的不知道现在该怎么办这个问题。

Answer 1

如果没有处理器检查错位（如@twalberg所说），则无法运行并验证代码。但我可以这样说：C ++或其他库中的常见错误是将一种类型的异常与另一种类型混淆。

我的猜测 - 抱歉，我无法做更多 - 是你正在创建丢失的分配，耗尽可用内存，然后溢出内存空间。当您超出可用内存时引发的非常罕见的异常可能是意外的并且作为未对齐错误返回。尝试在运行时检查内存使用情况，以确定是否属于这种情况。

编辑：

我的猜测错了，valgrind输出显示未对齐的地址错误是正确的。跑这是个好主意。清楚的迹象表明，错误的级别低于代码中的错误，所以我最初的想法几乎肯定是正确的：有一个错误，它不在你的代码中，但是被屏蔽了。

请注意，似乎identity（）构造函数与Matrix＆lt;，＆gt;之间存在差异。构造函数，前者沿对角线初始化（缓慢：更好的是消除内环）而后者不是。这可能会影响v2m和m2v的行为。

“错位地址错误”是什么意思？

1 个答案: