小编fka*_*arg的帖子

如果我使用错误的术语,请原谅我,我是haskell类型操作的初学者...我试图使用具有功能依赖性的重叠实例来对HLists进行一些类型级编程.

这里我的目标是尝试编写类型类HNoNils l l',这HNoNils l l'意味着,l作为列表类型(例如:) Int : String : EmptyNil : Int : HNil,l'是没有特定空类型的相应列表类型EmptyNil(示例的结果:) Int:String:Int:HNil:

{-# LANGUAGE ExistentialQuantification,
  FunctionalDependencies,
  FlexibleInstances,
  UndecidableInstances,
  OverlappingInstances,
  TypeFamilies #-}

import Data.HList 
import Data.TypeLevel.Bool

--Type Equality operators
--usedto check if a type is equal to another
class TtEq a b eq | a b -> eq
instance     TtEq a a True
instance eq~False => TtEq a b eq 


data EmptyNil = EmptyNil deriving …

我不久前偶然发现了这个问题,我终于得到了答案!

问题如下:

#include <iostream>

using namespace std;

template <class FIRST, class SECOND>

FIRST multiply(FIRST a, SECOND b){
    return a * b;
}

int main(){
    int x = 39;
    double y = 38.38;
    cout << multiply(x, y) << endl;
}

在这个C++代码中,我有两个模板参数,函数的返回类型是一个参数的类型.我的问题是返回类型必须是(在这种情况下)与变量相同的类型a.我尝试使用THIRD模板参数,但它给了我一个编译错误,有人可以向我解释一下吗？

我不希望它通常是一个long或者什么,我希望返回类型是传递的变量的"最大"类型,因此它也可以使用字符和字符串(对于那些我显然会做另一个操作的人)或者什么,这只是一个例子).