2

仍在学习 SICStus Prolog 4 FFI 到 C 的技巧，我对https://sicstus.sics.se/sicstus/docs/latest4/html/sicstus.html/中的示例谓词 c1/2 有一个具体问题Foreign-Code-Examples.html#Foreign-Code-Examples。

ex.pl 包括以下行：

 foreign(c1,  c, c1(+integer, [-integer])).

ex.c 包括以下代码段：

 /* c1(+integer, [-integer]) */
 SP_integer c1(a)
 SP_integer a;
 {
    return(a+9);
 }

这适用于小整数：

 | ?- c1(100,X).
 X = 109 ?
 yes
 | ?- c1(100000000000000,X).
 X = 100000000000009 ?
 yes

它不适用于大整数：

 | ?- c1(10000000000000000000000000,X).
 X = 1590897978359414793 ? 
 yes

如何正确（有效地）处理小整数和大整数？IIRC 大整数不能作为“SP_integers”传递，所以我应该将这些值作为术语（“SP_term_ref”）传递并进行适当的动态类型检查（可能随后进行数据提取）？请帮忙！

4

2 回答 2

3

你是对的，foreign类型integer对应C类型SP_integer，只能用于小整数。对于任意大小的整数，您需要使用外来类型term，对应于 C 类型SP_term_ref，并使用SP_get_integer_bytes()函数来获取字节。有关这方面的更多信息，请参阅将任意大小的整数从 Prolog 传递到 C。

您不需要显式的动态类型检查，因为它SP_get_integer_bytes()适用于所有大小的整数，并且如果其参数不是整数，则会优雅地失败并返回错误代码。

于 2015-03-19T00:03:11.480 回答
1

我不确定，但也许是因为整数有特定的大小。基本整数在 [−32767,+32767] 范围内，长整数 [−2147483647,+2147483647] ...

于 2015-03-18T23:33:18.653 回答