请大家仔细看下面一模一样的两个函数：
再看此函数前，请勿怀疑下面的函数本身有任何问题：

link_type & root() const
{ 问题1：
return (link_type&) header->parent; //(link_type&) 我猜是类型转化，不知道那位朋友能给点说法？
}

问题2：
link_type & root() const //const说明此函数为只读形式，其返回值不能被修改！
{ //link_type & 说明次函数返回值可以作为左值，即其返回值能被修改！
return (link_type&) header->parent; // 这样他们自相矛盾了！
}


再看下面对这个函数的调用：（请勿怀疑对此函数的调用上出了问题）
root()=0; 问题3：请大家给点看法？

[此贴子已经被作者于2007-2-11 11:24:59编辑过]

song4 你好：
谢谢你的指点
下面我还是有点疑虑：
link_type & root() const
{
return (link_type&) header->parent;
}
这个const 只是说明这个函数内不能改变，返回值不属于那个范围 。
函数内不能改变？是指函数内的定义不能改变么？还是。。。
我不大名白？能否给我详细指点以下！万分感激！

[此贴子已经被作者于2007-2-12 13:44:49编辑过]

link_type & root() const
{
return (link_type&) header->parent;
}
header->parent在这个函数内不能改变，在这个函数之外吗就可以改变．
所以这个函数不会如你所说的自相矛盾．

link_type & root() const //有const限定
{
return (link_type&) header->parent;
}
link_type & root() //无const限定
{
return (link_type&) header->parent;
}

第一个函数有const限定 函数内容 ：return (link_type&) header->parent
第二个函数无const限定 函数内容 ：return (link_type&) header->parent;
他们都是函数的内容，区别在那里呢？
能否说明：谢谢！

[此贴子已经被作者于2007-2-13 12:08:57编辑过]

无const可以这样
link_type & root() //无const限定
{
header->parent = header->Next; // 当然我假设这样是有效的
return (link_type&) header->parent;
}

有const不可以这样，想这样只能在函数以外．

link_type & root() const //有const限定
{
header->parent = header->Next; // 当然我假设这样是有效的
//但是我感觉到函数体内的语句是可以随意由自己定义的
//为何就不能多写一行 header->parent = header->Next;呢？
//我实在想不通，真希望能得到你的解释？
return (link_type&) header->parent;
}

CONST 写在函数后面
表明这个函数体内不可以改变任何参数
写在函数头表明返回值不能改变
也就是说不能用返回值来接受其他东西
写在参数地方表示该参数不能变

多看书

link_type & root() const
{
return (link_type&) header->parent;
}
link_type & root() const
{
return (link_type) header->parent;
}
请教着两个函数的区别？

一个是返回该HEAD的引用
一个是返回与HEAD指象同一个的无名对象