我正在将Embeddable Common Lisp嵌入到库中,我一直在编写实用函数,将ECL的cl_object
转换为各种C/C++类型,例如将代表字符串的cl_object
转换为std::字符串。
我的问题是——为什么我无法在ECL中检索到包含符号名称的字符串?
我在使以下函数ecl_symbol_to_string
工作时遇到了问题,它应该使用ECL符号并返回一个std::字符串,其名称为:
string ecl_symbol_to_string(cl_object sym) {
return ecl_string_to_string(sym->symbol.name);
}
string ecl_string_to_string(cl_object echar) {
string res("");
int j = echar->string.dim; //get dimension
ecl_character* selv = echar->string.self; //get pointer
//do simple pointer addition
for(int i=0;i<j;i++){
res += (*(selv+i));
}
return res;
};
请注意,ecl_string_to_string
适用于lisp字符串。
一个简单的单元测试说明了故障:
TEST_CASE( "ecl_symbol_to_string returns a string for symbol",
"[ecl_string_to_string]" ) {
LispRuntime *rt = new LispRuntime("()");
std::string eval_script;
cl_object eval_result;
std::string subject_result;
eval_script = "'mysymbol";
eval_result = rt->evaluate(eval_script);
REQUIRE( ECL_SYMBOLP(eval_result) );
subject_result = ecl_symbol_to_string(eval_result);
REQUIRE ( ECL_STRINGP(cl_symbol_name(eval_result)) );
std::cout << subject_result.c_str() << std::endl;
REQUIRE( subject_result.compare("mysymbol") == 0 );
delete rt;
}
这个测试用例为cout的调用打印出MM
。我还试着将"MYSYMBOL"与"M"进行比较,前者失败,后者通过。
LispRuntime::eval_script简单地转换和评估形式:
cl_object LispRuntime::evaluate(std::string &code) {
cl_object form = c_string_to_object(code.c_str());
cl_object result = cl_eval(form);
return result;
}
我在本地编译了ECL16.1.3版本,启用了C++选项,调试符号和所有其他默认设置。我们非常感谢任何协助。
我认为这是unicode/非unicode的混合:ECL在object.h中定义了两种字符串类型。一种是ecl_base_string
,其中成员self
最终typedef为unsigned char*
,另一种是ecl_string
,其中成员self
通常(我认为这取决于编译时的参数)typedef至int*
。您正在以ecl_string
的身份访问它。
如果你追踪ecl_make_symbol
的工作原理,你会发现它最终调用了返回基字符串的函数make_constant_base_string
。因此,您的ecl_string_to_string
通过错误的类型访问它。
我怀疑最简单的解决方案是构建一个类型检查/转换为ecl_string_to_string
:
string ecl_string_to_string(cl_object echar) {
switch (ecl_t_of(echar)) {
#ifdef ECL_UNICODE
case t_string:
if (!ecl_fits_in_base_string(echar)) {
echar = cl_copy_seq(echar);
} else {
echar = si_copy_to_simple_base_string(echar);
}
break;
#endif
case t_base_string:
// OK
break;
default:
// PRINT SOME ERROR
return string(); // or raise an exception
}
string res("");
int j = echar->base_string.dim; //get dimension
ecl_base_char* selv = echar->base_string.self; //get pointer
//do simple pointer addition
for(int i=0;i<j;i++){
res += (*(selv+i));
}
return res;
};
我添加的额外代码大量复制自ECL函数cl_make_symbol
。我决定转换为ecl_base_string
而不是ecl_string
,因为C++字符串无论如何都不接受unicode字符。如果你有充分的理由,你可能会反过来做。