如何一般地将参数约束为元组的成员？

文章/答案/技术大牛

发布

1回答

typescript、typescript-generics、typescript4.0

从带有命名元组的Typescript 4.0开始，我想知道以下情况是否可能： declare const foo: <T extends string[], U extends memberOf T>['Alice', 'Bob'] foo(ALL_OPTIONS, 'Alice') // No Error 基本上，我试图将U限制为<em

浏览 9提问于2020-09-24得票数 1

回答已采纳

1回答

带有多个元组参数的f#静态成员约束

在f#中，我试图使用一个成员约束在C#定义的对象上调用一个函数。由于c#成员函数使用多个参数，f#编译器将其视为元组，但在应用泛型成员约束时，我得到一个错误，该函数接受4个参数，但我只提供了一个参数。我试着从参数中形成元组，或者只使用预元组的参数集，但两者都给出了相同的错误。我想我一定是错误地

浏览 1提问于2016-09-13得票数 3

回答已采纳

3回答

令人惊讶的元组平等

c#、equality、tuples

直到今天，我对.NET Tuple类的理解是，它们将它们的Equals()实现委托给它们的内容，允许我将它们“按值”等同和比较。}这真的是Tuples应该做的吗？结构兼容性实际上是对平等的额外

浏览 6提问于2011-02-21得票数 35

回答已采纳

1回答

回溯设计技术的一般定义

algorithm、backtracking

基于的回溯算法设计技术从更一般的角度来看，大多数回溯算法都符合以下描述。回溯算法显式地<

浏览 5提问于2012-05-04得票数 2

1回答

如何创建一个std::tuple，它包含由索引元组指定的向量中的成员？

c++、stl、variadic-templates

