[ruby-dev:5372] Re: Time class

まつもと ゆきひろです

In message "[ruby-dev:5367] Re: Time class"
    on 99/02/20, Tadayoshi Funaba <[e-mail]> writes:
|ふなばです。

|GAWK ではある程度まで挑戦して0なら、それが正しい結果だと判断してるんで
|すよね。Python は Ruby と同でなにもしてない。

今のRubyの実装はPython由来ですからね．が，strftimeが無限ルー
プに陥ることはなさそうですからgawkのやり方の方が適切そうです．
# 本当かなあ？

|matz> |o Time#strftime の %c などの説明は必要以上にくわしいかもしれない。
|matz>   時刻表現(参照 ctime(3))
|matz> のこと？
|
|そうです。 %c、%x、%X の書式って決ってないんで、無理して書かなくてもよ
|いと思うんですケド。

了解です．

|matz> |o Ruby の missing/strftime.c は GAWK のそれに比べると旧いように思う。
|matz> gawk 3.0.3のものと比較すると，若干違いがありますね．日付とか
|matz> 書き換わってないので気が付きませんでした．で，違いは
|matz>   * 秒は0-60秒まで
|matz>   * %vの書式が"%02d-%3.3s-%4d"から"%2d-%3.3s-%4d"に
|matz> くらいですね．秒は60秒までという結論は出てたように思いますか
|matz> ら，gawk 3.0.3の方が新しいのでしょうね．
|
|そうですね。これも以前にいったことがあったのですが、素通りされてしまっ
|たのでした。

time.cでは60秒までに修正したのですが，strftime.cの方は忘れて
ました．ということで，gawk 3.0.3のものに差し替えます．

|matz> |o Time#+ aTime を許す仕様は、ちょっと解せない。
|matz> これは以前Timeをintervalとしても使うことを想定していた頃の名
|matz> 残です．なくした方がよさそうですね．
|
|おお、それは初耳でした。

無くしました．

|matz> |僕は 69-99 => 1969-1999, 00-68 => 2000-2068 ということにして、検査のほ
|matz> |うもこれに従うことでよいかなと思っています。
|matz> それで良いと思います．でも なんで69年でなく68年が区切りなの？
|matz> タイムゾーンの関係？
|
|えっと、質問の意味がよくわからなかったんですが、1969年が含まれる理由っ
|てことですか? それだったら、
|
|$ TZ=America/New_York rbc
|use readline module
|rbc0> Time.at(0)
|Wed Dec 31 19:00:00 EST 1969
|rbc0> Time.mktime(*Time.at(0).to_a)
|ArgumentError: (eval):0:in `mktime': argument out of range
|rbc0> Time.mktime(*Time.at(2147483647))
|ArgumentError: (eval):0:in `mktime': argument out of range
|
|ということを考えるからですが。そういうことでないのかな。

そういうことですね．直しました(というかパッチ当てただけ，感
謝です)．

|ちゃんとやるとすると、
|
|1. time_t の大きさを調べる。
|2. time_t が符合つきか、そうでないか調べる。
|3. time_t の上限を決定
|4. UTC+12 における 3. の地方時を求める。これを Time#mktime の上限とする。
|
|ってな感じで上限を調べるとか (少し大袈裟?)。
|64ビットになると上限はあんまり関係ないかもしれませんが。

良くコードを調べると 138 年チェックは必要ありませんでした．
いずれにしてもtime_tが負になった時点でエラーが出るので．
無くしましょう．ついでに time_t 対応もしました．

|でも、Marshal も関係してくるので、このあたりで Ruby としての方針を決め
|といたほうがいいかもしれないです。

marshalも修正しました．後述．

|\0 については、
|Time.mktime(1999,'sept',1) はダメだが、
|Time.mktime(1999,"sep\0",1) はよい、とか微妙なのもありますね。

これも直しました．

|# Web のほうで力尽きてしまって、細いこともそっちでは書いてんだけど、メイ
|# ルのほうはフニャフニャに。

見せていただきました．かなり感動ものです．
# これは必見だ．

で，その指摘に従い，以下の修正を行いました．次のリリースで検
証してみてくださいね．

  * ふなばさんパッチを当てた

  * time + time を無くした

  * "sep\0"などに対応

  * gawk同様strftimeがformatの長さの1024倍なら(もっと小さく
    ても良い？)，成功したとみなす

  * marshalのフォーマットを変更した．旧フォーマットも受け付
    ける

marshalについて補足します．

現在のtimeのmarshalのフォーマットはsecとusecをそれぞれ32bit整数とし
て8バイト長のバッファに書き出しています．これを

  year1 year2 mon mday hour min sec usec1 usec2 usec3 usec4

という11バイト長のフォーマットに変更しました．これにより，
time_tが64bitのプラットフォームで，2038年1月19日以降の日付を
扱える場合でもそのままmarshalに書き出せるようになります(えー
と，西暦67435年まではいけますね)．また，副作用として閏秒の影
響を受けにくくなります．

書き出しフォーマットが変わったのでmarshalファイルのマジック
ナンバー(MARSHAL_MINOR)が変更になってます．古いフォーマット
はそのまま読めますが，書き出すと新しいフォーマットで書き出さ
れます．

いやあ，しかしふなばさんの助言に本当に感謝しますです．

                                まつもと ゆきひろ /:|)