0

リテラルと型について勉強中です。

ExpressibleByFloatLiteralの次の付属型は、既定型としてDouble型となっているそうですが、
ソースでは、

associatedtype FloatLiteralType : _ExpressibleByBuiltinFloatLiteral

と記述されているようです。※GitHubに上がっているソースから参照しただけですが。。。

associatedtype FloatLiteralType : _ExpressibleByBuiltinFloatLiteral = Double

と記述されているなら理解できますが、なぜデフォルトが、Double型となるのでしょうか。

またAppleリファレンスで、「FloatLiteralType」で検索したところ、「typealias FloatLiteralType = Double」と記述されていましたが、どこでこれらの宣言がおこなわれているのでしょうか。教えてください。

2

1 件の回答 1

2

規定というか、

struct S : ExpressibleByFloatLiteral {
  init(floatLiteral: FloatLiteralType) {}
}

と書いた場合に、なぜ S.FloatLiteralTypeDouble になるかっていう事ですよね?

上記ソースで FloatLiteralTypeS.FloatLiteralType を参照しているのではなくて、グローバルの Swift.FloatLiteralType つまり typealias FloatLiteralType = Double を参照している状態です。(Xcodeで command + クリックしてみると分かります。)

で、プロトコルの制約から associatedtype FloatLiteralType が類推されて S.FloatLiteralTypeDouble になります。

自前で書くとしたらこんな感じです。

typealias AssocTy = Int

protocol P {
  associatedtype AssocTy
  func foo(x: AssocTy)
}

class C : P {
  func foo(x: AssocTy) {}
}

C.AssocTy.self == Int.self // true 

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。