functor 相关问题

术语“仿函数”有几个常见的含义:1。函数对象。在面向对象语言中,它是一种允许使用对象的功能,就像它们是普通函数一样。 2.处理类别之间映射的数学结构。这个概念在一些编程语言中是一个有用的抽象,特别是Haskell,它被实现为一个类型类。 3.在OCaml中,一个以另一个模块作为参数的模块。

Functors,如何使用它们?

我对函子是陌生的,可能需要寻求帮助吗?有人会告诉我如何编写两个函子,一个将两个值相加,另一个将另一个相减吗?我试过的是:template

回答 1 投票 -5

在C ++ 11中将函子作为参数

我想运行以下代码:类SignedSquareRoot {公共:int operator()(int val){return val> = 0? sqrt(val):-sqrt(-val); }; }因此,我在课堂上写下了以下内容:...

回答 1 投票 -1

加入线程时无限循环

我正在尝试使用此处提供的ThreadPool类,不幸的是,此类的设计方式是在创建时创建其线程并将它们加入析构函数中。制作...

回答 1 投票 1

C ++将函子对象作为std :: function

我有一个工厂方法返回std :: function类Builder {public:function build(); }和函子对象类Processor {protected:vector ...

回答 2 投票 0

类型函子和立即数数组解压缩

我需要帮助,将纸上写的一些具有挑战性的,受TS启发的伪代码转换为具体的TS。类型F > = Pick

回答 1 投票 0

我如何比较std :: function对象?

我有一个向量std :: function对象,其定义如下:std :: vector > funcs = {myFunc1,myFunc2,myFunc3}; //函数定义如下:// void myFunc1(...

回答 1 投票 0

为什么需要在Scala猫中使用Functor

我刚刚开始学习Scala猫框架。我正在阅读Functor。我了解它的功能,但不了解它的用法。如果...

回答 1 投票 0

C ++:对函子的重载调用运算符的未定义引用

template class Predicate {public:bool operator()(const T&x)const; };模板 类LessThan:public谓词 {public:显式...

回答 1 投票 0


智能构造函数类型可以具有多个有效的Functor实例吗?

关于函子的这两个规则是众所周知的:如果类型参数相反地出现,则不能创建函子。任何类型最多具有一个有效的函子实例,但是如果您作弊,...]

回答 1 投票 3


是否有两个函子之间不存在自然变换?

我有一个Task,它基本上是具有合并错误情况的延续类型,并且是Optional,它表示可能不会产生结果的计算。似乎是自然的...

回答 1 投票 0

Haskell类型类可以部分实现吗?

我想制作一个成对的类型来表示模块化算术。我将其构造函数设为{-语言GADT-}数据Zn e,其中Zn :: Integer-> Integer-> Zn Integer因为我想成为...

回答 1 投票 1

如何从Map.Map提取键?

我希望从地图中提取所有密钥,但是我不知道如何访问这些密钥。我已经成功地从诸如Maps之类的所有可折叠类型中获取了所有值,但是我不确定如何访问...

回答 1 投票 -1

C ++何时需要模板参数?

我很好奇C ++中何时需要模板参数。例如,我们将一个类定义为template class Add {T value;添加(T值):值(值){}; T运算符()(T ...

回答 2 投票 0

Cats:为没有类型别名的谓词实现逆变?

说谓词是一个函数A =>布尔值,我想为谓词实现Cats的“ Contravariant Functor”类型类的实例。我还有一个隐式类PredicateOps,它定义了...

回答 1 投票 0

比较功能对象的类型签名

如何在方法签名中使用比较函数对象类型?例如,这很好:struct compInt {bool operator()(const int a,const int b){return a ... ...>

回答 1 投票 0

Prolog概念-使用递归替换原子

我在Prolog中难以理解“树”遍历的概念。给定一个输入列表,如果叶子中存在原子(忽略函子),则以下代码替换hi到bye原子。我把评论%放在下一个...

回答 1 投票 0

可以接受任何可调用对象的函子类的构造函数

我想创建一个可以接受其他可调用对象的仿函数类。例如,我尝试了以下操作:#include template ...

回答 1 投票 0

每个替代的Monad是否可以过滤?

集合的类别既是笛卡尔单曲面的又是笛卡尔笛卡尔的。下面列出了见证这两个单曲面结构的规范同构的类型:类型x + y =任意x y ...

回答 1 投票 8

© www.soinside.com 2019 - 2024. All rights reserved.