- mongodb - 在 MongoDB mapreduce 中,如何展平值对象?
- javascript - 对象传播与 Object.assign
- html - 输入类型 ="submit"Vs 按钮标签它们可以互换吗?
- sql - 使用 MongoDB 而不是 MS SQL Server 的优缺点
谁能提供模板实例化的比较或具体细节在 GCC 和 MS 编译器的编译和/或链接时处理?这个过程有什么不同吗在静态库、共享库和可执行文件的上下文中?我找到了 this doc关于 GCC 如何处理它,但我不确定信息是否仍然是指事物的当前状态。我应该使用标志吗他们在编译我的库时建议在那里,例如-fno-implicit-templates?
我所知道的(可能不一定正确)是:
最佳答案
templates will be instantiated when actually used
不完全是,但大致上。实例化的精确点有点微妙,我将您委托(delegate)给名为 Point of instantiation 的部分。在 Vandevoorde/Josuttis 的精美书中。
但是,编译器不一定正确实现 POI:Bug c++/41995: Incorrect point of instantiation for function template
templates will be instantiated when actually used
这是部分正确的。对于函数模板是这样,但对于类模板,只有使用的成员函数被实例化。以下是格式良好的代码:
#include <iostream>
template <typename> struct Foo {
void let_me_stay() {
this->is->valid->code. get->off->my->lawn;
}
void fun() { std::cout << "fun()" << std::endl; }
};
int main () {
Foo<void> foo;
foo.fun();
}
let_me_stay()
在语法上检查(并且那里的语法是正确的),但不是在语义上(即它没有被解释)。
不过,只有依赖的代码会在后面被解释;显然,在 Foo<>
内, this
取决于 Foo<>
所使用的确切模板 ID已实例化,因此我们推迟了 Foo<>::let_me_alone()
的错误检查直到实例化时间。
但是如果我们不使用依赖于具体实例化的东西,代码一定是好的。因此,以下内容不是格式正确:
$ cat non-dependent.cc
template <typename> struct Foo {
void I_wont_compile() { Mine->is->valid->code. get->off->my->lawn; }
};
int main () {} // note: no single instantiation
Mine
是编译器完全未知的符号,与 this
不同。 ,编译器可以确定它的实例依赖关系。
这里的关键是C++使用了two-phase-lookup的模型,它在第一阶段检查非依赖代码,并在第二阶段(和实例化时间)完成依赖代码的语义检查(这也是一个经常被误解或未知的概念,许多 C++ 程序员认为模板不是直到实例化才被解析,但这只是来自……Microsoft C++ 的神话)。
Foo<>::let_me_stay()
的定义工作,因为错误检查被推迟到以后,至于 this
指针,它是依赖的。除非你会使用
explicit instantiations
cat > foo.cc
#include <iostream>
template <typename> struct Foo {
void let_me_stay() { this->is->valid->code. get->off->my->lawn; }
void fun() { std::cout << "fun()" << std::endl; }
};
template struct Foo<void>;
int main () {
Foo<void> foo;
foo.fun();
}
g++ foo.cc
error: error: ‘struct Foo<void>’ has no member named ‘is’
当你显式实例化时,你显式实例化。并使 all 符号对链接器可见,这也意味着模板定义可能驻留在不同的翻译单元中:
$ cat A.cc
template <typename> struct Foo {
void fun(); // Note: no definition
};
int main () {
Foo<void>().fun();
}
$ cat B.cc
#include <iostream>
template <typename> struct Foo {
void fun();
};
template <typename T>
void Foo<T>::fun() {
std::cout << "fun!" << std::endl;
} // Note: definition with extern linkage
template struct Foo<void>; // explicit instantiation upon void
$ g++ A.cc B.cc
$ ./a.out
fun!
但是,您必须显式实例化所有要使用的模板参数,否则
$ cat A.cc
template <typename> struct Foo {
void fun(); // Note: no definition
};
int main () {
Foo<float>().fun();
}
$ g++ A.cc B.cc
undefined reference to `Foo<float>::fun()'
关于两阶段查找的小提示:编译器是否真正实现了两阶段查找并不是由标准规定的。然而,为了保持一致,它应该像它一样工作(就像加法或乘法不一定必须使用加法或乘法 CPU 指令来执行。
关于c++ - GCC 和 MS 编译器的模板实例化细节,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/7182359/
namespace std { template <> class hash{ public : size_t operator()( cons
我正在构建一个 Javascript 交互性有限的 Django 应用程序,并且正在研究如何将 Vue 模板与 Django 模板合并以实现相同的内容。 想象一个无限滚动的页面,其中 SEO 非常重要
我需要一个由游戏逻辑组成的外部类,调用 LitElement 组件,并向其传递一个 html 模板文字,该组件将使用该文字来更新其自己的 html 模板文字的一部分。 在下面的代码中,您将看到组件的一
很简单,我不想在 html 文件中定义所有 Handlebars 模板 我试过了 但这并没有奏效。我是否可以不以编程方式定义模板,甚至只是加载 Handlebars 文件,以便我可以重用,而且我觉得
在此代码中,j 正确地成为对象:j.name、j.addr、j.city、j.state 和 j.zip。但是,成功函数有一个 JavaScript 错误 .tmpl() 不是函数。 {{t
Django模板不会?点进来,总结了模板语法传值取值、过滤器和自定义过滤器、模板标签的分类、中间件403报错如何解决、如何继承模板~👆 Django 模板 模板传值取值 后端传值 键值对形式:{‘n
哈喽大家好,我是鹿 九 丸 \color{red}{鹿九丸}鹿九丸,今天给大家带来的是C++模板。 如果大家在看我的博客的过程中或者学习的过程中以及在学习方向上有什么问题或者想跟我交流的话可以加我的企
我正在用 PHP 编写一个简单的模板层,但我遇到了一些困难。目前它是这样工作的: 首先,我使用 fetch_template 从数据库中加载模板内容 - 这可行(如果您有兴趣,我会在启动时收集所有模板
我正在制作有关模板的 Django 教程。我目前处于此代码: from django.template import Template, Context >>> person = {'name': '
我正在使用 Jquery 模板来显示传入的 JSON 数据我想将模板加载到可缓存的外部文件中。我该怎么做? 更新 http://encosia.com/2010/12/02/jquery-templa
这是我的观点.py: from django.http import HttpResponse from django.template.loader import get_template from
我试图说服一位同事在项目的前端使用 Mustache/Hogan,我提出了以下建议: 有一个 templates.js 文件,大致如下所示: var tpl_alert = '{{msg}}'; va
我想创建一个通用的数组函数。在我的 API 中,我有一个通用容器,我需要将其转换为正确的类,但我想让它通用 template void UT::printArray(CCArray* arr, T t
有谁知道是否有办法在 Genshi 中创建 javascript 模板?我的意思是,我需要一个 .js 文件,可以在其中使用 等指令。等等。 有什么想法吗?谢谢! 最佳答案 你可以直接在html中这
我想知道是否可以设置某种 HTML 模板系统,基本上我有 3 个不同的文件: - header.html - footer.html - landing.html(landing.html 是包含页面
我正在尝试构建以下 HTML 模板: 这很简单,如果我使用红色容器 1-4,语法如下: 1 2 3 4 5 6 7 8 9 https://jsfi
#include "boost/numeric/ublas/matrix.hpp" using namespace boost::numeric::ublas; template class Lay
我在一个类中有一个函数,它传递了一个函数及其参数,然后将它们绑定(bind)到一个函数调用中并调用该函数等。 这已经被快速组合在一起以测试我知道代码不是很好的概念。 class Profiling {
是否有一个 c++ 结构或模板(在任何库中)允许我在十进制和任何其他基数之间进行转换(很像 bitset 可以做的)? 最佳答案 是的,你可以使用unsigned int: unsigned int
来自其他编程语言,许多像我一样的人会感到惊讶。我有一个简单的问题。我有一个列表——比如说,用户。我想遍历用户并显示一些信息。非常简单,直到我被这个难住了: 使用一个 eex 模板,我试图这样做:
我是一名优秀的程序员,十分优秀!