C++博客-笔记-文章分类-C/C++ and ASMhttp://www.cppblog.com/einz/category/9163.htmlzh-cnWed, 08 Jul 2009 03:58:39 GMTWed, 08 Jul 2009 03:58:39 GMT60参数传值的理解http://www.cppblog.com/einz/articles/76713.htmlEiNEiNMon, 16 Mar 2009 03:32:00 GMThttp://www.cppblog.com/einz/articles/76713.htmlhttp://www.cppblog.com/einz/comments/76713.htmlhttp://www.cppblog.com/einz/articles/76713.html#Feedback0http://www.cppblog.com/einz/comments/commentRss/76713.htmlhttp://www.cppblog.com/einz/services/trackbacks/76713.htmlvoid test1(char **p, char *l)
{
    *p = l;
}

void test2(char *p, char *l)
{
    p = l;
}

void main()
{
    char s[] = "0123456789";
    char *p = s;
    char *l = s+3;
    
    test1(&p, l);
    test2(p, l);
}
注意使用**p来达到更改效果
多一层指针指向，可以用来管理外面的指针

EiN 2009-03-16 11:32 发表评论
]]>字符编码总结http://www.cppblog.com/einz/articles/74250.htmlEiNEiNThu, 19 Feb 2009 02:09:00 GMThttp://www.cppblog.com/einz/articles/74250.htmlhttp://www.cppblog.com/einz/comments/74250.htmlhttp://www.cppblog.com/einz/articles/74250.html#Feedback0http://www.cppblog.com/einz/comments/commentRss/74250.htmlhttp://www.cppblog.com/einz/services/trackbacks/74250.html

EiN 2009-02-19 10:09 发表评论
]]>const tiphttp://www.cppblog.com/einz/articles/72644.htmlEiNEiNWed, 28 Jan 2009 00:41:00 GMThttp://www.cppblog.com/einz/articles/72644.htmlhttp://www.cppblog.com/einz/comments/72644.htmlhttp://www.cppblog.com/einz/articles/72644.html#Feedback0http://www.cppblog.com/einz/comments/commentRss/72644.htmlhttp://www.cppblog.com/einz/services/trackbacks/72644.html如果用语句n=&cnt,那要报错,但换个写法*n=cnt就可以了.



EiN 2009-01-28 08:41 发表评论
]]>__cdecl、__stdcall、__pascal、__fastcall：寄存器小实验http://www.cppblog.com/einz/articles/70553.htmlEiNEiNSun, 28 Dec 2008 01:59:00 GMThttp://www.cppblog.com/einz/articles/70553.htmlhttp://www.cppblog.com/einz/comments/70553.htmlhttp://www.cppblog.com/einz/articles/70553.html#Feedback0http://www.cppblog.com/einz/comments/commentRss/70553.htmlhttp://www.cppblog.com/einz/services/trackbacks/70553.html//---------------------------------------------------------------------------

#pragma hdrstop

//---------------------------------------------------------------------------
char one()
{
    return 'a';
}
//---------------------------------------------------------------------------
__int16 two()
{
    return 1;
}
//---------------------------------------------------------------------------
__int32 four()
{
    return 2;
}
//---------------------------------------------------------------------------
__int64 eight()
{
    return 3;
}
//---------------------------------------------------------------------------
#pragma argsused
int main(int argc, char* argv[])
{
    char i = one();
    __int16 ii = two();
    __int32 iv = four();
    __int64 viii = eight();
    
    return 0;
}
//---------------------------------------------------------------------------
自己写的小实验，因为突然对asm产生了兴趣。
在跟踪的时候会发现：

mov al, 0x61 ; return 'a'

mov ax, 0x0001 ; return 1

mov eax, 0x00000002 ; return 2

mov eax, 0x00000003 ; return 3
xor edx, edx

这说明，对于1个byte的数据用的是al，2byte用的是ax，4byte用的是eax，而8byte用的是eax和edx，且eax存储低位，edx存储高位。

另有：
push ebp
mov ebp, esp

这在进入每个函数都会出现，是因为ebp是堆栈指针，用来在堆栈中查找数据，而esp永远指向堆栈头部。mov给ebp相当于给了段位号，ebp就是偏移。

下面关于那几个函数标识:
//---------------------------------------------------------------------------

#pragma hdrstop

//---------------------------------------------------------------------------
void __cdecl cde(int a, int b)
{
    a += b;
}
//---------------------------------------------------------------------------
int __stdcall std(int a, int b)
{
    a = a + b;
    return a;
}
//---------------------------------------------------------------------------
int __pascal pas(int a, int b)
{
    if ( a*b > 30 )
        return b;
    else
    {
        a += b;
        pas(a, b);
    }
}
//---------------------------------------------------------------------------
void __fastcall fst(int a, int b)
{
    a += b;
}
//---------------------------------------------------------------------------

#pragma argsused
int main(int argc, char* argv[])
{
    cde(1, 2);
    std(2, 3);
    pas(3, 4);
    fst(4, 5);
    
    return 0;
}
//---------------------------------------------------------------------------

然后跟踪进去：
cde:
push 0x02
push 0x01

std:
push 0x03
push 0x02

pas:
push 0x03
push 0x04

fst
mov edx, 0x00000005
mov eax, 0x00000004

a += b
mov eax, [ebp+0x0c] ; b
add [ebp+0x08], eax ; b->a

fst
mov [ebp-0x08], edx ; b
mov [ebp-0x04], eax ; a

