Sposób wykonywania procesu po przekazaniu go do instancji `instance_exec`

Question

Pytanie jest inspirowane przez this one.

Proc::new ma możliwość być wywołany bez bloku wewnątrz sposób:

Proc::new może być wywołany bez bloku tylko w sposobie z przyłączonym bloku, przy czym bloki te przeprowadza się w Proc obiekt.

Gdy instancja proc/lambda jest przekazywana jako blok kodu, nowa instancja Proc powstaje:

Proc.singleton_class.prepend(Module.new do 
    def new(*args, &cb) 
    puts "PROC#{[block_given?, cb, *args].inspect}" 
    super 
    end 
end) 

Proc.prepend(Module.new do 
    def initialize(*args, &cb) 
    puts "INIT #{[block_given?, cb, *args].inspect}" 
    super 
    end 
    def call(*args, &cb) 
    puts "CALL #{[block_given?, cb, *args].inspect}" 
    super 
    end 
end) 

λ = ->(*args) { } 
[1].each &λ 
#⇒ [1] 

Jak można zobaczyć, ani wezwanie do Proc::new stało, ani Proc#initialize i/lub Proc#call zostały wywołane.

Pytanie brzmi: jak Ruby tworzy i wykonuje owijkę bloku pod maską?

---

NB Nie przetestować powyższy kod w pry/irb konsoli: oni mają znane usterki z czystego wykonania tego, w zasadzie dlatego, że procs krosowe.

Answer 1

Było trochę dyskusji na temat tego zachowania w narzędziu do śledzenia problemów z Rubim, patrz Feature #10499: Eliminate implicit magic in Proc.new and Kernel#proc.

To jest artefakt implementacji YARV: YARV popycha blok na globalnym stosie VM, a Proc::new po prostu tworzy Proc z najwyższego bloku na stosie. Tak więc, jeśli zdarzy ci się zadzwonić pod numer Proc.new z metody, która została wywołana za pomocą bloku, z przyjemnością zgarnie to, co blok znajduje się na wierzchu stosu, bez sprawdzania, skąd pochodzi. Jakoś gdzieś, we mgle czasu, ten (nazwijmy to) "przypadkowy artefakt" (nazwałbym go raczej błędem) stał się udokumentowaną funkcją. Funkcja, którą programiści JRuby (i prawdopodobnie Rubinius, Opal, MagLev, itp.) Woleliby się pozbyć.

Ponieważ większość innych implementacji działa zupełnie inaczej, to zachowanie, które pojawia się "za darmo" na YARV, powoduje, że oba bloki i Proc::new są bardziej kosztowne w innych implementacjach i zabraniają możliwości optymalizacji (co nie boli na YARV, ponieważ YARV robi zoptymalizować).