我有一些值的std::vector，例如std::vector<std::string> v = {"a", "b", "c", "d", "e"};，然后我有一个从参数包创建的数字元组(即它可以有任何大小如何创建将索引元组用作向量索引的向量成员元组(此处为std::string的

浏览 6提问于2017-02-09得票数 1

回答已采纳

2回答

SQLite:使用表作为其他表的基

sqlite、database-design

我正在为一个拥有大约100到200名成员的小型组织建立一个数据库。这些议员须缴付一小笔费用才可成为会员。现在，我想创建一个表，其中显示成员的姓名，如果他们已经支付了费用：| Name | Paid?| 如果有解决方案，是否保证<

浏览 6提问于2016-11-09得票数 0

回答已采纳

1回答

在C++中使用参数包作为类属性有可能和/或良好的实践吗？

c++、oop、templates、variadic-templates、generic-programming

我正在编写一个简单的模板结构(在C++中)，它可以在控制台中显示一个格式化的“菜单”。我这么做主要是为了玩各种各样的争论。该结构的模板通过自动推导输入类型(InputTy)、提示类型(PromptTy，可能通常是std::string或const char*)和消息参数包(class... MsgTypes)来工作。这个类的声明看起来如下：struct Men

浏览 5提问于2019-11-20得票数 0

回答已采纳

1回答

(Python MySQLdb)尝试将UTF-8插入到MySQL中时

python、mysql、utf-8

我找不到解决办法。你能帮我回答这个问题吗？ c=MySQLdb.connect(host=ddb['host'],user=ddb['user'],passwd=ddb['passwd'],db=ddb['db'], use_u

浏览 1提问于2012-11-13得票数 2

回答已采纳

2回答

如何定义这个静态解析的类型参数？

member x.CheckCanExecute (sender:obj) (eventArgs:EventArgs) = event.Trigger([| sender;eventArgs |])let checkCanExecute (c:RelayCommand) = c.CheckCanExecute (box this) (Even

浏览 3提问于2016-06-07得票数 3

3回答

如何将自动lambda参数约束为指向成员函数的指针？

c++、lambda、function-pointers、auto、pointer-to-member

我有一个泛型lambda函数，它需要接受一个指针到成员函数作为参数。当然，我可以单独使用auto，编译器将推断出正确的类型。但是，在可能的情况下，我更愿意在适当的情况下用*、&和const来装饰我的汽车参数，从而更好地交流推断类型的性质和意图。如果我简单地将auto参数设置为auto*，我就会得到一个编译器错误，这并不令我感到惊讶，因为a

浏览 14提问于2022-02-03得票数 2

回答已采纳

3回答

构造函数初始化列表中的约束检查

c++、initialization、constraints、initialization-list

您希望初始化一个非默认的可构造成员，但需要在构造它之前检查它的约束。(请注意，这只是一个例子。在这种特定情况下是否应该使用无符号整数是可以讨论的，但问题实际上是关于一般情况，您希望签入构造函数)。RenderTarget { .... int width_, height_;};

浏览 7提问于2014-05-23得票数 11

1回答

命名元组为参数类型提示

python

如何正确地将命名元组记录为带有类型提示的函数参数？在PyCharm中，当按名称访问元组项时，它会提供一个未解决的引用警告。

浏览 4提问于2022-05-06得票数 0

2回答

Python ~访问模板类中的元组成员

python、sqlite、dictionary

我是Python的新手--请注意！ </table> </li>"""我使用fetchall从sqlite数据库拉取数据，它返回一个元组列表通过将模板改为%s而不是%( isbn ) isbn，我可以很好地将<

浏览 0提问于2010-08-20得票数 3

回答已采纳

1回答

Boost.Bind -了解占位符

c++、boost、boost-bind

我正在尝试理解下面的示例，它与之前在SO 上发布的示例相似(但不相等)：#include <functional> boost::bind(&X::value, _1), (a, b);最外层的绑定函数知道它必须将第一个参数传递给第二个绑定(期望_1)，而将第二个参数</

浏览 1提问于2010-09-21得票数 7

回答已采纳

1回答

不能定义运算符

generics、f#

，在”this.X.x“下放了一条蓝色的小行。红色squiggly行的错误消息如下：当'T：‘时，类型参数缺少约束’ 我尝试

浏览 3提问于2012-06-17得票数 2

回答已采纳

1回答

将成员函数指针转换为普通函数指针

c++、templates、pointers、function-pointers、variadic-templates

我使用的是可变调用模式。它对普通的C函数工作得很好。但我想将它与一个成员函数和一个显式具有实例指针作为第一个参数的元组一起使用。因此指针的类型必须完全匹配。static int wrapFunc(const string& name, Ret (*func)(Args...), lua_State* L) ...}; 如何显式地将成员函数指针转换为以this指针<em

浏览 0提问于2015-12-03得票数 1

1回答

scala中类型参数的伴生对象上的类型约束

scala

我想定义一个名为ExtendedNumber的参数化类，它将采用整数的某种形式，例如Int或Byte，并将其扩展为包括无穷大、-infinity和null。特别是，我想用MaxValue来表示无穷大。如果MaxValue是一个静态成员，我相信我可以这样做： val infinity = T.MaxValue...但是，因为MaxValue是在伴生对象中定义的，所以我认为我需要在

浏览 1提问于2013-02-25得票数 2

1回答

如何使用Boost.Hana声明成员变量

c++、c++14、boost-hana

我以前曾使用过一些Boost.MPL库，我正在尝试更多地了解Boost.Hana。我似乎对图书馆完全误解了。我希望用任意数量的模板参数实例化一个对象，根据这些类型作为成员创建对象元组，并在以后迭代或以其他方式使用该元组。我遇到的是，所有的示例和文档都只处理在函数中生成元组，而不是实际上创建一个可以用于类成员的类型。我可以做一个这样的元组： boost::hana::tuple<

浏览 0提问于2018-08-14得票数 1

1回答

如何迭代宏中元组/对象的字段(名称+类型)？

nim-lang

我想编写宏，它必须根据命名元组或对象的字段执行一些逻辑。我假设这最好通过将tuple/object作为typed参数传递给宏来实现。问题是，一般情况下，我如何迭代typed参数的字段？我基本上是在为宏寻找等效的fieldPairs，也就是说，它不需要使用具体的元组/对象，而是必须对NimNode进行操作，并且还必须返回字段名/类型(用于进一步生成)。

浏览 0提问于2017-02-26得票数 3

回答已采纳

2回答

基于动态、变量或索引的泛型类型变量

typescript、typescript-generics

我想输入一个函数，它以数组元素或数组数组的形式接受各种classes作为输入，该数组由一个class及其method的名称组成。大概是这样的：我还想严格指出，如果选择了[[class, method]]模式，那么可以只指定这个特定类的方法B, 'b'], // same type error..., expecting only "b&quo

浏览 0提问于2021-03-26得票数 1

点击加载更多