-2

所以基本上我想从 Prolog 调用一些 C 代码，这里是代码：

序言：

:-foreign(ptraddr_wrapper(+integer,-integer)).
:-foreign(ptrlval_wrapper(+integer,-integer)).
:-foreign(ptre_wrapper(+integer,-integer)).


% p = &b;
babelTPtr(Var, Val) :- ptraddr_wrapper(Val, Var).
% a = *p;
babelEPtr(Var, Val) :- ptre_wrapper(Val, Var).
% *p = 2;
babelLValPtr(Var, Val) :- ptrlval_wrapper(Val,Var).
% a = b;
babelAssign(Var, Val) :- Var is Val.

main :-
babelAssign(A, 1),
babelAssign(B, 2),
babelTPtr(P, A),
babelLValPtr(P, 2),
%% babelEPtr(B, P),

% print out

write(A), nl.

C：

#include </usr/local/gprolog-1.4.4/include/gprolog.h>
#include <string.h>


PlBool ptraddr_wrapper(int* ptr, int* res){
res = &ptr;
printf("%p\n", &ptr);
printf("%p\n", res);
printf("%d\n", *res);
if(res==NULL){
  return PL_FALSE;
}else{
  return PL_TRUE;
}
}

PlBool ptrlval_wrapper(int val, int* res){
   printf("%p\n", res);
   printf("%d\n", val);
   *res = val;
   printf("%d\n", *res);
if(res==NULL){
  return PL_FALSE;
}else{
  return PL_TRUE;
}
}

PlBool ptre_wrapper(int* ptr, int* res){
   *res = *ptr;
if(res==NULL){
 return PL_FALSE;
}else{
   return PL_TRUE;
   }
}

问题是，在我运行这段代码之后，输出是：

  0xbfae8bcc       <-- it is on the stack, right
  0xbfae8bcc       <-- it is on the stack, right
   1              
  0x82abec4        <-- Why?
    2
    2

我不明白为什么第四个输出是一个新的内存地址，据我了解，它也应该是0xbfae8bcc，

我错了吗？谁能给我一些帮助？

4

1 回答 1

2

您尝试做的事情根本不可能（这将非常危险）。在 C 部分， res 指针是一个临时变量的地址，在函数返回时，它应该包含一个结果。这个结果与外部接口对应的 Prolog 参数统一。您可以查看 gprolog 提供的全局变量工具，特别是 g_link/2。见文档

于 2014-04-12T05:24:52.677 回答