能否让MS链接器移除代码中未使用的D::Unused虚函数？

先看你提供的代码：

class B { virtual const char* Unused() = 0; }; 
class D : public B { const char* Unused() override; }; 
const char* D::Unused() { return "this string is unused"; } 
int main() { D* d = new D; delete d; return 0; }

你用VS2017加上/OPT:REF /OPT:ICF /LTCG参数后，二进制里还是留着那个没用的字符串，问题其实出在**虚函数表（vtable）**的逻辑上：

因为D继承了带纯虚函数的B，编译器会为D生成一张虚函数表，里面必须包含Unused函数的指针——毕竟它是基类纯虚函数的override，编译器默认认为这个函数可能被通过基类指针（比如B*）间接调用，哪怕你的main里完全没碰它。链接器看到vtable里引用了这个函数，就会判定它是“被使用的代码”，自然不会把它和附带的字符串删掉，哪怕你开了链接优化。

给你几个可行的解决方案：

• 最彻底的办法：删掉无用函数
  如果Unused从始至终都没实际用途，直接把基类B里的纯虚函数声明、派生类D的override声明和实现全删掉就好——这样二进制里自然不会有任何相关代码和字符串，干净利落。

• 条件编译简化函数体
  如果必须保留函数的声明（比如某些接口要求），可以在Release模式下把函数体改成空实现，避免包含那个冗余字符串：

  #ifdef NDEBUG
  const char* D::Unused() { return nullptr; }
  #else
  const char* D::Unused() { return "this string is unused"; }
  #endif
  

  这样Release版本里就不会有那个字符串了，虽然函数本身还存在，但体积已经最小化。

• 尝试强制优化（仅限绝对安全的场景）
  如果你能100%保证整个程序里绝对不会通过任何方式调用Unused，可以试试把这个函数单独放在一个编译单元里，加上__declspec(noinline)标记，再配合/OPT:REF /LTCG编译。不过要注意，这种方法不一定靠谱——MSVC对虚函数的优化本来就比较保守，只要vtable里有这个函数的条目，链接器还是可能留着它。

内容的提问来源于stack exchange，提问作者xpp_T