c++ - 如何从类声明中正确导出 SWIG typedef？

Question

我正在使用 SWIG，在头文件 evidence.h 中，我有以下内容:

namespace dai {
    class Evidence {
        public:
            typedef std::map<Var, size_t> Observation;
    };
}

在 swig 接口(interface)文件 dai.i 中，我有以下内容:

//The types are defined in both swig and the output cxx file...
%include "../include/dai/evidence.h"
%include "../include/dai/var.h"
#include "../include/dai/evidence.h"


//namespace std {
%{
   typedef std::map<Var, size_t> Observation;
%}
//  %template(Observation) map<Var, size_t>;
//}
typedef std::map<Var, size_t> Observation;
%template(VecObservation) std::vector<dai::Evidence::Observation>;

我相信 Var 可以正确地处理生成的 cxx 文件和 ml 文件，所以我不会深入到那部分。正是我遇到的问题，即向我声明的 VecObservation 模板添加一个项目。在 test.ml 文件中，我有以下内容:

let observation = new_Observation C_void in
let observations = new_VecObservation C_void in
let _ = (invoke observations) "push_back" observation in ()

我收到一个与 push_back 行相对应的错误:

(Failure "No appropriate conversion found.")

Answer 1

事实证明，typedef、rename 和 template 在输出接口(interface)模块和 C/++ 代码方面都为 SWIG 做了不同的事情，并且让事情正常工作并不完全是从 C/+ 的一对一映射+ swig 界面的代码。因此，尽管实际 header 中的观察类型是 typedef，但起作用的是使用 %template swig 宏/语言/术语。

无论如何，问题是在 C 代码中，每个模板或类型都对应一个枚举或声明，用于数组的一种映射。该数组用于通过使类型成为实例携带的数字来促进同质类型接口(interface)，然后在查找中使用。

因此，“未找到合适的转换。”错误实际上是动态类型寻找相同的类型，但使用一些不同的 SWIG 术语作为最终名称。如果您选择对 Observation 进行模板化，但随后使用除了您之前模板化的内容之外的任何其他内容，它不会映射。因此，您必须小心处理 swig 接口(interface)文件。

这有效:

%template(Observation) std::map<Var, size_t>;
%template(VecObservation) std::vector<std::map<Var, size_t>>;