Moose-0.92 > Moose::Manual::Delta
Moose-0.92
CPANで確認する
Source
編集

題名

Moose::Manual::Delta - Mooseの重要な変更点

本文

これは後方互換性の点で重要な、あるいは特筆に値するMooseの変更点をまとめたものです。Changesファイルのデータと重複しているのは本当ですが、ここではより詳しい情報や（あれば）対策を紹介するのがねらいです。

このドキュメントは、変化についていくのを助けるだけでなく、特定の機能をサポートする最低バージョンを調べるのにも使えます。問題に遭遇して解決策を見つけたけれどここには書かれていなかったとか、大事な機能を書き漏らしていると思ったら、パッチを送ってください。

バージョン0.90

NativeトレートによるCodeRef用の委譲ヘルパー追加

詳細はMoose::Meta::Attribute::Native::Trait::Codeをご覧下さい。

$object->new() を非推奨化

Mooseはこの機能を長い間実装していましたが、ドキュメントはされていませんでしたし、またこれは良い習慣とは言えないと考えます。もし既存のオブジェクトから新規にオブジェクトを生成したい場合は$object->cloneのような代替コンストラクタを提供するほうが良いでしょう。

現在は$object->new を使用すると警告が発せられますが、将来的にはこれはエラーとなります。

Mutable （変更可能）な親クラスを持つクラスについてmake_immutable を呼んでも警告しない

理論的にはこの警告は正しいはずですが、この処理の例外ケースがあまりに多く、正しくハンドルするのは難しいという結論に達しました。

バージョン0.89_02

List::Util と List::MoreUtilsからの新規 Nativeトレートによるメソッド委譲

reduce、 shuffle、 uniq、 それにnatatimeを実装しました。

Moose::Exporter の with_caller 機能が非推奨化されました。

今後は with_meta を使用してください。with_caller は将来のリリースで警告を発するようになります。

Mutable （変更可能）な親クラスを持つクラスについてmake_immutableを行うと警告が発せられる

あるクラスを子クラスが変更不可状態になった後に変更するとインライン化のため誤作動を起こすことがあるため、この行為は危険です。このような状況はクラスの定義中に子クラスを呼び出したりするような状況では稀に起こることがあるため、このような警告は有効あと考えます。現状ではメタクラス（Class::MOP::Objectの子クラス）に関してはこのチェックは適用されません。

バージョン0.89_01

Moose::Meta::Attribute::Native が MooseX::AttributeHelpersからMooseコアに組み込まれました。重要な変更点は以下の通りです：

metaclassではなく、traits

メソッドプロバイダーはトレートからしか利用できません。

providesとcurriesではなく、handles

provides 構文はMooseコアのhandles => HASHREF構文のキーと値の位置が入れ替わっただけのものでした。これではわかりにくかったため、使用されるオプションはhandles => HASHREFに統一されました。

curries 機能も一般化され、handles => HASHREFから設定可能となりましたが、現時点ではまだ全ての機能のポートが終わっていません（CODEREFのカリー化は未実装です）

empty は is_empty に名称変更し、意味が逆となる

これまではArrayとHash型に設定できたemptyメソッドはアトリビュートが「空ではなかった」場合に真を返しました。今後はアトリビュートが空の場合に真を返します。この変更を明示化するために、emptyからis_emptyに名称が変更されました。

find はfirstに名称変更、first と last は削除

これまでfindとして提供されていた機能を List::Util は firstとして提供しているため、わかりやすくするために名称を統一しました first と last は getのカリー化で容易に実現可能なため、削除されました。

関数を指定するヘルパーは$_を使用する

first、map、grepの引数を一つだけ受け取る関数は以前のように@_に引数を受け取るのではなく$_に受け取るようになりました。

一つ以上の関数を受け取る関数はこれまでと同様引数として値を受け取ります。

追加ドキュメントについてはMoose::Meta::Attribute::Native をご覧下さい。

ロール引数の alias と excludes はそれぞれ -aliasと-excludesに名称変更されました。これまでの引き数名でも動作しますが、近い将来に削除される予定のため、新規コードは新しい名称を使用するようにしてください。

バージョン0.89

