ruby-dev

Issue #6936 has been reported by naruse (Yui NARUSE).

----------------------------------------
Feature #6936: Forbid singleton class and instance variabls for float
https://bugs.ruby-lang.org/issues/6936

Author: naruse (Yui NARUSE)
Status: Assigned
Priority: Normal
Assignee: matz (Yukihiro Matsumoto)
Category: core
Target version: 2.0.0


[Feature #6763] などで議論されていた flonum が r36798 でが入ったわけですが、

1. Float のオブジェクトID の仕様が変更
2. flonum な float に特異メソッドが追加不可
3. flonum な float に特異クラスが作成不可
4. flonum な float は同じ値同士でインスタンス変数が共有される

といった非互換が存在します。
もっとも、1. は通常意識するはずのないところですし、2. は元から禁止されています。
気になるのは 3. と 4. で、これは 1.9.3 と挙動が異なるだけでなく、
32bit 環境での 2.0 や、64bit環境の flonum でない float オブジェクトとも挙動が異なります。

実際問題として実害はないような気もしますが、このような違いが極めて実装上の問題で、
Ruby 上から見えないところに存在するのは気持ち悪く感じます。

よって、以下のようにするとよいのではないでしょうか。
* flonum でない float でも特異クラスの作成を禁止
* float へのインスタンス変数作成を禁止

後者の具体的手法はいくつかあると思いますが、即値は最初から frozen にしておくとかもありかなと思っています。

話を発散させると、この話は true, false, nil, Fixnum, Symbol のような即値から、
Bignum や　Time のような immutable っぽいオブジェクトにも当てはまる気がしています。


-- 
http://bugs.ruby-lang.org/

Thread

Prev Next

In This Thread

Prev Next

[#46026] Re: [ruby-cvs:43788] shugo:r36612 (trunk): * insns.def (invokesuper): don't skip the same class. instead, use — Urabe Shyouhei <shyouhei@...>

[#46030] [ruby-trunk - Bug #595] Fiber ignores ensure clause — "wanabe (_ wanabe)" <s.wanabe@...>

[#46032] 「Ruby安定版保守委託事業」の提案募集について — Shugo Maeda <shugo@...>

[#46037] Re: [ruby-core:47138] [ruby-trunk - Bug #6861][Open] ERB::Util.escape_html is not escaping single quotes — Shugo Maeda <shugo@...>

[#46049] [ruby-trunk - Bug #6873][Open] Failed to build ruby for NaCl i686 version — "ikeay (Ayaka Ikezawa)" <ikeay@...>

[#46051] [ruby-trunk - Feature #6875][Open] Make test/unit default gem — "kou (Kouhei Sutou)" <kou@...>

[#46053] [ruby-trunk - Bug #6881][Assigned] 2 Failures in test/-ext-/test_printf.rb — "usa (Usaku NAKAMURA)" <usa@...>

[#46054] [ruby-trunk - Bug #6882][Assigned] parallel test crashes when unknown exception is occured in a test — "usa (Usaku NAKAMURA)" <usa@...>

[#46055] Fwd: 『RubyKaja』登録のお知らせ — SASADA Koichi <ko1@...>

[#46061] [ruby-trunk - Bug #6898][Open] lambda周辺でSegmentation fault — uy (西行寺 うゆ) <redmine@...>

[#46064] [ruby-trunk - Bug #6900][Open] execinfo ライブラリ（およびそのヘッダ）の探索に --with-opt-dir の指定が利かない — "metanest (Makoto Kishimoto)" <redmine@...>

[#46065] [ruby-trunk - Bug #6901][Assigned] SEGV with tail call optimization — "shugo (Shugo Maeda)" <redmine@...>

[#46067] [ruby-trunk - Bug #6904][Assigned] make -j all fails (sometimes) — "shyouhei (Shyouhei Urabe)" <shyouhei@...>

[#46073] [ruby-trunk - Bug #2402][Open] super in instance_eval — "shugo (Shugo Maeda)" <redmine@...>

[#46074] [ruby-trunk - Bug #6911][Open] Sync_m#sync_unlock で ThreadError が発生する場合がある — "mrkn (Kenta Murata)" <muraken@...>

[#46077] [ruby-trunk - Bug #6927][Open] 日本語ドキュメントにおける Math.#atan2 について — "n.arita (Naoki Arita)" <ToNaokiArita@...>

[#46081] [ruby-trunk - Feature #6936][Assigned] Forbid singleton class and instance variabls for float — "naruse (Yui NARUSE)" <naruse@...>

[#46097] [ruby-trunk - Bug #6956][Assigned] cannot build with nmake — "usa (Usaku NAKAMURA)" <usa@...>

[ruby-dev:46081] [ruby-trunk - Feature #6936][Assigned] Forbid singleton class and instance variabls for float

Thread

In This Thread

[#46061] [ruby-trunk - Bug #6898][Open] lambda周辺でSegmentation fault — uy (西行寺うゆ) <redmine@...>