这说明：
__cdecl和__stdcall都是从右向左压入参数，
__pascal是从左向右压入参数，
__fastcall根本就不用内存来存储参数，直接存储在寄存器里面，不过最后那个fst可以看出__fastcall还是又回到内存去了，这点不是很明白。
所以__fastcall是要快的多，其他的变量都存储在内存区域上（不可能一直在寄存器，因为寄存器是大家公用的），它们要操作必须先mov到寄存器上来，而fst就不用，但是同时：寄存器的数量很少，容量很小。

这里想到自己之前的一个严重错误，就是因为在不同编译器下如vc和bc它们给这些标识函数的名称都是不一样的，所以千万不能只以为它们只有名称的不同，这是个很严重的错误，程序必然会死的很惨。其实动动手就知道了，google上讲的都是知识点，来的不实在。



EiN 2008-12-28 09:59 发表评论
]]>vft、vptr、thunkhttp://www.cppblog.com/einz/articles/69851.htmlEiNEiNFri, 19 Dec 2008 10:09:00 GMThttp://www.cppblog.com/einz/articles/69851.htmlhttp://www.cppblog.com/einz/comments/69851.htmlhttp://www.cppblog.com/einz/articles/69851.html#Feedback0http://www.cppblog.com/einz/comments/commentRss/69851.htmlhttp://www.cppblog.com/einz/services/trackbacks/69851.html
当类中有虚函数的时候才会建立vft，这个表里面按照顺序（从0开始）和类里面的虚函数做出对应。
如果一个类里面有虚函数（就是有vft），那它就有个vptr。vptr是一个存在在类中的一个隐含指针，这个指针指向的是vft这个表。
当调用类中的某个虚函数的时候，就通过这个指针去找vft里面对应的函数，然后拿来调用。

class Base
{
public:
    FunctionPointer *__vptr;
    virtual void function1() {};
    virtual void function2() {};
};

class D1: public Base
{
public:
    virtual void function1() {};
};

class D2: public Base
{
public:
    virtual void function2() {};
};

这里显示的把vptr显示出来，但实际上是看不见的。


注意d1和d2的vptr是继承自base的

int main()
{
    D1 cClass;
    Base *pClass = &cClass;
    pClass->function1();
}

上面的代码之所以可以执行，是因为：pClass指针指向的仅仅是cClass中属于Base的部分（因为Base是D1的父类），因为vptr原本是在Base中的（虽然看不见），所以pClass是可以调用vptr的。再由于继承的关系，此时的vptr处于D1类中，它指向的是D1的vft，所以pClass->funtion1()这句可以执行成功。

说一个复杂的情况：

class A
{
public:
    virtual void a();
};

class B : public A
{
public:
    virtual void a();
    virtual void c();
    virtual void f();
};

class C : public A
{
public:
    virtual void e();
};

class D : public B, public C
{
public:
    void a();
    void g();
}:

这里就有点问题，如果单纯的vft中按照函数顺序的话。在D这个类中，来自B和来自C这两个类中的B::c函数和C::e函数在他们的类中所在的位置从文本上看都是第二的位置（C类还有个A中继承的a函数）。那么对于D来说有同一个位置有两个函数，这时vft必然不能正常实现。在C++中其实D这个类有两个vft，一个基于B建立，一个基于C建立。当然这种情况下只有在多继承时才出现。

那么在实际运行时，首先要把vft的地址（也就是vptr的值）放到寄存器里面，然后要确定用的是哪个类的vft（对于D这个类来说），接着再索引这个函数表找到函数，最后才根据地址执行函数。

也就只对于多继承这种复杂的情况下，才有上面这么多步骤。对于单继承，只用找到表，找到索引，找到函数，调用即可。GCC的thunk在建立vft的时候就确定了到底这个函数是在哪个对象

load [object_reg+#VFToffset], table_reg
load [table_reg+#deltaOffset], delta_reg
load [table_reg+#numOffset], method_reg
add object_reg, delta_reg, object_reg
call method_reg

上面的汇编取自一篇论文，VFToffset就是vft的地址偏移，deltaOffset就是多继承产生的偏移（选哪个类，B还是C），numOffset就是函数偏移。省去的就是2、4这两条语句，thunk把这步做了。

关于thunk还是有点问题，不是非常明白。


EiN 2008-12-19 18:09 发表评论
]]>static、作用域、连接属性http://www.cppblog.com/einz/articles/69847.htmlEiNEiNFri, 19 Dec 2008 09:03:00 GMThttp://www.cppblog.com/einz/articles/69847.htmlhttp://www.cppblog.com/einz/comments/69847.htmlhttp://www.cppblog.com/einz/articles/69847.html#Feedback0http://www.cppblog.com/einz/comments/commentRss/69847.htmlhttp://www.cppblog.com/einz/services/trackbacks/69847.html
static int n; // file scoped ariable  
float f; // global variable  
 
int main()  
{  
        double d; // local variable  
}  

变量f的范围可以说是global也可以说超出了所在文件。每个变量都有一个连接属性，用于在连接时判断其他文件是否有权利指向这个变量。这里的f声明，c++默认给它了一个连接属性：extern，也就是说在其他文件中，可以使用这个变量，当然前提是你包含了此文件，或者在一个工程里面（因为它是连接属性）。对于变量n，前面的static导致这个变量的连接属性为：此文件，就是说外部文件无法使用它。

static之所以引起混淆，是因为一开始学的时候，它的应用在于把上面这个d，这个局部变量变的固定。讲到static必然有个例子，是在函数中有个局部变量，然后声明为static，接着自增，之后神奇的发现变量居然没有自动释放。这其实还是个局部变量，出了函数是没法使用的。

对于extern，常用的做法还有：
extern int array[];
这样在头文件里面声明一个数组类型，然后在cpp中定义它。



EiN 2008-12-19 17:03 发表评论
]]>