質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

89.06%

Swift Array型の型引数Elementに型制約を課す方法について

解決済

回答 1

投稿

  • 評価
  • クリップ 1
  • VIEW 211

moriman

score 79

protocol Container {
    associatedtype Item
    mutating func append(_ item: Item)
    var count: Int { get }
    subscript(i: Int) -> Item { get }
}

extension Array: Container {}

struct Stack<Element>: Container {
    // original Stack<Element> implementation
    var items = [Element]()
    mutating func push(_ item: Element) {
        items.append(item)
    }
    mutating func pop() -> Element {
        return items.removeLast()
    }


    // conformance to the Container protocol
    mutating func append(_ item: Element) {
        self.push(item)
    }
    var count: Int {
        return items.count
    }
    subscript(i: Int) -> Element {
        return items[i]
    }
}

func allItemsMatch<C1: Container, C2: Container>
    (_ someContainer: C1, _ anotherContainer: C2) -> Bool
    where C1.Item == C2.Item,C1.Item: Equatable{

        // Check that both containers contain the same number of items.
        if someContainer.count != anotherContainer.count {
            return false
        }

        // Check each pair of items to see if they're equivalent.
        for i in 0..<someContainer.count {
            if someContainer[i] != anotherContainer[i] {
                return false
            }
        }

        // All items match, so return true.
        return true
}

var stackOfStrings = Stack<String>()
stackOfStrings.push("uno")
stackOfStrings.push("dos")
stackOfStrings.push("tres")

var arrayOfStrings = ["uno", "dos", "tres"]


if allItemsMatch(stackOfStrings, arrayOfStrings) {
    print("All items match.")
} else {
    print("Not all items match.")
}
//All items match.


https://docs.swift.org/swift-book/LanguageGuide/Generics.html
上記ページのGeneric Where Clausesの部分のサンプルコードを見ていて頭に浮かんだただの興味なのですが質問させてください。このコードの動き自体はなんとか
理解できました。Containerプロトコルの定義内の連想型Itemには特に型制約は無く、
allItemsMatch(_:_:)関数のGeneric Where Clausesの

C1.Item: Equatable


によりcontainerの要素の型を「Equatableプロトコルに準拠した型」と指定しています。
まあこれで動くのですが、どうせcontainerの要素の型を「Equatableプロトコルに準拠した型」に
指定するのなら、Containerプロトコルの定義内の連想型Itemを

protocol Container {
    associatedtype Item:Equatable
    ...


のように指定した方が、自然な気がしました。
そこでallItemsMatch(_:_:)関数のGeneric Where Clause部分の

C1.Item: Equatable


を消して、代わりにContainerプロトコルの定義内の連想型Itemを

protocol Container {
    associatedtype Item:Equatable
    ...


のようにしても問題無く動くのではないか、と思いやってみたのですが(以下のコード)、

protocol Container {
    associatedtype Item:Equatable
    mutating func append(_ item: Item)
    var count: Int { get }
    subscript(i: Int) -> Item { get }
}

extension Array: Container {}

struct Stack<Element>: Container {
    // original Stack<Element> implementation
    var items = [Element]()
    mutating func push(_ item: Element) {
        items.append(item)
    }
    mutating func pop() -> Element {
        return items.removeLast()
    }


