Question

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

使用3个Win32Projects设置解决方案，一个作为ConsoleApplication，其他作为DLL。为了链接DLL，我将它们作为对控制台项目的引用添加（手动链接也没有工作）。我所做的代码中唯一的变化就是将__declspec(dllexport)添加到a()和b()。

此行为标准是否符合标准？似乎应该在这里使用ODR来折叠函数的副本。有没有办法在另一个问题中看到相同的行为？

Template.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 project 2

#include "Template.h"

__declspec(dllexport )FuncPtr b() {
  return &FuncTemplate<C>;
}

main.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;
}

Answer 1

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

在执行时解析动态链接的过程不在C ++工具链中，它发生在操作系统级别。它没有像链接器那样整合重复项的能力。

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

MSVC 2017在共享库中创建模板功能的副本

1 个答案: