渔舟唱晚的天空
——welkinwalker的遐想

本文参考了: http://topic.csdn.net/t/20051220/09/4469273.html


函数的inline属性是在编译时确定的, 然而,virtual的性质是在运行时确定的,这两个不能同时存在,只能有一个选择,文件中的inline关键字只是对编译器的建议,编译器是否采纳是编译器的事情。

 

1.       内联函数是个静态行为,而虚函数是个动态行为,他们之间是有矛盾的。

2.       我们之所以能看到一些象内联函数的虚函数,是因为某个函数是否是内联函数不是由我们说的算,而是由编译器决定的。我们只能向编译器建议,某个函数可以是内联函数(inline关键字),但是编译器有自己的判断法则。所以可能出现这样的情况:

2.1           我们用inline声明的函数却没有inline

2.2           我们没有用inline声明的函数却是inline

2.3           对于inline函数,编译器仍然将它编译成一个有地址的函数

所以,情况比较复杂,从high-level来看的话很难判断函数是否是inline的,如果从low-level来看的话就比较清晰,非内联函数遵从函数调用机制,在汇编中用call来调用。内联函数则没有这些。

inline函数表示该函数是内联的,它建议编译程序在调用该函数的地方直接将函数的代码展开来插入caller的代码中.这个只是一种指示至于会不会被内联,编译程序还会根据被声明为inline的函数的内部结构如:是否包含循环,复杂的函数调用等等来选择是否inline

1.       虚函数肯定不会被内联这一点毋庸置疑,因为虚函数只有到了Runtime才能被识别到底是哪一个被调用,而内联是编译期就会将代码展开并安插这个明显不是一回事。

2.       inline有两种表现方式一种就是以inline在实现文件中(.cpp)指出这被称为显示内联,另外一种就如你所说类的声明和定义放入同一个文件这称为隐式内联,但是还是如前面所说inline只是一个提示符至于会不会内联还是由编译程序说了算。


#include<iostream>
using namespace std;
class A
{
    public:

        inline virtual void virFUn()  //类的成员函数作为回调函数 static方式实现
        {   
            cout<<"我是A中虚函数,inline在这不起作用!"<<endl;
        }   
        void f();
};
inline  void A::f()
{
    cout<<"我是真正的内联函数,不能同时设置为虚函数!"<<endl;
}
class B:public A
{
    public:
        virtual void virFUn() 
        {   
            cout<<"我是B中虚函数!"<<endl;
        }   
};
int main()
{
    A * pa; 
    B b;
    pa = &b; 
    pa->virFUn();
    A a;
    a.f();

}    

 

ps:怎么检测一个标记为inline的函数是否被编译器当做内联函数来处理呢。这里提供一个方法:使用nm来查看调用内联函数的目标文件,如果找到了inline函数的符号,那么说明没有被当做内联函数,如果没有找到的话,则说明编译器把它当做了内联函数来处理。因为如果标记为inline的函数如果被当做了内联函数,编译器应当直接使用代码替换掉调用标记,所以不应当看到有内联函数的符号。

 

 

posted on 2011-11-15 13:37  welkinwalker  阅读(4587)  评论(0编辑  收藏  举报