use Moose -metaclass => 'Foo' が -traits (それに hasに対するmetaclass や traits 引数のように）エイリアスの解決を行うようになりました。

metaclassやmetatraitのエイリアス処理を簡易にするために新関数 meta_class_alias と meta_attribute_alias を Moose::Utilに追加しました。これらは以下の旧コードに対するラッパです：

  package Moose::Meta::Class::Custom::Trait::FooTrait;
  sub register_implementation { 'My::Meta::Trait' }

バージョン 0.84

アトリビュートがひとつも＞アクセサを生成しない場合は警告を発するようになりました。これはisオプションの指定を忘れるユーザーを助けるためです。本当にアクセサを生成したくない場合はis => 'bare'を指定してください。以前のMooseとの後方互換お保つには以下のようなコードを指定してください：

    ($Moose::VERSION >= 0.84 ? is => 'bare' : ())

アクセサがすでに存在する同一名のメソッドを上書きしてしまう場合は警告を発するようになりました。本当にこの動作を行いたい場合、アクセサを生成する前に元のメソッドを削除してください：

    sub foo {}

    __PACKAGE__->meta->remove_method('foo');

    has foo => (
        is => 'ro',
    );

hasに未知のオプションが渡された場合は警告を発するようになりました。この警告を止めるにはあなたのコードを修正してください :)

Role 型は非推奨化されました。$object->can('does')を確認するだけだったため、単体では有用ではありませんでした。カスタム型制約の親として使用していた場合は、role_type('Role::Name')を使用して該当する型を生成してください。

バージョン0.78

use Moose::Exporter;をしたパッケージにはstrictとwarningsがインポートされるようになりました。

バージョン0.77

DEMOLISHALLとDEMOLISHはグローバルなデストラクタを実行中かどうかをあらわす引数を受け取るようになりました。

バージョン0.76

すでに型制約を満たしている値については型変換が実行されないようになりました。これはvia節の副作用に依存している特殊な（バグがあると言ってもよさそうな）型変換に影響を与えるかもしれません。

バージョン0.75

Moose::Exporterが（metaclassを使わなくても）簡単にメタクラスをオーバーライドできるように-metaclassオプションを受け付けるようになりました。これはクラスとロールで使えます。

バージョン0.74

Moose以外のクラスをもっと簡単に統合できるように、Moose::Util::TypeConstraintsにduck_typeというシュガー関数を追加しました。これは単に$obj->can()にメソッドのリストを渡して真を返すかチェックするだけのものです。

多くのメソッドをリネームしました（ほとんどはClass::MOPから継承しているものです。先頭にアンダースコアをつけて、内部用であることを明示しました）。当面は古いメソッドも使えますが、メソッドがリネームされたという警告が出るようになります。いくつかのメソッドについては将来完全に削除する予定です（そのようなメソッドを利用していたMooseXの作者には影響があるかもしれません）。

バージョン0.73

引数に名前しか渡さずにsubtypeを呼ぶと、例外を発生するようになりました。無名のサブタイプがほしい場合はこのようにしてください。

    my $subtype = subtype as 'Foo';

これはバージョン0.71_01の変更に関係するものです。

Moose::Meta::Method::Destructorのis_neededメソッドはクラスメソッドとしてしか使えないようになりました（以前はクラスメソッドとしてもオブジェクトメソッドとしても使えましたが、それぞれ内部的な実装は異なっていたのです）。

Class::MOP 0.78_02でクラスを不変化する処理が内部的に大きく変わったのを受けて、Mooseの内部も変更されました。外から見える$metaclass->make_immutableメソッドについては従来通りの動作をします。

バージョン0.72

可変クラスではFoo->new(undef)を文句もいわずに受け入れていました。また、不変化したクラスでは不親切なエラーが出ていました。これからはどちらの場合でも親切なエラーが発生するようになっています。

この「機能」は、もともとはこのようなケースを認めるために追加されたものだったのですが、

  my $args;

  if ( something() ) {
      $args = {...};
  }

  return My::Class->new($args);

このやり方は本当のエラーを簡単に隠蔽できてしまうため、筋が悪いし、いささか魔法も効き過ぎていると判断しました。

バージョン0.71_01

typeやsubtypeをシュガーヘルパー（as、where、message）なしで呼ぶやり方は廃止されました。

その副作用として、asにはPerlのプロトタイプを使うことになったので、このようなコードは動かなくなります。

  use Moose::Util::TypeConstraints;
  use Declare::Constraints::Simple -All;

  subtype 'ArrayOfInts'
      => as 'ArrayRef'
      => IsArrayRef(IsInt);

