G ++为未使用的模板专业化生成代码？

问题描述

在我正在处理的一个项目的一些序列化代码中，我有一个类型，它的大小依赖于编译器。为了解决这个问题，我决定使用模板专业化，这很好。一切都在编译时解决。代码看起来有点像这样（不是真正的代码，只是一个例子）：

 模板< int size> 
 void 
 special_function（）
 {
 std :: cout<< 没有专门调用：<<大小<<的std :: ENDL; 
} 
 
模板<> 
 void 
 special_function< 4>（）
 {
 std :: cout<< dword<<的std :: ENDL; 
} 
 
模板<> 
 void 
 special_function< 8>（）
 {
 std :: cout<< qword<<的std :: ENDL; 
 
 
 
 main（）
 {
 special_function< sizeof（int）>（）; 
返回0; 
 
 
 
 $ b在我的32位系统上，执行上述程序输出 dword ，如预期。但是，这样做的关键，不仅仅是做 if（sizeof（int）== 4）{...} else if ... 是我的希望编译器只能为适当的函数生成代码。由于 special_function< 4> 是这个程序中唯一调用的，所以我期望它是由编译器生成的唯一一个（在这种情况下，gcc 4.1.2，x86 Linux）。
 
 
 
但这不是观察到的行为。
 
 
 
虽然它确实有效，但每个代码尽管没有被使用，但是模板专业化被生成。但是，不会生成泛型定义。
 
 
 
我应该提到，这是一步式编译，而不是汇编成中间目标文件，然后是链接。在这种情况下，推迟将死代码移除到链接阶段似乎很自然，我知道连接器并不总是非常擅长这一点。
 
 
 
有人知道什么是继续？有没有我在这里失踪的模板专业的细微之处？ Lord知道恶魔在C ++的细节中。
编辑：既然已经提到过，这种行为同时发生在-O3和-Os上。
 
 
 
 EDIT2：Rob建议将函数放入匿名命名空间。这样做并编译任何级别的优化确实会删除死代码，这很好。但我很好奇，所以我试着用下面的程序做同样的事情： 
 
 
  namespace {
 void foo（） {std :: cout<< 富！ <<的std :: ENDL; } 
 void bar（）{std :: cout<< 酒吧！ <<的std :: ENDL; } 
} 
 
 int 
 main（）
 {
 foo（）; 
返回0; 
} 
  
这里的想法是看Rob的解决方案是否真的与模板特化有关。事实证明，开启优化后编译的上述代码将从可执行文件中删除未使用的 bar（）定义。因此，虽然他的答案解决了我眼前的问题，但它并不能解释为什么模板专门化不被使用。
 
 
 
有人知道标准中的相关片段可以解释这一点吗？我一直认为模板只是在使用时生成的，但也许这不是完全专业化的模式。