对象的构造函数需要来自用户的 twp 参数。要求参数可以是不同的类型,但可以假定每种类型都实现正确的移动语义。(实际示例是一个cubic_spline 类,它是使用数字数据的随机访问对象[向量] 构造的,一个用于“x”,另一个用于“y”或“f(x)”。)
进一步要求用户可以传递任一参数以由对象复制,或者通过移动语义在不复制的情况下捕获。
以下适用于 VC++ std::vector (Dinkumware) 和我编写的自定义容器。真的这么简单吗?我认为下面的代码可能是正确的,但我有偷偷摸摸的怀疑。我的问题很简单,“这是正确的代码吗?” (如果不是,它怎么会失败,应该如何重写?不必要的数据复制将被视为失败。)
#include <vector>
template<class V1, class V2>
class spline {
public:
spline(V1 v1, V2 v2) noexcept
: xv( std::move(v1))
, yv( std::move(v2))
{}
private:
V1 xv;
V2 yv;
};
int main() {
using dv = std::vector<double>;
using fv = std::vector<float>;
fv xx { 1.f, 1.5f, 1.7f, 2.f};
dv yy { 1, -1, 1.2, 3};
spline<fv, dv> sp(xx, std::move(yy));
// xx is now unchanged, but yy is empty, its contents
// having been moved by sp.
return 0;
}