これは、このように変更しなければなりません。

  subtype(
      'ArrayOfInts' => {
          as    => 'ArrayRef',
          where => IsArrayRef(IsInt)
      }
  );

古いバージョンのMooseとの後方互換性を維持するには、MooseのVERSIONを明示的にテストしなければなりません。

  if ( Moose->VERSION < 0.71_01 ) {
      subtype 'ArrayOfInts'
          => as 'ArrayRef'
          => IsArrayRef(IsInt);
  }
  else {
      subtype(
          'ArrayOfInts' => {
              as    => 'ArrayRef',
              where => IsArrayRef(IsInt)
          }
      );
  }

バージョン0.70

トリガの最後の引数にメタアトリビュートオブジェクトを渡さないようにしました。実は、インライン展開されたコードの方ではしばらく前からそのように変更されていたのですが、インライン展開していないコードとドキュメントは古いままになっていました。

万一実際にこの機能を利用していた場合の対策は簡単です。このように、トリガの最初の引数として渡される$selfからアトリビュートオブジェクトを取ってください。

  has 'foo' => (
      is      => 'ro',
      isa     => 'Any',
      trigger => sub {
          my ( $self, $value ) = @_;
          my $attr = $self->meta->find_attribute_by_name('foo');

          # ...
      }
  );

バージョン0.66

サブタイプを作成したとき、Mooseが知らない親クラスを渡すと、その親クラスは単純に無視されていました。いまは自動的にその親クラスのクラス型を作成します。これは期待通りのものではないかもしれませんが、前ほど壊れていません。

以前は「Foo!Bar」のような名前のサブタイプを宣言できました。これは認めるべきなのでしょうが、「ArrayRef[Foo!Bar]」のようなパラメータ付きの型で使うと正しく動作しませんでした。いまはシュガー関数を通じて生成される名前を吟味して、英数字と「:」「.」しか含められないようにしています。

バージョン0.65

アトリビュート経由で生成されたメソッドもロールのrequiresを満足させられるようになりました。正直にいって、なぜスティーヴンが最初からそうしていなかったのかはわかりません。まったく、頭がどうかしていたのでしょう。

インライン展開したコードのスタックトレースが、Moose内部ではなく、そのクラスの行やファイルを報告するようになりました。

バージョン0.62_02

クラスがロールのすべての必須メソッドを用意できなかった場合、エラーメッセージには最初に見つからなかったメソッドだけでなく、見つからなかったすべてのメソッドを載せるようになりました。

Moose::Objectからコンストラクタを継承していないクラスについては、コンストラクタをインライン展開せず、その旨警告するようになりました。とにかくインライン展開を強制したい場合は、make_immutableにreplace_constructor => 1を渡してください。

警告を出したくない場合はinline_constructor => 1を渡します。

バージョン0.62

（廃止済みの）make_immutableキーワードを削除しました。

クラスからアトリビュートを削除すると、そのアトリビュートのためにインストールされていた委譲(handles)メソッドも削除されるようになりました。これは正しい振る舞いですが、間違った振る舞いに依存していた方は痛い目にあうかもしれません。

バージョン0.58

ロールがメソッドを追加するときはalias_methodではなくadd_methodを呼ぶようになりました。また、かならずメソッドオブジェクトを提供して内部でクローニングするようになりました。そのため、ロールが提供したメソッドのソースを追跡したり、間にはさまっているロールを含めて履歴を追うこともできるようになっています。また、クラスのメソッドリストやメソッドマップを見るとロールが追加したメソッドも表示されるようになった、ということでもあります。

型制約のパラメータや結合の引数はソートされるようになりました。そのため、Int|Strという制約はStr|Intと同じになります。また、渡される型制約の文字列は正規化されて空白の違いはすべて取り除かれるようになりました。これはもっぱら内部の問題なので、外のコードには影響を与えないはずです。

Moose::Exporterは、エクスポート元のパッケージがエクスポートしなおしたサブルーチンは削除しないようになりました（MooseはCarp::confessなどをエクスポートしなおしています）。Moose::Exporterはユーザが自分で使うために明示的にインポートした関数かどうかを判断できないので、間違ったときには安全が優先されるよう、エクスポートしなおしたサブルーチンは常に残しておくことにしたのです。

バージョン0.56

Moose::init_metaはメソッドとして呼ぶようになりました。

拡張モジュールの作者向けにMoose::ExporterとMoose::Util::MetaRoleという新しいモジュールが追加されました。

バージョン0.55_01

