柔軟なメンバーワイズ初期化

この提案は Returned for revision（差し戻し） のまま再提出されず、最終的にはdeferredなProposal群をまとめて処理する一環として終結しました。そのため、ここで提案されていた memberwise 修飾子も ... プレースホルダも、現在のSwiftには存在しません。現行Swiftにおけるmemberwise initializerの扱いは、提案前からある「struct に対してのみ自動生成される暗黙のイニシャライザ」のまま据え置かれています（その後、var propertyの初期値がパラメータのデフォルト値として反映されるなど、細かな改善は別途行われています）。

以下は、仮に採択されていた場合に導入される予定だった内容の要約です。

memberwise 修飾子と ... プレースホルダ

designated initializerに memberwise 修飾子を付け、パラメータリストに ... プレースホルダを書くと、コンパイラがそのイニシャライザに対して「memberwise化したパラメータ」と「それらを self に代入する処理」を合成する、という仕組みでした。オプトイン方式なので、明示的に書いたイニシャライザだけがこの恩恵を受けます。

struct S {
    let s: String
    let i: Int

    // ユーザーの記述
    memberwise init(...) {}
    // コンパイラが合成するイニシャライザ
    // init(s: String, i: Int) {
    //     self.s = s
    //     self.i = i
    // }
}

初期値のある var propertyについては、対応するパラメータにもその値がデフォルト値として引き継がれる予定でした。

struct S {
    var s: String = "hello"
    var i: Int = 42

    memberwise init(...) {}
    // 合成結果:
    // init(s: String = "hello", i: Int = 42) { ... }
}

propertyの対象範囲

... の位置に合成されるパラメータは、次の条件をすべて満たすstored propertyに対して生成されます。

1. propertyのアクセスレベルがイニシャライザ以上に公開されている（var propertyではsetterのアクセスレベルで判定）。
2. memberwise初期化と両立しないbehavior（例: lazy）を持たない。
3. let propertyの場合は初期値を持たない。

パラメータの並び順は「デフォルト値のないパラメータ → デフォルト値のあるパラメータ」の順で、各グループ内はproperty宣言順です。

手書きパラメータとの併用・部分的な初期化

... の前後に手書きのパラメータを並べて、「公開propertyはmemberwiseで初期化し、非公開のpropertyは本体で手動初期化する」といった部分的な利用ができるよう設計されていました。

struct S {
    let s: String
    private let i: Int

    // ユーザーの記述
    memberwise init(anInt: Int, anotherInt: Int, ...) {
        i = anInt > anotherInt ? anInt : anotherInt
    }
    // 合成結果（i は可視性が低いため memberwise の対象外）:
    // init(anInt: Int, anotherInt: Int, s: String) {
    //     self.s = s
    //     i = anInt > anotherInt ? anInt : anotherInt
    // }
}

lazy のように対象外となるpropertyは、memberwiseパラメータから除外され、イニシャライザ本体や初期値の側で面倒を見ることになります。

暗黙のmemberwise initializerの拡張

既存の struct の暗黙のmemberwise initializerも、この提案の仕組みで説明し直される想定でした。struct または適切な class（root classや、引数なしのdesignated initializerを持つスーパークラスを継承したclass）が自前のイニシャライザを宣言していない場合、memberwise init(...) {} に相当する暗黙のイニシャライザが合成されます。可視性は「全stored propertyがmemberwiseの対象になる最大のアクセスレベル」とされ、internal を上限に、private setterなどが混じる場合は private になる、という扱いでした。

利用者として知っておくべきこと

• 現在のSwiftに memberwise init(...) のような構文はありません。struct の暗黙のmemberwise initializerを使うか、自分で init を書くのが引き続き基本です。
• 「カスタム init を書いた瞬間に暗黙のmemberwise initializerが消える」問題や、アクセス制御との相性の悪さは、提案が差し戻された後も未解決のまま残りました。現行のSwiftでも、公開したいpropertyと隠したい内部状態が混在する型では、自前でイニシャライザを書くか、暗黙の初期化子を尊重するために型を分けるなどの工夫が必要になります。
• ただし、初期値のある var propertyについては、その後の言語・コンパイラの進化により、暗黙のmemberwise initializerのパラメータとしてデフォルト値扱いされるようになっています。呼び出し側から引数を省略できるため、当時指摘された不便さの一部は解消しています。