Flutter,Dart : factoryコンストラクタらしきものの文法的な意味について

Question

change_notifier.dartを見ていて、

abstract class Listenable {
  /// Abstract const constructor. This constructor enables subclasses to provide
  /// const constructors so that they can be used in const expressions.
  const Listenable();

  /// Return a [Listenable] that triggers when any of the given [Listenable]s
  /// themselves trigger.
  ///
  /// The list must not be changed after this method has been called. Doing so
  /// will lead to memory leaks or exceptions.
  ///
  /// The list may contain nulls; they are ignored.
  factory Listenable.merge(List<Listenable?> listenables) = _MergingListenable;

というのが出てきました。最後のfactoryキーワードがついている部分なんですが、これは
factoryコンストラクタなのでしょうか?
コンストラクタの定義なのでしょうか?

代入されている_MergingListenableに関しては、

class _MergingListenable extends Listenable {
  _MergingListenable(this._children);

  final List<Listenable?> _children;

  @override
  void addListener(VoidCallback listener) {
    for (final Listenable? child in _children) {
      child?.addListener(listener);
    }
  }

  @override
  void removeListener(VoidCallback listener) {
    for (final Listenable? child in _children) {
      child?.removeListener(listener);
    }
  }

  @override
  String toString() {
    return 'Listenable.merge([${_children.join(", ")}])';
  }
}

上記のように定義されており、普通のクラスです。
上記のfactoryコンストラクタ?の書き方が初見で意味がよくわかりません。
公式ドキュメントかどこかに説明ってありますでしょうか?
一応公式ドキュメントのコンストラクタ付近は目を通したつもりです。

Answer 1

ご質問のものはファクトリコンストラクタです。
リダイレクトという操作です。

ファクトリコンストラクタは以下のような記法で、そのクラスになれるクラスのコンストラクタにリダイレクトができます。

class MyClass {
  const MyClass({this.value});
  final String value;
  factory MyClass.myCon2({String value}) = MyClass2; // これはFactoryコンストラクタであり、指定したサブクラスのデフォルトコンストラクタにリダイレクトする
  
  factory MyClass.myCon3({String value}) = MyClass3.myCon3; // これはFactoryはコンストラクタであり、指定したサブクラスの指定したファクトリコンストラクタにリダイレクトする
}

class MyClass2 extends MyClass {
  const MyClass2({String value}) : value = 'MyClass2:$value';
  
  @override
  final String value;
}

class MyClass3 extends MyClass {
  MyClass3._({this.value});
  factory MyClass3.myCon3({String value}) => MyClass3._(value: 'MyClass3:$value');
  
  @override
  final String value;
}

void main() {
  // (new) MyClass MyClass({String value})
  MyClass m1 = MyClass(value: "hoge");
  print(m1.value);
  // (new) MyClass MyClass.myCon2({String value})
  MyClass m2 = MyClass.myCon2(value: "hoge");
  print(m2.value);
  // (new) MyClass MyClass.myCon3({String value})
  MyClass m3 = MyClass.myCon3(value: "hoge");
  print(m3.value);
  
  // おまけ：個人的にはできちゃ駄目だとおもうけど、以下も特にエラーにはならない
  MyClass2 mm2 = MyClass.myCon2(value: "hoge");
  print(mm2.value);
  MyClass3 mm3 = MyClass.myCon3(value: "hoge");
  print(mm3.value);
}

引数と型さえ合っていれば、コンストラクタとみなされる型の関数をfactoryコンストラクタに代入するように指定ができます。
myCon3のように、factoryコンストラクタにfactoryコンストラクタを渡すこともできます。

Comments

[aya-eiya]

コンストラクタとはいえ単なる関数で、クラスの(静的な)メンバーなので、型が合っていれば代入が可能だという気楽な理解で良いと思います。

[moriman]

回答をいただきましてありがとうございました。
これってただ関数を代入している、ということなんですね。

引数と型さえ合っていれば、コンストラクタとみなされる型の関数をfactoryコンストラクタに代入するように指定ができます。
myCon3のように、factoryコンストラクタにfactoryコンストラクタを渡すこともできます。

↑の部分は公式ドキュメントなどどこかに説明ってありましたでしょうか。

[aya-eiya]

https://dart.dev/guides/language/specifications/DartLangSpec-v2.2.pdf
10.6 Constructors ,10.6.2 Factories あたりの定義から演繹できると思います。
> A redirecting factory constructor q' is redirection-reachable from a redirecting factory constructor q iff q' is the redirectee constructor of q, or q'' is the redirectee constructor of q and q is redirection-reachable from q''.

[moriman]

ありがとうございました。

Answer 2

公式ではないですが、
https://qiita.com/takyam/items/f6a895b873241ce937fb

他にもdart factory constructorでググったらチラホラ出てきましたよ

Comments

[moriman]

回答を頂きましてありがとうございます。

求めているものは一般的なfactoryコンストラクタの文法の解説ではなくて、

factory Listenable.merge(List<Listenable?> listenables) = _MergingListenable;

上記の書き方の解説でした。

質問がはっきりしていなくても申し訳ございませんでした。

[退会済みユーザー]

いえ、ちゃんとみれてませんでした。そのことを自分の回答にコメントしようとしたら間違って、また別の回答をしてしまいました。そちらは削除リクエストしましたが、荒らしみたいになってすいません。