先生と生徒の会話形式で理解しよう

生徒

「先生、Swiftでsomeって書かれているコードを見たんですけど、これは何を意味しているんですか？」

先生

「someはOpaque Result Type（不透明な戻り値の型）と呼ばれる仕組みです。『具体的な型は隠すけど、あるプロトコルには必ず従っているよ』ということを表すんですよ。」

生徒

「えっ、具体的な型を隠すってどういうことですか？」

先生

「例えば、返り値がIntかもしれないしStringかもしれない。でも『Equatableには従っている』と約束できれば、呼び出す側は安心して使えるという考え方です。」

生徒

「なるほど！型を隠すことで設計が柔軟になるんですね！」

1. Opaque Result Type（some）とは？

SwiftのOpaque Result Typeは、関数やプロパティの戻り値の具体的な型を隠しつつ、その型があるプロトコルに適合していることだけを示す機能です。これにより、実装の詳細を外に漏らさず、必要なインターフェースだけを公開できます。プログラミング初心者にわかりやすく説明すると「どんな靴を履いているかは秘密だけど、必ず靴は履いていると保証する」イメージです。

2. someを使った基本例

例えば、数字を返すけど型を隠したいときにsomeを使います。


func makeNumber() -> some Equatable {
    return 42
}

let value = makeNumber()
print(value)

この場合、実際にはIntを返していますが、外側には「Equatableであること」しか公開していません。

3. プロトコルと組み合わせた設計

someはプロトコルと一緒に使うと威力を発揮します。具体的な型を隠しながらも「このプロトコルには従っている」と宣言できるからです。


protocol Shape {
    func area() -> Double
}

struct Circle: Shape {
    var radius: Double
    func area() -> Double { radius * radius * .pi }
}

struct Square: Shape {
    var side: Double
    func area() -> Double { side * side }
}

func makeShape() -> some Shape {
    return Circle(radius: 5)
}

let shape = makeShape()
print(shape.area())