F# 重载解析问题 | 暮秋小屋

From 1afcff163e930cd31d875127c0b2d87336586e50 Mon Sep 17 00:00:00 2001 From: muqiuhan Date: Sun, 30 Mar 2025 11:49:54 +0000 Subject: deploy: 80415a26635bffbcf2f82080ecf31cabb5130d10 --- 2025/03/25/Scala-3-Capture-Checking/index.html | 5 + .../index.html" | 278 +++++++++++++++++++++ archives/2025/03/index.html | 18 ++ archives/2025/index.html | 36 +-- archives/2025/page/2/index.html | 18 ++ archives/index.html | 38 +-- archives/page/10/index.html | 38 +-- archives/page/11/index.html | 38 +-- archives/page/12/index.html | 38 +-- archives/page/13/index.html | 225 +++++++++++++++++ archives/page/2/index.html | 38 +-- archives/page/3/index.html | 38 +-- archives/page/4/index.html | 38 +-- archives/page/5/index.html | 38 +-- archives/page/6/index.html | 38 +-- archives/page/7/index.html | 38 +-- archives/page/8/index.html | 38 +-- archives/page/9/index.html | 38 +-- page/13/index.html | 231 +++++++++++++++++ search.xml | 48 +++- tags/Technique/index.html | 38 ++- tags/Technique/page/2/index.html | 36 +-- tags/Technique/page/3/index.html | 36 +-- tags/Technique/page/4/index.html | 36 +-- tags/Technique/page/5/index.html | 18 ++ 25 files changed, 1148 insertions(+), 331 deletions(-) create mode 100644 "2025/03/30/F-\351\207\215\350\275\275\350\247\243\346\236\220\351\227\256\351\242\230/index.html" create mode 100644 archives/page/13/index.html create mode 100644 page/13/index.html diff --git a/2025/03/25/Scala-3-Capture-Checking/index.html b/2025/03/25/Scala-3-Capture-Checking/index.html index e30b1c26..dac02822 100644 --- a/2025/03/25/Scala-3-Capture-Checking/index.html +++ b/2025/03/25/Scala-3-Capture-Checking/index.html @@ -331,6 +331,11 @@

+ Prev +

diff --git "a/2025/03/30/F-\351\207\215\350\275\275\350\247\243\346\236\220\351\227\256\351\242\230/index.html" "b/2025/03/30/F-\351\207\215\350\275\275\350\247\243\346\236\220\351\227\256\351\242\230/index.html" new file mode 100644 index 00000000..4e2a8915 --- /dev/null +++ "b/2025/03/30/F-\351\207\215\350\275\275\350\247\243\346\236\220\351\227\256\351\242\230/index.html" @@ -0,0 +1,278 @@ + + + + + + + + + + + + + + + + + + + + + +F# 重载解析问题 | 暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

+ +

+ + + 暮秋小屋 + + +

+ +

+ + + +

+ + +

+ +

+ + + F# 重载解析问题 + + +

+ + Mar 30, 2025 + +

+ +

当在 F# 中使用一些 C# 类库的时候，可能会遇到类似如下的问题：

open System
open System.Numerics

let someFunction () =
    let v: Vector<byte> = Vector(0uy)
    let array: byte[] = [||]
    let span: Span<byte> = Span(array)
    v.CopyTo(span)
Compiler error
     v.CopyTo(span)
  ----^^^^^^^^^^^^^^

/home/muqiu/stdin(99,5): error FS0041: A unique overload for method 'CopyTo' could not be determined based on type information prior to this program point. A type annotation may be needed.

Known type of argument: Span<byte>

Candidates:
 - Vector.CopyTo(destination: Span<byte>) : unit
 - Vector.CopyTo(destination: Span<byte>) : unit

+ +

编译器认为存在两个相同的 CopyTo 重载无法区分。但查阅文档发现，Vector<T> 的 CopyTo 方法实际上只有一个匹配的重载（接受 Span<T>），这似乎矛盾。

这是因为 F# 编译器处理泛型方法重载的方式：

