【发布时间】:2016-06-27 10:30:33
【问题描述】:
我是第一次使用 GMP lib,看起来这段代码做了一些脏内存作弊:
void addition (const point p,const point q,const mpz_t fp, point* result){
mpz_t ld;
mpz_init(ld);
lambda_add(p,q,fp,ld);
gmp_printf( "WTFCHECK1: %Zx, %Zx\n", p.x ,p.y);
mpz_mul(result->x,ld,ld);
gmp_printf( "WTFCHECK2: %Zx, %Zx\n", p.x ,p.y);
mpz_sub(result->x,result->x,p.x);
gmp_printf( "WTFCHECK3: %Zx, %Zx\n", p.x ,p.y);
...
}
lambda 的样子
void lambda_add (const point p,const point q,const mpz_t fp, mpz_t result){
mpz_t ydiff,xdiff;
mpz_init (ydiff);
mpz_init (xdiff);
mpz_sub (ydiff,q.y,p.y);
mpz_sub (xdiff,q.x,p.x);
...//no more usage of p or q
}
但程序输出仍然是这样的:
WTFCHECK1: 7cf27b188d034f7e8a52380304b51ac3c08969e277f21b35a60b48fc47669978, 7775510db8ed040293d9ac69f7430dbba7dade63ce982299e04b79d227873d1
WTFCHECK2: de8a6886d284cb85d49a93b707475ed3d277242444ba9e860207f9a59a9ef351, 7775510db8ed040293d9ac69f7430dbba7dade63ce982299e04b79d227873d1
如你所见,mpz_t类型的变量px(x和y是typedef结构点中的mpz_t类型)在没有我的情况下发生了变化分配任何东西。这种行为的原因是什么?谢谢。
【问题讨论】:
-
您可能需要发布
p、q和result的设置以及对addition的调用。如果您注释掉对lambda_add的调用会怎样? -
没有 MCVE 不能说太多。请注意,如果您使用 GMP 附带的标头
<gmpxx.h>以及它提供的类型mpz_class,可能会节省很多麻烦。