'Satır içi' ve tırnak değerlendirmesini kullanırken (+) ve (-) arasındaki tutarsız davranış

Question

add neden sub neden bir istisna atar bilen var mı? Ve bu bir böcek mi?

open Microsoft.FSharp.Linq.QuotationEvaluation 

let inline add x = x + x 
let inline sub x = x - x 

let answer = <@ add 1 @>.Eval() // 2, as expected 
let answer2 = <@ sub 1 @>.Eval() // NotSupportedException 

Not satır içi anahtar sözcüğü olmadan özel durum değildir (ancak kod jenerik değildir) alıntılar kullanırken Ayrıca istisna sadece atılır. Normal değerlendirme iyi çalışıyor.

Teşekkür

Düzenleme: Bu soru için basitleştirilmiş kod örneği

Answer 1

Teşekkür - bu basit bir repro ile gerçekten güzel bir hata raporu ve bu inanamadım, ama tamamen haklısın. Artı çalışıyor ama eksi yapmıyor.

sorun jenerik yöntemler ve LINQ versiyonu bu jenerik yöntemler çağırır olarak sub ve add derlenmiş olmasıdır. Satır alıntılar saklandıktan sonra gerçekleştirilir, böylece tırnak içinde kod sub yöntemine çağrı içerir. Bu normal F # kodunda bir sorun değildir, çünkü işlevler satır içi ve işleçler bazı sayısal türlerde + veya - çözülür. Ancak, genel sürüm dinamik bir arama kullanır. Eğer prim-types.fs:3530 içine bakarsanız, görürsünüz:

let inline (+) (x: ^T) (y: ^U) : ^V = 
    AdditionDynamic<(^T),(^U),(^V)> x y 
    when ^T : int32  and ^U : int32  = (# "add" x y : int32 #) 
    when ^T : float  and ^U : float  = (# "add" x y : float #) 
    // ... lots of other cases 

AdditionDynamic jenerik yöntemle çağrılan şeydir. Daha yavaş olacak dinamik arama yapar, ancak işe yarayacaktır. Ben herhangi bir teknik sebebi var olduğunu düşünmüyorum, ama sizi açıklıyor - neden bu durumda hiç bir fikrim yok

[<NoDynamicInvocation>] 
let inline (-) (x: ^T) (y: ^U) : ^V = 
    ((^T or ^U): (static member (-) : ^T * ^U -> ^V) (x,y)) 
    when ^T : int32  and ^U : int32  = (# "sub" x y : int32 #) 
    when ^T : float  and ^U : float  = (# "sub" x y : float #) 
    // ... lots of other cases 

: İlginçtir, eksi operatörü için, F # kütüphane dinamik uygulanmasını içermemektedir rapor ettiğin davranışı al. Derlenmiş kodu ILSpy kullanarak bakarsanız, add yönteminin bir şey yaptığını ve sub yönteminin attığını görürsünüz (bu, istisnanın nereden geldiğini gösterir).

Bir geçici çözüm'a gelince, kodu, jenerik eksi işlecini kullanmadığı bir şekilde yazmanız gerekir. Muhtemelen en iyi seçenek() this post (bkz sub_int veya sub_float kullanarak ya) ya da DLR kullanarak oldukça verimli muhtemelen yapılabilir sub kendi dinamik uygulama (yazarak inline fonksiyonlarını kaçınmaktır.