フィールドはSHORT-FLOAT型ではなく値（0.0）に評価されました

最近、構造体に型制限を追加することができましたが、何らかの理由で0.0を正当なデフォルト値として使用できません短い浮動小数点数は、それでも100.0を許可します。フィールドはSHORT-FLOAT型ではなく値（0.0）に評価されました

は、私はCLISPにship構造体のインスタンスを作るためにmake-shipを実行しようとすると、次のエラーを取得する：

[4]> (make-ship) 

*** - THE: #:ENERGY evaluated to the values (0.0), not of type SHORT-FLOAT 
The following restarts are available: 
ABORT   :R1  Abort main loop

は誰かが正確に何が起こっているかを説明することができ、そしてなぜ私はに許可されていませんよ0.0を使用しますか？ここで

が誤動作コードです：

(defstruct ship 
    location ;; fields like these have an undecided type at the moment 
    (energy 0.0 :type short-float) 
    cargo 
    crew 
    shields 
    (hull-integrity 100.0 :type short-float))

出典

2016-07-16 Electric Coffee

詳しい説明はありませんが、さまざまな接尾辞（たとえば、「0.0d」など）を試してみましたか？ –

@JoshuaTaylor私は接尾辞が何かさえわからなかった... –

http://www.lispworks.com/documentation/HyperSpec/Body/02_cbb.htmを参照してください。私は働くべきだと思う。 –

Common Lispは2.3.2.2 Syntax of a Floatで説明した山車の異なる種類の、のための構文があります。例の1つは、0を短い浮動小数点として書く方法を示しています。0s0および0.0s0の両方が機能します。

出典

2016-07-16 13:24:33

奇妙なことは、私が使用したコードは、ハイパースペックのstructの例から直接取っていることです。 –

今はチェックすることはできませんが、デフォルトのfloat形式などを調べることはできません。型が指定されていないときの浮動小数点数。したがって、仕様の例は正当なものかもしれませんが、必須ではありません。 –

CLISPはSINGLE-FLOAT（0.0または0.0e0）とSHORT-FLOAT（0s0）を区別することが表示されます。したがって、(make-ship)コールは失敗します。修正するには0.0と100.0をそれぞれ0s0と100s0に置き換えるか、SHORT-FLOATをSINGLE-FLOATに置き換えてください。

PS：SBCLとECLの両方で、これらの浮動小数点を区別しないので、例はそのまま動作します。

出典

2016-07-16 22:51:40 mobiuseng

ないexponent marker、または「e」指数マーカーで使用されているがない場合、次に読み込ま浮動小数点数の種類は、必ずしもSHORTないデフォルトSINGLE-FLOATグローバル変数*READ-DEFAULT-FLOAT-FORMAT*、によって決定されます-浮く。

出典

2016-07-17 00:23:36

フィールドはSHORT-FLOAT型ではなく値（0.0）に評価されました

答えて

関連する問題