8

以下代码（我无法制作更短的 MVCE）

单位.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

单位.cc：

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

主.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>&&)in main.o，而 clang 未能完全发出它。

正确的行为是什么：移动构造函数应该用ordefault发出吗？这是一个已知的clang错误吗？unit.omain.o

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

4

1 回答 1

6

这是一个铿锵的错误。您的代码格式正确，因此无论编译器考虑“好像”规则的策略是什么，您的代码都应该编译。

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

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

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

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

单位.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>;

单位.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.

这将强制生成默认移动构造函数的定义（参见[dlc.fct.def.default]/5）。缺点是 of 的定义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)) {}
  };
于 2018-11-13T15:48:45.317 回答