3回答
F#支持“非托管”的类型约束。这与值类型约束不同，比如"struct“约束。指出，非托管约束的行为是：
提供的类型必须是非托管类型。非托管类型可以是某些基元类型(sbyte、byte、char、nativeint、unativeint、float32、float、int16、uint16、int32、uint32、int64、uint64或decimal)、枚举类型、nativeptr&l
浏览 53提问于2014-12-30得票数 20
回答已采纳
1回答
.>台风:代表
在求解约束期间(§14.5)，如果类型为委托类型D，声明类型D=对象的委托* arg1 *.* argN和元组-arg- type = arg1 *.* argN，则满足约束类型:委托。
浏览 1提问于2013-10-15得票数 2
回答已采纳
我尝试了以下类型约束：* Return an array of elements that have property `a` of type `1`.function arrFunc<T extends { a: 1 }>(): T[] {}
由于某些原因，允许使用与约束无关的任意类型实例化为什么允许它，即为什么类型约束
浏览 7提问于2022-05-02得票数 0
3回答
在.NET泛型中是否存在对类型参数使用子类型约束的实际示例？我指的是子类型约束。和可能有一些有相应约束的标准泛型吗？UPD有很多有接口约束的好例子但是，子类型的约束似乎非常具体，不太有用。我试着理解，在这种情况下，这种约束是非常关键的。Luaan的答案包含
浏览 2提问于2014-06-19得票数 0
回答已采纳
有没有办法将一个类型参数限制为从另一个类型参数派生？Foo<'T, 'U when 'U :> 'T> = 此代码生成以下错误：错误2此类型参数的使用方式将其约束为
浏览 20提问于2010-10-05得票数 20
回答已采纳
我无法在sybase ASE中使用not null约束向表中添加文本类型列。我可以添加文本列，但“非空”约束不能添加。
或者如何修改文本列以添加“非空”约束。当我试图修改一个文本列时，我得到错误“你不能修改列类型为TEXT / colName /UNITEXT类型”。请建议如何增加或修改有非空约束的文本类型列。
浏览 11提问于2018-11-30得票数 0
1回答
如果约束为false，则可以使用别名模板指向类型，如果约束为真，则可以指向另一种类型吗？因为我希望类中的某些类型在不遵守约束的情况下设置为void，或者在不需要使整个类需要约束的情况下将约束设置为其他类型。
浏览 5提问于2022-10-10得票数 2
回答已采纳
我定义了一个自定义GADT，其中类型构造函数在类型变量上有一个类型类约束，如下所示： Sample :: Show a => a -> MyGadt afoo (Sample a) = show a
GHC为他们推断的类型对我来说有点烦人。foo :: MyGadt x -> [Char]没有提到x的Show约束，而bar :: Show a => a
浏览 1提问于2021-07-26得票数 3
回答已采纳
1回答
我的问题是关于如何在关联的类型约束(即种类约束的类型)中放置相等约束。特定用例是由部分应用的类型参数化的类： type Ctx c m r :: Constraint
f :: (Ctx然而，GHC抱怨：“不在作用域中:类型变量b”。我看不到任何其他方式来表达这种约束。并不是每个实例都需要‘m~ be b'，所以我不能把这个约束</em
浏览 7提问于2012-09-25得票数 3
回答已采纳
1回答
我很难掌握Monad Reader函数的以下类型类约束，它接收多个变量，如何正确理解类型类约束哪一个是类型构造函数，r或m，还是两者兼而有之？(从m a部分可以看出，类型构造函数是m)。与例如绑定函数相比，在绑定函数中，类型类约束仅接受单个参数；
(>>=) :: Monad m => m a ->
浏览 1提问于2016-02-18得票数 0
5回答
类型约束
、、、、
IEnumerable<ItemB>
class ItemA : Item { .... }有没有可能对Item的类型进行编译时检查
浏览 0提问于2012-09-14得票数 3
回答已采纳
如果我有一个具有struct约束的通用接口，如下所示：我可以像我的类型T那样提供枚举，因为enum满足struct约束：C# 7.3添加了一个。Enum { }public class MCVE<T> : IStruct<T> where T
浏览 1提问于2018-05-11得票数 14
回答已采纳
1回答
T]) -> [T] {}
我理解可以使用协议对泛型类型施加约束。但是，在这种情况下，我不希望对T有任何限制。相反，我希望约束
浏览 0提问于2016-04-24得票数 3
回答已采纳
因为如果继承的类从基类继承并传递其泛型类型(基类上有约束)，则自动意味着继承类中的泛型类型应该具有相同的约束，而无需显式定义它。不是应该吗？但。这就是为什么我认为应该在继承的类上继承/强制泛型约束，就像对成员泛型类型约束一样，因
浏览 6提问于2011-12-22得票数 27
回答已采纳
1回答
“新”约束必须采用一个类型'unit‘的参数，并返回构造的类型
是否可以使用构造函数约束来约束泛型类型构造函数，使其具有unit以外的特定签名？
浏览 1提问于2020-08-08得票数 2
回答已采纳
2回答
就像有“数据类型”和“验证类型”一样。
因此，传统的“类型”(“验证类型”)实际上是对底层数据类型(S)的一组约束。由于它可以跨越许多数据类型(上一个示例中的整数或字符串)，所以它实际上是在一个包含所有数据类型的抽象数据类型上，即“基本”数据类型。然后，在这个基本数据类型之上，这是某种内存中的记录，您有一组约束。这些约束可以是对单个记录字段的约束
浏览 0提问于2021-02-28得票数 2
回答已采纳
1回答
此外，由于类型是动态的，所以不能将Cat直接作为参数传递。实例方法“InitializeAWalkableAnimal(walkableAnimal：)”要求“动物”符合“可步行”
这是胡说八道，因为typealias不允许不是Walkables的类型有任何方法可以传递任何符合Animal和Walkable的类型吗？为什么typealias不能工作？typealias明确地提到，它所采用的类型必须是Animal和Walkable。
浏览 0提问于2019-02-06得票数 0
回答已采纳
2回答
是否有可能编写一个类型函数，该函数接受像Show这样的约束，并将约束RHS的约束返回到不是Show实例的类型？
浏览 2提问于2019-08-04得票数 3
1回答
当我在haskell中有如下数据类型时：然后，我可以将处理给定类的类型值的函数放入此数据类型中：A (+3) :: A Num :: A Num
但是，是否也可以将具有多个约束的函数放入此数据类型中？我知道一种解决方案是使用“虚拟”数据类型和类型族，但如果有其他方法，因为它的复杂性，我不想这样做。
浏览 13提问于2013-06-23得票数 6
回答已采纳
4回答
以下类型扩展 member this.Differencedo dict.Add(k, v)给出错误：
签名和实现不兼容，因为类型参数'TKey‘的声明需要表单'TKey :相等’的约束。但是，
浏览 0提问于2011-08-15得票数 7
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