泛型接口继承：Vector<T> 可能实现了多个接口，导致编译器看到两个签名相同的 CopyTo 方法（例如通过不同接口继承）。
语言设计差异：F# 缺乏 C# 的 “most concrete” 重载选择机制。当多个重载来自不同继承路径时，F# 不会自动选择最具体的实现，需要显式指引。

仅我所知的一种解决方案是通过添加扩展方法显式指引编译器：

type Vector<'T> with
    member inline this.CopyToByteSpan (span : Span<byte>) = 
        this.CopyTo(span) // 显式绑定具体重载

// 调用时使用新方法
v.CopyToByteSpan(span)

+ +

这种方法通过创建具体的类型路径，帮助编译器绕过复杂的重载解析逻辑。

学艺不精，不知道这是不是语言设计的差异，可能 F# 倾向于要求更明确的类型信息以避免意外行为？或许当泛型类型继承多个接口时，有没有可能出现在具体类型中不易察觉的隐式重载冲突？

Refs.

+ +

+ + + + + +

+ + + + + + + +

+ + +

+ + + +

+ + + + + + + + + + + + diff --git a/archives/2025/03/index.html b/archives/2025/03/index.html index 50d41453..4f18a3f0 100644 --- a/archives/2025/03/index.html +++ b/archives/2025/03/index.html @@ -143,6 +143,24 @@

2025

+ + + F# 重载解析问题 + + +

+ + Mar 30, 2025 +

+ + + + + + +

diff --git a/archives/2025/index.html b/archives/2025/index.html index 678bcf32..920651b0 100644 --- a/archives/2025/index.html +++ b/archives/2025/index.html @@ -143,6 +143,24 @@

2025

+ + + F# 重载解析问题 + + +

+ + Mar 30, 2025 +

+ + + + + + +

@@ -300,24 +318,6 @@

- - - - - -

- - - Prisma 关系型数据库的 Self-relations - - -

- - Feb 18, 2025 -

- -

diff --git a/archives/2025/page/2/index.html b/archives/2025/page/2/index.html index bda9f2f7..9e287956 100644 --- a/archives/2025/page/2/index.html +++ b/archives/2025/page/2/index.html @@ -143,6 +143,24 @@

2025

+ + + Prisma 关系型数据库的 Self-relations + + +

+ + Feb 18, 2025 +

+ + + + + + +

diff --git a/archives/index.html b/archives/index.html index 142a24d6..c8ec1895 100644 --- a/archives/index.html +++ b/archives/index.html @@ -143,6 +143,24 @@

2025

+ + + F# 重载解析问题 + + +

+ + Mar 30, 2025 +

+ + + + + + +

@@ -300,30 +318,12 @@

- - - - - -

- - - Prisma 关系型数据库的 Self-relations - - -

- - Feb 18, 2025 -

- -

diff --git a/archives/page/10/index.html b/archives/page/10/index.html index a39b7d87..d7063aae 100644 --- a/archives/page/10/index.html +++ b/archives/page/10/index.html @@ -143,6 +143,24 @@

2023

+ + + TypeScript With Rust Errors, No Try Catch, Heresy + + +

+ + Apr 30, 2023 +

+ + + + + + +

@@ -300,30 +318,12 @@

- - - - - -

- - - 二零二三年二月二十六日 - - -

- - Feb 26, 2023 -

- -

diff --git a/archives/page/11/index.html b/archives/page/11/index.html index bfb1f9f5..9beb0bcd 100644 --- a/archives/page/11/index.html +++ b/archives/page/11/index.html @@ -143,6 +143,24 @@

2023

+ + + 二零二三年二月二十六日 + + +

+ + Feb 26, 2023 +

+ + + + + + +

@@ -302,30 +320,12 @@

- - - - - -

- - - 二零二二年九月二十二日 - - -

- - Sep 22, 2022 -

- -

diff --git a/archives/page/12/index.html b/archives/page/12/index.html index 163573b3..1342c35f 100644 --- a/archives/page/12/index.html +++ b/archives/page/12/index.html @@ -143,6 +143,24 @@

2022

+ + + 二零二二年九月二十二日 + + +

+ + Sep 22, 2022 +

+ + + + + + +

@@ -304,30 +322,12 @@

- - - - - -

- - - 二零二零年十二月八日 - - -

- - Dec 8, 2020 -

- -

diff --git a/archives/page/13/index.html b/archives/page/13/index.html new file mode 100644 index 00000000..943e5810 --- /dev/null +++ b/archives/page/13/index.html @@ -0,0 +1,225 @@ + + + + + + + + + + + + + + + + + + + + + +Archive | 暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

+ +

+ + + 暮秋小屋 + + +

+ +

+ + + +

+ + + + + + +

2020

+ + +

+ + + 二零二零年十二月八日 + + +

+ + Dec 8, 2020 +

+ + +

+ +

+ + + +

+ + + + + + + + + + + + diff --git a/archives/page/2/index.html b/archives/page/2/index.html index 03dc2922..cae3f12e 100644 --- a/archives/page/2/index.html +++ b/archives/page/2/index.html @@ -143,6 +143,24 @@

2025

+ + + Prisma 关系型数据库的 Self-relations + + +

+ + Feb 18, 2025 +

+ + + + + + +

@@ -302,30 +320,12 @@

- - - - - -

- - - Building custom fibers library in FSharp - - -

- - Oct 18, 2024 -

- -

diff --git a/archives/page/3/index.html b/archives/page/3/index.html index 63061be0..a8df46d7 100644 --- a/archives/page/3/index.html +++ b/archives/page/3/index.html @@ -143,6 +143,24 @@

2024

+ + + Building custom fibers library in FSharp + + +

+ + Oct 18, 2024 +

+ + + + + + +

@@ -300,30 +318,12 @@

- - - - - -

- - - 二〇二四年九月一日 - - -

- - Sep 1, 2024 -

- -

diff --git a/archives/page/4/index.html b/archives/page/4/index.html index a2741c57..70176d5d 100644 --- a/archives/page/4/index.html +++ b/archives/page/4/index.html @@ -143,6 +143,24 @@

2024

+ + + 二〇二四年九月一日 + + +

+ + Sep 1, 2024 +

+ + + + + + +

@@ -300,30 +318,12 @@

- - - - - -

- - - Rescript @genType import 问题 - - -

- - May 20, 2024 -

- -

diff --git a/archives/page/5/index.html b/archives/page/5/index.html index 5dc4ba1b..3bbd37bc 100644 --- a/archives/page/5/index.html +++ b/archives/page/5/index.html @@ -143,6 +143,24 @@

2024

+ + + Rescript @genType import 问题 + + +

+ + May 20, 2024 +

+ + + + + + +

@@ -300,30 +318,12 @@

- - - - - -

- - - G-Machine - - -

- - Jan 23, 2024 -

- -

diff --git a/archives/page/6/index.html b/archives/page/6/index.html index b6be2c43..db8a2e95 100644 --- a/archives/page/6/index.html +++ b/archives/page/6/index.html @@ -143,6 +143,24 @@

2024

+ + + G-Machine + + +

+ + Jan 23, 2024 +

+ + + + + + +

@@ -302,30 +320,12 @@

- - - - - -

- - - Fever of Unknown Origin - - -

- - Nov 16, 2023 -

- -

diff --git a/archives/page/7/index.html b/archives/page/7/index.html index 197eb09c..77dd211b 100644 --- a/archives/page/7/index.html +++ b/archives/page/7/index.html @@ -143,6 +143,24 @@

2023

+ + + Fever of Unknown Origin + + +

+ + Nov 16, 2023 +

+ + + + + + +

@@ -300,30 +318,12 @@

- - - - - -

- - - v8中的Number.toString() - - -

- - Oct 5, 2023 -

- -

diff --git a/archives/page/8/index.html b/archives/page/8/index.html index 1ba3d192..95d41f59 100644 --- a/archives/page/8/index.html +++ b/archives/page/8/index.html @@ -143,6 +143,24 @@

2023

+ + + v8中的Number.toString() + + +

+ + Oct 5, 2023 +

+ + + + + + +

@@ -300,30 +318,12 @@

- - - - - -

- - - 二〇二三年六月二十九日 - - -

- - Jun 29, 2023 -

