Question

以下代码（我无法编写更短的MVCE）

unit.h ：

#include <vector>

template<typename T>
struct foo
{
    std::vector<T> data;
    foo(foo&&) = default;         // no assembly generated
    foo(std::vector<T>&&v) : data(std::move(v)) {}
};

extern template struct foo<int>;  // indicates template instantiation elsewhere

unit.cc ：

#include "unit.h"
template struct foo<int>;         // forces template intantiation

main.cc ：

#include "unit.h"

struct bar
{
    foo<int> f;
    bar(foo<int>&&x) : f(std::move(x)) {}
};

bar makeBar(int x)
{
    std::vector<int> v(x);
    foo<int> f(std::move(v));
    return {std::move(f)};
}

int main()
{
    bar x = makeBar(5);
}

无法在clang下编译（Apple LLVM版本9.0.0（clang-900.0.39.2）-那是llvm版本？），结果是：

test> clang++ -std=c++11 -c unit.cc
test> clang++ -std=c++11 -c main.cc
test> clang++ -std=c++11 main.o unit.o
Undefined symbols for architecture x86_64:
  "foo<int>::foo(foo<int>&&)", referenced from:
      bar::bar(foo<int>&&) in main-476e7b.o
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)

一切对gcc（8.2.0）都适用。经检查，似乎gcc在foo<int>::foo(foo<int>&&)中发出了main.o，而clang未能完全发出它。

正确的行为是什么：default move构造函数应该与unit.o或main.o一起发出吗？这是一个已知的clang错误吗？

有用的链接：https://en.cppreference.com/w/cpp/language/class_template

Answer 1

这是一个clang错误。您的代码格式正确，因此无论考虑“仿佛”规则的编译器策略如何，您的代码都应编译。

类模板的显式实例化仅实例化为其提供定义的成员[temp.explicit]/9：

命名类模板专用化的显式实例化定义显式实例化类模板专用化，并且是仅在实例化点已定义的那些成员的显式实例化定义。

在第一个声明中默认的特殊成员函数仅在 odr-used 时定义。因此，我认为错误是Clang期望在显式实例化时，也会实例化默认构造函数。

因此，解决方法可能是首先在头文件中声明move构造函数，然后在实现文件中将其定义为默认值：

unit.hpp ：

template<typename T>
struct foo
  {
  std::vector<T> data;
  foo(foo&&)=default;
  foo(std::vector<T>&&v) : data(std::move(v)) {}
  };
template<T>
foo<T>::foo(foo&&) noexcept; 
extern template struct foo<int>;

unit.cpp ：

#include <unit.hpp>

template<T>
foo<T>::foo(foo&&) noexcept = default;

template struct foo<int>; //foo(foo&&) has a definition so it is instantiated with the class.

这将强制生成默认move构造函数的定义（请参见[dlc.fct.def.default]/5）。缺点是foo(foo&&)的定义不再是内联的。

或者可以使用以下解决方案：

template<typename T>
struct foo
  {
  std::vector<T> data;
  foo(foo&& o)noexcept:data{move(o.data)}{};
  foo(std::vector<T>&&v) : data(std::move(v)) {}
  };

clang无法在模板实例化时生成默认的move构造函数

1 个答案: