C++ 虚拟函数调用的优化
我有一个关于虚拟函数调用优化的问题。我在某个地方读到过（问题是我现在找不到这篇文章），通过使用类似以下的构造，可以优化v表查找：C++ 虚拟函数调用的优化,c++,optimization,virtual-functions,vtable,C++,Optimization,Virtual Functions,Vtable,我有一个关于虚拟函数调用优化的问题。我在某个地方读到过（问题是我现在找不到这篇文章），通过使用类似以下的构造，可以优化v表查找： // Base.h class Base { public: virtual void Foo() = 0; }; // Concrete.h class Concrete : public Base { public: virtual void Foo() { // do something; } }; //Som
// Base.h
class Base
{
public:
virtual void Foo() = 0;
};
// Concrete.h
class Concrete : public Base
{
public:
virtual void Foo()
{
// do something;
}
};
//Some.h
extern Base* const g_object;
// Some.cpp
Concrete on_stack_concrete;
Base* const g_object = &on_stack_concrete;
// Some.cpp
#ifdef _WIN32
Win32Concrete concrete;
#elif defined _UNIX
UnixConcrete concrete;
#endif
Base* const g_global = &concrete;
问题不是为什么首先要使用这样的常量指针，而是在这种情况下是否可以优化v表查找。您似乎误用了
虚拟virtualWin32ConcreteUnixConcrete// Some.cpp
#ifdef _WIN32
Win32Concrete concrete;
#elif defined _UNIX
UnixConcrete concrete;
#endif
Base* const g_global = &concrete;
现在，您的函数不需要是虚拟的。解决这一问题的最简单方法是使需要访问受限方法的类成为具体类的朋友。然后他们可以完全访问该类，而其他人只能访问公共类 如果这不实际，您可以将实现放在基类中，并保护所有受限制的方法，然后派生一个公开受保护方法的特殊类
class Concrete
{
public:
void foo() { ... }
protected:
void bar() { ... }
};
class ConcretePrivate : public Concrete
{
public:
void bar() { Concrete:: bar(); }
};
ConcretePrivate g_globalPrivate;
Concrete& g_global = g_globalPrivate;
使用
g_global的代码只能访问具体方法。使用g_globalPrivate的代码可以访问具体的私有方法。这是Doom 3源代码（）中使用的方法，例如neo/framework/FileSystem。h定义如下：
extern idFileSystem * fileSystem;
idFileSystemLocal fileSystemLocal;
idFileSystem * fileSystem = &fileSystemLocal;
extern idFileSystem * fileSystem;
idFileSystemLocal fileSystemLocal;
idFileSystem * fileSystem = &fileSystemLocal;
这可能与编译器有关，您应该能够通过查看编译器生成的程序集来验证这一点。如果指针总是指向同一个对象，为什么要使用指针？@BoPersson，我现在可以想到一个好的应用程序，例如，跨平台库只向用户公开抽象接口，而后端根据某些定义为各种平台使用多个实现。这当然需要对每个具有不同定义集的平台进行多次编译，但对于最终用户来说，这并没有什么区别。如果Win32Concrete类对某些.h的客户端不可见，那么他们就不太可能优化vtable，因为他们看不到它“真正是什么”，因为直到链接时间你才决定。无论如何，vtable优化是不能保证的，所以除了首先没有vtable之外，没有办法强制它。全局变量以这种方式初始化的目的是避免将它作为参数传递给需要的函数，所以这种情况不会发生。它是全局变量，因此可以在任何地方访问，因此您提到的“contex”在我的理解中不会改变。@AdrianLis如果您直接访问全局变量，那么为什么要创建
Base*const g_object，