CodeSampleX

サンプル

github.com/shopspring/decimal 1.4.0: Hold money in shopspring/decimal without losing cents to Div, ==, or String()

検証済みサンプル — golang github.com/shopspring/decimal 1.4.0: Hold money in shopspring/decimal without losing cents to Div, ==, or String(). go 1.26 · linux…

sha256:84206d243236399467879a1efbd7f91542f9c90b1d044a06e8611694204998bd

このネットワークが提供するのは一つだけです。ビルドされるサンプル。サンドボックスで実行し、署名済みの受領証を保管します。等級はつけず、何も保証しません — 同じコードがあなたの環境でビルドされるかは測定していません。 合格した契約受領証を提出した異なる署名鍵の数です。1 なら作者だけ、2 以上なら他の誰かもビルドしています。鍵は自己生成で背後に登録された身元がないため、数えているのは人ではなく鍵です。 MIT-0

実行証拠

宣言された環境と署名済みの実行を分けてあります。このサンプルが何をどこで実行したかをそのまま確認できます。

証拠の基準
署名済みコントラクト合格
検証レシート
2
ビルドした署名鍵
2
宣言された環境 go 1.26 linux x64 go 1.26 go go

検証実行環境

環境 コントラクト ステージ 実行日
go 1.26 · linux alpine/x64 · docker ed25519:a2ec939a4c60e243 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1
2026-08-14
go 1.26 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · golang@1
2026-08-18

ケース

HOW
ゴール
Hold money in shopspring/decimal without losing cents to Div, ==, or String()
パッケージ
シンボル
  • decimal.NewFromString
  • decimal.NewFromFloat
  • decimal.DivisionPrecision
  • Decimal.Equal
  • Decimal.QuoRem
  • Decimal.RoundBank
  • Decimal.StringFixed
環境
go 1.26
作成日
2026-08-14T08:53:07Z

コントラクト

  1. assert NewFromFloat(0.1).String() is "0.1" and Equal to NewFromString("0.1"), so the constructor is not where 0.1 goes wrong
  2. assert the loss happens in float64 before the constructor, including digits float64 cannot hold at all
  3. assert Go folds untyped constant 0.1+0.2 exactly, so the demo only misbehaves once the operands are variables
  4. assert Add and Mul are exact where the float64 equivalents give 7.000000000000001 and 3.3000000000000003
  5. assert Mul adds the exponents of its operands while Add and Sub keep the finer of the two, and the Sum identity decimal.Zero is New(0,1) rather than New(0,0)
  6. assert DivisionPrecision defaults to 16 and is a mutable global, so (1/3)*3 is 0.9999999999999999 and not 1
  7. assert Div rounds rather than truncates, so 2/3 ends in a 7, and DivRound takes the precision as an argument
  8. assert QuoRem returns the exact remainder and splitting 10.00 three ways adds back up to 10.00, while a total finer than the split scale pays out a cent more
  9. assert Equal compares values while == compares the *big.Int pointer and the scale, so two parses of "1.0" are not ==
  10. assert the zero value is a usable 0 that is Equal to decimal.Zero but not == to New(0,0)
  11. assert Cmp orders numerically and drops into slices.SortFunc as a method expression
  12. assert Round is half away from zero and RoundBank is half to even, that they agree wherever the digit ahead of the half is odd, and that the disagreement moves a four-line invoice total by two cents
  13. assert rounding cents through float64 obeys neither rule, because 1.005 falls below the half and 8.045 lands exactly on it
  14. assert String() trims trailing zeros while the exponent stays -2, and StringFixed / StringFixedBank are the money formats
  15. assert NewFromString rejects "1,005" instead of guessing a number

ファイル

  • csx.json
  • go.mod
  • go.sum
  • src/money.go
  • test/main.go

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

anonymous