alloc済みだけどuninitedなストレージ : でたらめな数値が入ってるから破壊処理(ポインタ辿ったり)はできない / してはならない alloc済みでinitedなストレージ: その型の値として正常な状態、上書きされる場合はその前に破壊処理が必要 ( やらないとメモリリークなどが起きる ) さっきの Factory protocol で、 self = f() の左辺値の self の状態は ↑ のどっち? initedだとすると、そのinitedな値を作るための イニシャライザ は どうやってコンパイラは呼び出した?