SWIG将C语言bool类型转换为SWIGTYPE问题求助

当使用SWIG为返回bool类型的C函数生成Java包装器时，生成的方法返回SWIGTYPE_p__Bool而非预期的Java原生boolean，导致无法直接在Java中进行布尔判断。

核心修复：调整头文件引入顺序并确保bool类型被正确识别 #

SWIG需要在处理业务头文件（bitwuzla.h）之前，先识别bool类型的定义。将%include <stdbool.h>移至%include "bitwuzla.h"之前即可解决问题。

修改后的接口文件示例：

%module bitwuzla
%include "typemaps.i"
%include "arrays_java.i"

%{
#include "bitwuzla.h"
%}

%apply size_t *OUTPUT { size_t *size };
%inline %{
const BitwuzlaTerm ** bitwuzla_get_unsat_assumptions(Bitwuzla *bitwuzla, size_t *size);
%}

typedef struct Bitwuzla Bitwuzla;

// 先引入stdbool.h，让SWIG识别bool类型
%include <stdbool.h>
%include <stdio.h>
%include <stddef.h>
%include <stdarg.h>
%include <stdint.i>

// 再引入业务头文件
%include "bitwuzla.h"

%include <carrays.i>
%array_functions(BitwuzlaTerm *, bt_array);

可选：手动指定bool类型映射（如果上述方法不生效） #

如果调整顺序后仍有问题，可以手动添加bool的类型映射，强制SWIG将C的bool映射为Java的boolean：

// 在%include "bitwuzla.h"之前添加
%typemap(jstype) bool "boolean"
%typemap(jtype) bool "boolean"
%typemap(jni) bool "jboolean"
%typemap(javaout) bool {
  return $jnicall;
}

修复后的效果 #

修改后，生成的Java包装器方法会变为：

public static boolean bitwuzla_sort_is_equal(SWIGTYPE_p_BitwuzlaSort sort0, SWIGTYPE_p_BitwuzlaSort sort1) {
  return bitwuzlaJNI.bitwuzla_sort_is_equal(SWIGTYPE_p_BitwuzlaSort.getCPtr(sort0), SWIGTYPE_p_BitwuzlaSort.getCPtr(sort1));
}

此时你可以直接在Java代码中使用布尔断言：

assert bitwuzla.bitwuzla_sort_is_equal(bvsort, varSort);

问题原因解释 #

• 原接口文件中%include <stdbool.h>在%include "bitwuzla.h"之后，SWIG处理bitwuzla.h中的bool返回值函数时，尚未识别bool是C99的基本类型，因此将其视为未知的结构体类型，生成了SWIGTYPE_p__Bool包装类。
• 提前引入stdbool.h后，SWIG会将bool识别为基本类型，并自动映射到Java的boolean。

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