- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我有以下类(class):
template<int P>
struct A {
struct B {
auto abs() const { return 1; }
};
};
特别是A
应该是整数模 P 的有限域,并且 B
是表示来自该有限域的元素的类。然后我有一个扩展 GCD 算法的通用实现,它应该使用 abs
功能。我希望扩展的 GCD 算法实现能够处理基本类型(int、long 等)以及 A<P>::B
的问题.所以我需要实现一个非成员 abs
那会调用A<P>::B::abs
.我尝试了三种技术,其中两种不起作用,一种起作用但不适合。
技术 1(不起作用):使用参数相关查找 (ADL)。在 A
的内部定义以下内容|但在 B
的主体之外:
auto abs(B const &e) { return e.abs(); }
它不会工作,因为 ADL 只在命名空间内部查找,而不是在类范围内查找。 更新:ADL 在这里不起作用,因为 abs
是一个实例方法。但是,根据 T.C. 的回答,如果您将它设为友元函数,它会正常工作并且 ADL 会找到它!
技巧 2(不起作用):在全局或命名空间范围内使用约束函数模板:
template<int P>
auto abs(typename A<P>::B const &e) { return e.abs(); }
这也行不通,因为 P
处于非推导上下文中。
技术 3(有效,但不令人满意):在全局或命名空间范围内使用不受约束的函数模板:
template<typename T>
auto abs(T const &e) { return e.abs(); }
这行得通。然而,它是不受约束的。我想将此函数模板的实例化限制为 A<P>
(对于 P
事先未知)和其他类模板(用于多项式环和字段扩展)。问题是如果 P
我不确定如何使用 SFINAE处于非推导上下文中。
最佳答案
template<int P>
struct A {
struct B {
auto abs() const { return 1; }
};
friend auto abs(B const &e) { return e.abs(); }
// ^^^^^^
};
然后让 ADL 发挥它的魔力。
(在 B
中定义它也可以。选择取决于您。)
关于c++ - 为类模板的特定嵌套类实现非成员泛型函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/37311331/
test = (function(){var key = 200; return {getKey : function(){return key} }; })(); test.
如果这个问题可能一直被问到,我很抱歉,但我进行了搜索,但找不到足够的答案。 如果公共(public)成员/方法正在访问私有(private)成员/字段,如何禁用它们的继承? 所以考虑一下: publi
重要的澄清:一些评论者似乎认为我是从 union 复制的。仔细查看 memcpy,它从一个普通的旧 uint32_t 地址复制而来,该地址不包含在 union 中。另外,我正在(通过 memcpy)复
spinner 通常只显示一个字符串,在我想分配 IDpersonne 和 Name 的情况下,旋转器必须告诉我名字。当我得到选定的项目时,我必须得到 ID。我该怎么做? 最佳答案 我假设您已将项目排
A 类的实例是 B 类的公共(public)成员。B 类的实例也是 A 的公共(public)成员。在什么情况下可能需要这种实现?我的意思是是否有一个或多个标准场景需要这种实现方式?更具体的细节:我有
我如何设置我的 web.config 以使用表单例份验证,将成员身份提供程序设置为 ActiveDirectoryMembershipProvider 并使用内置登录控件。这样我就可以使用有效的事件目
这个问题已经有答案了: Should methods in a Java interface be declared with or without a public access modifier?
因此根据定义,类中的私有(private)数字在序列化时以类名作为前缀。这对我来说是一个问题,我希望能够序列化/保存/反序列化一个确切的对象,但是 php 所做的是给我另一个 classname+va
我实现了一个成员? clojure 中的函数如下: (defn member? [item seq] (cond (empty? seq) false (= item (first
我在这里的问题似乎总是与使用函数有关。它仍然让我困惑!在本教科书练习中,我被要求按值传递结构,然后调整它并按引用传递。最初我设计的代码是在 main 中完成所有工作。现在我正在传递值。所以我添加了新函
所以我有这些变量 List files, images = new List(); string rootStr; 还有这个线程函数 private static int[] thread_searc
我对 C++ 模板和尝试弄清楚部分模板特化还比较陌生。我正在使用模板实现几个相关的数据结构:用于概率存在/不存在查询的布隆过滤器(基于位数组),以及用于丰度查询的计数布隆过滤器(带有整数数组)。我从以
例如在 java 中,我在外部类和内部类中声明并初始化了一个 JButton,我决定在某些情况下将其隐藏,这是一种安全的编程实践吗? 最佳答案 内部类的全部目的是它们可以访问到环绕内部类的外部类。 所
我有一个使用库进行通信的类: class Topic { Topic( Type T, String name ); }; class Reader { Reader (Topic, Stri
我在两个单独的文件中有以下代码。 package animal; public class Frog { protected void ribbit() { Syste
我有一个分数列表。使用这些,我需要从 redis 排序集中提取值。 我知道我可以使用 zrangebyscore - 但如果我提供的列表中的分数不连续怎么办?在这种情况下,我不能依赖 zrangeby
过去几年我一直被 C# 编码宠坏了,现在我又回到了 C++ 并发现我在处理本应很简单的东西时遇到了麻烦。我正在为 gamedev 使用名为 DarkGDK 的第三方库(任何以 db 为前缀的命令),但
我正在关注 Brian Harvey 从 2011 年开始在 UC Berkeley site 上的 SICP 讲座。 .他正在使用 STk interpreter教这门课,我正在使用带有 DrRac
在这段代码中,为什么在运算符重载中无法访问我的类的私有(private)字段? (请注意,这只是一个 MRE,不是完整代码) template class Frac template Frac o
在命名命名空间类中,我将一个类(位于全局命名空间中)声明为友元。 但是,后一个类不能访问前一个类的私有(private)成员。为什么是这样?有什么办法可以解决吗? Bob.h namespace AB
我是一名优秀的程序员,十分优秀!