在DAML中，有没有可能有一个泛型参数给一个选择，而模板本身不是泛型的？
在DAML中，泛型参数通常用于在模板定义中提供灵活性和重用性。泛型参数可以用于定义模板的字段、关键字参数、返回类型等。在DAML中，一个选择（choice）是指在合同（contract）上触发的操作，它允许合同的参与者在指定条件下进行某些操作。
根据DAML语言规范，选择（choice）不支持直接使用泛型参数。泛型参数只能在模板定义中使用，而不是选择（choice）中。这意味着，选择（choice）的定义本身无法根据不同的泛型参数进行动态调整。
然而，可以通过其他方式实现对选择（choice）的参数化。一种常见的方法是使用模板的字段来存储泛型参数，并在选择（choice）中使用该字段作为参数。通过将泛型参数存储在模板字段中，可以在每个具体的合同实例中使用不同的参数值，并通过选择（choice）对其进行操作。
总结起来，在DAML中，选择（choice）本身不支持泛型参数，但可以通过使用模板字段来传递参数，并在选择（choice）中使用该字段作为参数来实现类似的效果。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云 DAML 服务：https://cloud.tencent.com/product/daml
- 腾讯云云计算服务：https://cloud.tencent.com/product/Compute
- 腾讯云数据库服务：https://cloud.tencent.com/product/Database
- 腾讯云物联网服务：https://cloud.tencent.com/product/IoT
- 腾讯云人工智能服务：https://cloud.tencent.com/product/AI
- 腾讯云移动开发服务：https://cloud.tencent.com/product/Mobile
- 腾讯云存储服务：https://cloud.tencent.com/product/Storage
- 腾讯云区块链服务：https://cloud.tencent.com/product/BC
- 腾讯云元宇宙服务：https://cloud.tencent.com/product/MetaUniverse
相关·内容
在我的模型中，我试图定义一个非泛型模板，它有一个带有泛型参数的选项。我不知道该怎么做。这有可能吗？若否，原因为何？
浏览 35提问于2019-09-05得票数 0
回答已采纳
1回答
C#中的数组与泛型
、、、
我注意到数组在c#中实现了ICollection<T>。数组如何实现泛型容器接口，而不是泛型本身？我们能做同样的事吗？{}
这是一个很
浏览 1提问于2016-03-01得票数 4
回答已采纳
2回答
Something() Console.WriteLine("Create something"); }当我运行上述代码时，我已经说明了static Test()中的静态构造器将被调用一次
浏览 2提问于2014-03-11得票数 4
回答已采纳
假设我使用如下的泛型类型： class Foo<T> { print(T.self) }
}Foo<String>() 起初，它会像预期的那样输出"String“，但是当我在调试器中键入po T.self时，当断点处暂停时，它会立即结束调试会话，而不是显示结果。po String.self可以正常工作，所以我假设
浏览 20提问于2019-08-23得票数 0
回答已采纳
1回答
ECMA允许泛型实例在实例化时实际生成泛型定义的不同实现。实例化可以基于所选的泛型参数进行专门化。换句话说，ECMA的简单实现能否决定将结构实例化<
浏览 5提问于2022-09-12得票数 1
回答已采纳
如果要创建类型为T的空IEnumerable，可以使用静态泛型方法创建它有关更多信息，请参见。为什么Microsoft选择这个选项而不是在泛型类型上使用静态方法(而不是在非泛型类型上使用一般静态方法)？这种方法可以这样使用：然后返回
浏览 7提问于2010-11-18得票数 2
回答已采纳
这将使我不必为了能够处理不同T类型的泛型对象而创建如此多的一次性接口。这个想法有没有根本的问题，这就是为什么它不是语言的一部分，或者只是一个“它没有被优先考虑或被认为是重要的”的情况？如果这个特性存在，你就不会认为它是生成的接口，例如，List<>类型的变量当然可以保存任何泛型列表，比如List&l
浏览 2提问于2016-10-25得票数 1
我有一个库，其中的模板类/函数经常访问输入类型的显式成员，如下所示：typename InputType> InputType arg1的泛型类型。有没有一种方法可以快速找到库中所有可以传递给InputType的有效类型(对于SubType1和SubType2也是如此)？到目前为止，我只是在整个代码库中搜索
浏览 0提问于2013-03-14得票数 0
1回答
我正在尝试从另一个类访问泛型，该类将作为泛型本身传递。import Foo from './Foo';如何在K类中访问V和Bar类？我想创建一个使用这些类型的抽象方法，但我不确定如何实际访问嵌套的</e
浏览 0提问于2019-05-12得票数 3
1回答
多态性不适用于C#中泛型类的调用
、、、、
看起来，在以下情况下，多态性不能正常工作，我有以下定义：interface NewInterface:BaseInterface{}谢谢
浏览 5提问于2012-05-30得票数 10
回答已采纳
1回答
在c#中禁用Xamarin的泛型
、、、、
我有一个C#应用程序，它使用单调(Xamarin)将导入到原生iOS代码。
我在使用的泛型中链接的一些库。然而，这种编译方法由于使用了C++风格的List<int>、List<string>等模板代码生成函数，导致了大量的代码膨胀。我想要的是Java风格的泛型，其中泛型用于编译时检查，但
浏览 5提问于2015-07-17得票数 2
1回答
在Dart中，有没有可能有一个需要泛型类型来实现特定运算符函数的泛型约束？
我想要一个可以接受任何实现operator []的类型的泛型函数。
浏览 2提问于2020-11-03得票数 0
Args2.0添加了EventHandler<TArgs>泛型委托类型来简化编写自定义事件的过程；您只需编写args类，而不必定义EventArgs类及其对应的委托(例如MyEventArgs和MyEventHandler考虑到这一点，为什么这种委托类型几乎没有出现在.NET框架中？我知道大多数核心API都是在引入泛型之前开发的，但即使是在框架的新部分，如WPF，他们也
浏览 0提问于2010-11-12得票数 11
回答已采纳
4回答
这可能有点难以描述。但是，我会尝试一下;)
遵循fluent风格，类的方法返回类实例本身(this)是很常见的。，可以在继承的第一步中通过泛型类型并将返回类型转换为超类中的泛型类型来实现这一点。，当我试图定义方法的泛型返回类型(在上层类中)和类描述本身时，我遇到了麻烦，例如，
浏览 0提问于2012-06-22得票数 10
回答已采纳
来自C# 5.0规范
泛型类型声明本身表示--一个未绑定的泛型类型，通过应用类型参数，它被用作形成许多不同类型的“蓝图”。类型参数是紧跟在泛型类型名称后面的尖括号(<和>)中写入的。未绑定的泛型类型只能在类型表达式中使用(§7.6.11)。包含至少一个类型参数的类
浏览 3提问于2017-04-26得票数 3
2回答
在继承中使用泛型约束时，我遇到了一些非常令人惊讶的事情。我有一个不同于参数的重载方法Foo -无论是基类实例还是派生类实例。在这两种情况下，它通常只是将实例传递给第二对重载方法- Bar。但是，当我尝试将Foo方法合并到使用泛型和约束的单个GenericFoo中时，方法的解析方式不同-T被正确解析，但只调用了Bar的基类重载。public static void Bar(Cat o
浏览 0提问于2011-11-23得票数 7
回答已采纳
2回答
我在互联网上找不到任何关于这方面的东西，所以我正在寻找一个对C++/CX实现方式有深刻见解的人。C++/CX上的说它支持基于运行时的泛型，这意味着您不需要具有完整实现的头文件来实例化泛型类型。我理解了.NET是如何工作的(程序集包含IL代码，只要有新的实例化，JIT就可以将具体类型插入其中并编译它)，但在C++/CX (它是本地编译的)中</e
浏览 1提问于2012-05-17得票数 8
回答已采纳
1回答
我读到了关于反向和协方差问题的文章，看起来我的代码就属于这一类。我只是想确认一下我是否做错了什么。我使用的是VS 2005 (公司政策..)entityBase {} entity2Dal : dalBase<entity2>{}
浏览 2提问于2013-06-14得票数 0
1回答
我想知道是否有一种与C++的模板类似的方法，基于某个整数来定义泛型类型。我知道Swift的泛型类型，但我不想提供一个Type，而是一个Int。在C++中，如下所示：class Vector {}let vector = Vector<3>(
浏览 2提问于2022-06-20得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
云直播
对象存储活动推荐
腾讯云开发者
