动态链接DLL时，为何ODR对inline成员函数未按预期生效？

问题背景 #

动态链接DLL时，发现同一类的inline静态成员函数在主程序和DLL中的地址不一致，看似违反了C++的ODR规则，具体示例如下：

代码示例 #

公共头文件（common.h） #

class A {
public:
    static void fun() {

    }
};

DLL端代码 #

test.h：

#pragma once
extern "C" {
    _declspec(dllexport) void print_addr();
}

test.cpp：

#include <iostream>
#include "common.h"
#include "test.h"
void print_addr() {
    auto r = &A::fun;
    std::cout << "dll " << (void*)r << std::endl;
}

主程序端代码 #

#include "common.h"
#include <iostream>
extern "C" void print_addr();
int main() {
    print_addr();
    auto r = &A::fun;
    std::cout << "main " << (void*)r << std::endl;
}

运行结果 #

dll 00007FF82EC713B6
main 00007FF7AD77143D

标准依据 #

根据C++标准[class.mfct] p1的规定：

若成员函数属于全局模块且在类定义中定义，则它是inline函数（[dcl.inline]）。

A::fun属于inline函数，而[basic.def.odr] p15规定：

对于在多个翻译单元中都有定义的可定义项D：

• 若D是非inline非模板函数或变量，或
• [...]
  对于每个此类实体及D本身，行为应如同存在单个实体与单个定义，包括将这些要求应用于其他实体时。

原因分析 #

1. ODR规则的适用边界：C++标准的ODR规则针对的是同一程序内的多个翻译单元，但DLL和主程序是独立编译的二进制模块，编译阶段完全分离，编译器会为每个模块分别生成inline函数的本地副本。

2. inline函数的语义要求：标准中“行为应如同存在单个实体”指的是语义等价，即所有定义的逻辑必须完全一致，而非要求地址必须相同。编译器为优化通常会将inline函数在调用点展开，若无法展开则在当前模块内生成专属的函数副本。

3. Windows DLL的导出机制：默认情况下，inline函数不会被标记为DLL导出，主程序无法访问DLL中的A::fun副本，反之亦然。两个模块各自持有独立的A::fun实例，地址自然不同。即使尝试导出inline函数，编译器也通常不会将其放入DLL导出表，优先选择本地展开或生成副本。

4. 内存地址隔离：DLL和主程序运行时加载到进程虚拟地址空间的不同区域，各自的函数副本会被分配到不同的内存地址，这也直接导致了地址差异。

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