带静态方法的模板特化类是否占用存储空间？

咱们先把你的代码清晰整理出来，再逐个解答问题，结合MISRA规范聊聊注意事项：

你的代码示例 #

file1.hpp #

template <class val_t> struct MatOps;

file2.hpp #

#include "file1.hpp"
template <> struct MatOps<float>{
 static void method1(){ // Do something }
 static void method2(){ // Do something }
 static void method3(){ // Do something }
};

file3.hpp #

#include "file1.hpp"
template <> struct MatOps<double>{
 static void method1(){ // Do something different }
 static void method2(){ // Do something different }
 static void method3(){ // Do something different }
};

main.cpp #

#include "file2.hpp"
#include "file3.hpp"
int main(){
 float a,b,c,d;
 MatOps<float>::method1(a,b,...);
 MatOps<float>::method2(c,d,...);
 return 0;
}

你的问题 #

• 我并未使用显式特化MatOps<double>，该特化是否会被实例化？或者说，引入file3.hpp是否会占用存储空间？
• 我未调用MatOps<float>::method3()，但使用了该类的其他方法，编译器是否会为MatOps<float>::method3()生成代码？

背景（MISRA C++:2003规范） #

头文件应用于声明对象、函数、内联函数、函数模板、typedef、宏、类及类模板，不得包含或生成占用存储空间的对象或函数（或其片段）的定义。
任何通过#include指令引入的文件均视为头文件，无论其名称或后缀。

问题解答 #

关于MatOps<double>的实例化与存储空间 #

首先得明确：全模板特化不是模板实例化，它是一个独立的、完整的类定义。当你#include "file3.hpp"时，这个MatOps<double>的特化就被引入到当前编译单元中了。

不过实际存储空间的占用要看编译器优化：

• 现代主流编译器默认会启用链接时优化（LTO）或死代码消除（DCE），如果你的代码完全没用到MatOps<double>的任何成员，编译器/链接器会把这个未使用的特化从最终可执行文件里剔除，不会占用存储空间。
• 但如果是老编译器或者没开优化，这个未使用的特化可能会被保留，这就违反了你提到的MISRA规则。另外，要是成员函数是类外定义的非内联函数，还可能引发多编译单元重复定义的链接错误——不过你现在的成员函数都是类内定义，默认是内联的，暂时没这个问题。

关于MatOps<float>::method3()的代码生成 #

同样取决于优化策略：

• 只要method3()没有被任何地方调用（包括隐式调用），且编译器开了死代码消除，就不会为它生成目标代码，自然不占存储空间。
• 但如果method3()有全局变量修改、静态变量初始化这类副作用，或者没开优化，它可能会被生成代码。

结合MISRA规则来说，你当前把成员函数放在类内定义（内联）是符合要求的，因为MISRA允许头文件包含内联函数定义。

针对MISRA规则的小建议 #

为了更严格地符合规范，你可以做这些调整：

• 把全特化类的成员函数定义移到.cpp文件中，头文件只保留类的声明，避免引入不必要的定义。
• 按需引入头文件：比如main.cpp里不需要MatOps<double>，就别#include "file3.hpp"，从根源上避免未使用的定义。
• 确保编译器启用链接时优化，即使不小心引入了未使用的特化，也能被自动消除。

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