静态解析的类型成员约束无法识别系统类型的扩充
是指在静态类型语言中，类型成员约束无法识别系统类型的扩展。具体来说，静态解析是指在编译时确定变量的类型和成员，而类型成员约束是指对于某个类型的实例，只能访问该类型定义的成员。然而，由于静态解析的限制，无法在编译时确定系统类型的扩充，导致类型成员约束无法识别这些扩充。
这种情况下，系统类型的扩充可能包括对已有类型的新成员的添加或修改，或者是对已有类型的子类型的扩展。由于静态解析无法识别这些扩充，编译器无法在编译时验证对这些扩充的访问是否合法，从而可能导致运行时错误。
为了解决这个问题，可以采用动态解析的方式来处理类型成员约束无法识别系统类型的扩充。动态解析是指在运行时根据实际类型确定变量的类型和成员。通过动态解析，可以在运行时识别系统类型的扩充，从而正确地访问扩充后的成员。
在云计算领域，静态解析的类型成员约束无法识别系统类型的扩充可能会影响到一些开发和测试工作。开发人员需要注意在编写代码时，避免依赖于静态解析的类型成员约束，而应该采用动态解析的方式来处理类型扩充。测试人员需要在测试过程中，针对可能的类型扩充进行全面的测试，以确保系统在运行时能够正确处理这些扩充。
腾讯云提供了一系列云计算相关的产品，可以帮助开发人员和企业解决云计算领域的各种问题。具体推荐的产品和产品介绍链接地址如下：
- 云服务器（ECS）：提供弹性计算能力，支持多种操作系统和应用场景。了解更多：腾讯云云服务器
- 云数据库 MySQL 版（CDB）：提供高可用、可扩展的关系型数据库服务。了解更多：腾讯云云数据库 MySQL 版
- 云原生容器服务（TKE）：提供高度可扩展的容器化应用管理平台。了解更多：腾讯云云原生容器服务
- 人工智能平台（AI Lab）：提供丰富的人工智能开发和应用服务，包括图像识别、语音识别、自然语言处理等。了解更多：腾讯云人工智能平台
- 物联网套件（IoT Hub）：提供全面的物联网解决方案，包括设备接入、数据管理、消息通信等。了解更多：腾讯云物联网套件
通过使用腾讯云的产品，开发人员和企业可以快速构建和部署云计算应用，提高开发效率和系统稳定性。
相关·内容
我正在尝试在F#中使用F#。文档中写着"F#支持公共语言运行库支持的完整约束集“，但是如果我实际上编译了一个具有这样一个显式约束的类，如以下所示，我就会得到非常奇怪的错误。
type MyType<'T when ^T: (static member ( + ) : ^T * ^T -> ^T)> =
member this.F a b = a + b
报告
错误FS0670:此代码不够通用。当^T：(静态成员(+)：^T * ^T -> ^T)时，类型变量^T无法泛化，因为它将转义其作用域。
并在定义member this.F的站点上报
浏览 4提问于2011-05-05得票数 8
回答已采纳
我被这种情况搞糊涂了，谷歌搜索也没有给我答案。基本上，我有以下不能编译的简单代码：
#include <iostream>
class A
{
public:
int a(int c = 0) { return 1; }
static int a() { return 2; }
};
int main()
{
std::cout << A::a() << std::endl;
return 0;
}
在编译这篇文章时，GCC 4.2说，在main()中对A::a()的调用对于两个版本的a()有效候选者都是模棱两可的。App
浏览 0提问于2012-02-26得票数 12
回答已采纳
type FFRec<'state when 'state: (member Tape: Stack<unit -> unit>)
and 'state: (member Mem: ObjectPool)
and 'state: (member Str: CudaStream)
and 'state: (member Workspace: Workspace)
and 's
浏览 2提问于2016-09-06得票数 2
2回答
我有这样的界面：
type IMovingFunc< 'T > =
abstract member Add : 'T -> unit
现在，我想创建一个泛型类型，它实现Add函数并使用(+)操作符：
type MovingSum< ^T >(initial : ^T) =
let mutable sum = initial
interface IMovingFunc< ^T> with
member inline this.Add x = sum <- sum + x
不幸的是，我得到了这
浏览 5提问于2016-11-27得票数 6
回答已采纳
1回答
在尝试学习的使用时，我希望下面这样的东西是可能的。
type Foo<'T when 'T : (new : int -> 'T)> = {Bar: 'T}
但是这不编译，只是返回错误。
“新”约束必须采用一个类型'unit‘的参数，并返回构造的类型
似乎应该将该约束称为“无参数构造函数约束”，因为除了此之外，我无法编译任何其他形式。
type Foo<'T when 'T : (new : unit-> 'T)> = {Bar: 'T}
是否可以使用构造函数约束来约束泛型类型构
浏览 1提问于2020-08-08得票数 2
回答已采纳
2回答
我有一个带有一个泛型参数的基本函数：
let func<'T> (x:'T when 'T : (static member op_Explicit: 'T -> float) ) =
float x
为什么我得到这样的错误：“声明的类型参数'T不能在这里使用，因为类型参数不能在编译时被解析”
在本例中，我提供了一个泛型参数，并将其约束为能够显式转换为float，而该函数所做的所有操作都转换为float，那么问题是什么呢？我已经阅读了所有与F#中的泛型相关的MSDN文档，但它们似乎只是原地踏步，与我在Visual Studio中看
浏览 0提问于2012-06-09得票数 2
1回答
我想在我自己的类中实现IEnumerable<KeyValuePair<DateTime, 'T>>，并向该类添加数学运算符，以便运算符可以像任何数值类型的'T上的内联函数一样工作--自动添加约束。
我就是不能让下面这段代码工作。它既不能在成员声明中使用'inline‘关键字，也不能在成员声明中使用。
另外，如果我定义了一个函数
let inline add l r = l + r
在输入之前使用它，而不是添加l.Value + r.Value，它也不起作用。
有人能告诉我我哪里做错了吗？
也许整个方法都是错误的，并且有一种方法可以用另一种方法
浏览 3提问于2012-12-25得票数 8
回答已采纳
"^“是什么意思，当它在一个类型的前面？
示例：
int：^T -> int
字符串：^T ->字符串
浏览 2提问于2016-01-11得票数 3
回答已采纳
注意:这个问题与我的有些关联，但实际上从不同的角度讨论了这个问题。
考虑以下片段：
let toStr a = a.ToString()
let strOp a = string a
let intToStr = 5 |> toStr
let floatToStr = 5.0 |> toStr
let intStrOp = 5 |> strOp
let floatStrOp = 5.0 |> strOp //type inference error
虽然strOp函数使用看起来更优雅的解决方案，并且也能够将单位值转换为字符串，但它似乎并不是真正的泛型，因为它的类型在
浏览 1提问于2016-12-28得票数 3
回答已采纳
1回答
我想知道是否有可能为具有静态约束的泛型类型创建一个单例(下面的第三个类型将无法编译)。向第三种类型的成员添加inline不起作用。非常感谢!
type A private () =
static let instance = A ()
static member Instance = instance
member this.DoNothing (x : int) = 0
type GenericA<'B> private () =
static let instance = GenericA<'B> ()
浏览 0提问于2017-10-21得票数 3
1回答
我正在尝试编写一个内联映射函数，它可以与任何将mapx作为静态成员的类型一起使用，并具有以下代码：
type Container<'T> =
{ value: 'T }
type container<'a> = Container<'a>
type Container<'T> with
static member mapx (f: 'T -> 'b, x: 'T container) = { value=f(x.value) } // tuple form...
浏览 3提问于2015-08-11得票数 1
回答已采纳
在f#项目中，我有以下类型：
type A = { Name: string }
type B = { Name: string; SurName: string }
type C = { Name: string; SurName: string; MaidenName: string }
和使用对泛型参数的约束的下列函数：
let inline filterByName<'a when 'a: (member Name: string)> (name: string) (collection: 'a seq) =
collection |>
浏览 4提问于2016-02-03得票数 5
回答已采纳
1回答
关于如何调用隐式转换运算符的：
let inline (!>) (x:^a) : ^b = ((^a or ^b) : (static member op_Implicit : ^a -> ^b) x)
我已经了解F#一段时间了，但我只是不知道如何解析这里的实现。(^a or ^b)是什么？那之后的东西呢？请仔细检查每个部分在语法上所代表的内容。
浏览 5提问于2016-04-03得票数 2
回答已采纳
2回答
我有以下代码
type Show<'a> =
abstract member Show: 'a -> string
type Shows() =
member inline this.GetShow(x:string) =
{new Show<string> with member this.Show(x:string) = x}
member inline this.GetShow(x:int) =
{new Show<int> with member this.Show
浏览 1提问于2017-10-17得票数 3
回答已采纳
我编写了一些测试代码，以了解泛型的语法：
let add_stuff<'T> x y =
printfn "%A" (x + y)
let stuff() =
add_stuff 5.5 2.4
add_stuff 3 4
第二个add_stuff调用不编译。为什么会这样呢？为什么编译器不能推断类型呢？
浏览 0提问于2018-11-28得票数 2
回答已采纳
3回答
我正在尝试在F#中实现鸭子类型，我发现您可以有一个，如下所示：
type ListEntryViewModel<'T when 'T : (member Name : string)>(model:'T) =
inherit ViewModelBase()
member this.Name with get() = model.Name
但是，当我试图引用该属性时，上面的代码将不会编译。我得到一个编译器错误：
此代码不够通用。当^T：(成员get_Name：^T ->字符串)时，类型变量^T无法泛化，因为它将转义其作用域。
是否可以
浏览 4提问于2012-10-22得票数 12
回答已采纳
现在我们这样做..。
let parseDate defaultVal text =
match DateTime.TryParse s with
| true, d -> d
| _ -> defaultVal
能不能这么做..。
let d : DateTime = tryParse DateTime.MinValue "2015.05.01"
浏览 3提问于2015-10-16得票数 6
2回答
以下F#代码
let f<'T when 'T: (member Id:int)> (t:'T) = t.Id
如果出现以下错误，则不接受：
错误FS0670此代码不够通用。当^T：(成员get_Id：^T -> int)时，类型变量^T无法泛化，因为它将转义其作用域。
怎么了？怎么修呢？
编辑
@费奥多:狡猾！我做了一些测试，发现更奇怪的是：
let inline f1<^T when ^T: (member Id:int)> (t:^T) = ( ^T: (member Id:int) t )
let inline f2<
浏览 0提问于2018-02-20得票数 8
回答已采纳
3回答
F#中的加法类型(+)
、、、
我刚刚了解到，OCAML必须有一个.后缀来执行浮点算法。一个例子是3. +. 4.，它等于7. (浮点数)。但是，F#以相同的方式处理浮点数和整数算法，因此3 + 4 (int)和3. + 4. (浮点数)都能工作。
F#自然地将+分配给int，因此let add a b = a + b是int -> int -> int类型的。事实上，(+)给了我val it : (int -> int -> int) = <fun:it@6-1>。
这导致了以下的顺序，我认为这是非常违背直觉的：
> 3. + 4.;;
val it : float = 7.0
&
浏览 9提问于2011-06-08得票数 14
回答已采纳
1回答
我想实现一个泛型F#类，它的类型参数肯定会提供一个名为"TryParse“的静态方法。除此之外，我希望我的类在不再需要时能够正确处理。我想出了以下实现： type Listener<'a when ^a : (static member TryParse : string -> ^a option)>() =
// construct the object here
let input : string = "" // get input
let res = (^a : (static member TryParse : s
浏览 20提问于2020-09-02得票数 4
回答已采纳
1回答
大多数编程语言都有一些在编译时根据类型选择实现的方法。函数重载是一种常见的方法。使用模板(在C++或D中，可能带有约束)是另一种选择。
但在F#中，如果不使用类方法，我就无法找到如何做到这一点，从而丢失了一些很好的属性，比如currying。
let f (a:int) =
提供Duplicate definition of 'f'
F#有，但我不知道如何使用它..
let f (a:^T) =
match T with
在match T上给The value or constructor of T is not defined
let f (a:^T) =
浏览 0提问于2013-08-22得票数 1
1回答
我使用的是OpenTK及其数学库，但不幸的是，向量类没有通用接口。例如，Vector2、3和4都具有相同的静态方法SizeInBytes
现在我可以重载大量不同的构造函数，但是我认为应该可以通过类型约束来解决这个问题。
我在读和我发现了这个
type Class4<'T when 'T : (static member staticMethod1 : unit -> 'T) > =
class end
现在我自己试过了，但语法不正确。
type Foo<'T when 'T: (static member SizeInB
浏览 0提问于2014-01-04得票数 4
回答已采纳
1回答
当使用requires子句的类模板的成员在类之外定义时，如果没有指定requires，则gcc不会抱怨，而clang会抱怨。
考虑下面的代码片段：
#include <concepts>
template<typename Container>
requires std::integral<typename Container::value_type>
class Foo {
public:
void func();
};
template<typename Container>
void Foo<Container&g
浏览 11提问于2020-08-28得票数 6
回答已采纳
2回答
此代码不编译：
let f = fun x y -> x <<< y // bit shift
let g = fun x y -> x <<< y
[<EntryPoint>]
let main _ =
printfn "%d" <| f 1 10
printfn "%d" <| f 1L 10 // error
printfn "%d" <| g 1L 10
0
(7,21): error FS0001: This expression was e
浏览 5提问于2014-10-29得票数 0
回答已采纳
1回答
我正在使用这个扩展方法来转换我项目中的对象。但是它无法转换GUID，因为它没有实现IConvertible接口，但对于转换，我总是必须使用new Guid(fooobject)，但我希望我可以使用此方法将对象转换为GUID。有没有什么想法可以让我们更灵活地使用GUID。
扩展方法是
public static T ToType<T>(this object val, T alt) where T : struct, IConvertible
{
try
{
return (T)Convert.ChangeType(
浏览 2提问于2012-08-06得票数 4
回答已采纳
我要处理掉这个警告。据我所知，这是因为DerivedClass不被视为普通的旧数据。我读到了关于和的偏好，但我仍然不明白为什么DerivedClass不是POD。如果我将BaseClass的成员放入DerivedClass中，而不使用继承，那么一切都没问题。我使用C++11
下面是一个示例：
#include <iostream>
using namespace std;
class BaseClass
{
public:
int a;
};
class DerivedClass : public BaseClass
{
public:
int b;
};
浏览 0提问于2018-12-19得票数 5
我理解勾号表示泛型参数，如：
Seq.append : seq<'T> -> seq<'T> -> seq<'T>
但是插入符号意味着什么，比如：
Seq.average : seq<^T> -> ^T
浏览 1提问于2012-06-29得票数 5
回答已采纳
3回答
public class BusinessObjects<O>
where O : BusinessObject
{
void SomeMethod()
{
var s = O.MyStaticMethod(); // <- How to do this?
}
}
public class BusinessObject
{
public static string MyStaticMethod()
{
return "blah";
}
}
有没有一种正确的面向对象的方法来
浏览 0提问于2012-02-05得票数 13
回答已采纳
3回答
我正在尝试创建一个泛型函数，它要求其类型参数是一个记录类型，并且具有特定的属性。下面是一个生成相关编译器错误的示例：
let foo<'a> (a : 'a) =
a' = { a with bar = "baz" }
a'
编译这段代码时，我得到了一个错误，声明为The record label bar is not defined。
我尝试添加以下类型约束：
let foo<'a when 'a : (member Id : string)> =
// ...
但这也没有编译，抱
浏览 2提问于2016-09-01得票数 8
1回答
抱歉，标题太差了。
考虑以下职能：
let inline getName arg =
( ^a : (member Name : string) arg)
我知道它能做什么，但我知道这只是因为我复制粘贴了它。
它说:给定一个arg，返回arg的name成员。
然而，我没有得到第一部分^a，也没有得到: (member Name : string)。
我只知道最后一个arg是应用^a : (member Name : string)函数的arg值。
浏览 1提问于2014-01-15得票数 3
回答已采纳
1回答
如果我可以在F#中使用类型类，我正在尝试做一些简单的事情。
我希望能够计算任意类型的运行平均值，我已经定义了加法、标量乘法和标量除法。到目前为止，这是我未编译的尝试：
let updateMean<'a when 'a : (static member (*) : 'a -> float32 -> 'a) and 'a : (static member (/) : 'a -> float32 -> 'a) and 'a : (static member (+) : 'a -> '
浏览 3提问于2014-02-02得票数 5
回答已采纳
struct X
{
void f(double) {}
static void f(int) {}
};
int main()
{
X x;
auto y = x.f;
}
gcc说：
error: unable to deduce ‘auto’ from ‘x.X::f’
x.f是5.2.5 expr.ref中记录的类成员访问postfix-expression
它有效地说：
如果f是(可能是重载的)成员函数，则使用函数过载解析(13.3)来判断x.f是指静态成员函数还是非静态成员函数。(来自N3485 5.2.5.4.3 )
如何在这里应用过载
浏览 1提问于2013-05-14得票数 3
回答已采纳
let inline set (x: ^t) = BitConverter.ToUInt32(BitConverter.GetBytes(x),0)
我尝试过类似上面的方法，但它不起作用。也不需要类型约束或运行时解析类型。另外，我猜答案是否定的，但有没有可能告诉编译器泛型类型仅仅是float32或float？这会省去我很多麻烦。
编辑：
令我惊讶的是，Tomas Petricek写的东西是有效的，而反之亦然：
let inline toUint32 conv x =
let bytes = conv x
BitConverter.ToUInt32(bytes, 0)
toUint3
浏览 1提问于2015-12-19得票数 0
F#的带有静态解析泛型参数的内联函数看起来和C++的模板很相似。然而，与C++不同的是，你需要指定约束--这是如何工作的？
例如，我正在尝试实现一个向上转换函数，但这不会起作用：
let inline myUpcast< ^a, ^b when ^a :> ^b > (x: ^a) : ^b = x
错误消息是: error FS0698: Invalid constraint:用于约束的类型是密封的，这意味着该约束最多只能由一个解决方案满足。
实际上，我正在尝试编写一个函数，当底层类型可以强制转换时，该函数将强制转换序列(以解决协方差不足的问题)，但以下方法也不太有
浏览 0提问于2010-11-17得票数 4
回答已采纳
根据，它说
在重载解析过程中，类X的非静态cv限定成员函数被视为一个函数，如果它没有ref-限定符，或者如果它有lvalue ref-限定符，则接受lvalue引用类型的隐式参数。否则(如果它有rvalue ref-限定符)，则将其视为一个函数，其类型为rvalue引用类型的隐式参数，用于cv限定X。
问题：
1.没有任何参考限定符的成员函数怎么办？它们将被视为使用lvalue ref-限定符隐式声明的函数。我说的对吗？
2.为什么它仅限于非静态cv限定的成员函数(即以粗体表示的文本)，而不是非静态成员函数？他们之间有什么不同？
浏览 10提问于2022-04-07得票数 1
1回答
当阅读时，我无法理解函数toFunctorOps的返回类型之后的curly块是什么；我的猜测是这个块将作为构造函数的一部分执行？如果是，那么为什么使用相同的代码( TypeClassType )定义了两次相同的代码:TypeClassType= FunctorF
trait Ops[F[_], A] extends Serializable {
type TypeClassType <: Functor[F]
def self: F[A]
val typeClassInstance: TypeClassType
def map[B](f: A =&
浏览 0提问于2021-05-02得票数 1
回答已采纳
我甚至不知道如何去寻找它，但我试着测试它，仍然无法理解它。下面的代码是什么意思：
boost::asio::io_service::id service::id;
来自：
浏览 1提问于2018-04-26得票数 0
回答已采纳
1回答
我正在使用Ninject，并且面临着一个使用静态构造函数方法而不是常规构造函数的库的问题：
Kernel.Bind<IDocumentService>().ToMethod(
x => CoDocumentService.Create(x.Kernel.Get<IMessage>(),x.Kernel.Get<IClientChannel>())
).InRequestScope();
现在的问题是，IMessage和IClientChannel的实现略有不同，这取决于Service的类型(即IDocumentService、IAcco
浏览 2提问于2013-01-03得票数 0
回答已采纳
2回答
我想扩展一些系统类型，然后通过内联使用它们。
type System.String with
member this.foo n = this + "!" + n
type System.Boolean with
member this.foo n = sprintf "%A!%A" this n
现在我将这些扩展方法称为
let x = "foo".foo "bar"
let y = true.foo "bar"
这给了我这个
- val x : System.String = &#
浏览 2提问于2016-06-28得票数 4
回答已采纳
我是F#的新手，我惊讶地发现f x y = x + y的类型实际上是int -> int -> int。，这是由于一些性能的权衡.
但为何要这样做呢？为什么不直接推断出'a -> 'a -> 'a或类似的类型呢？它似乎可以用来比较：g x y = x < y的类型是x:'a -> y:'a -> bool when 'a : comparison。为什么算术运算符也不呢？
编译器不能静态地从调用站点推断出特定的原语类型，并从那里专门化泛型函数，如果失败，返回到某些动态分派吗？
这可能是很明显的，但我找不到
浏览 2提问于2014-11-28得票数 7
回答已采纳
2回答
我想有一个实现某些静态函数的泛型参数。作为它的接口(静态函数)的一部分，对我来说，拥有这样的泛型参数约束是合乎逻辑的，但我不知道如何做到这一点。任何帮助都是非常感谢的。
目前，我正在通过定义返回静态值的非静态属性来修复这样的问题，作为OOP开发人员，我当然不喜欢这样。这些属性是某些接口的一部分，泛型参数被约束为从接口继承。
浏览 1提问于2011-07-02得票数 2
回答已采纳
1回答
我想用<:覆盖特征中的抽象类型，而不是用= (就像answer here )。
我想使用蛋糕模式，但这不起作用，我不明白为什么？
trait A {
def ping = println("ping")
}
trait Cake {
type T
}
trait S { this: Cake =>
type T = A
def t: T
t.ping
}
好吧，这个例子运行了，但在我的实际用例中，我想用<:而不是=重写类型，.It似乎不可能访问t函数，为什么？
trait S { this: Cake =>
type T &l
浏览 0提问于2012-04-19得票数 8
回答已采纳
1回答
考虑一下这个代码片段()：
#include <cstdio>
#include <string>
#include <string_view>
struct Option
{
std::string_view name;
constexpr Option( std::string_view const n ) noexcept : name{n} {}
};
template< std::size_t N >
class TransformedOption : public Option
{
public:
con
浏览 1提问于2020-08-10得票数 7
回答已采纳
我使用匿名函数将方法添加到名称空间对象中。最后，我希望JSDoc (3.3版)为MyNamespace.func1()、MyNamespace.func2()等生成文档。我想我可以将此信息添加到函数中定义的每个方法中，但让JSDoc3认识到ns与MyNamespace相同会容易得多。我该怎么做？
/** @namespace */
var MyNamespace = {};
// (... some code that adds to MyNamespace ...)
(function (ns) {
/** Method description 1 */
ns.func
浏览 0提问于2013-10-13得票数 0
1回答
访问Web中类的异常
、、、、
我遇到了一种奇怪的行为。由于此异常，我的Web API突然无法使用：
[ArgumentNullException: Value cannot be null.
Parameter name: String]
System.Number.StringToNumber(String str, NumberStyles options, NumberBuffer& number, NumberFormatInfo info, Boolean parseDecimal) +14198596
System.Number.ParseInt32(String s, NumberStyl
浏览 0提问于2016-09-13得票数 1
回答已采纳
3回答
迭代器的一个简单用法如下：
vector<int> v;
vector<int>::iterator iter;
v.push_back(1);
v.push_back(2);
v.push_back(3);
for (iter = v.begin(); iter != v.end(); iter++)
cout << (*iter) << endl;
我有两个问题：
1)每次我们看到像class-name::member-name这样的声明时，它都是该类的静态成员。
因此，既然迭代器被声明为container<type>::
浏览 6提问于2016-11-20得票数 2
回答已采纳
type MyOpenFileDialog(dg: OpenFileDialog) =
member x.ShowDialog = dg.ShowDialog
member x.OpenFile = dg.OpenFile
type MySaveFileDialog(dg: SaveFileDialog) =
member x.ShowDialog = dg.ShowDialog
member x.OpenFile = dg.OpenFile
下面指出'T (^T)将会脱离它的作用域：
type MyFileDialog<'T
when
浏览 1提问于2015-02-04得票数 0
3回答
在这个链接中：
在这句话中：
如果任何候选函数是没有显式对象参数的成员函数(静态函数或非静态函数)，而不是构造函数，则将其视为具有额外参数(隐式对象参数)，该参数表示调用对象的对象，并显示在第一个实际参数之前。
我不明白为什么这里提到静态这个词？隐式对象参数不是this指针(只存在于非静态函数中)吗？
本链接中的编辑：
引用：
关键字这是一个rvalue (直到C++11)prvalue (自C++11)表达式，其值是隐式对象参数(调用非静态成员函数的对象)的地址。它可以出现在以下上下文中：
浏览 4提问于2022-06-03得票数 13
回答已采纳
2回答
我需要实现一个静态扩展方法，支持一些基本原语类型(如整数、浮点数等)上的成员约束。下面是我的有符号整数代码：
module MyOperators =
let inline foo (x : ^T) = (^T : (static member Foo : ^T -> int) (x))
type System.Int32 with
static member Foo(x : Int32) = 7 // static extension
测试代码：
open MyOperators
let x = foo 5 // x should be 7
浏览 10提问于2010-09-09得票数 5
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
实时音视频
即时通信 IM活动推荐
腾讯云开发者
