Flutter/Dartにおける、インスタンス化の際の挙動について

Flutterでアプリを作成していますが、いつもWebの解説サイトにある以下のようなコードをあまり意味を理解せずにコピペしているので、きちんと理解したく質問させていただきました。

class _MyInheritedWidget extends InheritedWidget {
  _MyInheritedWidget({
    Key key,
    @required Widget child,
    @required this.data,
  }) : super(key: key, child: child);

これはインスタンス化の際のコンストラクタ呼び出しの記述で、Key～this.dataまではMapによる名前付き引数を渡していると理解しています。

あまり理解できていないのはsuper以降です。（上も理解に誤りがあればご指摘いただきたいです）
（Q1）super以降の記載は、：以降がイニシャライザというものになるんでしょうか？
（Q2）もしYESであれば、このイニシャライザは何をしているのでしょうか。（言い換えると、keyとchildをスーパークラスに渡して何をしているのでしょうか）
（Q3）同じくQ1でYESであれば、実行順序は、イニシャライザでkeyとchildの初期化後、引数にてkey, (@requiredの）child、（同じく@requiredの）dataという順番になるかと思いますが、keyとchildを2回初期化していることにはならないのでしょうか。（2回目：引数で渡している2引数で上書きしている？）

よろしくお願い致します。

行動規範の内容に同意します

回答2件

ベストアンサー

自分で継承したクラスを書いてみると、初期についての理解が深まると思います。
実行可能なコードを書いてみたので、参考にしてください。コード内にコメントが記載されており、番号の順に初期化されます。
※DartPadでも実行可能。Flutterの場合、そのままでは動かないので、main()内に組み込んでお試しください。

なお、デバッカを使えば、ステップ実行すれば、処理順は確認できますので、実行してみるといいと思います、

void main() {
  ChildClass(
    'ParentArg',
    'ChildArg',
    parentNamedArg: 'ParentNamedArg',
    childNamedArg: "ChildNamedArg",
  );
}

class ParentClass {
  String parentArg;
  String parentNamedArg;
  ParentClass(
    // 3. thisが付いている引数は、メンバ変数に初期化する
    this.parentArg, {
    this.parentNamedArg,
  }) {
    // 4. 親クラスの初期化処理
    print("[ParentClass.init]");
    print(parentArg);
    print(parentNamedArg);
  }
}

class ChildClass extends ParentClass {
  String childArg;
  String childNamedArg;
  ChildClass(
    // 1. thisが付いている引数は、メンバ変数に初期化する
    String parentArg,
    this.childArg, {
    String parentNamedArg,
    this.childNamedArg,
  }) : super( // 2. 親クラスに引数を渡して初期化
          parentArg,
          parentNamedArg: parentNamedArg,
        ) {
    // 5. 子クラスの初期化処理
    print("[ChildClass.init]");
    print(parentArg);
    print(parentNamedArg);
    print(childArg);
    print(childNamedArg);
  }
}

（Q1）super以降の記載は、：以降がイニシャライザというものになるんでしょうか？

superは親クラスのコンストラクタ（初期化）の呼び出しです。質問のコードでは、_MyInheritedWidgetの初期化処理はありませんが、superの後に {}を書いて初期化処理をかくこともできます（自分のコードには記載しました）

（Q2）もしYESであれば、このイニシャライザは何をしているのでしょうか。（言い換えると、keyとchildをスーパークラスに渡して何をしているのでしょうか）

superは引数を親クラスに渡して、初期化を呼び出しています。

（Q3）同じくQ1でYESであれば、実行順序は、イニシャライザでkeyとchildの初期化後、引数にてkey, (@requiredの）child、（同じく@requiredの）dataという順番になるかと思いますが、keyとchildを2回初期化していることにはならないのでしょうか。（2回目：引数で渡している2引数で上書きしている？）

_MyInheritedWidgetは引数を親クラスInheritedWidgetに渡しているだけです。

投稿2020/02/21 03:49

編集2020/02/21 04:52

popobot

総合スコア6586

退会済みユーザー

2020/02/21 06:22

いつもご回答ありがとうございます。また、Dartpadについてご教示いただきありがとうございます。もう少し手を動かしてからお尋ねすればよかったですね。申し訳ないです。また、ご回答いただいた内容で理解できました。やはり、イニシャライザが親を初期化してから子、という順番になるということですね。ありがとうございました！

行動規範の内容に同意します