複数の許可されたタイプ/シグネチャを持つブロックのキャプチャ

Question

複数の許可されたシグネチャを持つメソッド内でブロックをキャプチャすることは可能ですか？この例では

alias IoBlockFormatter = Severity, Time, String, String, IO -> Nil 
alias StringBlockFormatter = Severity, Time, String, String -> String 

class Formatter 
    def initialize(@io : IO, &@block : IoBlockFormatter | StringBlockFormatter) 
    end 
end 

、私は2つの異なる機能タイプを定義しています、と私は私のFormatterクラスは、いずれのタイプであることを受け入れることができますブロックを許可したいです。この最初の試みは、2つの型の和集合を使用しようとしますが、コンパイラは、2つのProc型の和集合ではなくFunction型を期待していると不平を言っています。

expected block type to be a function type, not (Proc(Severity, Time, String, String, IO, Nil) | Proc(Severity, Time, String, String, String)) 

    def initialize(@io : IO, &@block : IoBlockFormatter | StringBlockFormatter) 

Answer 1

あなたはブロックがメソッドシグネチャ、周りにいない他の方法から入力されるように、1つの方法は、複数のブロックタイプを取ることはできません。正しい方法が見つかると、ブロック引数のタイプは、キャプチャされていないブロックのあるyieldと、キャプチャされた引数のタイプ&blockから推定されます。同様の理由でブロックが異なって使用されたとしても、同じ引数とブロックを持つ2つのオーバーロードを持つことはできません。