问个TCL脚本语言问题：TCL8.5是不是有BUG ？

wn0112

大家好，我是新手，有关TCL语言问题想请教，抱歉发在这里，因为没有对应的版块：

－－－－－－－－－开始－－－－－－－－－－－
#!/usr/local/bin/tclsh8.5
proc ten { value } {
  if { $value < 0 } {
    set result [ expr 10e[ expr $value -1 ]]
  } else {
    set result [ format %.f [ expr 10e[ expr $value-1 ]]]
  }
  return $result
}
proc Push { stack value } {
  upvar $stack S
  lappend S $value
}
proc Pop { stack } {
  upvar $stack S
  set x [ lindex $S end ]
  set S [ lrange $S 0 [expr [ llength $S ]-2]]
  return $x
}

proc add { stack  { tag 0 }} {
  upvar $stack S
  set x 0
  set l [ llength $S ]
  for { set i 0;set n 0} { $i < $l } { incr i } {
    if { [ lindex $S [ expr $l-$i-1 ]]=="-" } {
      set x [ expr $x*-1 ]
        if { $tag == 1 } {
          Pop S
           }
    } elseif { [ lindex $S [ expr $l-$i-1 ]]=="." } {
      set x [ expr $x*[ ten -$i ]]
        if { $tag == 1 } {
          Pop S
           }
      set n 0
    } else {
      if { $tag == 1 } {
        set x [ expr $x + [ ten $n ]*[ Pop S ]]
      } else {
        set x [ expr $x + [ ten $n ]*[ lindex $S [ expr $l-$i-1 ]]]
        }
      incr n
     }
  }
  return $x
}

Push num .
Push num 7
puts [ add num 0 ]
－－－－－－－－－－结束－－－－－－－－－－

上面代码执行执行显示：0.7000000000000001

如果将第一行改成：#!/usr/local/bin/tclsh8.4

执行结果为：0.7

请问是怎么回事？ 是TCL8.5有Bug吗？

welcome008

中间你感到可疑的地方puts一下

是不是和精度有关呢？

wn0112

原帖由 welcome008 于 2008-12-15 17:09 发表
中间你感到可疑的地方puts一下

是不是和精度有关呢？

如果与精度有关, 是不是应该所有的数都是这样?
但现在只有0.3, 0.6 ,0.7这三个数显示不正常, 都显示为0.700000000001这个样子. 其它几个数字正常, 显示0.1,0.2,0.4....像这样.

wn0112

找到原因了，应该是有Bug
终端下面执行:

#tclsh8.5
%expr 0.1*7
0.70000000000000001
%expr 0.1*2
0.2
%expr 0.1*3
0.30000000000000004

如果用tcl8.4解释就正常
终端下执行：
#tclsh8.4
%expr 0.1*7
0.7
%expr 0.1*2
0.2
%expr 0.1*3
0.3

welcome008

puts $result
在return $result前面加一行

wn0112

原帖由 welcome008 于 2008-12-18 14:42 发表
puts $result
在return $result前面加一行

显示的和返回的一样都是0.70000000000001

应该是运算出问题了：

%expr 0.1*7   # 0.1乘7
0.7000000000001     # 结果错误

blackold

你见过哪个软件没有bug?

金无足赤!

waker

浮点计算有什么奇怪的

fox000002

从浮点数的角度看，结果是正常的

但 tclsh8.5 的处理出了 bug

dearvoid

浮点数的「本性」而已

-(dearvoid@LinuxEden:Forum)-(~/tmp)-
[$$=1832 $?=0] ; cat foo.c

#include <stdio.h>
#include <string.h>

int
main()
{
    double a = 0.1;

    a *= 7;
    printf("%g\n", a);
    printf("%.20g\n", a);
    printf("%.16g\n", a);

    return 0;
}
-(dearvoid@LinuxEden:Forum)-(~/tmp)-
[$$=1832 $?=0] ; gcc foo.c
-(dearvoid@LinuxEden:Forum)-(~/tmp)-
[$$=1832 $?=0] ; ./a.out
0.7
0.70000000000000006661
0.7000000000000001
-(dearvoid@LinuxEden:Forum)-(~/tmp)-
[$$=1832 $?=0] ; bye