メタクラスのトレート（と、そのレシピ）が実装されました。

  use Moose -traits => 'Foo'

トレートを使うと、小さな拡張モジュールを書くのが少し楽になります。

バージョン0.55

coerceを修正して、subtypeのように無名の型を受け付けるようにしました。そのため、このようなことができるようになっています。

  coerce $some_anon_type => from 'Str' => via { ... };

バージョン0.51

Moose::Object->new()に新しいステップとしてBUILDARGSを追加しました。

バージョン0.49

readerやwriter、accessorオプションを独自に定義したときのis => (ro|rw)の動作を修正しました。詳しくは下の表をご覧ください。

  is => ro, writer => _foo    # turns into (reader => foo, writer => _foo)
  is => rw, writer => _foo    # turns into (reader => foo, writer => _foo)
  is => rw, accessor => _foo  # turns into (accessor => _foo)
  is => ro, accessor => _foo  # error, accesor is rw

バージョン0.45

before/around/afterメソッドモディファイアが正規表現によるメソッド名のマッチングをサポートするようになりました。注意：これはクラスにしか使えません（現時点ではロールはサポートしていませんが……パッチは歓迎です）。

ロールのhasキーワードも、クラスの場合と同じ形式の配列リファレンスを受け付けるようになりました。

コンストラクタからトリガを実行できると便利なので、読み取り専用のアトリビュートにトリガを用意してもエラーにはならないようになりました。

パラメータ付きの型のサブタイプはそれ自身がパラメータ指定可能な型になります。

バージョン0.44

DEMOLISHALLが$@の値を食ってしまうために正しく動作しない問題を修正しました。それでもまだある意味では$@の値を食っているのですが、これは素のperlの場合も同じです。

バージョン0.41

継承したアトリビュートは、型が(「isa」や「does」で)制限されていない限り拡張できないようになりました。

このリリースではMoose::Meta::TypeConstraint::*以下のクラスがすべて作り直されました。内部の実装に依存していた場合はコードをよくテストしておいてください。

バージョン0.40

合成済みのロールに由来するアトリビュートに対して「+name」を使う方法をドキュメント化しました。これは理にかなっていますし、よく使われているものですから、公式にサポートしましょう、ということです。

Moose::Meta::Class->createメソッドがロールをサポートするようになりました。

enum $name => @valuesのかわりにenumに配列リファレンスを渡すことで無名のenum型を作ることができるようになりました。

バージョン0.37

メタオブジェクトのmake_immutableを呼ぶためのショートカットとして、make_immutableキーワードを追加しました（これは最終的には削除されました！）。

Mooseでinit_arg => undefできるようになりました。これは「このアトリビュートはコンストラクタのパラメータを受け付けない」という意味です。

型エラーが用意されたエラーメッセージを使うようになりました（このリリースまではそうではありませんでした）。

バージョン0.34

Mooseはポストモダンなオブジェクトシステムになりました :)

ロールシステムが完全に作り直されました。100%後方互換ですが、内部は完全に変わっていますので、内部の実装に依存していた場合はよくテストしておくことをおすすめします。

ロールのメソッドの排除と別名はこのリリースで追加されました。

Moose::Util::TypeConstraints::OptimizedConstraintsモジュールが追加されました。

アクセサに値のリストを渡すと（アクセサが期待している値の数は1つのみです）、以前は黙って無視されていましたが、エラーを発生するようになりました。

バージョン0.26

パラメータ付きの型が追加されました。また、型制約システムはかなり大幅に作り直されました。

「自前のMooseを作る」ためのフレームワークの拡張性やサポートが強化されました。

バージョン0.25以前

正直にいって、こんなに古いMooseは使うべきではありません。非常に多くのバグが直っていますし、スピードも速くなっているのですから、アップグレードしないなんて正気の沙汰ではありません。

それに、更新履歴をさかのぼるのにもうんざりしました。だから、ここでおしまいにします。続けたい方がいたらどうぞご自由に。

作者

Stevan Little <stevan@iinteractive.com>

コピーライト & ライセンス

Copyright 2009 by Infinity Interactive, Inc.

http://www.iinteractive.com

This library is free software; you can redistribute it and/or modify it under the same terms as Perl itself.

POD ERRORS

Hey! The above document had some coding errors, which are explained below:

Around line 101:

Unterminated I<...> sequence

Powered by Amon2, 翻訳, サイト. Operated by Japan Perl Association