VS2017中inline定义静态成员出现LNK2005重复定义错误原因咨询

问题场景 #

使用Microsoft Visual Studio Professional 2017 Version 15.6.6创建Visual C++空项目，包含以下文件：

Foo.h #

#pragma once
struct Foo
{
    static Foo F1;
};
inline Foo Foo::F1;

Bar.cpp #

#include "Foo.h"

Baz.cpp #

#include <sdkDdkVer.h>
#define WIN32_LEAN_AND_MEAN
#include <windows.h>
#pragma runtime_checks("", off)
#pragma comment(linker, "/nodefaultlib /subsystem:windows /ENTRY:test")
int __stdcall test(void) { ExitProcess(0); }

#include "Foo.h"

编译时触发链接错误：

Baz.obj : error LNK2005: "public: static struct Foo Foo::F1" (?F1@Foo@@2U1@A) already defined in Bar.obj

移除任意一个#include "Foo.h"即可正常编译。

原因分析 #

1. C++标准中inline变量的预期行为：inline修饰的全局变量（包括类静态成员），只要每个编译单元中的定义完全一致，链接器会自动合并所有定义，不会报重复定义错误。
2. Baz.cpp的链接器设置破坏了编译器逻辑：
   • #pragma comment(linker, "/nodefaultlib")会让链接器不加载默认标准库，而Visual Studio编译器处理inline变量时，依赖标准库相关的底层机制标记变量的“可合并”属性。缺少这些库支持时，编译器无法正确生成inline变量的链接信息，导致Foo::F1被当作普通非内联静态成员处理。
   • 自定义入口点/ENTRY:test也干扰了全局静态变量的初始化和链接处理流程，进一步让inline定义失去了合并特性，最终在Bar.obj和Baz.obj中生成了两个独立的全局符号，触发重复定义冲突。

内容的提问来源于stack exchange，提问作者H.v.M.