- -

diff --git a/archives/page/9/index.html b/archives/page/9/index.html index 391f67ff..3337aa2a 100644 --- a/archives/page/9/index.html +++ b/archives/page/9/index.html @@ -143,6 +143,24 @@

2023

+ + + 二〇二三年六月二十九日 + + +

+ + Jun 29, 2023 +

+ + + + + + +

@@ -300,30 +318,12 @@

- - - - - -

- - - TypeScript With Rust Errors, No Try Catch, Heresy - - -

- - Apr 30, 2023 -

- -

diff --git a/page/13/index.html b/page/13/index.html new file mode 100644 index 00000000..96926193 --- /dev/null +++ b/page/13/index.html @@ -0,0 +1,231 @@ + + + + + + + + + + + + + + + + + + + + + +暮秋小屋 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

+ +

+ + + 暮秋小屋 + + +

+ +

+ + + +

+ +

+ 暮秋小屋 +

+ 思念、灵感、文档的寄存处 +

+ +

+ 计算机科学 +

+ +

+ 医学 +

+ +

+ 生活 +

+ +

+ 日记本 +

+ +

+ 网页存档 +

+ +

+ 关于我 +

+ +

+ + + +

+ + + + + + + + + + + + diff --git a/search.xml b/search.xml index 2286503f..023d96c0 100644 --- a/search.xml +++ b/search.xml @@ -630,6 +630,32 @@ Archive + + F# 重载解析问题 + /2025/03/30/F-%E9%87%8D%E8%BD%BD%E8%A7%A3%E6%9E%90%E9%97%AE%E9%A2%98/ + 当在 F# 中使用一些 C# 类库的时候，可能会遇到类似如下的问题：

open System
open System.Numerics

let someFunction () =
    let v: Vector<byte> = Vector(0uy)
    let array: byte[] = [||]
    let span: Span<byte> = Span(array)
    v.CopyTo(span)
Compiler error
     v.CopyTo(span)
  ----^^^^^^^^^^^^^^

/home/muqiu/stdin(99,5): error FS0041: A unique overload for method 'CopyTo' could not be determined based on type information prior to this program point. A type annotation may be needed.

Known type of argument: Span<byte>

Candidates:
 - Vector.CopyTo(destination: Span<byte>) : unit
 - Vector.CopyTo(destination: Span<byte>) : unit

+ +

编译器认为存在两个相同的 CopyTo 重载无法区分。但查阅文档发现，Vector<T> 的 CopyTo 方法实际上只有一个匹配的重载（接受 Span<T>），这似乎矛盾。

这是因为 F# 编译器处理泛型方法重载的方式：

泛型接口继承：Vector<T> 可能实现了多个接口，导致编译器看到两个签名相同的 CopyTo 方法（例如通过不同接口继承）。
语言设计差异：F# 缺乏 C# 的 “most concrete” 重载选择机制。当多个重载来自不同继承路径时，F# 不会自动选择最具体的实现，需要显式指引。

仅我所知的一种解决方案是通过添加扩展方法显式指引编译器：

type Vector<'T> with
    member inline this.CopyToByteSpan (span : Span<byte>) = 
        this.CopyTo(span) // 显式绑定具体重载

// 调用时使用新方法
v.CopyToByteSpan(span)

+ +

这种方法通过创建具体的类型路径，帮助编译器绕过复杂的重载解析逻辑。

Refs.

+]]> + + Technique + + Fever of Unknown Origin /2023/11/16/Fever-of-Unknown-Origin/ @@ -2917,17 +2943,6 @@

“欢迎醒来，乐乐”

我抖了抖身上的花瓣，还未说话，就听见了爸爸兴奋的欢呼声。爷爷奶奶眼睛一亮，立刻跑了过来，春天的风似乎都柔软了，我摊了摊手，将他们卷到自己怀里。

春暖花开，一切都在，真好。

-]]> - - gallery - - - - 二零二三年八月二十七日 - /2023/08/27/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AB%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%83%E6%97%A5/ - 我从失去家人的那一刻就坠入了一个朦胧而美丽的梦，梦境没有主人，我是被梦境所留下的，永远不愿醒来的旅人。
我足不出户，一直缩在一方小世界里面，我用了无数的理由和所有人说我的生活态度，其实勇敢的人根本不需要理由就能走出去，只有懦弱的人会用各种理由说服自己退缩

