为何类内定义的模板静态缓冲区变量编译提示inline变量未定义？

触发的编译错误本质是Visual Studio 2019 16.4.5版本的MSVC编译器对C++特性的实现缺陷，和代码本身的标准合规性无关：

• 最初编写的全局作用域变量模板template <int n> Buffer<n> buffer; 是C++17标准明确支持的语法，这个场景下的模板实例化逻辑在该版本编译器中是完整实现的，因此可以正常编译运行。
• 当变量模板被移到类内部、声明为static inline静态成员时，16.4版本属于最早一批支持类内inline变量模板的预览实现，存在已知的漏洞：编译器仅为类内声明的inline成员模板生成了空的声明占位，没有将该模板纳入可被实例化的实体定义集合，一旦显式访问任意一个特化版本，就会触发“inline variable is undefined”的编译错误。
• 访问代码中的MyStaticClass::buffer < sizeof(int)>; 不存在语法歧义，编译器会将这里的<>识别为模板实参列表，而非小于号比较运算符，这部分语法本身完全符合C++标准要求。

根据是否需要留在16.4.5版本的开发环境，可以选择对应适配方案：

• 升级编译器版本
  上述类内inline静态成员变量模板的实现bug在VS2019 16.5及后续版本已经被完全修复，升级到16.5以上的VS2019、或任意VS2022版本，不需要修改原有代码就可以正常编译运行。
• 不升级版本的兼容写法
  如果受环境限制必须使用16.4.5版本，可以通过调整代码结构绕开编译器缺陷：
  • 如果不需要严格的类访问控制权限，可以将原本的MyStaticClass结构体替换为同名字的命名空间，把变量模板定义在命名空间内部，访问语法和原有类静态成员完全一致，编译器对命名空间下的inline变量模板的实例化逻辑是正常工作的：

    template <int n>
    struct Buffer
    {
        char buffer[n];
    };
    
    namespace MyStaticClass
    {
        template <int n>
        inline Buffer<n> buffer;
    }
    
    int main()
    {
        MyStaticClass::buffer<sizeof(int)>;
    }
    

  • 如果需要保留类的封装、访问控制特性（比如将成员设为private限制外部访问），可以将静态成员变量模板的声明和定义拆分开，类内只做声明，类外做模板定义，这种写法是完全符合C++标准要求的，也能被16.4版本的编译器正确识别实例化：

    template <int n>
    struct Buffer
    {
        char buffer[n];
    };
    
    struct MyStaticClass
    {
    private: // 可根据需要配置访问控制权限
        template <int n>
        static Buffer<n> buffer;
    };
    
    // 类外完成模板定义
    template <int n>
    Buffer<n> MyStaticClass::buffer;
    
    int main()
    {
        MyStaticClass::buffer<sizeof(int)>;
    }
    

注：这类拆分声明定义的写法，在C++17之后即使不写inline修饰也不会引发重复定义问题，因为静态成员模板的特化实体在全程序中是唯一的。

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