※ 引述《kicksmile (aa)》之铭言： : //class.h档 : class A{ : public: : void func(); : private: : int x; : }; : //class.cpp档 : #include "class.h" : void A::func() : { : x=x+1; : } : //main.cpp档 : #include "class.h" : int main(){ : A a1; : a1.func(); : return 0; : } : 我想请教一下compiler在产生执行档的过程中都在做些什麽 : 还是有什麽网站有教这些常识谢谢 你是读什麽的呢？如果是资讯相关科系，有一门课叫做compiler，可以去听听看。 compiler主要把原始程式作剖析(parsing)，检查语汇(lexical)，检查语法(syntax)及 检查语义(semantic)，中间的运作过程，细节很多。你也可以去wikipedia找看看。 检查完後，会替中间码优化，最後再输出对应的机械码。 至於C Compiler的运作，主要是先作preprocessing(处理巨集代换)，再作compile，产生 目的码。有了目的码後，再利用连结器把不同部份连结，产生执行档。 : <compile的过程中> : 1.因为class.cpp main.cpp都只include class.h : 所以是不是main.cpp里在compile的过程中看不到class.cpp里的func计算过程? compile的过程并不执行程式码。每一个cpp都只是独立编译，再连结。你这句话语焉不详 。就编译器而言，它只看得到目前的原始档，所以它不会管其它的档案内怎麽写。但， 就如同我之前讲的，不参与计算。 : 2.那我在compile class.cpp时，compiler 是不是只是在做class.h 跟class.cpp的 : pattern 跟type (class里的function argument, return type)检查，然後产生class.obj? : 相对的，compile main.cpp 也只是对main.cpp跟class.h做pattern跟type的检查 : 然後产生main.obj？ 对。 : 3.如果是的话，那compiler是在什麽时候才让main.cpp里的a1.func()去连结到 : class.cpp里的func()计算内容? 事实上，它不会那麽做。一般会有这种错觉，是因为IDE替你作了。一般会有个makefile ，就像个批次档，会把每个原始档编译，各产生目的档，再连结起来。如果你全部用手动 进行，就要一个一个下命令。 : 是在build solution的时候吗？如果是的话，那是用什麽方法把他们连结起来的？ 用连结器。 : 是在build的时候，遇到a1.func()的时候，去class.cpp(class.obj ? )里找相对应的function， : 把function写进执行档里并将a1.func()指到那个function存在的位址吗? 连结器会看看每个目的档中，参照了哪个函式。并且确保大家的坑都有萝剥插。 : 4.只是好奇，如果我在class外，写了三个function（有两个没有用到）， 虽然 : 没用到应该删掉或注解掉，但是如果我没注解掉， : 那我的执行档里会存三个还是一个function呢？ 这样的函数，一样会存在。也许不同的compiler有不同的作法？ : 5.所以template跟inline function，如果存成两个file class.h class.cpp : build solution会有问题，是因为build的过程，main.obj里的所用到的 : tmeplate function并没有在compile的过程替换成所应该对应的type : 导致main.obj在class.obj里找不到对应的function? 是的，那表示你的instance无法被推导(induction)。template较为特殊，因为它必需 以原始码型态存在於你的编译标的中。若它被编译後，才进行连结，那你的instance 就无法被推导了。 在c++ templates: the complete guide中有提及这些问题，并且衍生出原始码是否应 该公开的讨论。 考虑下列程式： callee.cpp: #include <cstdio> #include "callee.hpp" template <typename T> void callee(T var){ printf("The size of argument is %d\n", sizeof(var)); } callee.hpp template <typename T> void callee(T var); caller.cpp #include <cstdio> #include "callee.hpp" //Notice this line!!! int main(int argc, char *argv[]) { callee(10); callee("str"); return; } 若是传统的C或C++，则我标明的那行，不管是放callee.hpp，或是callee.cpp，都不会错 但若是用了template，则一定要改成callee.cpp，否则会报错，因为它在callee.obj中 找不到具callee(int)及callee(char *)两原型的函数。所以一定要把callee.cpp给 caller.cpp引入，而不能只给obj档，否则就无法推导。 : 那为什麽compiler会想把main.cpp里的template function做替换 : 然後制做出main.obj : 而不是 : 在build solution的时候再做替换，直接把替换过的function写入执行档? : 有什麽坏处吗？除了main.obj里没有相对应的function... we dicussed above. -- --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 218.166.202.127 ※ 编辑: ccbruce 来自: 218.166.202.127 (03/25 18:54) ※ 编辑: ccbruce 来自: 218.166.202.127 (03/25 19:03)