我见过这样定义元组类型的示例：但是当我执行代码时，出现消息:约束中的非类型变量参数：Integral (a, a)，我如何声明一个元组类型？
浏览 0提问于2017-02-08得票数 0
回答已采纳
我的代码如下：calcstep n = calcstep2 n 0
calcstep2 1 k = k
浏览 6提问于2014-01-27得票数 7
回答已采纳
1回答
is_int_v1 = std::is_same_v<T, int>;
concept is_int_v2 = std::is_same_v<T, int>;
在这个代码块中，一种比另一种更好，还是它们是等同的？
浏览 2提问于2022-11-05得票数 2
回答已采纳
2回答
我不理解Int的错误应用.在本教程中，大多数函数的类型声明都具有以下形式但是，当我将(Eq a)替换为(Num a)或(Int a)时，就会出现类似的错误(类型应用于太多的参数)。我尝试了，但它与教程的符号(例如)不一致。
我肯定是对类
浏览 6提问于2013-08-14得票数 0
回答已采纳
1回答
我试图理解C++20的概念，特别是的例子。如果我们用一个比允许的更严格的概念来冒充f，为什么这是一个错误呢？换句话说，Integral4不也满足Integral的概念吗？#include <type_traits>concept Integral = std::integral<T>;template&
浏览 3提问于2022-09-04得票数 0
回答已采纳
考虑想要使单个幂函数工作的例子，不管它是用Floating参数、Num、Integral还是其他什么调用的，它的工作方式是使用由参数类型实现的类型类来选择要调用的预先存在的指数函数。如果这两个参数都符合Floating，那么它将调用(**)；如果第二个参数仅仅是Integral兼容的，它将调用(^)；而任何其他情况都会给出模式匹
浏览 5提问于2014-10-10得票数 12
回答已采纳
(Integral a1, Integral [a2]) => In an equation for ‘luhn(`divMod` 10) . (* 2)) y)) : acc (head y) : acc
我看到错误表明元组(a2)的第二部分是“非类型变量参数”
浏览 0提问于2018-09-09得票数 0
回答已采纳
1回答
以下代码using enable_if_integral_t = typename std::enable_if<std::is_integral<Integral>::value>::type;
class DigitsNumber;
template<class Integral&
浏览 2提问于2013-12-29得票数 3
2回答
通过函数依赖，我可以使用多参数类型类来约束类型类中依赖参数的类型。{-# LANGUAGE FunctionalDependencies, MultiParamTypeClasses,TypeSynonymInstances #-}
11instance F
浏览 1提问于2011-04-12得票数 2
回答已采纳
1回答
如何测试迭代器值是否具有整型？
、、、、
在编写C++模板函数时，我必须检查此函数使用的变量类型是否是整型的。如果是这样的话，就会导致编译错误。}最后，我使用数组大小的参数定义了指向数组<
浏览 0提问于2013-03-27得票数 1
回答已采纳
考虑下面的片段concept unsigned_integral = std::is_integral_v<，那么这应该被认为是标准的疏忽吗？因为使用SFINAE，代码是按预期编译的。SFINAE版本(这只适用于double的情况，因为unsigned int的情况会有歧义，但这不影响我提出的问题)
template <typename T,
浏览 4提问于2020-06-14得票数 17
回答已采纳
在和Haskell玩的时候，我遇到了这个，我被难住了：\x -> x ^ 2 :: (Integral a, Num b) => b -> bPrelude> :type (\x -> x^2)这是拥抱中的虫子吗？
浏览 3提问于2011-11-04得票数 5
回答已采纳
1回答
返回值的模式匹配
、、、
我知道可以对函数参数使用模式匹配，如下所示：fn (x,y) = (y,x)g :: (Integral a) => a -> a (x, y) = fn (z, z + 5)这将导致语法错误。有匹配返回值的方法吗？基本上，我希望将返回的元组分成两个
浏览 2提问于2017-04-14得票数 3
回答已采纳
1回答
我想简单地添加3.5 + floor 3.5，但出现了这个错误:约束中的类型变量't‘不明确：'Fractional t’源于文字'3.5'...“'Integral t”由floor的使用产生...
如何解决这个问题？
浏览 0提问于2011-08-24得票数 2
1回答
i, List (l i)) => l i a -> [(i, a)] -- l - type of wrapperinstance Indexed IdxByIntList whereindexed = zip [0
浏览 2提问于2015-03-16得票数 2
回答已采纳
在回答前面的问题时，我了解到C++ 20的概念不允许而不是允许重载结构模板参数，例如，这是行不通的：structS{
template <std::floating_point>};类型约束在模板重声明中<
浏览 4提问于2022-01-02得票数 4
给予：#include <iostream>
struct wrapper;
w.print(); // Output : signed_integral}
从上面的代码来看，int符合std::integral和std::signed_integral的</em
浏览 3提问于2020-01-28得票数 26
回答已采纳
当我试图提取一个数字的前两位数时，我得到了一个令人沮丧的错误。首先，我使用log计算出数字的长度，然后将数字除以10^(length of digit - 2)以提取前两位数字。truncate $ logBase 10 n -- length of a digit
我得到的错误是：
约束中的非类型<e
浏览 1提问于2017-04-18得票数 0
我是Haskell的新手，我很难准确地理解需要哪种类型的注释或哪种类型的签名才能让它工作。这个test函数本身是没有用的，但是如果我能理解如何让它工作，我想它会帮助我更好地理解haskell类型。test 0 = -1这个问题似乎是相关的：<i
浏览 2提问于2016-02-03得票数 1
将fromIntegral描述为：
6-- raises an error
fromIntegral :: (Integral a, Num
浏览 6提问于2014-04-19得票数 8
回答已采纳
云服务器
ICP备案
腾讯会议
云直播
对象存储
腾讯云开发者
