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

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

新規登録して質問してみよう
ただいま回答率
85.50%
Swift Playground

Swift Playgroundは、Swiftをインタラクティブに習得できるiPad向けのアプリケーション。コーディングの知識は一切必要なく、Swift Playgrounds上でプログラミングしたコードによりドローン・ロボットを自在に動かすことが可能です。

iOS

iOSとは、Apple製のスマートフォンであるiPhoneやタブレット端末のiPadに搭載しているオペレーションシステム(OS)です。その他にもiPod touch・Apple TVにも搭載されています。

Xcode

Xcodeはソフトウェア開発のための、Appleの統合開発環境です。Mac OSXに付随するかたちで配布されています。

Swift

Swiftは、アップルのiOSおよびOS Xのためのプログラミング言語で、Objective-CやObjective-C++と共存することが意図されています

iPhone

iPhoneとは、アップル社が開発・販売しているスマートフォンです。 同社のデジタルオーディオプレーヤーiPodの機能、電話機能、インターネットやメールなどのWeb通信機能の3つをドッキングした機器です。

Q&A

1回答

1490閲覧

Swift の 「〜 cannot be satisfied by a non-final class 〜」 の意図していることとは

bbdd

総合スコア43

Swift Playground

Swift Playgroundは、Swiftをインタラクティブに習得できるiPad向けのアプリケーション。コーディングの知識は一切必要なく、Swift Playgrounds上でプログラミングしたコードによりドローン・ロボットを自在に動かすことが可能です。

iOS

iOSとは、Apple製のスマートフォンであるiPhoneやタブレット端末のiPadに搭載しているオペレーションシステム(OS)です。その他にもiPod touch・Apple TVにも搭載されています。

Xcode

Xcodeはソフトウェア開発のための、Appleの統合開発環境です。Mac OSXに付随するかたちで配布されています。

Swift

Swiftは、アップルのiOSおよびOS Xのためのプログラミング言語で、Objective-CやObjective-C++と共存することが意図されています

iPhone

iPhoneとは、アップル社が開発・販売しているスマートフォンです。 同社のデジタルオーディオプレーヤーiPodの機能、電話機能、インターネットやメールなどのWeb通信機能の3つをドッキングした機器です。

0グッド

0クリップ

投稿2020/06/12 17:48

編集2022/01/12 10:55

疑問

Protocol 'ExtensionCompatible' requirement 'ex' cannot be satisfied by a non-final class ('UIImage') because it uses 'Self' in a non-parameter, non-result type position

(具体的な変数名やプロトコル名は場合によって変わりますが、)このエラーが意味することの自分の認識が正しいかどうかお聞きしたいです。
自分の思考は下記です。

詳細

extension の定義を独自に設定したものというのを明確にするために、exというのをつけることがあると思います。
その際に下記のような実装でそれが実現できます。

swift

1 2/// exの型となるクラス 3public final class Extension<Base> { 4 let base: Base 5 public init(_ base: Base) { 6 self.base = base 7 } 8} 9 10/// exの定義 11public protocol ExtensionCompatible { 12 //(疑問の箇所) これ消して、 exの型 Extension<Self> でいいのでは? 13 associatedtype CompatibleType 14 15 var ex: CompatibleType { get } 16} 17 18// exの戻り値を定義 19public extension ExtensionCompatible { 20 var ex: Extension<Self> { 21 return Extension(self) 22 } 23} 24 25/// 拡張していることの宣言 26extension UIImage: ExtensionCompatible { } 27 28

この時、結局exの型はExtension<Self>なので、コメントの「(疑問の箇所)」に記載の通り連想型の定義を無くし、exの型をExtension<Self>に設定すればいいのではと思いました。

ただ、そうした場合、以下のようなエラーとなります。

Protocol 'ExtensionCompatible' requirement 'ex' cannot be satisfied by a non-final class ('UIImage') because it uses 'Self' in a non-parameter, non-result type position

これについては、

ExtensionCompatibleプロトコルにて、final classではないUIImageが、引数や戻り値ではないところでSelfを用いて参照されているのでエラーとなっている、という理解をしています。
故に、連想型を介した場合は単純にSelfがプロトコル内で参照されなくなり、問題なくなるという認識です。
そして、そのような対応すること(つまり、final classとするか or 連想型とするかの対応をすること)が要求される理由としては、もしそうのような対応をしなかった場合にSelfに入るインスタンスの型が一意に確定しないためである、という認識です。(Selfをいれているにも関わらず複数の型が入ることが想定されることが問題?)

このような理解をしているのですが認識はあっていますでしょうか?
(「ExtensionCompatibleプロトコルにて、」 〜 「想定されることが問題)」 まで )
助言頂けますと幸いです。

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

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

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

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

Selfってのは型じゃないです。

投稿2020/06/12 23:13

y_waiwai

総合スコア87719

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

bbdd

2020/06/17 13:33

ご返答ありがとうございます。 Selfは自身のインスタンスを示しますね。記載内容が不適切だったので一部修正しました。
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

まだベストアンサーが選ばれていません

会員登録して回答してみよう

アカウントをお持ちの方は

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

ただいまの回答率
85.50%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問