假设我有以下类型：我可以为它创建一个Show实例：instance showT1Int :: Show (T1 Int) where它可以编译，但是在psci中运行并不像预期的那样工作
浏览 0提问于2017-03-04得票数 1
回答已采纳
在标准中，tem.spec/4第2句指出：
除非类模板专门化已被显式实例化或显式专门化，否则类模板专门化在需要完全定义的对象类型的上下文中引用或类类型的完整性影响程序的语义时被隐式实例化。因此，专门化是
浏览 0提问于2019-02-09得票数 1
对于函数模板专门化、成员函数模板专门化或类模板的成员函数或静态数据成员的专门化，如果专门化是隐式实例化的，因为它是从另一个模板专门化中引用的，并且引用它的上下文取决于模板参数，则专门化的实例化点是封闭专门化的实例化点否则，这种专门化的实例化点将紧跟引用该专门化的命名空间范围声明或定义。如果以使用函数模板或成员函数的默认参数定义的
浏览 1提问于2010-09-28得票数 5
回答已采纳
2回答
但是，我认为对于静态数据成员模板还不清楚，原因是：
对于函数模板专门化、成员函数模板专门化或类模板的成员函数或静态数据成员的专门化，如果专门化是隐式实例化的，因为它是从另一个模板专门化中引用的，并且引用它的上下文取决于模板参数对于类模板专门化、类成员模板专门化或类模板类成员的专门化，如果专门化是隐式
浏览 5提问于2020-07-07得票数 8
1回答
type CellsRow = NonEmptyList Cellinstance Show CellsRow where
show = foldMap我可以通过创建CellsRow新类型来解决这个问题，但是我可以同时使用Show实例和简单的type CellsRow = NonEmptyList Cell
浏览 3提问于2022-06-06得票数 1
回答已采纳
1回答
模板函数中默认参数的实例化点
、、、、
对于函数模板专门化、成员函数模板专门化或类模板的成员函数或静态数据成员的专门化，如果专门化是隐式实例化的，因为它是从另一个模板专门化中引用的，并且引用它的上下文取决于模板参数，则专门化的实例化点是封闭专门化的实例化点对于函数模板、成员函数模板或类模板的成员函数或静态数据成员的专门化，可以在转换单元内具有多个实例
浏览 1提问于2020-03-30得票数 5
回答已采纳
根据C++17标准，温度点/4，强调地雷，
对于类模板专门化、类成员模板专门化或类模板类成员的专门化，如果专门化是隐式实例化的，因为它是从另一个模板专门化中引用的；如果引用专门化的上下文依赖于模板参数，并且如果在封装模板实例化之前没有实例化专门化，则实例化点就在包围模板实例化点之前
浏览 0提问于2019-06-28得票数 9
我现在正在与PureScript合作一个项目，并遇到了一些实例(我是一个新手，并且正在学习)。基本上，我必须创建一个实例，以重载具有不同类型的函数。据我所知，这可以使用类型类来编写。据我所知，没有必要有一个实例的名称，因为编译器会自动计算出来。我甚至出于好奇对它进行了测试，它适用于我给它取的任何名字。
那么，为什么PureScript中的类型类实例有名称呢？
浏览 2提问于2018-01-08得票数 3
回答已采纳
我有两个我认为是等价的类型类和实例定义的实现。PureScript版本构建时没有错误，但是Haskell版本在错误Un-determined variables: e, f中失败。newtype Bar a b = Bar (a, b)PureScript
浏览 3提问于2021-11-03得票数 4
回答已采纳
2回答
当生成类模板的虚拟方法的代码时，C++标准是否说明了确切的时间点？在我们的示例中，函数实例化()隐式地实例化类模板A，然后执行A<0>::f()的任何显式专门化。在上面的例子中，专门化是在类模板A的隐式实例化之后完成的。我能否始终确保，在类模板隐式实例化之后定义类模板的虚拟方法的专门化</e
浏览 1提问于2013-09-19得票数 2
回答已采纳
我对Haskell/Purescript非常陌生，目前通过学习来学习。在关于类型类的中，有以下任务：
扩展的数据a=有限的a_x无穷大在检查表达式#dict时，在值声明中具有{ Eq :：Extendeda0 -> Extendeda0 -> ord
浏览 0提问于2020-11-14得票数 0
回答已采纳
1回答
of instantiation fnc<CL> is here (in namespace scope,}
在模板函数fnc中调用fnc取决于模板参数，然后名称查找必须位于实例化点。我看到标准(C++ 14) 14.6.4.1/1
对于函数模板专门化、成员函数模板专门化或类模板的成员函数或静态数据成员的专门化，如果专
浏览 5提问于2015-10-30得票数 6
回答已采纳
1回答
我在Purescript上玩“读本”( Reader monad )，我遇到了一种奇怪的行为。我不知道是因为我对这个单子缺乏理解，还是因为我错过了别的东西。不过，在此之前，我在我的函数行中尝试了一些更简单的方法，如：line s = do return "Hello ReaderControl.Monad.Reader.Class.MonadReader u14555 (Control.Monad.Reader.T
浏览 0提问于2015-03-17得票数 2
回答已采纳
1回答
类模板的静态成员是否隐式实例化？
、、、、
考虑以下两个引号：
[C++11: 14.7.1/8]: 类模板的隐式实例化不会导致该类的任何静态数据成员被隐式实例化.隐式实例化类模板和隐式实例化类模板专门化
浏览 0提问于2014-10-31得票数 4
回答已采纳
2回答
嗯，N4296::14.7 [temp.spec]很好地定义了模板实例化
U<int> a; //instantiation
浏览 4提问于2015-02-12得票数 9
回答已采纳
1回答
我不明白为什么标准首先为模板定义模板实例化，如下所示：N3797::14.7/4 [temp.spec]
实例化模板专门化可以对给定的参数列表隐式实例化(14.7.1)，也可以显式实例化(14.7.2)。例如，N3797
浏览 1提问于2015-02-26得票数 2
回答已采纳
在purescript中，具有循环依赖项的记录可以声明如下 { name :: String { name :: String }
但我还没有弄清楚如何在purescript中创建实例。在F#中，可以如下所示
浏览 0提问于2017-04-16得票数 2
回答已采纳
类模板可以是显式的，也可以是隐式的，如果是N3797::14.7.1/1 [temp.inst]，类模板将被隐式实例化。除非类模板专门化已经显式实例化(14.7.2)或显式专门化(14.7.3)，否则类模板专门化在需要完全定义的对象类型的上下文中引用时，或者类类型的完整性影响程序的语义时，将被隐式实例化。class T> void A<T>::foo(){ std::co
浏览 5提问于2015-02-21得票数 0
回答已采纳
1回答
C++98标准说：
如果这也适用于显式专门化，则使类模板的前向声明显式/部分专门化不可见。temp.class.spec.match当类模板在需要类实例化的上下文中使用时，必须确定实例化是使用主模板生成还是使用部分专门化之一生成。这意味着在匹配专门化的(隐式)实例化点之前
浏览 2提问于2013-06-19得票数 2
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