请以我为戒，大胆往前走，走到灯火通明。

何须纵酒方能舞翩迁，
赤诚相见时便是少年。

]]> gallery @@ -2941,6 +2956,17 @@

接收到的评论不必急于改变，先存起来，让它们陪着自己，跟着时间走，路上会慢慢的和其他的事情连结起来，这样就能择其善者而从之，其不善者而改之了。

应当早日从这喧扰的世界冷静下来，让脑子里满是憧憬和情爱的灵魂得到一丝陈酿，理性点抬头看看世界上方的二氧化碳，自己晃晃头打破能回到最初的样子再重来的梦。

爱你们。

+]]> + + gallery + + + + 二零二三年八月二十七日 + /2023/08/27/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%85%AB%E6%9C%88%E4%BA%8C%E5%8D%81%E4%B8%83%E6%97%A5/ + 我从失去家人的那一刻就坠入了一个朦胧而美丽的梦，梦境没有主人，我是被梦境所留下的，永远不愿醒来的旅人。
我足不出户，一直缩在一方小世界里面，我用了无数的理由和所有人说我的生活态度，其实勇敢的人根本不需要理由就能走出去，只有懦弱的人会用各种理由说服自己退缩

请以我为戒，大胆往前走，走到灯火通明。

何须纵酒方能舞翩迁，
赤诚相见时便是少年。

]]> gallery diff --git a/tags/Technique/index.html b/tags/Technique/index.html index 0f731a94..d843fbe0 100644 --- a/tags/Technique/index.html +++ b/tags/Technique/index.html @@ -150,6 +150,24 @@

2025

+ + + F# 重载解析问题 + + +

+ + Mar 30, 2025 +

+ + + + + + +

@@ -307,26 +325,6 @@

- - - - -

2024

- - -

- - - OCaml News 2024-7 - - -

- - Dec 15, 2024 -

- -

diff --git a/tags/Technique/page/2/index.html b/tags/Technique/page/2/index.html index 360b9eb6..a4ec25bc 100644 --- a/tags/Technique/page/2/index.html +++ b/tags/Technique/page/2/index.html @@ -150,6 +150,24 @@

2024

+ + + OCaml News 2024-7 + + +

+ + Dec 15, 2024 +

+ + + + + + +

@@ -307,24 +325,6 @@

- - - - - -

- - - OCaml News 2024-5 - - -

- - Jun 27, 2024 -

- -

diff --git a/tags/Technique/page/3/index.html b/tags/Technique/page/3/index.html index fa4c1429..30cb14dd 100644 --- a/tags/Technique/page/3/index.html +++ b/tags/Technique/page/3/index.html @@ -150,6 +150,24 @@

2024

+ + + OCaml News 2024-5 + + +

+ + Jun 27, 2024 +

+ + + + + + +

@@ -309,24 +327,6 @@

- - - - - -

- - - v8中的Number.toString() - - -

- - Oct 5, 2023 -

- -

diff --git a/tags/Technique/page/4/index.html b/tags/Technique/page/4/index.html index b393777e..0b4b99ec 100644 --- a/tags/Technique/page/4/index.html +++ b/tags/Technique/page/4/index.html @@ -150,6 +150,24 @@

2023

+ + + v8中的Number.toString() + + +

+ + Oct 5, 2023 +

+ + + + + + +

@@ -307,24 +325,6 @@

- - - - - -

- - - Rust 虚表布局规则介绍 - - -

- - May 1, 2023 -

- -

diff --git a/tags/Technique/page/5/index.html b/tags/Technique/page/5/index.html index 4253f067..e8404f63 100644 --- a/tags/Technique/page/5/index.html +++ b/tags/Technique/page/5/index.html @@ -150,6 +150,24 @@

2023

+ + + Rust 虚表布局规则介绍 + + +

+ + May 1, 2023 +

+ + + + + + +

-- cgit v1.2.3