From ad8f9f55ea79a4d587aecc69698808da82de3d62 Mon Sep 17 00:00:00 2001
From: somhairle <somhairle@localhost.localdomain>
Date: Tue, 21 Apr 2026 20:40:27 +0800
Subject: 二〇二六年四月二十一日
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 ...247\243\346\236\220\351\227\256\351\242\230.md" | 56 ++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 "source/_posts/F-\351\207\215\350\275\275\350\247\243\346\236\220\351\227\256\351\242\230.md"

(limited to 'source/_posts/F-重载解析问题.md')

diff --git "a/source/_posts/F-\351\207\215\350\275\275\350\247\243\346\236\220\351\227\256\351\242\230.md" "b/source/_posts/F-\351\207\215\350\275\275\350\247\243\346\236\220\351\227\256\351\242\230.md"
new file mode 100644
index 00000000..1765c50f
--- /dev/null
+++ "b/source/_posts/F-\351\207\215\350\275\275\350\247\243\346\236\220\351\227\256\351\242\230.md"
@@ -0,0 +1,56 @@
+---
+title: F# 重载解析问题
+date: 2025-03-30 19:40:17
+tags: [Technique]
+---
+
+当在 F# 中使用一些 C# 类库的时候，可能会遇到类似如下的问题：
+
+```fsharp
+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# 不会自动选择最具体的实现，需要显式指引。
+
+仅我所知的一种解决方案是通过添加扩展方法显式指引编译器：
+
+```fsharp
+type Vector<'T> with
+    member inline this.CopyToByteSpan (span : Span<byte>) = 
+        this.CopyTo(span) // 显式绑定具体重载
+
+// 调用时使用新方法
+v.CopyToByteSpan(span)
+```
+
+这种方法通过创建具体的类型路径，帮助编译器绕过复杂的重载解析逻辑。
+
+学艺不精，不知道这是不是语言设计的差异，可能 F# 倾向于要求更明确的类型信息以避免意外行为？或许当泛型类型继承多个接口时，有没有可能出现在具体类型中不易察觉的隐式重载冲突？
+
+## Refs.
+
+- ["Most concrete" tiebreaker for generic overloads #905](https://github.com/fsharp/fslang-suggestions/issues/905)
+- [Fail to resolve to non generic overload. #1647](https://github.com/dotnet/fsharp/issues/1647)
\ No newline at end of file
-- 
cgit v1.2.3