草庐IT

c++ - 'instantiation' 对模板的意义

coder 2024-02-02 原文

Note that code is instantiated only for member functions that are called. For class templates, member functions are instantiated only when they are used.



上面的引文来自这本书:Addison Wesley 的 C++ Templates。

我想了解行话“代码被实例化”的含义。这是否意味着只保留特定的内存,或者只编译该代码或其他什么?

最佳答案

这是一个非常有趣的问题,应该在编译器如何处理模板的更广泛的上下文中完成。基本上模板是编译器从中生成函数类的代码模式。模板可用于生成从根本没有代码(如果从未使用过)到无限数量的实例化的任何内容。

模板不会被直接编译成稍后与不同参数一起使用的任何实体短(在 C# 泛型中是这样,但在 C++ 中不是),而是代码由编译器解析并保存在内存中,以防以后使用处理当前翻译单元。也就是说,编译器处理模板(斜体模板用于创建事物的模式的英文形式,而不是精确的 C++ 含义),它将在需要时从中创建代码(类或函数)。实例化是编译器确定特定模板与特定参数集一起使用并对模板执行参数替换以生成要编译的类或函数并最终编译为模板的二进制代码的过程。

模板实例化有两种类型,隐式和显式,您引用的引用是关于隐式模板实例化的。我将从显式模板实例化开始,因为它更简单。当您显式实例化一个模板(语法在 google 上)时,您告诉编译器您希望从该模板生成的代码应用于您提供的特定参数。在类模板的情况下,这会强制实例化所有成员函数,这基本上意味着编译器将替换类型并将其结果编译为二进制对象。

另一方面,隐式实例化是按需执行的。当您使用类模板时,实际使用的零碎部分从模板生成并编译到翻译单元中。如果创建变量定义 std::vector<int> v; ,编译器将应用类型 int (和默认类型 std::allocator<int> )到 template std::vector并创建一个类型 std::vector<int> ,但这样做时,它不会编译所有成员函数,而只会编译那些需要的函数,在这种情况下,它将是默认构造函数 std::vector<int>::vector() , 和析构函数 std::vector<int>::~vector() .其余的方法不会被编译,二进制文件中不会有它们的代码。

没有实例化所有成员函数有几个原因,原因从复杂到语言细节从简单到深入。对于一些更简单的,您可以考虑编译性能(不必仅仅因为使用其中一个成员函数就必须生成/编译所有成员函数将大大减少编译时间)。稍微复杂一点的是,模板中的不同成员函数可能对实例化类型施加不同的要求。例如,operator[]map要求值的类型是默认可构造的,因为如果 map 中不存在,运算符将创建一个新元素,另一方面,如果您总是使用 findinsert ,您可以使用 std::map具有不可默认构造的类型。通过不强制编译所有成员函数,该语言允许您使用带有不满足所有方法的所有要求的参数的模板,只要它满足实际使用的那些方法的要求。

我在上面的描述中使用了相当多的术语,但我还没有定义它。对于一个精确的定义,你必须去标准,但你可以认为使用成员函数是一个很好的近似,如果它是从你的代码中直接或间接调用的(即你调用它,或者你调用它的其他一些成员函数)实例化调用它)或者如果您获得成员函数的地址。

关于c++ - 'instantiation' 对模板的意义,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/7304696/

有关c++ - 'instantiation' 对模板的意义的更多相关文章

  1. ruby-on-rails - rails : "missing partial" when calling 'render' in RSpec test - 2

    我正在尝试测试是否存在表单。我是Rails新手。我的new.html.erb_spec.rb文件的内容是:require'spec_helper'describe"messages/new.html.erb"doit"shouldrendertheform"dorender'/messages/new.html.erb'reponse.shouldhave_form_putting_to(@message)with_submit_buttonendendView本身,new.html.erb,有代码:当我运行rspec时,它失败了:1)messages/new.html.erbshou

  2. ruby-on-rails - 'compass watch' 是如何工作的/它是如何与 rails 一起使用的 - 2

    我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗?当我运行compasswatch时,它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行?文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们?我自己编译的.sass文件编译成compiled/t

  3. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他,以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时,出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

  4. ruby-on-rails - 如何优雅地重启 thin + nginx? - 2

    我的瘦服务器配置了nginx,我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例,但找不到好的解决方案。有没有人能做到这一点? 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器,例如server{listen80;server

  5. ruby - 在 jRuby 中使用 'fork' 生成进程的替代方案? - 2

    在MRIRuby中我可以这样做:deftransferinternal_server=self.init_serverpid=forkdointernal_server.runend#Maketheserverprocessrunindependently.Process.detach(pid)internal_client=self.init_client#Dootherstuffwithconnectingtointernal_server...internal_client.post('somedata')ensure#KillserverProcess.kill('KILL',

  6. ruby - 通过 erb 模板输出 ruby​​ 数组 - 2

    我正在使用puppet为ruby​​程序提供一组常量。我需要提供一组主机名,我的程序将对其进行迭代。在我之前使用的bash脚本中,我只是将它作为一个puppet变量hosts=>"host1,host2"我将其提供给bash脚本作为HOSTS=显然这对ruby​​不太适用——我需要它的格式hosts=["host1","host2"]自从phosts和putsmy_array.inspect提供输出["host1","host2"]我希望使用其中之一。不幸的是,我终其一生都无法弄清楚如何让它发挥作用。我尝试了以下各项:我发现某处他们指出我需要在函数调用前放置“function_”……这

  7. ruby - 主要 :Object when running build from sublime 的未定义方法 `require_relative' - 2

    我已经从我的命令行中获得了一切,所以我可以运行rubymyfile并且它可以正常工作。但是当我尝试从sublime中运行它时,我得到了undefinedmethod`require_relative'formain:Object有人知道我的sublime设置中缺少什么吗?我正在使用OSX并安装了rvm。 最佳答案 或者,您可以只使用“require”,它应该可以正常工作。我认为“require_relative”仅适用于ruby​​1.9+ 关于ruby-主要:Objectwhenrun

  8. ruby - 无法让 RSpec 工作—— 'require' : cannot load such file - 2

    我花了三天的时间用头撞墙,试图弄清楚为什么简单的“rake”不能通过我的规范文件。如果您遇到这种情况:任何文件夹路径中都不要有空格!。严重地。事实上,从现在开始,您命名的任何内容都没有空格。这是我的控制台输出:(在/Users/*****/Desktop/LearningRuby/learn_ruby)$rake/Users/*******/Desktop/LearningRuby/learn_ruby/00_hello/hello_spec.rb:116:in`require':cannotloadsuchfile--hello(LoadError) 最佳

  9. ruby-on-rails - 新 Rails 项目 : 'bundle install' can't install rails in gemfile - 2

    我已经像这样安装了一个新的Rails项目:$railsnewsite它执行并到达:bundleinstall但是当它似乎尝试安装依赖项时我得到了这个错误Gem::Ext::BuildError:ERROR:Failedtobuildgemnativeextension./System/Library/Frameworks/Ruby.framework/Versions/2.0/usr/bin/rubyextconf.rbcheckingforlibkern/OSAtomic.h...yescreatingMakefilemake"DESTDIR="cleanmake"DESTDIR="

  10. ruby-on-rails - rspec should have_select ('cars' , :options => ['volvo' , 'saab' ] 不工作 - 2

    关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗?通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion在首页我有:汽车:VolvoSaabMercedesAudistatic_pages_spec.rb中的测试代码:it"shouldhavetherightselect"dovisithome_pathit{shouldhave_select('cars',:options=>['volvo','saab','mercedes','audi'])}end响应是rspec./spec/request

随机推荐