    // conformance to the Container protocol
    mutating func append(_ item: Element) {
        self.push(item)
    }
    var count: Int {
        return items.count
    }
    subscript(i: Int) -> Element {
        return items[i]
    }
}

func allItemsMatch<C1: Container, C2: Container>
    (_ someContainer: C1, _ anotherContainer: C2) -> Bool
    where C1.Item == C2.Item{

        // Check that both containers contain the same number of items.
        if someContainer.count != anotherContainer.count {
            return false
        }

        // Check each pair of items to see if they're equivalent.
        for i in 0..<someContainer.count {
            if someContainer[i] != anotherContainer[i] {
                return false
            }
        }

        // All items match, so return true.
        return true
}

var stackOfStrings = Stack<String>()
stackOfStrings.push("uno")
stackOfStrings.push("dos")
stackOfStrings.push("tres")

var arrayOfStrings = ["uno", "dos", "tres"]


if allItemsMatch(stackOfStrings, arrayOfStrings) {
    print("All items match.")
} else {
    print("Not all items match.")
}
error: type 'Stack<Element>' does not conform to protocol 'Container'
error: type 'Array<Element>' does not conform to protocol 'Container'


上記のようなエラーが出ました。つまりContainerプロトコルを変えたことにより、Array型、Stack<Element>型
がContainerプロトコルに準拠できなくなった、ということらしいのですが、これを解決するためにはArray型、Stack<Element>型の定義内で、連想型Itemを「Equatableプロトコルに準拠した型」に指定する必要がある、
ということになるのでしょうか。ただArray型もStack<Element>型もジェネリック型なので、連想型Itemと紐付く型は型引数のElementになると思います。ですので、型引数Elementに対して型制約(Equatableプロトコルに準拠しなければならない)を課す必要がある、ということになるのでしょうか。

ここでStack<Element>型は、Stack<Element>の定義内で、

struct Stack<Element:Equatable>: Container {
    // original Stack<Element> implementation
    ....


のようにすればエラーは消えました。結局Stack<Element>型は(組み込み型では無く)独自の型なので、このような型制約の指定も、開発者が好きなようにすればいいような気がしますが、Array型は組み込み型なので、その定義をいじるのは、普通しないような気がします。(いじるとしてもいじり方もよくわからないし、それよりもいじって他で問題が出ないか、そちらの方が問題が大きいような気がする。ただこのコードに関して言えば、Stack<Element>もArray<Element>も似たようなものなので、Array<Element:Equatable>とすれば良いだけで、特に問題は無いような気もしますがよくわかりません。)
ということで、Array型に関しては定義はそのままで、例えばエクステンションなりでエラーを出なくする方法はあるでしょうか?
エクステンションなりでエラーを消そうとするのも普通はやらないのかもしれませんが、あくまで理論的な話として何か方法があるのか、気になったので質問させていただきます。

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 過去に投稿した質問と同じ内容の質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 1

checkベストアンサー

0

以下のように型制約を指定できます。

extension Array: Container where Element: Equatable {}

追記

extension Array where Element:Equatable{}


はArrayのElementをEquatableに準拠させるという意味ではありません。

これは、ArrayのうちElementがEquatableであるもののみに拡張を与えるという宣言です。

例えば

extension Array where Element: Equatable {
  func allSame() -> Bool {
    guard let e = first else { return true }
    return reduce(true) { $0 ? $1 == e : false }  // $1 == e はElementがEquatableでなければ実行不可能
  }
}


のようなElementがEquatableでなければ実行不可能なメソッドの追加などを行う時に利用します。

僕が回答したextensionは
ArrayのうちElementがEquatableであるもののみをContainerに準拠させる。
という意味になります。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2020/02/10 11:06 編集

    回答をいただきましてありがとうございます。
    頂いたコードでエラーが発生しなくなりました。
    これで解決なのですが、もう一つ、質問投稿する前に、ドキュメントの見様見真似で、頂いたコード
    を書くべき部分に

    extension Array where Element:Equatable{}
    extension Array: Container {}

    と書いて動かした結果(他の部分は全て同じ)

    error: MyPlayground.playground:561:4: error: generic parameter 'C1' could not be inferred
    if allItemsMatch(stackOfStrings, arrayOfStrings) {
    ^

    MyPlayground.playground:533:6: note: in call to function 'allItemsMatch'
    func allItemsMatch<C1: Container, C2: Container>
    ^

    error: MyPlayground.playground:504:1: error: type 'Array<Element>' does not conform to protocol 'Container'
    extension Array: Container {}
    ^

    MyPlayground.playground:497:20: note: unable to infer associated type 'Item' for protocol 'Container'
    associatedtype Item:Equatable
    ^

    上記のようなエラーが出て、よくわからないので質問させていただいた、という経緯なんです。
    私の書いたコードではなぜエラーが出るのでしょうか。どこがダメなのでしょうか?

    キャンセル

  • 2020/02/10 13:38

    つまり同じ配列(Array型インスタンス)でも格納している要素の型次第で、
    「あるプロトコルに準拠している、とみなされるArray型インスタンス」

    「あるプロトコルに準拠しているとみなされないArray型インスタンス」
    が存在することになりますよね。
    非常に柔軟ですよね。

    キャンセル

  • 2020/02/11 09:36

    理解できました。サンプルコードも示して頂きましてありがとうございました。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 89.06%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る