c++ - 为什么显式模板实例化会在存在外线虚拟时导致 weak-template-vtables 警告？

Question

[编辑以显示 .cpp 和 hpp 之间的拆分]

// file.hpp
class Base {
 public:
    virtual ~Base(void);
    Base(void);
    Base(const Base&) = default;
};

template<typename T>
class Derived: public Base {
 public:
    Derived(void);
    bool func(void);
};

// file.cpp
#include "file.hpp"

Base::~Base(void) {}
Base::Base(void) {}

template<typename T>
bool Derived<T>::func(void) {return true;}

template<typename T>
Derived<T>::Derived(void) {}

// required to avoid linker errors when using `Derived` elsewhere
template class Derived<int>;

最后一行在 Clang v8.0 中导致以下编译器警告 warning: explicit template instantiation 'Derived<int>' will emit a vtable in every translation unit [-Wweak-template-vtables]

我的理解是因为Base至少有一个外联虚方法，这里所有类的 vtables 都将锚定到这个翻译单元，因此 this guidance在 LLVM 编码标准中。 那么为什么会生成此警告？

在 Godbolt 上查看我正在使用的特定编译器版本:https://godbolt.org/z/Kus4bq

我在 SO 上发现的每个类似问题都是针对没有外联虚拟方法的类，因此我无法找到答案。

Answer 1

编辑:我认为这不是 Clang 中的错误，而是 Itanium C++ ABI 要求的结果:https://itanium-cxx-abi.github.io/cxx-abi/abi.html#vague-itemplate此部分在 computeKeyFunction 中的 RecordLayoutBuilder.cpp 中的 Clang 源代码中引用:

Template instantiations don't have key functions per Itanium C++ ABI 5.2.6. Same behaviour as GCC.

Itanium 规范指出类模板实例化将存储在目标文件的 COMDAT 部分中。 COMDAT 部分用于存储同一对象的多个定义，然后可以在链接时统一这些定义。如果模板按照我在回答中预期的方式编译，并通过一个关键函数将其锚定到特定的翻译单元，那么这将不符合此 ABI。

我确实认为该警告没有帮助，但由于它不是 -Wall 或 -Wextra 的一部分，所以我不太介意。

(以下为原帖)

我倾向于认为这是由于 Clang 中的错误所致，此处报告:https://bugs.llvm.org/show_bug.cgi?id=18733

如果链接断开，请在此处重新发布内容:

Rafael Ávila de Espíndola 2014-02-05 00:00:19 PST

Given

template<typename T>
class foo {
  virtual ~foo() {}
};

extern template class foo<int>;
template class foo<int>;

clang warns:

test.cpp:6:23: warning: explicit template instantiation 'foo<int>' will emit a vtable in every translation unit [-Wweak-template-vtables]
extern template class foo<int>;
                      ^
1 warning generated.

note that the warning points to the explicit template instantiation declaration, but is triggered by the definition. This should probably be checking if the definition is in a header. In a .cpp file there is only one translation unit that sees it.

Comment 1 David Faure 2016-02-13 12:21:27 PST

Yes, this false positive is indeed annoying. Thanks for reporting it. Clang developers: thanks for fixing it :-)

对于其他人的意见，我将不胜感激，但我同意错误报告者的观点，即在这种情况下，此警告似乎是虚假的。

尽管错误报告的最后评论称它已修复，但该错误仍以"new"状态列出，所以我不认为它已修复。