REdis zset和double

约定不等于承诺〃 2021-12-20 14:55 255阅读 0赞

平台：x86\_64

结论：Zset的最大分数不要超过18014398509481982（17位数字，54位二进制），否则不会得到期望的值。

REdis：5.0.4

Zset采用double存储分数值（score），而incrbyfloat和hincrbyfloat采用的是long double存储数值。

double本身是可以存储比18014398509481982（17位数字，54位二进制）大的值，比如18014398509481983（也是17位数字，54位二进制）。但REdis在返回结果时，调用strtod将值转成double类型。

取值源代码：

<table> 
 <tbody> 
 <tr> 
 <td> double&nbsp;zzlGetScore(unsigned&nbsp;char&nbsp;*sptr)&nbsp;{&nbsp;//&nbsp;t_zset.c:722 &nbsp;&nbsp;&nbsp;&nbsp;unsigned&nbsp;char&nbsp;*vstr; &nbsp;&nbsp;&nbsp;&nbsp;unsigned&nbsp;int&nbsp;vlen; &nbsp;&nbsp;&nbsp;&nbsp;long&nbsp;long&nbsp;vlong; &nbsp;&nbsp;&nbsp;&nbsp;char&nbsp;buf[128]; &nbsp;&nbsp;&nbsp;&nbsp;double&nbsp;score; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;serverAssert(sptr&nbsp;!=&nbsp;NULL); &nbsp;&nbsp;&nbsp;&nbsp;serverAssert(ziplistGet(sptr,&amp;vstr,&amp;vlen,&amp;vlong)); &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;if&nbsp;(vstr)&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;memcpy(buf,vstr,vlen); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;buf[vlen]&nbsp;=&nbsp;'\0'; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//&nbsp;调用库函数strtod， &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//&nbsp;如果值小于18014398509481983，能得到预期的值， &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;//&nbsp;否则总是返回18014398509481984（2的54次方）。 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;score&nbsp;=&nbsp;strtod(buf,NULL);&nbsp;//&nbsp;字符串转double &nbsp;&nbsp;&nbsp;&nbsp;}&nbsp;else&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;score&nbsp;=&nbsp;vlong; &nbsp;&nbsp;&nbsp;&nbsp;} &nbsp; &nbsp;&nbsp;&nbsp;&nbsp;return&nbsp;score; } </td> 
 </tr> 
 </tbody> 
</table>

以字符串形式返回：

<table> 
 <tbody> 
 <tr> 
 <td> /*&nbsp;Add&nbsp;a&nbsp;double&nbsp;as&nbsp;a&nbsp;bulk&nbsp;reply&nbsp;*/ void&nbsp;addReplyDouble(client&nbsp;*c,&nbsp;double&nbsp;d)&nbsp;{&nbsp;//&nbsp;networking.c:471 &nbsp;&nbsp;&nbsp;&nbsp;char&nbsp;dbuf[128],&nbsp;sbuf[128]; &nbsp;&nbsp;&nbsp;&nbsp;int&nbsp;dlen,&nbsp;slen; &nbsp;&nbsp;&nbsp;&nbsp;if&nbsp;(isinf(d))&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;/*&nbsp;Libc&nbsp;in&nbsp;odd&nbsp;systems&nbsp;(Hi&nbsp;Solaris!)&nbsp;will&nbsp;format&nbsp;infinite&nbsp;in&nbsp;a &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;*&nbsp;different&nbsp;way,&nbsp;so&nbsp;better&nbsp;to&nbsp;handle&nbsp;it&nbsp;in&nbsp;an&nbsp;explicit&nbsp;way.&nbsp;*/ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;addReplyBulkCString(c,&nbsp;d&nbsp;&gt;&nbsp;0&nbsp;?&nbsp;"inf"&nbsp;:&nbsp;"-inf"); &nbsp;&nbsp;&nbsp;&nbsp;}&nbsp;else&nbsp;{ &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;dlen&nbsp;=&nbsp;snprintf(dbuf,sizeof(dbuf),"%.17g",d);&nbsp;//&nbsp;double转字符串 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;slen&nbsp;=&nbsp;snprintf(sbuf,sizeof(sbuf),"$%d\r\n%s\r\n",dlen,dbuf); &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;addReplyString(c,sbuf,slen); &nbsp;&nbsp;&nbsp;&nbsp;} } </td> 
 </tr> 
 </tbody> 
</table>

x86\_64上的测试：

<table> 
 <tbody> 
 <tr> 
 <td> 127.0.0.1:6379&gt;&nbsp;del&nbsp;k1 (integer)&nbsp;1 127.0.0.1:6379&gt;&nbsp;zadd&nbsp;k1&nbsp;18014398509481982&nbsp;m1 (integer)&nbsp;1 127.0.0.1:6379&gt;&nbsp;zrange&nbsp;k1&nbsp;0&nbsp;-1&nbsp;WITHSCORES 1)&nbsp;"m1" 2)&nbsp;"18014398509481982"&nbsp;预期的值 127.0.0.1:6379&gt;&nbsp;del&nbsp;k1 (integer)&nbsp;1 127.0.0.1:6379&gt;&nbsp;zadd&nbsp;k1&nbsp;18014398509481983&nbsp;m1 (integer)&nbsp;1 127.0.0.1:6379&gt;&nbsp;zrange&nbsp;k1&nbsp;0&nbsp;-1&nbsp;WITHSCORES 1)&nbsp;"m1" 2)&nbsp;"18014398509481984"&nbsp;非预期的值（和strtod相关） &nbsp; 127.0.0.1:6379&gt;&nbsp;del&nbsp;k1 (integer)&nbsp;1 127.0.0.1:6379&gt;&nbsp;zadd&nbsp;k1&nbsp;18014398509481982&nbsp;m1 (integer)&nbsp;1 127.0.0.1:6379&gt;&nbsp;zrange&nbsp;k1&nbsp;0&nbsp;-1&nbsp;WITHSCORES 1)&nbsp;"m1" 2)&nbsp;"18014398509481982"&nbsp;预期的值 127.0.0.1:6379&gt;&nbsp;zincrby&nbsp;k1&nbsp;1&nbsp;m1 "18014398509481984"&nbsp;非预期的值 127.0.0.1:6379&gt;&nbsp;zrange&nbsp;k1&nbsp;0&nbsp;-1&nbsp;WITHSCORES 1)&nbsp;"m1" 2)&nbsp;"18014398509481984"&nbsp;非预期的值 </td> 
 </tr> 
 </tbody> 
</table>

**附：C/C++浮点知识图谱**

![108120-20190425174328696-920557890.jpg][]

转载于:https://www.cnblogs.com/aquester/p/10769827.html

[108120-20190425174328696-920557890.jpg]: /images/20211220/a359d0b2ca7e4a0b8e389dac58016fbc.png