这个问题是消除未使用的虚函数的后续,但对我来说不够深入。
问题:当定义具有虚函数的类时,编译器为虚函数表分配存储空间,并在表中存储函数指针。这会导致链接器保留这些函数的代码,无论它们是否被调用。即使编译器优化设置要求消除死代码,这可能导致大量死代码保留在可执行文件中。
现在,如果在可执行文件中没有地方调用特定的虚函数(或者换句话说,访问虚函数表的相应槽),则可以从虚函数表中省略相应的函数指针,并且链接器将删除该函数的代码,并有可能进一步省略其他不再被引用的代码。
显然,编译器无法做到这一点,因为只有在链接时才能确定是否调用了特定的虚函数(假设静态链接 - 明显不能在动态链接中完成)。我对链接器不太熟悉,无法确定编译器是否可以以这种方式发出虚函数表,以便链接器可以选择性地省略表中单个未使用的条目。
基本上,我的思路是这样的:虚函数表中的函数指针是对函数的引用,链接器使用它来确定需要在可执行文件中保留函数的代码。类似地,虚函数调用是对从调用其虚函数的类派生出的所有虚函数表中特定插槽的引用。是否可以以这种方式将此类引用通知链接器,以便在没有对其进行任何引用时省略虚函数表插槽?请注意,这与编译器能够在编译时确定调用目标并替换虚函数调用为直接调用不同。我知道有些编译器可以这样做,但这是另一种情况,因为实际上调用了该函数,并且移除的是虚函数分派的开销。在我的情况下,我希望未调用的函数的整个代码都被删除。如果我控制所有类定义,我可以手动消除所有未调用的虚函数。但是在使用库时,这是不现实的。这是否可以通过“链接时优化”或“整个程序优化”来实现?是否有成功实现这种功能的编译器?
问题:当定义具有虚函数的类时,编译器为虚函数表分配存储空间,并在表中存储函数指针。这会导致链接器保留这些函数的代码,无论它们是否被调用。即使编译器优化设置要求消除死代码,这可能导致大量死代码保留在可执行文件中。
现在,如果在可执行文件中没有地方调用特定的虚函数(或者换句话说,访问虚函数表的相应槽),则可以从虚函数表中省略相应的函数指针,并且链接器将删除该函数的代码,并有可能进一步省略其他不再被引用的代码。
显然,编译器无法做到这一点,因为只有在链接时才能确定是否调用了特定的虚函数(假设静态链接 - 明显不能在动态链接中完成)。我对链接器不太熟悉,无法确定编译器是否可以以这种方式发出虚函数表,以便链接器可以选择性地省略表中单个未使用的条目。
基本上,我的思路是这样的:虚函数表中的函数指针是对函数的引用,链接器使用它来确定需要在可执行文件中保留函数的代码。类似地,虚函数调用是对从调用其虚函数的类派生出的所有虚函数表中特定插槽的引用。是否可以以这种方式将此类引用通知链接器,以便在没有对其进行任何引用时省略虚函数表插槽?请注意,这与编译器能够在编译时确定调用目标并替换虚函数调用为直接调用不同。我知道有些编译器可以这样做,但这是另一种情况,因为实际上调用了该函数,并且移除的是虚函数分派的开销。在我的情况下,我希望未调用的函数的整个代码都被删除。如果我控制所有类定义,我可以手动消除所有未调用的虚函数。但是在使用库时,这是不现实的。这是否可以通过“链接时优化”或“整个程序优化”来实现?是否有成功实现这种功能的编译器?