Ошибка Eigen библиотека на Linux
Я реализовал этот код с библиотекой Eigen, чтобы иметь структуру Triplet.
Этот код очень хорошо работает в моем проекте на Mac OS X. Однако тот же код не работает на платформе Linux.
Eigen::SparseMatrix<double> spdiags(const MatrixXd& B, const
Eigen::Matrix<int, 1,1>& d, size_t m, size_t n)
{
Eigen::SparseMatrix<double> A(m,n);
typedef Eigen::Triplet<double> T;
std::vector<T> triplets;
triplets.reserve(std::min(m,n)*d.size());
for (int k = 0; k < d.size(); k++)
{
int i_min = std::max(0, -d(k));
int i_max = std::min(m - 1, n - d(k) - 1);
int B_idx_start = m >= n ? d(k) : 0;
for (int i = i_min; i <= i_max; i++) {
triplets.push_back( T(i, i+k, B(B_idx_start + i, k)) );
}
A.setFromTriplets(triplets.begin(), triplets.end());
std::cout << "Row\tCol\tVal" <<std::endl;
for (int k=0; k < A.outerSize(); ++k)
{
for (SparseMatrix<double>::InnerIterator it(A,k); it; ++it)
{
std::cout << it.row() << "\t"; // row index
std::cout << it.col() << "\t";
std::cout << it.value() << std::endl;
}
}
return A;
}
У меня эта ошибка только на Linux (на Mac нет ошибки). Исходный код файла DenseCoeffsBase.h та же:
"/usr/local/include/Eigen/src/Core/DenseCoeffsBase.h:114:
Eigen::DenseCoeffsBase<Derived, 0>::CoeffReturnType
Eigen::DenseCoeffsBase<Derived, 0>::operator()
(Eigen::DenseCoeffsBase<Derived, 0>::Index,
Eigen::DenseCoeffsBase<Derived, 0>::Index) const
[with Derived = Eigen::Matrix<double, -1, -1>;
Eigen::DenseCoeffsBase<Derived, 0>::CoeffReturnType = const double&;
Eigen::DenseCoeffsBase<Derived, 0>::Index = long int]:
Assertion `row >= 0 && row < rows() && col >= 0 && col < cols()' failed."Есть идеи?
Вот MVC как спросили:
#include<Eigen/Sparse>
#include <Eigen/Sparse>
#include<Eigen/Dense>
#include<Eigen/Eigenvalues>
Matrix<int, 1, 1> d1; d1(0)=0;
MatrixXd d0; d0.resize(1,5);
d0(0)=10;d0(1)=20;d0(2)=30;d0(3)=30;d0(4)=40;d0(5)=50;
Eigen::SparseMatrix<double> Diag_laplacian=test.spdiags(d0,d1,5,5);
//--------------
//the result must be like this :
Row Col Val
0 0 10
1 1 20
2 2 30
3 3 30
4 4 40
Решение
Это, мой дорогой сэр / мадам, это MCVE
#include <iostream>
#include <Eigen/Core>
#include <Eigen/Sparse>
using namespace Eigen;
Eigen::SparseMatrix<double> spdiags(const MatrixXd& B,
const Eigen::Matrix<int, 1, 1>& d, size_t m, size_t n)
{
Eigen::SparseMatrix<double> A(m, n);
typedef Eigen::Triplet<double> T;
std::vector<T> triplets;
triplets.reserve(std::min(m, n)*d.size());
for (int k = 0; k < d.size(); k++)
{
int i_min = std::max(0, -d(k));
int i_max = std::min(m - 1, n - d(k) - 1);
int B_idx_start = m >= n ? d(k) : 0;
for (int i = i_min; i <= i_max; i++)
triplets.push_back(T(i, i + k, B(B_idx_start + i, k)));
}
A.setFromTriplets(triplets.begin(), triplets.end());
std::cout << "Row\tCol\tVal" << std::endl;
for (int k = 0; k < A.outerSize(); ++k)
{
for (SparseMatrix<double>::InnerIterator it(A, k); it; ++it)
{
std::cout << it.row() << "\t"; // row index
std::cout << it.col() << "\t";
std::cout << it.value() << std::endl;
}
}
return A;
}
int main()
{
Matrix<int, 1, 1> d1; d1(0) = 0;
MatrixXd d0; d0.resize(1, 5);
// Note that you *have* to use (x,y) indices on a MatrixXd
// Otherwise, you get a different assertion failure
d0(0,0) = 10; d0(0,1) = 20;
d0(0,2) = 30; d0(0,3) = 30;
d0(0,4) = 40;
// d0(0,5) = 50; // OUT OF BOUNDS!!!
Eigen::SparseMatrix<double> Diag_laplacian = spdiags(d0, d1, 5, 5);
}
Ожидаемый результат (как вы заявили):
Row Col Val
0 0 10
1 1 20
2 2 30
3 3 30
4 4 40
Чтобы воспроизвести результаты, я могу использовать VS (в моем случае 2013) или g ++ (т.е. это не Linux против Mac). Поскольку вы используете g ++, я тоже буду.
Чтобы воспроизвести поведение, описанное вами при сборке Linux, я скомпилировал
g++ -O3 -I"C:\usr\include" Source.cpp -o a.exe
Бег a.exe дал мне (как вы заявили)
Ошибка подтверждения: строка> = 0 && строка < (строки) && col> = 0 && седло < cols (), файл C: \ usr \ include / Eigen / src / Core / DenseCoeffsBase.h, строка 114
Отладка показала мне, что он не работает на линии
triplets.push_back(T(i, i + k, B(B_idx_start + i, k)));
когда i == 1, Зачем? Точно так же, как @marc и я заявил. B не имеет форму / размер, как вы используете его. изменения B(B_idx_start + i, k) с B(k, B_idx_start + i) решает проблему.
Теперь, почему это работает на Mac? Ответ связан с самой ошибкой. Это ошибка утверждения. Утверждения не проверяются, когда NDEBUG определено. Таким образом, вы, вероятно, скомпилированы с использованием чего-то вроде
g++ -DNDEBUG -O3 -I"C:\usr\include" Source.cpp -o a.exe
на Mac, и он работал нормально, так как тогда утверждения игнорируются:
#ifdef NDEBUG
#define assert(_Expression) ((void)0)
#else
Итак, если есть ошибка утверждения, почему это работает, когда мы определяем NDEBUG? Ответ заключается в том, что указатель данных указывает на первое из пяти выделенных doubles, Используя правильную индексацию, мы должны получить index = k*1 + (B_idx_start + i)и так как в этом случае k==0 а также B_idx_start==0, мы получаем index=i, Это в пределах границ, и поэтому мы не получаем исключение за пределами границ. Используя неправильную индексацию, получаем index = (B_idx_start + i)*1 + k что опять же приводит к index=i, Если бы размер матрицы был (например) 2×5, то мы бы получили исключение за пределами границ.
Другие решения