3回答
有没有办法在Haskell中轻松地“提升”一个类实例？我经常需要为一些类创建Num实例，这些类只是通过类型构造函数“提升”Num结构，如下所示：
instance (Num a)=>Num SomeCons有没有办法避免这种样板，并自动“提升”这个Num结构？我通常不得不在Show和其他类中这样做，当我试图学习existencials时，编译器不让我使用deriving(Show)。
浏览 3提问于2009-11-30得票数 13
回答已采纳
1回答
我引用Herbert的话: JAVA，完整的参考第8版。当您移动byte和short值时，Java的自动类型提升会产生意想不到的结果。如您所知，在计算表达式时，byte和short值被提升为int。此外，这样一个表达式的结果也是一个int。此外，当将负byte或short值提升到int时，该值将为int。因此，高阶位将填充1’s。由于这些原因，要在字节或短字节上执行左移位，就意味着必须丢弃int结果的高阶字节。例如，如果左移一个byte值，则必须首先将该值提升<
浏览 3提问于2014-08-10得票数 2
回答已采纳
1回答
但是我偶然发现了一个新的，上面写着
如果任何表达式为int类型，且不是常量表达式(§15.29)，则推广的类型为int，而其他非int类型的表达式将经历扩展的原语到int的转换。否则，如果任何表达式都是短类型，而其他表达式要么是类型短，要么是字节类型，或者是具有在类型短中可表示的值的int类型的常量表达式，则提升的类型是短的，字节表达式将经历将基元转换为短的扩展，而int表达式将经历由收缩原语转换为短的转换否则，如
浏览 7提问于2020-08-17得票数 1
1回答
我有一个在GHC7.4.1中通过DataKinds提升的数据类型，还有一个给定的类型类，我想用它来做特定类型的操作。然后，我尝试创建提升类型的类型类实例，如下所示： ...我得到以下类型的错误：The first argument of `TypeTraits' should have kind `*',
but
浏览 1提问于2012-04-24得票数 6
回答已采纳
2回答
是否可以将实例提升到派生类的实例？后来，人们发现了这辆车是什么，比如说它是一辆Boat。是否可以将Vehicle实例提升到Boat对象？澄清：Vehicle实例可能设置了内容，提升的对象需要使这些内容持久化
我现在正在成功地做这件事，但是用一种非常
浏览 3提问于2017-09-23得票数 1
1回答
JPA规范说：
只允许比较同类类型的值。如果一个类型对应于同一Java语言类型，或者如果一个类型是原始Java语言类型，另一个类型是包装Java类类型等效(例如，int和Integer在这个意义上类似类型)，则它们类似于另一种类型。此规则有一个例外:比较适用数值提升规则的数值是有效的。除此数字大小写外，不允许尝试比较非类类型值的条件表达式。请注
浏览 0提问于2012-12-01得票数 0
回答已采纳
4回答
我对以下Java语句有一个问题：byte r = (byte) (b * b); // Giving correct result
byte r = (byte) b * b
浏览 3提问于2019-01-16得票数 15
1回答
文字1的类型为Int。它似乎被提升为Double，它是Real类中的一种类型，因此知道/操作符。这是怎么发生的？它是使用Haskell方法静默地用fromInt 1替换文字1，还是正在发生其他事情？如何选择Double作为Real实例在这里使用？是否有类似Haskell中的“默认”实例类型列表？
浏览 1提问于2015-06-16得票数 6
回答已采纳
4回答
在类型对象的代码中有一个对象：Object o现在，它应该是地图！我怎么才能把这个提升到地图上呢？我试过：Map<String, Object> map = (HashMap<String,Object>)o实例'o‘来自XMLRPC请求
浏览 1提问于2010-09-07得票数 4
回答已采纳
2回答
JLS 说：
..。..。在下列情况下，对表达式执行一元数值提升： public short twice(short x) { }有了这个错误：
$ javac xx.javaxx.
浏览 4提问于2021-06-25得票数 1
我读到在Java中，long类型可以被提升为float ( )。我想问一下，长整数在JAVA中占用8字节内存，浮动占用4字节，那么这个提升是如何工作的呢？另外，值得注意的是，所有其他类型的升级都是从较小的原始数据类型到类似或较大的大小数据类型。
浏览 0提问于2015-07-18得票数 7
回答已采纳
2回答
在我的Yesod web应用程序中，我有以下数据类型：
data SensorType = TemperatureSensor | HumiditySensor deriving (Eq, Show,
浏览 5提问于2015-02-21得票数 3
假设我已经具备了将小部件(在本例中使用QLineEdit )提升为一个名为MyClass的类所需的一切。MyClass继承自QWidget，并定义了自己的函数。当我将QLineEdit提升为MyClass实例时，幕后会发生什么？我知道QLineEdit是QWidget的子类，所以MyClass和QLineEdit在这一点上是相关的。但是这些属性会发生什么呢？它是如何改变“类型”的？
除了QLineEdit仍然保留了QWidget的属性(MyClass继承自这个类)之外，我不确定这种小部件提升背后发生了什么
浏览 2提问于2012-09-10得票数 3
回答已采纳
2回答
在C语言中，当调用的函数没有原型时，编译器执行默认参数提升。
但是C++呢？什么时候会发生默认的论点晋升？函数参数包在模板实例化期间进行扩展(14.5.3)，因此当实际调用函数模板专门化时，每个这样的参数都有相应的参数。具有(可能是cv限定的)类型std::nullptr_t的参数被转换为void* (4.10)类型。这些转换之后，如果参数没有算术、枚举、指针、指向成员的指针或类类型，则程序的格式不正确。如果参数具有受积分提升(4.5)约束的整数或枚举类型，或受浮点<e
浏览 0提问于2013-06-28得票数 1
回答已采纳
我是Java新手。在编写Map<>代码时，我发现声明Map<int, int>是一个语法错误，而Map<Integer, Integer>是可以的。是否只有在Java中才能实例化对象类型上的泛型，而不是基元类型？如果是这样的话，原语的装箱/拆箱有明显的性能损失吗？
浏览 1提问于2010-06-10得票数 8
回答已采纳
2回答
编辑:例如，说
data Nat = Ze | Su NatNat :: BOXSu :: Nat -> Nat
我不明白重点。
浏览 3提问于2013-12-13得票数 76
回答已采纳
2回答
U) = f(this)trait Mapper{}
我们如何编写Wrapper.apply，以便这样的实例可以接受Mapper实例？我也不能将Mapper.apply的输入/输出类型“提升”为类型成员，因为该函数是泛型的。
浏览 0提问于2019-05-19得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
