MSVC 2017 在共享库中创建模板函数的副本

MSVC 2017 creates copies of template function in shared libraries

本文关键字:建模 函数 副本 创建 2017 共享 MSVC      更新时间:2023-10-16

在尝试在Visual Studio 2017中复制此问题中的行为时,我发现不是将&FuncTemplate<C>链接到完全相同的地址,而是将函数template<> FuncTemplate<C>() {}复制到dllA和dllB中,以便相应的测试程序始终返回not equal

该解决方案是使用 3 个 Win32 项目重新设置的,一个作为控制台应用程序,另一个作为 DLL。为了链接 DLL,我将它们添加为对控制台项目的引用(手动链接也不起作用(。我所做的代码中唯一的更改是将__declspec(dllexport)添加到a()b()

这种行为是标准的安慰吗?似乎应该在这里使用 ODR 来折叠函数的副本。有没有办法在另一个问题中看到相同的行为?

模板.h

#pragma once
typedef void (*FuncPtr)();
template<typename T>
void FuncTemplate() {}
class C {};

A.cpp - DLL 项目 1

#include "Template.h"
__declspec(dllexport) FuncPtr a() {
  return &FuncTemplate<C>;
}

b.cpp - DLL 项目 2

#include "Template.h"
__declspec(dllexport )FuncPtr b() {
  return &FuncTemplate<C>;
}

主.cpp - 控制台项目

#include <iostream>
#include "i.h"
// seems like there is no __declspec(dllimport) needed here
FuncPtr a();
FuncPtr b();
int main() {
  std::cout << (a() == b() ? "equal" : "not equal") << std::endl;
  return 0;
}

C++编译通常分为两部分,编译器本身和链接器。链接器的工作是查找相同函数的所有编译并将其合并到单个单元中,并丢弃重复项。在链接步骤结束时,每个函数都应是链接器输出的一部分,或者标记为需要在执行时从另一个 DLL 解析。每个 DLL 将包含函数的副本(如果该 DLL 在该 DLL 中使用或从该 DLL 导出(。

在执行时解析动态链接的过程在C++工具链之外,它发生在操作系统级别。它无法像链接器那样合并重复项。

我认为就ODR而言,每个DLL都被认为是一个单独的可执行文件。