在C++中使用fplll库bkz_reduction函数时遇未定义引用错误

错误原因分析 #

你遇到的undefined reference是链接阶段错误：编译器能通过头文件找到函数声明，但链接器找不到函数的具体实现代码——本质是编译命令里没加入fplll库的链接参数，只链接了gmp/mpfr依赖。

解决方案 #

方法1：用pkg-config自动处理依赖（推荐） #

fplll安装后会生成fplll.pc配置文件，通过pkg-config可以自动获取编译所需的头文件路径、链接库参数，避免手动配置出错。

步骤1：确保pkg-config能找到fplll

如果是自定义路径安装（/home/my_username/fplll），先设置环境变量让pkg-config找到配置文件：

export PKG_CONFIG_PATH=/home/my_username/fplll/lib/pkgconfig:$PKG_CONFIG_PATH

步骤2：修改Makefile

替换原Makefile内容为：

CFLAGS = -Wall -Wextra -march=native -mtune=native -O3 -fomit-frame-pointer
CXX = g++
# 用pkg-config获取fplll的编译参数，指定C++标准（fplll推荐C++11及以上）
CXXFLAGS = $(CFLAGS) $(shell pkg-config --cflags fplll) -std=c++11
# 用pkg-config获取fplll的链接参数（自动包含gmp/mpfr等依赖）
LIBS = $(shell pkg-config --libs fplll)

test_stuff: tests/test_stuff.cpp
	$(CXX) $(CXXFLAGS) tests/test_stuff.cpp -o tests/test_stuff $(LIBS)

方法2：手动指定路径（适合不熟悉pkg-config的场景） #

如果不想用pkg-config，直接手动指定fplll的头文件和库路径：

修改后的Makefile

CFLAGS = -Wall -Wextra -march=native -mtune=native -O3 -fomit-frame-pointer
CXX = g++
# 自定义fplll安装路径
FPLLL_ROOT = /home/my_username/fplll
# 指定头文件路径
CXXFLAGS = $(CFLAGS) -I$(FPLLL_ROOT)/include -std=c++11
# 指定库路径+链接fplll库，同时保留gmp/mpfr依赖
LIBS = -L$(FPLLL_ROOT)/lib -Wl,-rpath=$(FPLLL_ROOT)/lib -lfplll -lmpfr -lgmp

test_stuff: tests/test_stuff.cpp
	$(CXX) $(CXXFLAGS) tests/test_stuff.cpp -o tests/test_stuff $(LIBS)

• -Wl,-rpath=$(FPLLL_ROOT)/lib：让程序运行时自动在指定路径找库，避免每次运行都设置LD_LIBRARY_PATH环境变量。

可运行测试代码 #

替换你的test_stuff.cpp为以下完整代码，验证功能：

#include <iostream>
#include <fplll.h>

using namespace std;
using namespace fplll;

int main() {
    // 创建3x3整数矩阵
    ZZ_mat<mpz_t> mat(3, 3);
    // 初始化矩阵元素
    mat(0, 0) = 1; mat(0, 1) = 2; mat(0, 2) = 3;
    mat(1, 0) = 4; mat(1, 1) = 5; mat(1, 2) = 6;
    mat(2, 0) = 7; mat(2, 1) = 8; mat(2, 2) = 10;

    cout << "原始矩阵:" << endl;
    cout << mat << endl;

    // 调用BKZ约化（块大小10，矩阵仅3维时实际使用3）
    int status = bkz_reduction(mat, 10, BKZ_DEFAULT, FT_DEFAULT, 0);

    if (status == RED_SUCCESS) {
        cout << "\nBKZ约化成功，结果矩阵:" << endl;
        cout << mat << endl;
    } else {
        cout << "\nBKZ约化失败，状态码:" << status << endl;
    }

    return 0;
}

验证步骤 #

1. 执行make test_stuff编译代码
2. 运行程序：./tests/test_stuff，如果输出约化后的矩阵则说明配置成功

内容的提问来源于stack exchange，提问作者user22749332