- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我有一个由带有静态成员函数的模板模板类参数化的类:
template <template <typename> class F>
struct A {
static int foo();
};
此类没有默认定义 foo
,并且必须专用于不同的类型。
我还有另一个类,由带有嵌套模板类的模板模板类参数化:
template <template <typename> class F>
struct B {
template <typename T>
struct C {};
};
我要C
专业A
对于任何模板模板类 F
专门A
已经:
template <template <typename> class F>
struct A<B<F>::template C> {
static int foo();
};
template <template <typename> class F>
int A<B<F>::template C>::foo() {
return A<F>::foo() / 2;
}
所以,如果我有一个专门的类 A
:
template <typename T>
struct E {};
template <>
int A<E>::foo() {
return 42;
}
我希望能够像这样使用特化(并返回 21):
int bar() {
return A<B<E>::template C>::foo();
}
但是,这无法链接 - 它找不到对 A<B<E>::C>::foo()
的引用.
(请注意,所有这些都在一个文件中 - 这里的标题没有发生任何奇怪的事情)
看来编译器正在尝试使用 A
的主模板而不是特化,这意味着 foo
未定义。为什么在这种情况下不使用特化?
template <template <typename> class F>
struct A {
static int foo();
};
template <template <typename> class F>
struct B {
template <typename T>
struct C {};
};
template <template <typename> class F>
struct A<B<F>::template C> {
static int foo();
};
template <template <typename> class F>
int A<B<F>::template C>::foo() {
return A<F>::foo() / 2;
}
template <typename T>
struct E {};
template <>
int A<E>::foo() {
return 42;
}
int bar() {
// Link fails - error: undefined reference to 'A<B<E>::C>::foo()'
return A<B<E>::template C>::foo();
}
最佳答案
template<class T>
struct A {};
template<class T>
struct B {
using type=T;
};
template<class T>
struct A<typename B<T>::type> {};
这基本相同,但少了 1 个模板层。
这也行不通。
问题是 B<T>::type
或 B<T>::template Z
或者在一般情况下,任意编译时函数。
为了对其进行模式匹配,我们需要反转这个任意编译时函数。
标准说“编译器不必那样做”,这是您可以在这里做的为数不多的理智的事情之一。它肯定是针对类型说的;对于模板,嗯,模板模板参数的标准措辞通常缺少细节,所以如果缺少措辞我不会感到惊讶。但如果不是,那将是标准中的错误。
为了从
template<class T>
struct A<typename B<T>::type> {};
看看是否A<foo>
匹配它,它必须测试所有类型 T
看看他们中的哪一个有 B<T>::type
等于 foo
.
这可能不是您打算要问的,但这就是您要问的。
您的模板示例也是如此。
template <template <typename> class F>
struct A<B<F>::template C> {
static int foo();
};
您要求编译器检查每个类型 F
这样如果你将它传递给任意模板 B<>
然后评估::C
在其中,模板是否与您传递的内容匹配 A
.
第一个有趣的案例:
template<class X>
struct C0 {};
template <template <typename> class F>
struct B {
template <typename T>
using C=C0<X>:
};
现在,F
是什么?在 A<C0>
?每单F
符合条件。
template<class X>
struct C0 {};
template <template <typename> class F, class=void>
struct B {
template <typename T>
using C=C0<X>:
};
template<class X>
struct C1 {};
template <template <typename> class F, class=void>
struct B<
F,
std::enable_if_t<
proves_collatz_conjecture( F<int>::value )
>
> {
template <typename T>
using C=C1<T>;
};
现在开始模式机 A<C0>
编译器必须生成 F
这样 F<int>::value
是一种编译时类型,当传递给 proves_collatz_conjecture
时返回 true
在编译时。
那会很有用。
模板特化是模式匹配。在 C++ 中,您不能对依赖类型(可能还有模板)进行模式匹配,因为类型和模板都没有超出其值的标识。
您无法检查定义变量、类型或模板的范围。因此您也无法对其进行模式匹配。
如果你想做你想做的事,模板C
本身必须具有您可以检查和测试的属性。
关于c++ - 对专用模板成员的 undefined reference ,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/52045328/
我想在 java 中声明一个对象,就像在 C++ 中指向指针的指针,让我给你看一个例子: //*** At the application startup //Initialize a setting
考虑这段代码, struct A {}; struct B { B(const A&) {} }; void f(B) { cout << "f()"<
我正在尝试将一个C程序翻译成Rust。。C程序具有以下结构(归结为MRE):。在一个函数中,我将执行以下指针魔术:。不,我的问题是:我将如何在铁锈中实现同样的目标?。到目前为止,我在《铁锈》中尝试过的
我目前正在尝试将一个C程序翻译成Rust。。C程序具有以下结构(归结为MRE):。在一个函数中,我将执行以下指针魔术:。不,我的问题是:我将如何在铁锈中实现同样的目标?。到目前为止,我在《铁锈》中尝试
这个问题在这里已经有了答案: Add managed DLL dependencied to unmanaged C++ project (1 个回答) 关闭 6 年前。 我有这样一个场景: 使用
这是一个常见问答的集合,这也是一个社区维基,所以每个人都被邀请参与维护它。。正则表达式正在遭受给我ZE代码类型的问题和没有解释的糟糕答案。此参考旨在提供指向质量问答的链接。。此参考适用于以下语言:PH
我正在尝试在方案中模拟堆栈。我正在使用 DrScheme 并选择语言 R5RS。我需要创建 pop、push 和 peek 的函数。但我无法弄清楚如何通过引用传递。我已经阅读了一些关于盒子的信息,但是
我陷入了这个错误。我将代码部署在生产服务器上,它在端口 80 上运行。当我尝试登录管理页面时。如图所示,它给了我 403 错误。 可能是什么原因?我的 Django 代码或 nginx 配置有问题吗?
这是一段简单的 C++ 代码: A foo(){ A a; // create a local A object return a; } void bar(const A & a_r){ }
我正在使用从 torrenteditor 获取的 php 脚本来创建 torrent 文件,但是当我使用指定的方法创建新的 torrent 文件时,torrent 文件被创建但我收到很多通知。,就像这
MySQL: REFERENCES vs FOREIGN KEY + REFERENCES 我认为 REFERENCES 是更冗长的 FOREIGN KEY REFERENCES 语法的某种速记语法。
我想使用基于另一个方法引用的方法引用。这有点难以解释,所以我给你举个例子: Person.java public class Person{ Person sibling; int a
Java/C# 语言律师喜欢说他们的语言通过值传递引用。这意味着“引用”是在调用函数时复制的对象指针。 同时,在 C++ 中(以及在 Perl 和 PHP 中更动态的形式),引用是某个其他名称(或动态
当我需要实现递归 lambda 时,通常我这样做: auto factorial = [](auto& self, int n) -> int { return n == 0 ? 1 : n
我目前正在研究 DDD ,需要一些启发。 我有两个实体 Temple TempleVariant Temple(听筒)包含基本信息(名称,描述等),并具有n个变体,它们具有技术描述(CAD绘图,尺寸,
在 Grails 中 belongsTo允许一个域类与另一个域类建立级联关系。使用belongsTo时有两种类型的关系:引用和无引用。 Reference 在拥有的对象上创建属性,而 No Refer
我正在使用 AWS 和 Django Rest Framework 开发 Web 应用程序。(Django:v1.8,DRF:v3) 我一直在为 POST 多部分表单请求获取 django.reque
我按照下面的定义公开了 WCF 端点, 当我在 .NET 3.5 中添加“服务引用”时,我们在代理中获得了以下类,这非常好: [Syst
我在玩 constexpr 引用时产生了这种感觉。但问题本身与 constexpr 无关,只是被它揭示。 我们知道有“指向const的指针”,也有“const指针”。顺便说一句,由于后者的使用比前者少
我有 2 种类型的 refences,它们中的每一种都可以正常工作。 我尝试使用每一个并在 project build 中得到相同的结果。 请向我解释 COM 引用和引用之间的区别。 谢谢你。 最佳答
我是一名优秀的程序员,十分优秀!