钱包下载网址imToken|move

首页
move

钱包下载网址imToken|move

作者：钱包下载网址imToken

2024-03-08 20:51:40

C++:move，带你从根本理解move函数是什么_c++ move-CSDN博客

C++:move，带你从根本理解move函数是什么

KNGG

已于 2022-04-25 17:07:21 修改

阅读量1.4w

点赞数

分类专栏：

C++

文章标签：

c++

c语言

windows

visual studio

经验分享

于 2022-04-20 08:44:52 首次发布

本文链接：https://blog.csdn.net/qq_51568363/article/details/124285294

版权

C++

专栏收录该内容

5 篇文章

8 订阅

订阅专栏

一： move

这个C++专栏都到第三篇博客了，希望大家看完有用的话可以康康博主往期的博客，有兴趣的话可以关注一下，嘻嘻，不说了，说到move离不开的就是，移动语义和值类型，那我们就从值类型先入手吧！

1.值类型（value category）

此图片取自https://zh.cppreference.com/w/cpp/language/value_category网站，这里介绍了C++的所用值类型，但常用的只有后两个，左值，右值，那左值，右值是什么呢？很多博客视频都有介绍很多很多，听得头都大了，那还是用我们自己的话说吧！

左值：可以出现在 operator= 左侧的值；

右值：可以出现在 operator= 右侧的值；

当然这并不是全部正确的，但百分之90多都是这种情况，但有例外：

std::string();类似这种一个类加括号也就是临时变量都是右值；

函数的形参永远是左值；

好了记住红色部分就能分清楚C++值类型了，这个就是基础了，是不是很简单呢，cool，那么下来我们就看看什么是移动语义了。

2.移动语义

移动究竟是干什么呢？我们还是不看那令人头痛的官方解释了，真的会令人栓Q，我还是用我自己理解的话说吧，方便理解和记忆，他就是这么一个情况：

假如我们有两个指针一个指针A，一个指针B，指针A指向了一个很复杂的内容，此时我们需要指针B指向这个很复杂的内容，之后我们就不需要指针A了，它可以滚蛋了，可以析构掉了，这个就是移动语义，结果就是将原来指针A指向的内存交给了指针B，指针A不指向任何内存。相当于B偷走了A的东西。

相对的有移动语义就有复制语义，复制语义就是B指针要想获得同样的内容就会发生拷贝，大部分都是深拷贝（浅拷贝，深拷贝有机会我会补上一篇博客的），结果就是指针A指向一片内存，指针B指向了另一片内存，但两片内存中存储的内容是相同的，大大的浪费性能。

那我们如何实现我们想要的效果呢？就是move语句了

3.std::move

终于到move了，有了上面几个基础就可以开始理解move是什么了，首先记住一句话：

std::move 并不会进行任何移动

好家伙，什么啊，一下整蒙了move不进行移动，别急我们先看一下例子

#include

class Vector

{

private:

int x, y, z;

public:

Vector(int x, int y, int z) :x(x), y(y), z(z) {}

};

int main()

{

std::vector vec;

vec.push_back(Vector(1,2,3));//2

Vector a(4,5,6);

vec.push_back(a);//1

vec.push_back(std::move(a));//2

}

我们来看一下这段代码,第一个push_back里是一个临时变量还记得吗?临时变量都是右值,第二个push_back,因为a是个左值所以传入的参数是个左值,第三个push_back我们使用了move方法本质上我们希望他变成一个右值进而发生移动语义,就是一个偷的过程,而不是复制的过程,让我们进到源码里看看是什么情况.要记住move 它不进行任何移动.还要知道一件事:

在运行期move是无作为的.

_CONSTEXPR20_CONTAINER void push_back(const _Ty& _Val) { // insert element at end, provide strong guarantee

emplace_back(_Val);

}

_CONSTEXPR20_CONTAINER void push_back(_Ty&& _Val) {

// insert by moving into element at end, provide strong guarantee

emplace_back(_STD move(_Val));

}

我们看到了一个push_back的重载我们通过调试可以得知,第一个push_back调用的是源码的第二个,第二个push_back调用的是源码的第一个,第三个调用的是第二个(偷懒一下),要注意的是

(_Ty&& _Val)它并不是一个万能引用,因为vector是一个类模板,(之后我会出博客讲到万能引用和引用叠加等等...)这里的TY就是type的意思就是参数的类型,会进行模板推导.第一个push_back的参数是一个左值引用的形式，第二个是右值引用的形式，第二个会触发一个移动语义，将原先的a的内存偷了过来。

为了加深理解，我们看一下move的源码并且拿过来将代码变为下面这样，变成我们自己的move看看是否能运行成功。

#include

// FUNCTION TEMPLATE move

template

constexpr std::remove_reference_t<_Ty>&& move(_Ty&& _Arg) noexcept { // forward _Arg as movable

return static_cast&&>(_Arg);

}

class Vector

{

private:

int x, y, z;

public:

Vector(int x, int y, int z) :x(x), y(y), z(z) {}

};

int main()

{

std::vector vec;

vec.push_back(Vector(1,2,3));

Vector a(4,5,6);

vec.push_back(a);

vec.push_back(move(a));

}

我们可以看到我们将move搬过来实现一样可以运行成功，我们来看源码，_t是C++14之后将原来的type的形式全部都变成type reference的形式，remove_reference_t就是将这个函数木板的类别<_Ty>它的加引用的情况都给去掉了，无论是左值引用(&)还是右值引用(&&)都会移除掉，之后再用static_cast强转为右值引用的形式，那么我们能看出move就是将参数原来的修饰符全部都删掉，在强转为右值引用输出，就是这么简单，move没有干任何移动的过程，所以还是那句话：

std::move 并不会进行任何移动

真正的移动是要自己写的，发生在之后也就是这里

public:

template

_CONSTEXPR20_CONTAINER decltype(auto) emplace_back(_Valty&&... _Val) {

// insert by perfectly forwarding into element at end, provide strong guarantee

auto& _My_data = _Mypair._Myval2;

pointer& _Mylast = _My_data._Mylast;

if (_Mylast != _My_data._Myend) {

return _Emplace_back_with_unused_capacity(_STD forward<_Valty>(_Val)...);

}

_Ty& _Result = *_Emplace_reallocate(_Mylast, _STD forward<_Valty>(_Val)...);

#if _HAS_CXX17

return _Result;

#else // ^^^ _HAS_CXX17 ^^^ // vvv !_HAS_CXX17 vvv

(void) _Result;

#endif // _HAS_CXX17

}

然而move的作用也就是强行转换成右值引用。

二.总结

move的大概就介绍完了，在最后我们提到了值引用的概念，还能看到一个新的函数 forward，我下一篇博客就会重点来讲这两个是什么，如果这篇博客能帮助到你的话，请关注下博主，博主会缓慢更新一下奇奇怪怪的知识，ok，本篇博客任何有问题，和错误的地方都欢迎大家来指正，也谢谢大家看到这里，下一篇博客见！！

优惠劵

KNGG

关注

踩

觉得还不错?

一键收藏

打赏

知道了

C++:move，带你从根本理解move函数是什么

一： std::move 这个C++专栏都到第三篇博客了，希望大家看完有用的话可以康康博主往期的博客，有兴趣的话可以关注一下，嘻嘻，不说了，说到move离不开的就是，移动语义和值类型，那我们就从值类型先入手吧！1.值类型（value category）...

复制链接

扫一扫

专栏目录

基于C++，在主函数中输入10个整数到数组中，调用函数move()完成将数组元素循环移动k位，适合新手

05-26

在主函数中输入10个整数到数组中，调用函数move()完成将数组元素循环移动k位(要求函数参数为：1数组名；2数组元素个数；3循环移动的位数k)。当k＞0时，实现循环右移；当k<0时，实现循环左移。循环右移一位的意义是：将数组全体元素向右移动一个元素的位置，原数组最后一个元素移动到数组最前面，即第0个元素位置。提示：当k<0时，可转换成等价的循环右移。调用函数print()输出移动前和移动后的全体数组元素。

C++中的移动构造函数及move语句示例详解

01-20

前言

本文主要给大家介绍了关于C++中移动构造函数及move语句的相关内容，分享出来供大家参考学习，下面话不多说了，来一起看看详细的介绍吧。

首先看一个小例子：

#include

using namespace std;

int main()

{

string st = I love xing;

vector vc ;

vc.push_back(move(st));

cout<

if(!st.empty(

9 条评论

您还未登录，请先

后发表或查看评论

C++11中std::move、std::forward、左右值引用、移动构造函数的测试问题

09-08

主要介绍了C++11中std::move、std::forward、左右值引用、移动构造函数的测试,本文通过实例代码给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下

[c++]push_back的tip

一文读懂C++右值引用和std::move - 知乎

一文读懂C++右值引用和std::move - 知乎首发于腾讯技术切换模式写文章登录/注册一文读懂C++右值引用和std::move腾讯技术工程编程话题下的优秀答主作者：rickonji 冀铭哲 C++11引入了右值引用，有一定的理解成本，工作中发现不少同事对右值引用理解不深，认为右值引用性能更高等等。本文从实用角度出发，用尽量通俗易懂的语言讲清左右值引用的原理，性能分析及其应用场景，帮助大家在日常编程中用好右值引用和std::move。 1. 什么是左值、右值首先不考虑引用以减少干扰，可以从2个角度判断：左值可以取地址、位于等号左边；而右值没法取地址，位于等号右边。int a = 5;

a可以通过 & 取地址，位于等号左边，所以a是左值。5位于等号右边，5没法通过 & 取地址，所以5是个右值。再举个例子：struct A {

A(int a = 0) {

a_ = a;

}

int a_;

};

A a = A();

同样的，a可以通过 & 取地址，位于等号左边，所以a是左值。A()是个临时值，没法通过 & 取地址，位于等号右边，所以A()是个右值。可见左右值的概念很清晰，有地址的变量就是左值，没有地址的字面值、临时值就是右值。2. 什么是左值引用、右值引用引用本质是别名，可以通过引用修改变量的值，传参时传引用可以避免拷贝，其实现原理和指针类似。个人认为，引用出现的本意是为了降低C语言指针的使用难度，但现在指针+左右值引用共同存在，反而大大增加了学习和理解成本。2.1 左值引用左值引用大家都很熟悉，能指向左值，不能指向右值的就是左值引用：int a = 5;

int &ref_a = a; // 左值引用指向左值，编译通过

int &ref_a = 5; // 左值引用指向了右值，会编译失败

引用是变量的别名，由于右值没有地址，没法被修改，所以左值引用无法指向右值。但是，const左值引用是可以指向右值的：const int &ref_a = 5; // 编译通过

const左值引用不会修改指向值，因此可以指向右值，这也是为什么要使用const &作为函数参数的原因之一，如std::vector的push_back：void push_back (const value_type& val);

如果没有const，vec.push_back(5)这样的代码就无法编译通过了。2.2 右值引用再看下右值引用，右值引用的标志是&&，顾名思义，右值引用专门为右值而生，可以指向右值，不能指向左值：int &&ref_a_right = 5; // ok

int a = 5;

int &&ref_a_left = a; // 编译不过，右值引用不可以指向左值

ref_a_right = 6; // 右值引用的用途：可以修改右值

2.3 对左右值引用本质的讨论下边的论述比较复杂，也是本文的核心，对理解这些概念非常重要。2.3.1 右值引用有办法指向左值吗？有办法，std::move：int a = 5; // a是个左值

int &ref_a_left = a; // 左值引用指向左值

int &&ref_a_right = std::move(a); // 通过std::move将左值转化为右值，可以被右值引用指向

cout << a; // 打印结果：5

在上边的代码里，看上去是左值a通过std::move移动到了右值ref_a_right中，那是不是a里边就没有值了？并不是，打印出a的值仍然是5。std::move是一个非常有迷惑性的函数，不理解左右值概念的人们往往以为它能把一个变量里的内容移动到另一个变量，但事实上std::move移动不了什么，唯一的功能是把左值强制转化为右值，让右值引用可以指向左值。其实现等同于一个类型转换：static_cast(lvalue)。所以，单纯的std::move(xxx)不会有性能提升，std::move的使用场景在第三章会讲。同样的，右值引用能指向右值，本质上也是把右值提升为一个左值，并定义一个右值引用通过std::move指向该左值：int &&ref_a = 5;

ref_a = 6;

等同于以下代码：

int temp = 5;

int &&ref_a = std::move(temp);

ref_a = 6;

2.3.2 左值引用、右值引用本身是左值还是右值？被声明出来的左、右值引用都是左值。因为被声明出的左右值引用是有地址的，也位于等号左边。仔细看下边代码：// 形参是个右值引用

void change(int&& right_value) {

right_value = 8;

}

int main() {

int a = 5; // a是个左值

int &ref_a_left = a; // ref_a_left是个左值引用

int &&ref_a_right = std::move(a); // ref_a_right是个右值引用

change(a); // 编译不过，a是左值，change参数要求右值

change(ref_a_left); // 编译不过，左值引用ref_a_left本身也是个左值

change(ref_a_right); // 编译不过，右值引用ref_a_right本身也是个左值

change(std::move(a)); // 编译通过

change(std::move(ref_a_right)); // 编译通过

change(std::move(ref_a_left)); // 编译通过

change(5); // 当然可以直接接右值，编译通过

cout << &a << ' ';

cout << &ref_a_left << ' ';

cout << &ref_a_right;

// 打印这三个左值的地址，都是一样的

}

看完后你可能有个问题，std::move会返回一个右值引用int &&，它是左值还是右值呢？从表达式int &&ref = std::move(a)来看，右值引用ref指向的必须是右值，所以move返回的int &&是个右值。所以右值引用既可能是左值，又可能是右值吗？确实如此：右值引用既可以是左值也可以是右值，如果有名称则为左值，否则是右值。或者说：作为函数返回值的 && 是右值，直接声明出来的 && 是左值。这同样也符合第一章对左值，右值的判定方式：其实引用和普通变量是一样的，int &&ref = std::move(a)和 int a = 5没有什么区别，等号左边就是左值，右边就是右值。最后，从上述分析中我们得到如下结论：从性能上讲，左右值引用没有区别，传参使用左右值引用都可以避免拷贝。右值引用可以直接指向右值，也可以通过std::move指向左值；而左值引用只能指向左值(const左值引用也能指向右值)。作为函数形参时，右值引用更灵活。虽然const左值引用也可以做到左右值都接受，但它无法修改，有一定局限性。void f(const int& n) {

n += 1; // 编译失败，const左值引用不能修改指向变量

}

void f2(int && n) {

n += 1; // ok

}

int main() {

f(5);

f2(5);

}

3. 右值引用和std::move的应用场景按上文分析，std::move只是类型转换工具，不会对性能有好处；右值引用在作为函数形参时更具灵活性，看上去还是挺鸡肋的。他们有什么实际应用场景吗？3.1 实现移动语义在实际场景中，右值引用和std::move被广泛用于在STL和自定义类中实现移动语义，避免拷贝，从而提升程序性能。在没有右值引用之前，一个简单的数组类通常实现如下，有构造函数、拷贝构造函数、赋值运算符重载、析构函数等。深拷贝/浅拷贝在此不做讲解。class Array {

public:

Array(int size) : size_(size) {

data = new int[size_];

}

// 深拷贝构造

Array(const Array& temp_array) {

size_ = temp_array.size_;

data_ = new int[size_];

for (int i = 0; i < size_; i ++) {

data_[i] = temp_array.data_[i];

}

// 深拷贝赋值

Array& operator=(const Array& temp_array) {

delete[] data_;

size_ = temp_array.size_;

data_ = new int[size_];

for (int i = 0; i < size_; i ++) {

data_[i] = temp_array.data_[i];

}

~Array() {

delete[] data_;

}

public:

int *data_;

int size_;

};

该类的拷贝构造函数、赋值运算符重载函数已经通过使用左值引用传参来避免一次多余拷贝了，但是内部实现要深拷贝，无法避免。这时，有人提出一个想法：是不是可以提供一个移动构造函数，把被拷贝者的数据移动过来，被拷贝者后边就不要了，这样就可以避免深拷贝了，如：class Array {

public:

Array(int size) : size_(size) {

data = new int[size_];

}

// 深拷贝构造

Array(const Array& temp_array) {

...

}

// 深拷贝赋值

Array& operator=(const Array& temp_array) {

...

}

// 移动构造函数，可以浅拷贝

Array(const Array& temp_array, bool move) {

data_ = temp_array.data_;

size_ = temp_array.size_;

// 为防止temp_array析构时delete data，提前置空其data_

temp_array.data_ = nullptr;

}

~Array() {

delete [] data_;

}

public:

int *data_;

int size_;

};

这么做有2个问题：不优雅，表示移动语义还需要一个额外的参数(或者其他方式)。无法实现！temp_array是个const左值引用，无法被修改，所以temp_array.data_ = nullptr;这行会编译不过。当然函数参数可以改成非const：Array(Array& temp_array, bool move){...}，这样也有问题，由于左值引用不能接右值，Array a = Array(Array(), true);这种调用方式就没法用了。可以发现左值引用真是用的很不爽，右值引用的出现解决了这个问题，在STL的很多容器中，都实现了以右值引用为参数的移动构造函数和移动赋值重载函数，或者其他函数，最常见的如std::vector的push_back和emplace_back。参数为左值引用意味着拷贝，为右值引用意味着移动。class Array {

public:

......

// 优雅

Array(Array&& temp_array) {

data_ = temp_array.data_;

size_ = temp_array.size_;

// 为防止temp_array析构时delete data，提前置空其data_

temp_array.data_ = nullptr;

}

public:

int *data_;

int size_;

};

如何使用：// 例1：Array用法

int main(){

Array a;

// 做一些操作

.....

// 左值a，用std::move转化为右值

Array b(std::move(a));

}

3.2 实例：vector::push_back使用std::move提高性能// 例2：std::vector和std::string的实际例子

int main() {

std::string str1 = "aacasxs";

std::vector vec;

vec.push_back(str1); // 传统方法，copy

vec.push_back(std::move(str1)); // 调用移动语义的push_back方法，避免拷贝，str1会失去原有值，变成空字符串

vec.emplace_back(std::move(str1)); // emplace_back效果相同，str1会失去原有值

vec.emplace_back("axcsddcas"); // 当然可以直接接右值

}

// std::vector方法定义

void push_back (const value_type& val);

void push_back (value_type&& val);

void emplace_back (Args&&... args);

在vector和string这个场景，加个std::move会调用到移动语义函数，避免了深拷贝。除非设计不允许移动，STL类大都支持移动语义函数，即可移动的。另外，编译器会默认在用户自定义的class和struct中生成移动语义函数，但前提是用户没有主动定义该类的拷贝构造等函数(具体规则自行百度哈)。因此，可移动对象在<需要拷贝且被拷贝者之后不再被需要>的场景，建议使用std::move触发移动语义，提升性能。moveable_objecta = moveable_objectb;

改为：

moveable_objecta = std::move(moveable_objectb);

还有些STL类是move-only的，比如unique_ptr，这种类只有移动构造函数，因此只能移动(转移内部对象所有权，或者叫浅拷贝)，不能拷贝(深拷贝):std::unique_ptr ptr_a = std::make_unique ();

std::unique_ptr ptr_b = std::move(ptr_a); // unique_ptr只有‘移动赋值重载函数‘，参数是&& ，只能接右值，因此必须用std::move转换类型

std::unique_ptr ptr_b = ptr_a; // 编译不通过

std::move本身只做类型转换，对性能无影响。我们可以在自己的类中实现移动语义，避免深拷贝，充分利用右值引用和std::move的语言特性。4. 完美转发 std::forward和std::move一样，它的兄弟std::forward也充满了迷惑性，虽然名字含义是转发，但他并不会做转发，同样也是做类型转换.与move相比，forward更强大，move只能转出来右值，forward都可以。 std::forward(u)有两个参数：T与 u。 a. 当T为左值引用类型时，u将被转换为T类型的左值； b. 否则u将被转换为T类型右值。举个例子，有main，A，B三个函数，调用关系为：main->A->B，建议先看懂2.3节对左右值引用本身是左值还是右值的讨论再看这里：void B(int&& ref_r) {

ref_r = 1;

}

// A、B的入参是右值引用

// 有名字的右值引用是左值，因此ref_r是左值

void A(int&& ref_r) {

B(ref_r); // 错误，B的入参是右值引用，需要接右值，ref_r是左值，编译失败

B(std::move(ref_r)); // ok，std::move把左值转为右值，编译通过

B(std::forward(ref_r)); // ok，std::forward的T是int类型，属于条件b，因此会把ref_r转为右值

例2：void change2(int&& ref_r) {

ref_r = 1;

}

void change3(int& ref_l) {

ref_l = 1;

}

// change的入参是右值引用

// 有名字的右值引用是左值，因此ref_r是左值

void change(int&& ref_r) {

change2(ref_r); // 错误，change2的入参是右值引用，需要接右值，ref_r是左值，编译失败

change2(std::move(ref_r)); // ok，std::move把左值转为右值，编译通过

change2(std::forward(ref_r)); // ok，std::forward的T是右值引用类型(int &&)，符合条件b，因此u(ref_r)会被转换为右值，编译通过

change3(ref_r); // ok，change3的入参是左值引用，需要接左值，ref_r是左值，编译通过

change3(std::forward(ref_r)); // ok，std::forward的T是左值引用类型(int &)，符合条件a，因此u(ref_r)会被转换为左值，编译通过

// 可见，forward可以把值转换为左值或者右值

}

int main() {

int a = 5;

change(std::move(a));

}

上边的示例在日常编程中基本不会用到，std::forward最主要运于模版编程的参数转发中，想深入了解需要学习万能引用(T &&)和引用折叠(eg:& && → ?)等知识，本文就不详细介绍这些了。如有错误，请指正！更多干货尽在腾讯技术，官方微信交流群已建立，交流讨论可加：Journeylife1900（备注腾讯技术）。编辑于 2020-12-11 10:29C++11指针（编程）C / C++赞同 2766164 条评论分享喜欢收藏申请转载文章被以下专栏收录腾讯技术跟腾讯技术相关的文章都在

C++ move()函数_c++move-CSDN博客

C++ move()函数

最新推荐文章于 2024-01-09 21:03:35 发布

chengjian168

最新推荐文章于 2024-01-09 21:03:35 发布

阅读量2.4w

214

点赞数

本文链接：https://blog.csdn.net/chengjian168/article/details/107809308

版权

要了解move函数首先弄清左值引用和右值引用。

左值、左值引用、右值、右值引用

1、左值和右值的概念

左值是可以放在赋值号左边可以被赋值的值；左值必须要在内存中有实体；右值当在赋值号右边取出值赋给其他变量的值；右值可以在内存也可以在CPU寄存器。一个对象被用作右值时，使用的是它的内容(值)，被当作左值时，使用的是它的地址。

2、引用

引用是C++语法做的优化，引用的本质还是靠指针来实现的。引用相当于变量的别名。

引用可以改变指针的指向，还可以改变指针所指向的值。

引用的基本规则：

声明引用的时候必须初始化，且一旦绑定，不可把引用绑定到其他对象；即引用必须初始化，不能对引用重定义；对引用的一切操作，就相当于对原对象的操作。

3、左值引用和右值引用

3.1 左值引用左值引用的基本语法：type &引用名 = 左值表达式； 3.2 右值引用

右值引用的基本语法type &&引用名 = 右值表达式；

右值引用在企业开发人员在代码优化方面会经常用到。

右值引用的“&&”中间不可以有空格。

std::move并不能移动任何东西，它唯一的功能是将一个左值强制转化为右值引用，继而可以通过右值引用使用该值，以用于移动语义。从实现上讲，std::move基本等同于一个类型转换：static_cast(lvalue);C++ 标准库使用比如vector::push_back 等这类函数时,会对参数的对象进行复制,连数据也会复制.这就会造成对象内存的额外创建, 本来原意是想把参数push_back进去就行了,通过std::move，可以避免不必要的拷贝操作。std::move是为性能而生。std::move是将对象的状态或者所有权从一个对象转移到另一个对象，只是转移，没有内存的搬迁或者内存拷贝。

用法:

原lvalue值被moved from之后值被转移,所以为空字符串.

#include

int main()

{

std::string str = "Hello";

std::vector v;

//调用常规的拷贝构造函数，新建字符数组，拷贝数据

v.push_back(str);

std::cout << "After copy, str is \"" << str << "\"\n";

//调用移动构造函数，掏空str，掏空后，最好不要使用str

v.push_back(std::move(str));

std::cout << "After move, str is \"" << str << "\"\n";

std::cout << "The contents of the vector are \"" << v[0]

<< "\", \"" << v[1] << "\"\n";

}

输出:

After copy, str is "Hello"

After move, str is ""

The contents of the vector are "Hello", "Hello"

优惠劵

chengjian168

关注

踩

214

觉得还不错?

一键收藏

知道了

C++ move()函数

要了解move函数首先弄清左值引用和右值引用。左值、左值引用、右值、右值引用1、左值和右值的概念左值是可以放在赋值号左边可以被赋值的值；左值必须要在内存中有实体；右值当在赋值号右边取出值赋给其他变量的值；右值可以在内存也可以在CPU寄存器。一个对象被用作右值时，使用的是它的内容(值)，被当作左值时，使用的是它的地址。2、引用引用是C++语法做的优化，引用的本质还是靠指针来实现的。引用相当于变量的别名。 ...

复制链接

扫一扫

基于C++，在主函数中输入10个整数到数组中，调用函数move()完成将数组元素循环移动k位，适合新手

05-26

在主函数中输入10个整数到数组中，调用函数move()完成将数组元素循环移动k位(要求函数参数为：1数组名；2数组元素个数；3循环移动的位数k)。当k＞0时，实现循环右移；当k时，实现循环左移。循环右移一位的意义是：将...

C++11中std::move、std::forward、左右值引用、移动构造函数的测试问题

09-08

7 条评论

您还未登录，请先

后发表或查看评论

c++ std::move()到底干了什么

move是什么意思_move的翻译_音标_读音_用法_例句_爱词霸在线词典

MOVE中文(简体)翻译：剑桥词典

词典

翻译

语法

同义词词典

+Plus

剑桥词典+Plus

Shop

剑桥词典+Plus

我的主页

+Plus 帮助

退出

剑桥词典+Plus

我的主页

+Plus 帮助

退出

中文 (简体)

查找

英语-中文（简体）

move 在英语-中文（简体）词典中的翻译

moveverb uk

Your browser doesn't support HTML5 audio

/muːv/ us

Your browser doesn't support HTML5 audio

/muːv/

move verb

(CHANGE POSITION)

Add to word list

A2 [ I or T ] to (cause to) change position

（使）改变位置，动;（使）移动

I'm so cold I can't move my fingers.

我太冷了，手指都动不了了。

Will you help me move this table to the back room?

你能帮我把这张桌子搬到后面的房间里吗？

Can we move (= change the time of) the meeting from 2 p.m. to 3.30 p.m. ?

我们能将会议时间由下午两点改到三点半吗？

Don't move! Stay right where you are.

别动！就呆在那儿。

I thought I could hear someone moving about/around upstairs.

我好像听到楼上有人走动。

If you move along/over/up (= go further to the side, back, or front) a little, Tess can sit next to me.

如果你往边上／往后／往前挪一点儿，特丝就能坐在我旁边了。

Police officers at the scene of the accident were asking people to move along/on (= to go to a different place).

事故现场的警官让路人走开。

Come on, it's time we were moving (= time for us to leave).

快点，我们该走了。

Let's stay here tonight, then move on (= continue our journey) tomorrow morning.

我们今晚住这儿吧，明早再继续赶路。

[ I or T ] to change the position of one of the pieces used in a board game

（棋盘游戏中）走棋，走子，（棋子）被移动

In chess, the pieces can only move in certain directions.

下棋必须按棋规所定的方向走子。

更多范例减少例句You can move the cursor either by using the mouse or by using the arrow keys on the keyboard.I didn't want to move in case I woke her up.In the summer, the shepherds move their sheep up into the hills .Could I possibly ask you to move your chair a little?The poor things were kept in small cages without room to move.

move verb

(CHANGE PLACE)

B1 [ I ] to go to a different place to live or work

搬家;搬迁;迁移

We're moving to Paris.

我们要搬到巴黎去了。

They've bought a new house, but it will need a lot of work before they can move into it/move in.

他们买了套新房子，但搬进去之前还有许多工作要做。

I hear Paula has moved in with her boyfriend (= gone to live in his house).

我听说葆拉搬去和她男朋友住了。

The couple next door moved away (= went to live somewhere else) last year.

隔壁的那对夫妇去年搬走了。

A lot of businesses are moving out of London because it's too expensive.

许多企业因为费用太高而迁出了伦敦。

move house B1 UK

to leave your home in order to live in a new one

搬家

We're moving house next week.

我们下周要搬家。

更多范例减少例句When we retire, we're going to move to a warmer climate .We would dearly love to sell our flat and move to the country.They decided to move abroad and make a fresh start.Now that the children are settled at school , we don't really want to move again.After nine years in Cambridge, Susannah and Guy moved to Watlington, where they lived happily ever after.

move verb

(PROGRESS)

[ I or T ] to (cause to) progress, change, or happen in a particular way or direction

（使）进展；（使）发展

The judge's decision will allow the case to move forward.

法官的决定将使诉讼得以继续进行。

If you want to move ahead in your career, you'll have to work harder.

如果你想在事业上有所发展，就必须更努力地工作。

Share prices moved up/down slowly yesterday.

昨天股价缓慢上涨／下跌。

Sophie has been moved up/down a grade at school.

索菲在学校里跳／留了一级。

It's time this company moved into (= started to take advantage of the benefits of) the digital age.

这家公司该实行数字化了。

更多范例减少例句I don't really like working on a computer, but you have to move with the times, I suppose.Traffic moved forward at a crawl.The company has moved into plastics.The procession moved through the streets at a steady pace.By lap 26, Hamilton had moved into second position.

move verb

(CAUSE)

[ T ] to cause someone to take action

促使，驱使

[ + obj + to infinitive ] formal I can't imagine what could have moved him to say such a thing.

我想象不出是什么促使他说了这种话。

move verb

(CHANGE OPINION)

[ I or T ] to (cause to) change an opinion or the way in which you live or work

（使）改变观点（或做法）

He's made up his mind, and nothing you can say will move him on the issue.

他决心已定，你说什么也不能改变他对这件事的看法。

More and more people are movingaway from/towards vegetarianism.

越来越多的人不再是／正成为素食主义者。

move verb

(FEELINGS)

B2 [ T ] to cause someone to have strong feelings, such as sadness, sympathy, happiness, or admiration

感动;引起，激起（情感）

She said that she was deeply moved by all the letters of sympathy she had received.

她说她被收到的所有慰问信深深打动了。

It was such a sad film that it moved him to tears (= made him cry).

这部电影十分伤感，令他落泪。

move verb

(SELL)

[ I or T ] informal to sell

卖掉，使脱手

No one wants to buy these toys - we just can't move them.

没人想买这些玩具——根本就卖不出去。

This new shampoo is moving really fast.

这种新洗发水销得很快。

move verb

(BE WITH PEOPLE)

[ I + adv/prep ] to spend time with people

进行社交活动;交往

She moves in/among a very small circle of people.

她的社交圈子很小。

move verb

(SUGGEST)

[ I or T ]

politics, law

specialized to suggest something, especially formally at a meeting or in a law court

（在会议上）提出;提议;（向法庭）提出请求，申请

A vote was just about to be taken when someone stood up and said that they wished to move an amendment.

正要开始表决，有人站起来说他们想提出修正案。

[ + that ] I move that the proposal be accepted.

我提议接受这项建议。

Your Honour, we wish to move for dismissal of the charges.

尊敬的法官大人，我们请求驳回这些指控。

move verb

(PASS)

[ I or T ] polite word (used especially by doctors and nurses) to pass the contents of the bowels out of the body

（尤为医护人员用语）（使）（肠道）排泄粪便

The doctor asked him if he'd moved his bowels that day.

医生问他那天是否排过便。

习语

move heaven and earth

move it!

move on to bigger/better things

move with the times

not move a muscle短语动词

move someone/something in

move in on something/someone

move off something/on (to something)

move on

move out

movenoun uk

Your browser doesn't support HTML5 audio

/muːv/ us

Your browser doesn't support HTML5 audio

/muːv/

move noun

(CHANGE OF POSITION)

C2 [ S ] an act of moving

动;动作;移动

She held the gun to his head and said, "One move and you're dead!"

她拿着枪对着他的头，说：“动一下你就没命了。”

I hate the way my boss watches my every move (= watches everything I do).

我讨厌老板总是监视我的一举一动。

[ C ] in some board games, a change of the position of one of the pieces used to play the game, or a change of position that is allowed by the rules, or a player's turn to move their piece

一步棋；（按规则）棋的可走方法

It takes a long time to learn all the moves in chess.

要学会棋的各种走法需要花很长时间。

It's your move.

该你走棋了。

更多范例减少例句She sat back for a minute to ponder her next move in the game.My cactus seems to be benefiting from its move from the living room to the kitchen windowsill.The cattle have had a move from the top field down into the meadow, I see."Where have the reference books gone?" "Oh - they've had a move. They're by the door now."Agassi's move to the net was perfectly timed, and he is rewarded with two match points.

move noun

(CHANGE OF PLACE)

C1 [ C ] an occasion when you go to live or work in a different place

搬家；迁移

We've had four moves in three years.

我们3年里搬了4次家。

更多范例减少例句They helped us with our move to Norwich.We have had three office moves in five years.The move to Scotland was a big wrench for the children.The film follows one family's move to Spain.

move noun

(ACTION)

C1 [ C ] an action taken to achieve something

行动；步骤；措施

Buying those shares was a good move.

买那些股票是明智之举。

This move towards improving childcare facilities has been widely welcomed.

这项改善保育设施的措施受到广泛欢迎。

[ + to infinitive ] The city council is making a move to improve traffic flow in the city.

市议会正采取措施改善市区交通状况。

make the first move

to be the first to take action

率先行动

Neither side seems prepared to make the first move towards reaching a peace agreement.

双方似乎都不愿为达成和平协议而率先迈出一步。

informal to start a romantic or sexual relationship with someone

（对某人）主动展开追求

She's liked him for a long time, but doesn't want to make the first move.

她喜欢他很长时间了，但不想主动追求他。

更多范例减少例句It was a shrewd move to buy your house just before property prices started to rise.Quitting that job was the smartest move I ever made.The newspaper made the bold move of publishing the names of the men involved."The children are getting rather bored, so shall we take them to the park?" "Yes, I think that would be a good move."It was a brave move to stand up and question the boss's figures, but you certainly made him notice you!

习语

be on the move

get a move on

make a move

(move在剑桥英语-中文（简体）词典的翻译 © Cambridge University Press)

move的例句

move

Older infants may be more likely to have moved around to different foster homes and thus to have suffered more disruptions than younger infants.

来自 Cambridge English Corpus

This possibility was tested by asking the subjects to move fingers on a virtual hand presented to them on a computer screen.

来自 Cambridge English Corpus

The manipulator remains standing still, until the operator begins to move it.

来自 Cambridge English Corpus

Subsequent scenes show teeming streets, construction sites, moving trains, and the bustling harbor.

来自 Cambridge English Corpus

Hence, it is difficult to explain why players would conceive of the simultaneous move game in sequential terms.

来自 Cambridge English Corpus

The remaining fourteen had moved into private enterprise, mostly with firms specializing in the field of their former ministries.

来自 Cambridge English Corpus

He moves beyond aesthetic analysis to relate these themes to the broader historical context.

来自 Cambridge English Corpus

A small test flash was first used to center the stimulus over the receptive field by manually moving it to elicit a maximum response.

来自 Cambridge English Corpus

示例中的观点不代表剑桥词典编辑、剑桥大学出版社和其许可证颁发者的观点。

A2,B1,B1,B2,C2,C1,C1

move的翻译

中文（繁体）

改變位置, （使）改變位置，動, （使）移動…

查看更多内容

西班牙语

mover, moverse, jugar…

查看更多内容

葡萄牙语

mover, mover-se, mexer…

查看更多内容

更多语言

in Marathi

日语

土耳其语

法语

加泰罗尼亚语

in Dutch

in Tamil

in Hindi

in Gujarati

丹麦语

in Swedish

马来语

德语

挪威语

in Urdu

in Ukrainian

俄语

in Telugu

阿拉伯语

in Bengali

捷克语

印尼语

泰语

越南语

波兰语

韩语

意大利语

हलणे, हलवणे, राहण्यास जाणे…

查看更多内容

（物）が動く, （物）を動かす, （人）が引っ越す…

查看更多内容

taşınmak, yer değiş(tir)mek, hareket et(tir)mek…

查看更多内容

bouger, déplacer, évoluer…

查看更多内容

moure(‘s), traslladar-se, emocionar…

查看更多内容

bewegen, verplaatsen, verhuizen…

查看更多内容

நிலையை மாற்றுவதற்கு (காரணமாக)., வாழ அல்லது வேலை செய்ய வேறு இடத்திற்குச் செல்ல, சோகம்…

查看更多内容

हिलना, स्तिथि बदलना या में बदलाव लाना, (रहने या काम के लिए) स्थान-परिवर्तन करना…

查看更多内容

ખસેડવું, હલવું, બીજી જગ્યાએ રહેવા કે કામ કરવા સ્થળાંતર કરવું…

查看更多内容

bevæge, flytte, træk…

查看更多内容

röra [på], flytta [på], flytta…

查看更多内容

alihkan, berpindah, mempengaruhi perasaan…

查看更多内容

(fort-)bewegen, umziehen, ergreifen…

查看更多内容

flytte, flytte på seg, bevege seg…

查看更多内容

جنبش دینا, آگے بڑھنا, ہلنا…

查看更多内容

рухати(ся), пересувати(ся), переїжджати…

查看更多内容

переезжать, двигать(ся), передвигать(ся)…

查看更多内容

స్థానాన్ని మార్చడం కొరకు, నివసించడానికి లేదా పని చేయడానికి వేరే ప్రదేశానికి వెళ్ళు, కదిలించు…

查看更多内容

يَنْقِل, يَتَحَرَّك, يَتَأثَّر…

查看更多内容

সরানো, অবস্থান পরিবর্তন করা, চলে যাওয়া…

查看更多内容

pohnout, hýbat, stěhovat se…

查看更多内容

menggerakkan, pindah, mempengaruhi perasaan…

查看更多内容

เคลื่อน, ย้ายที่อยู่, (ความรู้สึก…

查看更多内容

di chuyển, chuyển nhà, xúc động…

查看更多内容

przeprowadzać się, przenosić się, wyprowadzać się…

查看更多内容

이동하다, 이사하다, 감동시키다…

查看更多内容

muovere, muoversi, spostare…

查看更多内容

需要一个翻译器吗？

获得快速、免费的翻译！

翻译器工具

move的发音是什么？

在英语词典中查看 move 的释义

浏览

mouthwatering

mouthy

movable

movable feast

move

move heaven and earth idiom

move in on something/someone

move it! idiom

move off something/on (to something)

move更多的中文(简体)翻译

全部

false move

move on

move out

move someone/something in

move off something/on (to something)

move in on something/someone

move it! idiom

查看全部意思»

词组动词

move on

move out

move someone/something in

move off something/on (to something)

move in on something/someone

查看全部动词词组意思»

惯用语

move it! idiom

(your) every move idiom

make a move idiom

move/shift your arse! idiom

get a move on idiom

step/move up a gear idiom

move the goalposts idiom

查看全部惯用语意思»

“每日一词”

healthspan

Your browser doesn't support HTML5 audio

/ˈhelθ.spæn/

Your browser doesn't support HTML5 audio

/ˈhelθ.spæn/

the number of years that someone lives or can expect to live in reasonably good health

关于这个

博客

Forget doing it or forget to do it? Avoiding common mistakes with verb patterns (2)

March 06, 2024

新词

stochastic parrot

March 04, 2024

已添加至 list

回到页面顶端

内容

英语-中文（简体）例句翻译

©剑桥大学出版社与评估2024

学习

新词

帮助

纸质书出版

Word of the Year 2021

Word of the Year 2022

Word of the Year 2023

开发

词典API

双击查看

搜索Widgets

执照数据

关于

无障碍阅读

剑桥英语教学

剑桥大学出版社与评估

授权管理

Cookies与隐私保护

语料库

使用条款

京ICP备14002226号-2

©剑桥大学出版社与评估2024

剑桥词典+Plus

我的主页

+Plus 帮助

退出

词典

定义

清晰解释自然的书面和口头英语

英语

学习词典

基础英式英语

基础美式英语

翻译

点击箭头改变翻译方向。

双语词典

英语-中文（简体）

Chinese (Simplified)–English

英语-中文（繁体）

Chinese (Traditional)–English

英语-荷兰语

荷兰语-英语

英语-法语

法语-英语

英语-德语

德语-英语

英语-印尼语

印尼语-英语

英语-意大利语

意大利语-英语

英语-日语

日语-英语

英语-挪威语

挪威语-英语

英语-波兰语

波兰语-英语

英语-葡萄牙语

葡萄牙语-英语

英语-西班牙语

西班牙语-英语

English–Swedish

Swedish–English

半双语词典

英语-阿拉伯语

英语-孟加拉语

英语-加泰罗尼亚语

英语-捷克语

英语-丹麦语

English–Gujarati

英语-印地语

英语-韩语

英语-马来语

英语-马拉地语

英语-俄语

English–Tamil

English–Telugu

英语-泰语

英语-土耳其语

英语-乌克兰语

English–Urdu

英语-越南语

翻译

语法

同义词词典

Pronunciation

剑桥词典+Plus

Shop

剑桥词典+Plus

我的主页

+Plus 帮助

退出

中文 (简体)

Change

English (UK)

English (US)

Español

Русский

Português

Deutsch

Français

Italiano

中文 (简体)

正體中文 (繁體)

Polski

한국어

Türkçe

日本語

Tiếng Việt

हिंदी

தமிழ்

తెలుగు

关注我们

选择一本词典

c++ move函数到底是什么意思？ - 知乎

c++ move函数到底是什么意思？ - 知乎首页知乎知学堂发现等你来答切换模式登录/注册编程C++C++ 标准库c++ move函数到底是什么意思？[图片] 被move调用过的变量不是不能使用了吗？为什么能move两次甚至还能输出？后来我新建一个变量str 用sr初始化 s还能用显示全部关注者278被浏览289,986关注问题写回答邀请回答好问题 13添加评论分享47 个回答默认排序SuperSodaSeaC++话题下的优秀答主关注谢邀。std::move 并不会真正地移动对象，真正的移动操作是在移动构造函数、移动赋值函数等完成的，std::move 只是将参数转换为右值引用而已（相当于一个 static_cast）。回到题主的问题上来，在代码std::string str = "test";

string&& r = std::move(str);

中，其实只是定义了一个指向 str 的右值引用而已，str 并没有被移走。随后执行std::string t(r);

，需要注意的是右值引用用于表达式中时会变为左值，所以这里调用的其实是复制构造函数，str 自然也不会被移走。如果要移走的话还要加一次 std::move，比如std::string t(std::move(r));

str 就能被移走了。编辑于 2017-08-21 11:11赞同 18118 条评论分享收藏喜欢收起暮无井见铃C++话题下的优秀答主关注假设T - 适合移动语义的类型lv - T 类型左值rv - T 类型右值xlv1 - T 类型临时对象，本属于亡值，但因通过引用访问而属于左值xlv2 - T 类型左值，但希望立即移交其所管理的资源……（其他情况）f - 有专门接受 T&& 参数重载，也有专门接受左值参数重载的函数fr - 只接受 T&& 参数的函数g - 接受 const T& 或 T 参数，不使用移动语义的函数。则 f(lv) 选择左值版本重载， f(rv) 选择右值版本（“移动”）重载，此时不需要 std::move 。对于 fr ，则是正常写 fr(rv) 就行。但 xlv1, xlv2 等形式上是左值表达式，要把它用 static_cast() 转换成右值引用，以匹配 f 的移动重载或 fr 。 std::move 就是封装的 static_cast() ，虽然这个名字单独看来很烂。// 可能的实现， C++14 起

// 返回类型这么写是为了避免转发引用，即保持左值引用不变

template

constexpr remove_reference_t&&

move(T&& t) noexcept

{

return static_cast&&>(t);

}

写 f(std::move(xlv1)) 就是使用移动重载，写 f(xlv1) 就是使用非移动重载；此时勉强可以认为 move 这个名字的意思是提供一个组合的函数名。注意 std::move 只影响调用函数的选择，它本身不需要任何生成机器码。所以对于绑定引用，或传递给 g 这种函数， std::move 是没有影响的。另外在正确实现移动语义的前提下，被移动后的对象在一个“合法而未指定”的状态，仍能通过后续操作获得确定值。虽然一般不需要这么做。编辑于 2017-08-21 12:46赞同 201 条评论分享收藏喜欢

move是什么意思_move怎么读_move翻译_用法_发音_词组_同反义词_移动_搬动-新东方在线英语词典

英语词典 -

日语词典

首页 > 英语词典 > 字母单词表 > m开头的单词 > move

move

听听怎么读

英 [mu:v]

美 [muv]

是什么意思

vt.& vi.移动，搬动；vi.搬家；行动；进展；（机器等）开动vt.提议；使感动；摇动；变化n.改变；迁移；

变形

复数：moves过去式：moved过去分词：moved现在分词：moving第三人称单数：moves

双语释义

v.(动词)vt. & vi. 移动; 搬动 change place or positionvi. 搬家,迁移 change place by movingvi. 进展,前进,展开 advance; get nearer to an endvt. 使感动 cause (a person) to feel pity, sadness, anger, admiration, etc.vt. 提议,要求 make at a meeting (a formal suggestion on which arguments for and against are beard, and a decision taken, especially by voting)n.(名词)[S]动,移动,动作 an act of moving, movement[C]一步,一着 an act of taking a piece from one square and putting it on another[C]行动,行动步骤 sth (to be) done to achieve a purpose[C]迁移,搬家 an act of going to a new home, office, etc.

英英释义

moven.the act of deciding to do something"he didn't make a move to help"; "his first move was to hire a lawyer"the act of changing your residence or place of business"they say that three moves equal one fire"同义词：relocationa change of position that does not entail a change of location"movement is a sign of life"; "an impatient move of his hand"同义词：motionmovementmotilitythe act of changing location from one place to another"the movement of people from the farms to the cities"; "his move put him directly in my path"同义词：motionmovement(game) a player's turn to take some action permitted by the rules of the gamev.change location; move, travel, or proceed"The soldiers moved towards the city in an attempt to take it before night fell"同义词：travelgolocomotecause to move, both in a concrete and in an abstract sense"The director moved more responsibilities onto his new assistant"同义词：displacemove so as to change position, perform a nontranslational motion"He moved his hand slightly to the right"change residence, affiliation, or place of employment"We moved from Idaho to Nebraska"; "The basketball player moved from one team to another"follow a procedure or take a course同义词：goproceedbe in a state of action同义词：be activego or proceed from one point to another"the debate moved from family values to the economy"perform an action, or work out or perform (an action)"We must move quickly"同义词：acthave an emotional or cognitive impact upon同义词：affectimpressstrikegive an incentive for action"This moved me to sacrifice my career"同义词：motivateactuatepropelpromptincitearouse sympathy or compassion in"Her fate moved us all"dispose of by selling"The chairman of the company told the salesmen to move the computers"progress by being changed同义词：gorunlive one's life in a specified environment"she moves in certain circles only"have a turn; make one's move in a game同义词：gopropose formally; in a debate or parliamentary meeting同义词：make a motion

学习怎么用

词汇搭配

用作动词 (v.)～+名词move a step移动一步move an army调动军队move an engine开动引擎move heaven and earth尽最大努力move house搬家move one's hand使手动move one's head使头动move one's lips使嘴唇动move the capital from...to...把首都从…迁到…move the furniture搬家具move troops调动军队～+副词move ahead朝前移到move upwards上升move automatically自动移动move bodily整体地移动move cautiously谨慎地移动move deeply深深地感动move gracefully优美地移动move impatiently不耐烦地移动move intelligibly可理解地感动move passively消极地行动move profoundly深深地感动move rashly轻率地移动move stealthily隐蔽地移动move tremulously震颤地移动move violently猛烈地移动move along往前移move away移开move back搬(迁)回,后退move down往下移动,向前移动move in搬进move off移开move on往前移move out搬出去move over挪开些,挪到一边去move up晋升～+介词move about来回移动move against the enemy向敌军进击move along the road沿路前进move at为…感动move for提议,建议,要求,请求move from从…搬走,离开…move in the circle of在…圈子中活动move into the country搬往农村move on schedule按预定计划进行move out of搬出move round the sun绕太阳运行move toward the table走向桌子move with the time跟上时代步伐用作名词 (n.)动词+～alternate move交替行动attempt move采取行动calculate move预测步骤check a move制止行动determine move决定行动devise move设计步骤encourage move促进行动favour a move赞成某一行动get a move on赶快guard move防范行动limit move限制行动know a move知道某一行动lose a move to sb输人一着make a move采取行动study move研究步骤undertake move着手行动形容词+～safe move安全措施shrewd move精明的一着wise move明智的做法adroit move机敏的行动ambitious move野心勃勃的行动bad move错误的行动,走一着坏棋brilliant move英明的提议careless move不慎的一着clever move机智的一着decisive move决策definite move明确的行动false move错误的一着forward move向前推进good move高明的一着graceful move优美的动作latest move最新的行动next move下一步行动opening move开局的第一步棋political move政治行动practical move实际的行动,实际步骤safe move安全的行动smart move机智的一着strategic move战略行动stupid move愚蠢的一着the first move第一步行动wrong move错误的一着名词+～peace move和平行动reprisal move报复性行动介词+～after two moves移动两次以后protection on move行军警戒on the move迁移不定,在前进,在活动中～+介词a move towards…的一个步骤

词组短语

on the move在活动中，在进行中；四处奔波move on往前走，前进；出发，离开move in生活于；周旋于；向内投move forward向前移动，提步向前；向前发展move into移入；迁入新居move from使从…中醒悟过来；从…搬走，离开…make a move走一步；开始行动；搬家move up提升，上升；向前移动move towards走向，接近move out搬出；开始行动move away离开；搬走，移开move around v. 走来走去；绕着……来回转 move away from从…离开；抛弃move back v. 退缩 move through穿过move about走来走去；经常搬家move ahead前进；进行；进展move out of搬出；脱离；摆脱first move第一步；先走move along往里走；继续向前或后移动更多收起词组短语

同近义词辨析

transfer, remove, shift, move这组词都有“从一处移往另一处”的意思，其区别是：transfer一般表示转送或移交迁移，尤指交通运输中的换乘或职务的调动等。remove作“移动”解时，与move可换用，还可指撤职或开除学藉等。shift侧重位置与方向的改变。move普通用词，指从一处到另一外的任何距离的转移。 movement, motion, move这组词都有“运动”的意思，其区别是：movement通常抽象地指有规则的动作或定向运动，特指政治性的运动。motion指不处于静止状态而在移动的过程中，强调运动本身，而不涉及其动因。move着重开始的行动或变化。 remove, moveremove 从一处移到另一处 remove the table to the kitchenmove动一动,但不一定移走, touch, inspire, move这组词都有“感动，打动”的意思，其区别是：touch主要用于表示怜悯或同情等场合，侧重感动。inspire指激起勇气和信心，侧重鼓励，有时含“启发灵感”之意。move与touch可换用，但语气强一些，运用范围广些。

双语例句

用作名词(n.)The army is on the move.军队在移动。This move is now in preparation.这一步骤，目前正在准备中。Their move to Latin America was a leap in the dark.他们迁居拉丁美洲是件冒险的事。Evans is a rare dancer, whose moves are so elegant.伊万是个杰出的舞者，他的动作非常优美。用作及物动词(vt.)Give me a place to stand and I will move the world.给我一个支点，我会推动地球。That desk is fixed, don't try to move it.那张桌子是固定的，别去移动它。The woman is deeply moved by his selfless spirit.妇女被他的无私精神深深感动了。用作不及物动词(vi.)Give it a hard push, then it will move.用力推一下，就能使它移动。My family moved here two years ago.我们全家两年前搬到这儿。Nobody seems willing to move in the matter.似乎没有人愿意对这件事采取行动。

权威例句

Move & Improve: a worksite wellness program in Maine.Detection of copy-move forgery in digital imagesThe visual analysis of human move-ment: A surveyDo Stock Prices Move Too Much to be Justified by Subsequent Changes in Dividends?Do Stock Prices Move Too Much to be Justified by Subsequent Changes in Dividends? CommentSecurity in Infancy, Childhood, and Adulthood: A Move to the Level of RepresentationSHILLER, . Do Stock Prices Move Too Much to be Justified by Subsequent Changes in Dividends?, The American Economic Review, , .Security in infancy, childhood, and adulthood: A move to the level of representation. Monographs of the Society for Research on Chil...Ottawa Charter for Health Promotion: An International Conference on Health Promotion—The Move Towards a New Public Health, Nov. 17...A Platform with Six Degrees of Freedom: A new form of mechanical linkage which enables a platform to move simultaneously in all six ...

同义词transplant

translocation

step

split

sliding

shift

roaming

remove

removal

remotion

put

procedure

motion

migration

leave

dislodgment

dislodging

ambulation

affect 反义词stop

stay

stand still 同根词movingly

moving

mover

movement

moved

moveable

move

movable m开头的单词mystery shopper

mystery story

myoglobin isoenzyme of creatine kinase

mystery novel

myosin light chain kinase

myotonic dystrophy

myocardial infarction

mycoplasma pneumonia

mycosis fungoides

myeloid stem cell

mycobacterium tuberculosis

Mycophenolate Mofetil 词汇所属分类第一滴血First Blood

降世神通（Avatar）

《绝望的主妇》(Desperate Housewives) 全八季词频大全

机器人总动员 WALL·E

傲慢与偏见与僵尸 Pride and Prejudice and Zombies

复仇者联盟2：奥创纪元 Avengers: Age of Ultron 字母词汇表更多l开头的单词LZ

Lytton

lyttae

lytta

Lytle

lytic

v开头的单词vyingly

vying

vycor

vyborg

VxWorks

VXI

y开头的单词YYC

ywis

YWCA

yvonne

Yvette 分类词汇表更多文学艺术zinc

zephyr

yellow

wrought iron

writer

worship

初中zookeeper

zoo

Zig Zag

zero

zebra crossing

zebra

其他词汇书zymurgy

zymurgy

zymoscope

zymology

zygote 人名姓氏表更多男zack

zachary

Zachariah

young

York

Yates

女Zola

Zoe

Zenobia

Zenia

Zena

Zandra

男/女Yong

wynn

winter

willie

Whitney

wally 新东方柯林斯词典托福考试练习雅思预测2024年雅思考试重点题汇总[听力|阅读|写作|口语]

2024年2月雅思考试听力|阅读|写作|口语重点题汇总

2024年1月雅思考前必刷题听力|阅读|口语|写作汇总

2024年3月雅思考试听力|阅读|写作|口语重点题汇总

[雅思考前必刷]2024年1月雅思口语考前必刷题Part 2&3地点类

2020年9月雅思口语新题part1：shopping

2021年1月雅思口语新题part2:你认为可以教别人的技能

[雅思考前必刷]2024年1月雅思口语考前必刷题Part 2&3事件类

2020年9月雅思口语新题part1：Activity

2021年1月雅思口语新题part2:你以前看过的现场体育赛事

关于我们

商务合作

广告服务

代理商区域

客服中心

在线留言

合作伙伴

人员招聘

联系我们

京ICP证050421号京ICP备05067669号-2 京公安备110-1081940 网络视听许可证0110531号

新东方教育科技集团旗下成员公司

move（英语单词）_百度百科

（英语单词）_百度百科网页新闻贴吧知道网盘图片视频地图文库资讯采购百科百度首页登录注册进入词条全站搜索帮助首页秒懂百科特色百科知识专题加入百科百科团队权威合作下载百科APP个人中心move是一个多义词，请在下列义项上选择浏览（共15个义项）添加义项收藏查看我的收藏0有用+10move播报讨论上传视频英语单词move的基本意思是“动”,可指人体姿势的改变，更多的是指人〔物〕位置的移动，引申还可表示“（使）动摇，（使）醒悟”“（使）感动”等，强调某种起促动作用的动因，外界影响或内在动机。作此解时，可用作不及物动词,也可用作及物动词，作及物动词时接名词、代词作宾语，也可接以动词不定式充当补足语的复合宾语,意为“促使（某人）做某事”。中文名移动，向前移外文名move类型英语单词基本含义动词引申（使）动摇、醒悟、感动变形moves，moved，moving目录1用作动词▪英汉双解▪词汇搭配▪词语辨析▪正误解析▪注意点2用作名词▪基本释义▪基本要点▪词语搭配▪常用短语▪相似词语解析3同义词用作动词播报编辑moves; moved; moving英汉双解vt. & vi. 1.移动; 搬动 [1] change place or positionvi. 2.搬家,迁移 change place by movingvi. 3.进展,前进,展开 advance; get nearer to an endvt. 4.使感动 cause (a person) to feel pity, sadness, anger, admiration, etc.vt. 5.提议,要求 make at a meeting (a formal suggestion on which arguments for and against are beard, and a decision taken, especially by voting)2.move还可表示“(在会议上正式地)提议,要求”,此时其后常接that从句,从句中谓语动词可用虚拟语气,且常省略should。3.move用作不及物动词也有“动”的含义,有时还可以用于表示抽象意义的“前进,活动,生活”等,还可表示“骚动”“蠢蠢欲动”。4.move的现在进行时可表示按计划、安排或打算将要发生的动作,这时常与将来的时间状语连用,或有特定的上下文。5.move在美式英语中用作不及物动词时,还可表示“搬家”,相当于英式英语的成语move house。词汇搭配～+名词move a step 移动一步move an army 调动军队move an engine 开动引擎move heaven and earth 尽最大努力move house 搬家move one's hand 使手动move one's head 使头动move one's lips 使嘴唇动move the capital from...to... 把首都从…迁到…move the furniture 搬家具move troops 调动军队～+副词move ahead 朝前移到move upwards 上升move automatically 自动移动move bodily 整体地移动move cautiously 谨慎地移动move deeply 深深地感动move gracefully 优美地移动move impatiently 不耐烦地移动move intelligibly 可理解地感动move passively 消极地行动move profoundly 深深地感动move rashly 轻率地移动move stealthily 隐蔽地移动move tremulously 震颤地移动move violently 猛烈地移动move along 往前移move away 移开move back 搬(迁)回,后退move down 往下移动,向前移动move in 搬进move off 移开move on 往前移move out 搬出去move over 挪开些,挪到一边去move up 晋升～+介词move about 来回移动move against the enemy 向敌军进击move along the road 沿路前进move at 为…感动move for 提议,建议,要求,请求move from 从…搬走,离开…move in the circle of 在…圈子中活动move into the country 搬往农村move on schedule 按预定计划进行move out of 搬出move round the sun 绕太阳运行move toward the table 走向桌子move with the time 跟上时代步伐词语辨析moving, moved这两个词分别是move的现在分词和过去分词,都可用作形容词。其区别是:moving的意思是“活动的或能活动的,前进的或发展的,动人的,感人的”。它表示某物的特征或特点,但不能表示某人的心理活动。moved含有被动意义或完成意义。它既可以表示人的心理活动,也可以表示某人由于受到感动而产生的外部表情等。例如:This is a moving story.这是一个感人的故事。The moved tears came down his face.感动的泪水顺着他的脸颊流下来。move, remove, shift, transfer这组词都可表示“移动”。其区别是：move主要指改变位置或姿势,是这组同义词中使用最广泛的; remove着重于离开或脱离原来的位置、处所、职位、职业等,作一种新的、有时是暂时的安排或改变,多是有意识地移动; shift着重于位置或方向的改变,常用于口语中,它还带有不稳定、不安的含义; transfer指从一个容器、车船等交通工具,或者所有制转换到另一个容器、另一种交通工具或所有制中。例如:He removed the child from the class.他把小孩从班上带走。He shifted impatiently in his seat during the long speech.在听冗长的报告时,他不耐烦地在座位上挪来挪去。At London we transferred from the train to a bus.在伦敦我们由火车改乘公共汽车。move, actuate, drive, prompt这组词均有促使某人按某种方式行动的意思。其区别是：move为一般用语,不强调动因是外部力量还是个人的动机; actuate为正式用语,动因来自一种强大的内在力量,如强烈的感情、欲望或信念; drive指持续不断地向前推进,或指受内力或外力的驱使; prompt多用于动因不太重要的场合。例如:He is actuated not by kindness but by ambition.他并非出于好心,而是出于个人野心。They drove to the station.他们开车到车站去。The sight of the ships prompted thoughts of his distant home.看到船他便想起遥远的故乡。move on, advance这两者都可表示“前进”。其区别是：move on是非正式用语,指从一点向另一地点前进,但不表明所前进的目的地; advance表示向一固定目标或目的地推进。例如:The blackboard moved on.那块黑板继续向前移动。Napoleon's army advanced on Moscow.拿破仑的军队向莫斯科推进。move, affect, touch这组词都有“感动”的意思。其区别是：move指足以产生某一行动或情感的流露、表露; affect则强调“怜悯”“温柔”,是普通用词; touch是语气更强烈的词,含有“哀泣”的意味。例如:She was deeply affected by the news of his death.他去世的消息使她深感悲痛。His sad story so touched us that we nearly cried.他那悲惨的遭遇深深打动了我们,使我们几乎要哭出声来。正误解析例1.我们明天搬家。[误] We are moving a/the house tomorrow.[误] We are moving our house tomorrow.[正] We are moving house tomorrow.[析] 短语move house是固定短语,在house前不能加饰任何修饰语和限定语。例2.我一年前搬到了北京。[误] I have moved to Beijing for a year.[正] It is a year since I moved to Beijing.[析] move是瞬间动词,不可与表示一段时间的状语连用。例3.听到那消息,她感动地流下泪来。[误] She moved to tears at the news.[正] She was moved to tears at the news.[析] move是及物动词,表示“感动得流泪”,应该说be moved to tears。例4.她被那悲伤的影片所深深打动了,禁不住哭起来。[误] Deeply moving by the sad film, she couldn't help crying.[正] Deeply moved by the sad film, she couldn't help crying.[析] 分词作状语时,其逻辑上的主语就是句子的主语。表示主动意味时应该用现在分词,表示被动意味时应用过去分词。注意点move一般不用于被动结构,用于be ～ed结构表示主语的感觉和情绪时,是系表结构。用作名词播报编辑基本释义S 1. 动,移动,动作 an act of moving, movementC 2. 一步,一着 an act of taking a piece from one square and putting it on anotherC 3. 行动,行动步骤 sth (to be) done to achieve a purposeC 4. 迁移,搬家 an act of going to a new home, office, etc.基本要点1.move用作名词可表示位置或场所的变换,如“搬家,挪动,活动(人的某一部位)”等,也可表示为达到某一目的而采取的“行动,行动步骤”,还可用于表示棋坛上“(棋的,或其他盘上游戏的)一步,走法,下棋的一步”,有时可表示演员,运动员等的“动作”。2.move表示抽象动作时是不可数名词,但可与不定冠词a连用,表示具体动作或步骤时是可数名词,有复数形式。词语搭配动词+～alternate move 交替行动attempt move 采取行动calculate move 预测步骤check a move 制止行动determine move 决定行动devise move 设计步骤encourage move 促进行动favour a move 赞成某一行动get a move on 赶快guard move 防范行动limit move 限制行动know a move 知道某一行动lose a move to sb 输人一着make a move 采取行动study move 研究步骤undertake move 着手行动形容词+～safe move 安全措施shrewd move 精明的一着wise move 明智的做法adroit move 机敏的行动ambitious move 野心勃勃的行动bad move 错误的行动,走一着坏棋brilliant move 英明的提议careless move 不慎的一着clever move 机智的一着decisive move 决策definite move 明确的行动false move 错误的一着forward move 向前推进good move 高明的一着graceful move 优美的动作latest move 最新的行动next move 下一步行动opening move 开局的第一步棋political move 政治行动practical move 实际的行动,实际步骤safe move 安全的行动smart move 机智的一着strategic move 战略行动stupid move 愚蠢的一着the first move 第一步行动wrong move 错误的一着名词+～peace move 和平行动reprisal move 报复性行动介词+～after two moves 移动两次以后protection on move 行军警戒on the move 迁移不定,在前进,在活动中～+介词a move towards …的一个步骤常用短语get a move on赶快 make haste; hurry upWe'd better get a move on before it rains.我们最好在下雨之前赶快做。Tell Harry to get a move on.叫哈里快些。on the move1.在移动中 busy, activeOur airplanes reported that large enemy forces were on the move.我们的飞机报告:大量敌军在移动中。He likes selling rather than office work because it keeps him on the move.他喜欢推销,不喜欢坐办公室,因为推销可以使他到处走动。2.在行动 going from place to placeHe wanted to be on the move.他希望行动。3.在进步中 advancing; progressingIt is said that civilization is always on the move.有人说文明经常在进步。相似词语解析movement, motion, move这三个词的共同意思是“运动”。其区别是:1.movement一般指具体动作; motion则主要指抽象的、与静对立的“动”,不管是自己在动还是受外力而动。motion还可指位置的移动,也可指条件的改变或一系列运动的各个过程。多用于哲学或自然科学文献中。例如:We study the laws of motion.我们研究运动的规律。If a thing is in motion, it is not at rest.如果一个物体在运动,它就不是处于静止状态。2.movement强调运动保持一定的方向,并且是有规律的,而motion则没有此含义。3.move多指一次具体的动作或改变本身所在位置的移动,也用来指下棋中的一步或交涉、斗争中的一着。move多具有明确的目的性。例如:The detectives are watching his every move.警探在注视着他的一举一动。Their next move on their tour will be from Dover to London.他们旅行的下一步将是从多佛去伦敦。When the hostess made a move from the table, all the guests arose and followed her to the drawing room.当女主人离开餐桌时,所有的客人都起立跟着她来到客厅。The next move is yours.下一步棋该你走了。同义词播报编辑v. advance, go on, proceed, progress; propel, push, shift; affect, influence, touch n. action, motion, movement新手上路成长任务编辑入门编辑规则本人编辑我有疑问内容质疑在线客服官方贴吧意见反馈投诉建议举报不良信息未通过词条申诉投诉侵权信息封禁查询与解封©2024 Baidu 使用百度前必读 | 百科协议 | 隐私政策 | 百度百科合作平台 | 京ICP证030173号京公网安备110000020000

std::move - C++中文 - API参考文档

API Reference Document

std::move

< cpp‎ | utility

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

工具库

语言支持

类型支持（基本类型、 RTTI 、类型特征）

库功能特性测试宏 (C++20)

动态内存管理

程序工具

错误处理

协程支持 (C++20)

变参数函数

launder(C++17)

initializer_list(C++11)

source_location(C++20)

三路比较 (C++20)

three_way_comparablethree_way_comparable_with(C++20)(C++20)

strong_ordering(C++20)

weak_ordering(C++20)

partial_ordering(C++20)

common_comparison_category(C++20)

compare_three_way_result(C++20)

compare_three_way(C++20)

strong_order(C++20)

weak_order(C++20)

partial_order(C++20)

compare_strong_order_fallback(C++20)

compare_weak_order_fallback(C++20)

compare_partial_order_fallback(C++20)

is_eqis_neqis_ltis_lteqis_gtis_gteq(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

通用工具

日期和时间

函数对象

格式化库 (C++20)

bitset

hash(C++11)

integer_sequence(C++14)

关系运算符 (C++20 中弃用)

rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>=

整数比较函数

cmp_equalcmp_not_equalcmp_lesscmp_greatercmp_less_thancmp_greater_than(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

in_range(C++20)

swap 与类型运算

swap

ranges::swap(C++20)

exchange(C++14)

declval(C++11)

forward(C++11)

move(C++11)

move_if_noexcept(C++11)

as_const(C++17)

常用词汇类型

pair

tuple(C++11)

apply(C++17)

make_from_tuple(C++17)

optional(C++17)

any(C++17)

variant(C++17)

初等字符串转换

to_chars(C++17)

from_chars(C++17)

chars_format(C++17)

定义于头文件

template< class T >

typename std::remove_reference::type&& move( T&& t ) noexcept;

(C++11 起) (C++14 前)

template< class T >

constexpr std::remove_reference_t&& move( T&& t ) noexcept;

(C++14 起)

std::move 用于指示对象 t 可以“被移动”，即允许从 t 到另一对象的有效率的资源传递。

特别是， std::move 生成标识其参数 t 的亡值表达式。它准确地等价于到右值引用类型的 static_cast 。

参数

要被移动的对象

返回值

static_cast::type&&>(t)

注解

以右值参数（如临时对象的纯右值或如 std::move 所产生者的亡值之一）调用函数时，重载决议选择接受右值引用参数的版本（包含移动构造函数、移动赋值运算符及常规成员函数，如 std::vector::push_back ）。若参数标识一个占有资源的对象，则这些重载拥有移动参数所保有的任何资源的选择，但不强求如此。例如，链表的移动构造函数可以复制指向表头的指针，并将 nullptr 存储到参数中，而非分配并复制逐个结点。

右值引用变量的名称是左值，而若要绑定到接受右值引用参数的重载，就必须转换到亡值，此乃移动构造函数与移动赋值运算符典型地使用 std::move 的原因：

// 简单的移动构造函数

A(A&& arg) : member(std::move(arg.member)) // 表达式 "arg.member" 为左值

{}

// 简单的移动赋值运算符

A& operator=(A&& other) {

member = std::move(other.member);

return *this;

}

一个例外是当函数参数类型是到模板形参的右值引用（“转发引用”或“通用引用”）时，该情况下转而使用 std::forward 。

除非另外指定，否则所有已被移动的标准库对象被置于合法但未指定的状态。即只有无前提的函数，例如赋值运算符，才能安全地在对象被移动后使用：

std::vector v;

std::string str = "example";

v.push_back(std::move(str)); // str 现在合法但未指定

str.back(); // 若 size() == 0 则为未定义行为： back() 拥有前提 !empty()

str.clear(); // OK ， clear() 无前提

而且，以亡值参数调用的标准库函数可以假设该参数是到对象的唯一引用；若它从左值带 std::move 构造，则不进行别名检查。尤其是，这表明标准库移动运算符不进行自赋值检查：

std::vector v = {2, 3, 3};

v = std::move(v); // 未定义行为

示例

运行此代码

#include

int main()

{

std::string str = "Hello";

std::vector v;

// 使用 push_back(const T&) 重载，

// 表示我们将带来复制 str 的成本

v.push_back(str);

std::cout << "After copy, str is \"" << str << "\"\n";

// 使用右值引用 push_back(T&&) 重载，

// 表示不复制字符串；而是

// str 的内容被移动进 vector

// 这个开销比较低，但也意味着 str 现在可能为空。

v.push_back(std::move(str));

std::cout << "After move, str is \"" << str << "\"\n";

std::cout << "The contents of the vector are \"" << v[0]

<< "\", \"" << v[1] << "\"\n";

}

可能的输出：

After copy, str is "Hello"

After move, str is ""

The contents of the vector are "Hello", "Hello"

参阅

forward(C++11)

转发一个函数实参 (函数模板)

move_if_noexcept(C++11)

若移动构造函数不抛出则获得右值引用 (函数模板)

move(C++11)

将某一范围的元素移动到一个新的位置 (函数模板)

Move 教程 | 登链社区 | 区块链技术社区

文章

问答

讲堂

专栏

集市

提问

发表文章

活动

文档

招聘

发现

Toggle navigation

首页 (current)

文章

问答

讲堂

专栏

活动

招聘

文档

集市

搜索

Move 教程

MoveMoon

更新于 2022-09-22 16:29

阅读 4967

本文将通过开发Move代码的一些步骤，包括Move模块的设计、实现、单元测试和形式验证，全文总共有九个步骤。

欢迎来到Move教程! 在本教程中，我们将通过开发Move代码的一些步骤，包括Move模块的设计、实现、单元测试和形式验证。

总共有九个步骤：

- 第0步：安装

- 第1步：编写我的第一个Move 模块

- 第2步：为我的第一个Move 模块添加单元测试

- 第3步：设计我的 `BasicCoin `模块

- 第4步：实现我的 `BaseCoin `模块

- 第5步：在 `BasicCoin `模块中添加和使用单元测试

- 第6步：使我的 `BasicCoin `模块通用化

- 第7步：使用 Move 验证器（Move prover）

- 第8步：为 `BasicCoin `模块编写正式规范

每个步骤都被设计成在相应的`step_x`文件夹中自成一体。例如，如果你想跳过第1到第4步的内容，请随意跳到第5步，因为我们在第5步之前写的所有代码都在`step_5`文件夹中。在一些步骤的末尾，我们还包括更多高级主题的补充材料。

> 教程代码： https://github.com/move-language/move/tree/main/language/documentation/tutorial

现在让我们开始吧!

## 第0步：安装

如果你还没有，打开你的终端并克隆[Move repository](https://github.com/move-language/move)。

```

git clone https://github.com/move-language/move.git

```

进入`move`目录并运行`dev_setup.sh`脚本。

```

cd move

./scripts/dev_setup.sh -ypt

```

按照脚本的提示来安装Move的所有依赖项。

该脚本将环境变量定义添加到你的`~/.profile`文件中。通过运行这条命令将其包含在内。

```

source ~/.profile

```

接下来，通过运行以下命令来安装Move的命令行工具。

```

cargo install --path language/tools/move-cli

```

你可以通过运行以下命令来检查它是否工作。

```

move --help

```

你应该看到类似这样的东西，以及一些命令的列表和描述。

```

move-package

Execute a package command. Executed in the current directory or the closest containing Move package

USAGE:

move [OPTIONS]

OPTIONS:

--abi Generate ABIs for packages

...

```

如果你想找到哪些命令是可用的以及它们的作用，运行带有`--help`标志的命令或子命令将打印出文档。

在运行接下来的步骤之前，`cd`到教程目录。

```

cd /language/documentation/tutorial

```

**Visual Studio代码Move支持**

Visual Studio Code有官方的Move支持。你需要先安装Move分析器：

```

cargo install --path language/move-analyzer

```

现在你可以通过打开VS Code，在扩展窗格中搜索 `move-analyzer `来安装VS扩展，并安装它。更详细的说明可以在扩展的[README](https://github.com/move-language/move/tree/main/language/move-analyzer/editors/code) 中找到

## 第1步：编写第一个Move模块

改变目录进入[`step_1/BasicCoin`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_1/BasicCoin)目录。你应该看到一个叫做 `sources `的目录 -- 这是这个包的所有Move代码所在的地方。你还应该看到一个`Move.toml`文件。如果你熟悉Rust和Cargo，`Move.toml`文件与`Cargo.toml`文件相似，`sources`目录与`src`目录相似。

让我们来看看一些Move的代码! 在你选择的编辑器中打开[`sources/FirstModule.move`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_1/BasicCoin/sources/FirstModule.move)。你会看到的内容就是这个：

```rust

// sources/FirstModule.move

module 0xCAFE::BasicCoin {

...

}

```

这是定义了一个Move[模块](https://move-language.github.io/move/modules-and-scripts.html)。模块是Move代码的组成部分，它被定义为一个特定的地址：模块可以被发布的地址。在这个例子中，`BasicCoin`模块只能在`0xCAFE`下发布。

> 译者注：模块在发布者的地址下发布。标准库在 0x1 地址下发布。

现在让我们看看这个文件的下一部分，我们定义一个[结构体](https://move-language.github.io/move/structs-and-resources.html)来表示一个具有给定 `Value`的 `Coin`。

```rust

module 0xCAFE::BasicCoin {

struct Coin has key {

value: u64,

}

...

}

```

看一下文件的其余部分，我们看到一个函数定义，它创建了一个 `Coin `结构体并将其存储在一个账户下：

```rust

module 0xCAFE::BasicCoin {

struct Coin has key {

value: u64,

}

public fun mint(account: signer, value: u64) {

move_to(&account, Coin { value })

}

```

让我们看一下这个函数和它的内容：

- 它需要一个[`signer`](https://move-language.github.io/move/signer.html) -- 一个不可伪造代币，代表对一个特定地址的控制权，以及一个`value`来铸币。

- 它用给定的值创建一个`Coin`，并使用`move_to`操作符将其存储在`account`下。

让我们确保它可构建! 这可以通过在软件包文件夹中([`step_1/BasicCoin`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_1/BasicCoin))下，用`build`命令来完成。

```

move build

```

**高级概念和参考资料：**

- 你可以通过命令创建一个空的Move包：

```

move new

```

- Move代码也可以放在其他一些地方。关于Move包系统的更多信息可以在[Move 册子](https://move-language.github.io/move/packages.html)中找到。

- 关于`Move.toml`文件的更多信息可以在[Move册子的包部分](https://move-language.github.io/move/packages.html#movetoml)中找到。

- Move也支持[命名地址](https://move-language.github.io/move/address.html#named-addresses)的想法，命名地址是一种将Move源代码参数化的方式，这样你就可以使用不同的`NamedAddr`值来编译模块，从而得到不同的字节码，你可以根据你所控制的地址来进行部署。如果频繁使用，可以在`Move.toml`文件中的`[address]`部分进行定义，例如：

```

[addresses]

SomeNamedAddress = "0xC0FFEE"

```

- Move中的[结构体](https://move-language.github.io/move/structs-and-resources.html)可以被赋予不同的[能力(abilities)](https://move-language.github.io/move/abilities.html)，这些能力描述了可以用该类型做什么。有四种不同的能力:

- `copy`：允许具有这种能力的类型的值被复制。

- `drop`：允许具有这种能力的类型的值被丢弃(销毁)。

- `store`：允许具有这种能力的类型的值存在于全局存储的结构体中。

- `key`: 允许该类型作为全局存储操作的键。

因此，在 `BasicCoin `模块中，我们说 `Coin `结构体可以作为全局存储的一个键，由于它没有其他能力，它不能被复制、丢弃，或作为非键值存储在存储中。因此，你不能复制Coin，也不能意外地丢失Coin

- [函数](https://move-language.github.io/move/functions.html)默认是private(私有的)，也可以是`public(公共的)`，[`public(friend)`](https://move-language.github.io/move/friends.html)，或`public(script)`。其中最后一种说明这个函数可以从交易脚本中调用。`public(script)`函数也可以被其他`public(script)`函数调用。

- `move_to`是[五个不同的全局存储操作符](https://move-language.github.io/move/global-storage-operators.html)之一。

## 第2步：为第一个Move模块添加单元测试

现在我们已经看了我们的第一个Move模块，我们进行一下测试，以确保通过改变目录到[`step_2/BasicCoin`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_2/BasicCoin)，使铸币以我们期望的方式工作。Move中的单元测试与Rust中的单元测试相似，如果你熟悉它们的话 -- 测试用`#[test]`来注释，并像普通的Move函数一样编写。

你可以用`package test`命令来运行测试。

```

move test

```

现在让我们看看[`FirstModule.move`文件](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_2/BasicCoin/sources/FirstModule.move)的内容。你将看到这个测试。

```rust

module 0xCAFE::BasicCoin {

...

// Declare a unit test. It takes a signer called `account` with an

// address value of `0xC0FFEE`.

#[test(account = @0xC0FFEE)]

fun test_mint_10(account: signer) acquires Coin {

let addr = 0x1::signer::address_of(&account);

mint(account, 10);

// Make sure there is a `Coin` resource under `addr` with a value of `10`.

// We can access this resource and its value since we are in the

// same module that defined the `Coin` resource.

assert!(borrow_global(addr).value == 10, 0);

}

```

这是在声明一个名为 `test_mint_10 `的单元测试，在 `account `下铸造一个 `value`为 `10 `的 `Coin `结构体。然后检查存储中的铸币是否与`assert!`调用的预期值一致。如果断言失败，单元测试就会失败。

### 高级概念和练习

- 有许多与测试有关的注解是值得探讨的，它们可以在[这里](https://github.com/move-language/move/blob/main/language/changes/4-unit-testing.md#testing-annotations-their-meaning-and-usage)找到。你会在步骤5中看到其中的一些使用。

- 在运行单元测试之前，你总是需要添加一个对Move标准库的依赖。这可以通过在 `Move.toml `的`[dependencies]`部分添加一个条目来完成，例如:

```toml

[dependencies]

MoveStdlib = { local = `../../../../move-stdlib/`, addr_subst = { `std` = `0x1` } }

```

注意，你可能需要改变路径，使其指向`/language`下的`move-stdlib`目录。你也可以指定git的依赖性。你可以在[这里](https://move-language.github.io/move/packages.html#movetoml)阅读更多关于Move软件包依赖性的内容。

#### 练习

- 将断言改为`11`，这样测试就会失败。找到一个可以传递给`move test`命令的参数，它将显示测试失败时的全局状态。它应该看起来像这样：

```

┌── test_mint_10 ──────

│ error[E11001]: test failure

│ ┌─ ./sources/FirstModule.move:24:9

│ │

│ 18 │ fun test_mint_10(account: signer) acquires Coin {

│ │ ------------ In this function in 0xcafe::BasicCoin

│ ·

│ 24 │ assert!(borrow_global(addr).value == 11, 0);

│ │ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Test was not expected to abort but it aborted with 0 here

│

│ ────── Storage state at point of failure ──────

│ 0xc0ffee:

│ => key 0xcafe::BasicCoin::Coin {

│ value: 10

│ }

│

└──────────────────

```

* 找到一个允许你收集测试覆盖率信息的参数，然后使用`move coverage`命令查看覆盖率统计和源代码覆盖率。

## 第3步：设计`BasicCoin`模块

在这一节中，我们将设计一个实现基本Coin和余额接口的模块，Coin可以在不同地址下持有的余额之间被铸造和转移。

公共Move函数的签名如下：

```rust

/// Publish an empty balance resource under `account`'s address. This function must be called before

/// minting or transferring to the account.

public fun publish_balance(account: &signer) { ... }

/// 铸造 `amount` tokens 到 `mint_addr`. 需要模块的 owner 授权

public fun mint(module_owner: &signer, mint_addr: address, amount: u64) acquires Balance { ... }

/// 返回 `owner` 的余额

public fun balance_of(owner: address): u64 acquires Balance { ... }

/// Transfers `amount` of tokens from `from` to `to`.

public fun transfer(from: &signer, to: address, amount: u64) acquires Balance { ... }

```

接下来我们看一下这个模块需要的数据结构。

一个Move模块并没有自己的存储空间。相反，Move的 "全局存储"（我们称之为我们的区块链状态）是根据地址索引的。每个地址下都有Move模块（代码）和Move资源（值）。

全局存储在Rust语法中看起来大致是这样的。

```rust

struct GlobalStorage {

resources: Map>

modules: Map>

}

```

每个地址下的Move资源存储是一个从类型到值的映射。(一个善于观察的读者可能会注意到，这意味着每个地址只能有每个类型的一个值）。这方便地为我们提供了一个以地址为索引的本地映射。在我们的 `BasicCoin `模块中，我们定义了以下 `Balance `资源，代表每个地址拥有的Coin数量。

```rust

/// Struct representing the balance of each address.

struct Balance has key {

coin: Coin // same Coin from Step 1

}

```

大致上，Move区块链状态应该是这样的：

![img](https://img.learnblockchain.cn/pics/20220921154923.png)

### 高级主题

#### `public(script)`函数

只有具有`public(script)`可见性的函数可以在交易中直接调用。因此，如果你想从交易中直接调用`transfer`方法，你要把它的签名改为：

```rust

public(script) fun transfer(from: signer, to: address, amount: u64) acquires Balance { ... }

```

在[这里](https://move-language.github.io/move/functions.html#visibility)阅读更多关于Move 函数可见性的说明。

#### 与以太坊/Solidity的比较

在大多数以太坊 ERC-20合约中，每个地址的余额被存储在一个`mapping(address => uint256)`类型的状态变量中。这个状态变量存储在特定智能合约的存储中。

以太坊区块链的状态可能看起来像这样：

![](https://img.learnblockchain.cn/pics/20220921155027.png)

## 第4步：实现`BaseCoin`模块

我们已经在`step_4`文件夹中为你创建了一个Move包，名为`BasicCoin`。`sources`文件夹包含了包中所有Move模块的源代码，包括`BasicCoin.move`。在这一节中，我们将仔细研究一下[`BasicCoin.move`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_4/sources/BasicCoin.move)里面的方法的实现。

### 编译我们的代码

让我们首先在[`step_4/BasicCoin`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_4/BasicCoin)文件夹中运行以下命令，尝试使用Move包构建代码。

```

move build

```

### 方法的实现

现在让我们仔细看看[`BasicCoin.move`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_4/BasicCoin/sources/BasicCoin.move)里面的方法的实现。

**方法 `publish_balance`.**

这个方法发布一个`Balance`资源到一个给定的地址。因为这个资源需要通过铸币或转账来接收Coin，所以`publish_balance`方法必须由用户（包括模块所有者）在接收coin之前调用。

这个方法使用`move_to`操作来发布资源。

```

let empty_coin = Coin { value: 0 };

move_to(account, Balance { coin: empty_coin });

```

**方法 `mint `**

`mint`方法为一个给定的账户铸造Coin。这里我们要求`mint`必须得到模块所有者的授权。我们使用 assert 语句来强制执行。

```

assert!(signer::address_of(&module_owner) == MODULE_OWNER, errors::requires_address(ENOT_MODULE_OWNER));

```

Move中的断言语句可以这样使用：`assert! (, );`。这意味着如果``为假，那么就用``中止交易。这里`MODULE_OWNER`和`ENOT_MODULE_OWNER`都是在模块的开头定义的常量。而`errors`模块定义了我们可以使用的常见错误类别。值得注意的是，Move在执行过程中是事务性的 -- 所以如果出现[abort](https://move-language.github.io/move/abort-and-assert.html)，不需要对状态进行解除，因为该交易的变化不会被持久化到区块链上。

然后我们将一个价值为`amount`的Coin存入`mint_addr`的余额。

```

deposit(mint_addr, Coin { value: amount });

```

**方法 `balance_of` **

我们使用`borrow_global`，全局存储操作符之一，从全局存储中读取。

```

borrow_global(owner).coin.value

| | \ /

resource type address field names

```

**方法 `transfer `**

这个函数从`from`的余额中提取代币并将代币存入`to`的余额中。我们仔细研究一下`withdraw`辅助函数：

```rust

fun withdraw(addr: address, amount: u64) : Coin acquires Balance {

let balance = balance_of(addr);

assert!(balance >= amount, EINSUFFICIENT_BALANCE);

let balance_ref = &mut borrow_global_mut(addr).coin.value;

*balance_ref = balance - amount;

Coin { value: amount }

}

```

在方法的开始，我们断言取款的账户有足够的余额。然后我们使用`borrow_global_mut`来获取全局存储的可变引用，`&mut`被用来创建一个结构体的[可变引用](https://move-language.github.io/move/references.html)。然后我们通过这个可变引用来修改余额，并返回一个带有提取金额的新Coin。

### 练习

我们的模块中有两个 "TODO"，作为练习留给读者。

- 完成实现`publish_balance`方法。

- 实现 `deposit `方法。

这个练习的解决方案可以在[`step_4_sol`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_4_sol)文件夹中找到。

**奖励练习**

- 如果我们把太多的代币存入余额，会发生什么？

## 第5步：添加和使用`BasicCoin`模块的单元测试

在这一步中，我们要看一下我们写的所有不同的单元测试，以覆盖我们在第四步中写的代码。我们还将看一下可以用来帮助我们写测试的一些工具。

为了开始工作，在[`step_5/BasicCoin`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_5/BasicCoin)文件夹中运行`package test`命令:

```

move test

```

你应该看到类似这样的东西:

```

INCLUDING DEPENDENCY MoveStdlib

BUILDING BasicCoin

Running Move unit tests

[ PASS ] 0xcafe::BasicCoin::can_withdraw_amount

[ PASS ] 0xcafe::BasicCoin::init_check_balance

[ PASS ] 0xcafe::BasicCoin::init_non_owner

[ PASS ] 0xcafe::BasicCoin::publish_balance_already_exists

[ PASS ] 0xcafe::BasicCoin::publish_balance_has_zero

[ PASS ] 0xcafe::BasicCoin::withdraw_dne

[ PASS ] 0xcafe::BasicCoin::withdraw_too_much

Test result: OK. Total tests: 7; passed: 7; failed: 0

```

看看[`BasicCoin`模块](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_5/BasicCoin/sources/BasicCoin.move)中的测试，我们试图让每个单元测试保持在测试一个特定的行为。

### 练习

看完测试后，试着在`BasicCoin`模块中写一个名为`balance_of_dne`的单元测试，测试在`balance_of`被调用的地址下不存在`Balance`资源的情况。它应该只有几行!

这个练习的解决方案可以在[`step_5_sol`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_5_sol)找到。

## 第6步：使`BasicCoin`模块通用化

在Move中，我们可以使用泛型来定义不同输入数据类型的函数和结构体。泛型是库代码的一个很好的构建块。在本节中，我们将使简单的`BasicCoin`模块成为泛型，这样它就可以作为一个库模块，被其他用户模块使用。

首先，我们为数据结构添加类型参数:

```rust

struct Coin has store {

value: u64

}

struct Balance has key {

coin: Coin

}

```

也以同样的方式向方法添加类型参数。例如，`withdraw`变成了下面的内容:

```rust

fun withdraw(addr: address, amount: u64) : Coin acquires Balance {

let balance = balance_of(addr);

assert!(balance >= amount, EINSUFFICIENT_BALANCE);

let balance_ref = &mut borrow_global_mut>(addr).coin.value;

*balance_ref = balance - amount;

Coin { value: amount }

}

```

看看[`step_6/BasicCoin/sources/BasicCoin.move`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_6/BasicCoin/sources/BasicCoin.move)来看看完整的实现。

在这一点上，熟悉以太坊的读者可能会注意到，这个模块与[ERC20代币标准](https://ethereum.org/en/developers/docs/standards/tokens/erc-20/)的目的相似，它为在智能合约中实现可替换的代币提供了一个接口。使用泛型的一个关键优势是能够重用代码，因为泛型库模块已经提供了一个标准实现，而实例化模块可以通过包装标准实现来提供定制。

我们提供了一个名为[`MyOddCoin`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_6/BasicCoin/sources/MyOddCoin.move)的小模块，它实例化了`Coin`类型并定制了其转移策略：只能转移奇数的Coin。我们还包括两个[测试](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_6/BasicCoin/sources/MyOddCoin.move)来测试这个行为。你可以使用你在第2步和第5步学到的命令来运行这些测试。

### 高级主题

`phantom`类型参数

在`Coin`和`Balance`的定义中，我们声明类型参数`CoinType`是`phantom` ，因为`CoinType`在结构体定义中没有使用，或者只作为`phantom` 类型参数使用。

[这里](https://move-language.github.io/move/generics.html#phantom-type-parameters)阅读更多关于`phantom`类型参数的信息。

## 高级步骤

在进入下一个步骤之前，让我们确保你已经安装了所有的验证器依赖项。

尝试运行`boogie /version`。如果出现 `command not found: boogie `的错误信息，你将不得不运行设置脚本和应用配置文件。

```bash

# run the following in move repo root directory

./scripts/dev_setup.sh -yp

source ~/.profile

```

## 第7步：使用Move验证器

部署在区块链上的智能合约可能会操纵高价值资产。作为一种使用严格的数学方法来描述行为和推理计算机系统的正确性的技术，形式验证已被用于区块链，以防止智能合约中的错误。[The Move prover](https://github.com/move-language/move/blob/main/language/move-prover/doc/user/prover-guide.md)是一个不断发展的形式验证工具，用于用Move语言编写的智能合约。用户可以使用[Move Specification Language (MSL)](https://github.com/move-language/move/blob/main/language/move-prover/doc/user/spec-lang.md)来指定智能合约的功能属性，然后使用验证器来自动静态地检查它们。为了说明如何使用验证器，我们在[BasicCoin.move](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_7/BasicCoin/sources/BasicCoin.move)中加入了以下代码片段。

```

spec balance_of {

pragma aborts_if_is_strict;

}

```

非正式地说，代码块`spec balance_of {...}`包含方法`balance_of`的属性规范。

让我们首先在[`BasicCoin`目录](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_7/BasicCoin)内使用以下命令运行验证器：

```

move prove

```

其中输出以下错误信息：

```

error: abort not covered by any of the `aborts_if` clauses

┌─ ./sources/BasicCoin.move:38:5

│

35 │ borrow_global>(owner).coin.value

│ ------------- abort happened here with execution failure

38 │ ╭ spec balance_of {

39 │ │ pragma aborts_if_is_strict;

40 │ │ }

│ ╰─────^

│

= at ./sources/BasicCoin.move:34: balance_of

= owner = 0x29

= at ./sources/BasicCoin.move:35: balance_of

= ABORTED

Error: exiting with verification errors

```

该验证器基本上告诉我们，我们需要明确指定函数`balance_of`将中止的条件，这是在`owner`不拥有资源`Balance`时调用函数`borrow_global`造成的。为了删除这个错误信息，我们添加了一个`aborts_if`条件，如下：

```

spec balance_of {

pragma aborts_if_is_strict;

aborts_if !exists>(owner);

}

```

添加这个条件后，再次尝试运行`prove`命令，以确认没有验证错误。

```

move prove

```

除了中止条件外，我们还想定义功能属性。在第8步中，我们将通过为定义了 `BasicCoin `模块的方法指定属性来对验证器进行更详细的介绍。

## 第8步：为 `BasicCoin `模块编写正式规范

### withdraw 方法

方法 `withdraw `的签名在下面给出：

```

fun withdraw(addr: address, amount: u64) : Coin acquires Balance

```

该方法从地址`addr`提取价值为`amount`的代币，并返回一个创建的价值为`amount`的Coin。当1）`addr`没有资源`Balance`或2）`addr`中的代币数量小于`amount`时，方法`withdraw`中止。我们可以这样定义条件。

```rust

spec withdraw {

let balance = global>(addr).coin.value;

aborts_if !exists>(addr);

aborts_if balance < amount;

}

```

正如我们在这里看到的，一个规范块可以包含let绑定，它为表达式引入名称。`global(address)。T `是一个内置函数，返回 `addr `处的资源值。`balance`是`addr`所拥有的代币的数量。`exists(address): bool`是一个内置函数，如果资源T在地址处存在，则返回true。两个`aborts_if`子句对应上面提到的两个条件。一般来说，如果一个函数有一个以上的`aborts_if`条件，这些条件就会相互or-ed。默认情况下，如果用户想指定中止条件，需要列出所有可能的条件。否则，验证器将产生一个验证错误。然而，如果`pragma aborts_if_is_partial`在spec块中被定义，组合的中止条件（or-ed的单个条件）只意味着函数的中止。读者可以参考[MSL](https://github.com/move-language/move/blob/main/language/move-prover/doc/user/spec-lang.md)文件了解更多信息。

下一步是定义功能属性，在下面的两个 `ensures `语句中描述。首先，通过使用`let post`绑定，`balance_post`表示执行后`addr`的余额，它应该等于`balance - amount`。然后，返回值（表示为`result`）应该是一个价值为`amount`的Coin。

```rust

spec withdraw {

let balance = global<Balance<CoinType>>(addr).coin.value;

aborts_if !exists<Balance<CoinType>>(addr);

aborts_if balance < amount;

let post balance_post = global<Balance<CoinType>>(addr).coin.value;

ensures balance_post == balance - amount;

ensures result == Coin<CoinType> { value: amount };

}

```

### `deposit `方法

方法 `deposit `的签名如下：

```

fun deposit(addr: address, check: Coin) acquires Balance

```

该方法将 `check`存入 `addr`。该规范定义如下：

```rust

spec deposit {

let balance = global>(addr).coin.value;

let check_value = check.value;

aborts_if !exists>(addr);

aborts_if balance + check_value > MAX_U64;

let post balance_post = global>(addr).coin.value;

ensures balance_post == balance + check_value;

}

```

`balance`代表执行前`addr`中的代币数量，`check_value`代表要存入的代币数量。如果1）`addr`没有资源`Balance`或2）`balance`和`check_value`之和大于`u64`类型的最大值，该方法将终止。该功能属性检查余额在执行后是否被正确更新。

### `transfer` 方法

方法 `transfer `的签名如下：

```

public fun transfer(from: &signer, to: address, amount: u64, _witness: CoinType) acquires Balance

```

该方法从`from`的账户向`to`的地址转移`amount`的Coin。说明如下：

```rust

spec transfer {

let addr_from = signer::address_of(from);

let balance_from = global>(addr_from).coin.value;

let balance_to = global>(to).coin.value;

let post balance_from_post = global>(addr_from).coin.value;

let post balance_to_post = global>(to).coin.value;

ensures balance_from_post == balance_from - amount;

ensures balance_to_post == balance_to + amount;

}

```

`addr_from`是`from`的地址。然后得到`addr_from`和`to`在执行前和执行后的余额。`ensures `语句规定，从`addr_from`中扣除`amount`的代币数量，并添加到`to`中。然而，验证器将产生如下错误信息。

```

error: post-condition does not hold

┌─ ./sources/BasicCoin.move:57:9

│

62 │ ensures balance_from_post == balance_from - amount;

│ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

│

...

```

当`addr_from`等于`to`时，该属性不被持有。因此，我们可以在方法中添加一个断言`assert!(from_addr != to)`，以确保`addr_from`不等于`to`。

### 练习

- 为 `transfer `方法实现 `aborts_if `条件。

- 实现`mint`和`publish_balance`方法的规范。

这个练习的解决方案可以在[`step_8_sol`](https://github.com/solana-labs/move/blob/main/language/documentation/tutorial/step_8_sol)找到。

原文： https://github.com/move-language/move/tree/main/language/documentation/tutorial

欢迎来到Move教程! 在本教程中，我们将通过开发Move代码的一些步骤，包括Move模块的设计、实现、单元测试和形式验证。

总共有九个步骤：

第0步：安装

第1步：编写我的第一个Move 模块

第2步：为我的第一个Move 模块添加单元测试

第3步：设计我的 BasicCoin模块

第4步：实现我的 BaseCoin模块

第5步：在 BasicCoin模块中添加和使用单元测试

第6步：使我的 BasicCoin模块通用化

第7步：使用 Move 验证器（Move prover）

第8步：为 BasicCoin模块编写正式规范

每个步骤都被设计成在相应的step_x文件夹中自成一体。例如，如果你想跳过第1到第4步的内容，请随意跳到第5步，因为我们在第5步之前写的所有代码都在step_5文件夹中。在一些步骤的末尾，我们还包括更多高级主题的补充材料。

教程代码： https://github.com/move-language/move/tree/main/language/documentation/tutorial

现在让我们开始吧!

第0步：安装

如果你还没有，打开你的终端并克隆Move repository。

git clone https://github.com/move-language/move.git

进入move目录并运行dev_setup.sh脚本。

cd move

./scripts/dev_setup.sh -ypt

按照脚本的提示来安装Move的所有依赖项。

该脚本将环境变量定义添加到你的~/.profile文件中。通过运行这条命令将其包含在内。

source ~/.profile

接下来，通过运行以下命令来安装Move的命令行工具。

cargo install --path language/tools/move-cli

你可以通过运行以下命令来检查它是否工作。

move --help

你应该看到类似这样的东西，以及一些命令的列表和描述。

move-package

Execute a package command. Executed in the current directory or the closest containing Move package

USAGE:

move [OPTIONS] <SUBCOMMAND>

OPTIONS:

--abi Generate ABIs for packages

...

如果你想找到哪些命令是可用的以及它们的作用，运行带有--help标志的命令或子命令将打印出文档。

在运行接下来的步骤之前，cd到教程目录。

cd <path_to_move>/language/documentation/tutorial

Visual Studio代码Move支持

Visual Studio Code有官方的Move支持。你需要先安装Move分析器：

cargo install --path language/move-analyzer

现在你可以通过打开VS Code，在扩展窗格中搜索 move-analyzer来安装VS扩展，并安装它。更详细的说明可以在扩展的README 中找到

第1步：编写第一个Move模块

改变目录进入step_1/BasicCoin目录。你应该看到一个叫做 sources的目录 -- 这是这个包的所有Move代码所在的地方。你还应该看到一个Move.toml文件。如果你熟悉Rust和Cargo，Move.toml文件与Cargo.toml文件相似，sources目录与src目录相似。

让我们来看看一些Move的代码! 在你选择的编辑器中打开sources/FirstModule.move。你会看到的内容就是这个：

// sources/FirstModule.move

module 0xCAFE::BasicCoin {

...

}

这是定义了一个Move模块。模块是Move代码的组成部分，它被定义为一个特定的地址：模块可以被发布的地址。在这个例子中，BasicCoin模块只能在0xCAFE下发布。

译者注：模块在发布者的地址下发布。标准库在 0x1 地址下发布。

现在让我们看看这个文件的下一部分，我们定义一个结构体来表示一个具有给定 Value的 Coin。

module 0xCAFE::BasicCoin {

struct Coin has key {

value: u64,

}

...

}

看一下文件的其余部分，我们看到一个函数定义，它创建了一个 Coin结构体并将其存储在一个账户下：

module 0xCAFE::BasicCoin {

struct Coin has key {

value: u64,

}

public fun mint(account: signer, value: u64) {

move_to(&account, Coin { value })

}

让我们看一下这个函数和它的内容：

它需要一个signer -- 一个不可伪造代币，代表对一个特定地址的控制权，以及一个value来铸币。

它用给定的值创建一个Coin，并使用move_to操作符将其存储在account下。

让我们确保它可构建! 这可以通过在软件包文件夹中(step_1/BasicCoin)下，用build命令来完成。

move build

高级概念和参考资料：

你可以通过命令创建一个空的Move包：

move new <pkg_name>

Move代码也可以放在其他一些地方。关于Move包系统的更多信息可以在Move 册子中找到。

关于Move.toml文件的更多信息可以在Move册子的包部分中找到。

Move也支持命名地址的想法，命名地址是一种将Move源代码参数化的方式，这样你就可以使用不同的NamedAddr值来编译模块，从而得到不同的字节码，你可以根据你所控制的地址来进行部署。如果频繁使用，可以在Move.toml文件中的[address]部分进行定义，例如：

[addresses]

SomeNamedAddress = "0xC0FFEE"

Move中的结构体可以被赋予不同的能力(abilities)，这些能力描述了可以用该类型做什么。有四种不同的能力:

copy：允许具有这种能力的类型的值被复制。

drop：允许具有这种能力的类型的值被丢弃(销毁)。

store：允许具有这种能力的类型的值存在于全局存储的结构体中。

key: 允许该类型作为全局存储操作的键。

因此，在 BasicCoin模块中，我们说 Coin结构体可以作为全局存储的一个键，由于它没有其他能力，它不能被复制、丢弃，或作为非键值存储在存储中。因此，你不能复制Coin，也不能意外地丢失Coin

函数默认是private(私有的)，也可以是public(公共的)，public(friend)，或public(script)。其中最后一种说明这个函数可以从交易脚本中调用。public(script)函数也可以被其他public(script)函数调用。

move_to是五个不同的全局存储操作符之一。

第2步：为第一个Move模块添加单元测试

现在我们已经看了我们的第一个Move模块，我们进行一下测试，以确保通过改变目录到step_2/BasicCoin，使铸币以我们期望的方式工作。Move中的单元测试与Rust中的单元测试相似，如果你熟悉它们的话 -- 测试用#[test]来注释，并像普通的Move函数一样编写。

你可以用package test命令来运行测试。

move test

现在让我们看看FirstModule.move文件的内容。你将看到这个测试。

module 0xCAFE::BasicCoin {

...

// Declare a unit test. It takes a signer called `account` with an

// address value of `0xC0FFEE`.

#[test(account = @0xC0FFEE)]

fun test_mint_10(account: signer) acquires Coin {

let addr = 0x1::signer::address_of(&account);

mint(account, 10);

// Make sure there is a `Coin` resource under `addr` with a value of `10`.

// We can access this resource and its value since we are in the

// same module that defined the `Coin` resource.

assert!(borrow_global<Coin>(addr).value == 10, 0);

}

这是在声明一个名为 test_mint_10的单元测试，在 account下铸造一个 value为 10的 Coin结构体。然后检查存储中的铸币是否与assert!调用的预期值一致。如果断言失败，单元测试就会失败。

高级概念和练习

有许多与测试有关的注解是值得探讨的，它们可以在这里找到。你会在步骤5中看到其中的一些使用。

在运行单元测试之前，你总是需要添加一个对Move标准库的依赖。这可以通过在 Move.toml的[dependencies]部分添加一个条目来完成，例如:

[dependencies]

MoveStdlib = { local = `../../../../move-stdlib/`, addr_subst = { `std` = `0x1` } }

注意，你可能需要改变路径，使其指向<path_to_move>/language下的move-stdlib目录。你也可以指定git的依赖性。你可以在这里阅读更多关于Move软件包依赖性的内容。

练习

将断言改为11，这样测试就会失败。找到一个可以传递给move test命令的参数，它将显示测试失败时的全局状态。它应该看起来像这样：

┌── test_mint_10 ──────

│ error[E11001]: test failure

│ ┌─ ./sources/FirstModule.move:24:9

│ │

│ 18 │ fun test_mint_10(account: signer) acquires Coin {

│ │ ------------ In this function in 0xcafe::BasicCoin

│ ·

│ 24 │ assert!(borrow_global<Coin>(addr).value == 11, 0);

│ │ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Test was not expected to abort but it aborted with 0 here

│

│ ────── Storage state at point of failure ──────

│ 0xc0ffee:

│ => key 0xcafe::BasicCoin::Coin {

│ value: 10

│ }

│

└──────────────────

找到一个允许你收集测试覆盖率信息的参数，然后使用move coverage命令查看覆盖率统计和源代码覆盖率。

第3步：设计BasicCoin模块

在这一节中，我们将设计一个实现基本Coin和余额接口的模块，Coin可以在不同地址下持有的余额之间被铸造和转移。

公共Move函数的签名如下：

/// Publish an empty balance resource under `account`'s address. This function must be called before

/// minting or transferring to the account.

public fun publish_balance(account: &signer) { ... }

/// 铸造 `amount` tokens 到 `mint_addr`. 需要模块的 owner 授权

public fun mint(module_owner: &signer, mint_addr: address, amount: u64) acquires Balance { ... }

/// 返回 `owner` 的余额

public fun balance_of(owner: address): u64 acquires Balance { ... }

/// Transfers `amount` of tokens from `from` to `to`.

public fun transfer(from: &signer, to: address, amount: u64) acquires Balance { ... }

接下来我们看一下这个模块需要的数据结构。

全局存储在Rust语法中看起来大致是这样的。

struct GlobalStorage {

resources: Map<address, Map<ResourceType, ResourceValue>>

modules: Map<address, Map<ModuleName, ModuleBytecode>>

}

每个地址下的Move资源存储是一个从类型到值的映射。(一个善于观察的读者可能会注意到，这意味着每个地址只能有每个类型的一个值）。这方便地为我们提供了一个以地址为索引的本地映射。在我们的 BasicCoin模块中，我们定义了以下 Balance资源，代表每个地址拥有的Coin数量。

/// Struct representing the balance of each address.

struct Balance has key {

coin: Coin // same Coin from Step 1

}

大致上，Move区块链状态应该是这样的：

高级主题

public(script)函数

只有具有public(script)可见性的函数可以在交易中直接调用。因此，如果你想从交易中直接调用transfer方法，你要把它的签名改为：

public(script) fun transfer(from: signer, to: address, amount: u64) acquires Balance { ... }

在这里阅读更多关于Move 函数可见性的说明。

与以太坊/Solidity的比较

在大多数以太坊 ERC-20合约中，每个地址的余额被存储在一个mapping(address => uint256)类型的状态变量中。这个状态变量存储在特定智能合约的存储中。

以太坊区块链的状态可能看起来像这样：

第4步：实现BaseCoin模块

我们已经在step_4文件夹中为你创建了一个Move包，名为BasicCoin。sources文件夹包含了包中所有Move模块的源代码，包括BasicCoin.move。在这一节中，我们将仔细研究一下BasicCoin.move里面的方法的实现。

编译我们的代码

让我们首先在step_4/BasicCoin文件夹中运行以下命令，尝试使用Move包构建代码。

move build

方法的实现

现在让我们仔细看看BasicCoin.move里面的方法的实现。

方法 publish_balance.

这个方法发布一个Balance资源到一个给定的地址。因为这个资源需要通过铸币或转账来接收Coin，所以publish_balance方法必须由用户（包括模块所有者）在接收coin之前调用。

这个方法使用move_to操作来发布资源。

let empty_coin = Coin { value: 0 };

move_to(account, Balance { coin: empty_coin });

方法 mint

mint方法为一个给定的账户铸造Coin。这里我们要求mint必须得到模块所有者的授权。我们使用 assert 语句来强制执行。

assert!(signer::address_of(&module_owner) == MODULE_OWNER, errors::requires_address(ENOT_MODULE_OWNER));

Move中的断言语句可以这样使用：assert! (<predicate>, <abort_code>);。这意味着如果<predicate>为假，那么就用<abort_code>中止交易。这里MODULE_OWNER和ENOT_MODULE_OWNER都是在模块的开头定义的常量。而errors模块定义了我们可以使用的常见错误类别。值得注意的是，Move在执行过程中是事务性的 -- 所以如果出现abort，不需要对状态进行解除，因为该交易的变化不会被持久化到区块链上。

然后我们将一个价值为amount的Coin存入mint_addr的余额。

deposit(mint_addr, Coin { value: amount });

方法 balance_of

我们使用borrow_global，全局存储操作符之一，从全局存储中读取。

borrow_global<Balance>(owner).coin.value

| | \ /

resource type address field names

方法 transfer

这个函数从from的余额中提取代币并将代币存入to的余额中。我们仔细研究一下withdraw辅助函数：

fun withdraw(addr: address, amount: u64) : Coin acquires Balance {

let balance = balance_of(addr);

assert!(balance >= amount, EINSUFFICIENT_BALANCE);

let balance_ref = &mut borrow_global_mut<Balance>(addr).coin.value;

*balance_ref = balance - amount;

Coin { value: amount }

}

在方法的开始，我们断言取款的账户有足够的余额。然后我们使用borrow_global_mut来获取全局存储的可变引用，&mut被用来创建一个结构体的可变引用。然后我们通过这个可变引用来修改余额，并返回一个带有提取金额的新Coin。

练习

我们的模块中有两个 "TODO"，作为练习留给读者。

完成实现publish_balance方法。

实现 deposit方法。

这个练习的解决方案可以在step_4_sol文件夹中找到。

奖励练习

如果我们把太多的代币存入余额，会发生什么？

第5步：添加和使用BasicCoin模块的单元测试

在这一步中，我们要看一下我们写的所有不同的单元测试，以覆盖我们在第四步中写的代码。我们还将看一下可以用来帮助我们写测试的一些工具。

为了开始工作，在step_5/BasicCoin文件夹中运行package test命令:

move test

你应该看到类似这样的东西:

INCLUDING DEPENDENCY MoveStdlib

BUILDING BasicCoin

Running Move unit tests

[ PASS ] 0xcafe::BasicCoin::can_withdraw_amount

[ PASS ] 0xcafe::BasicCoin::init_check_balance

[ PASS ] 0xcafe::BasicCoin::init_non_owner

[ PASS ] 0xcafe::BasicCoin::publish_balance_already_exists

[ PASS ] 0xcafe::BasicCoin::publish_balance_has_zero

[ PASS ] 0xcafe::BasicCoin::withdraw_dne

[ PASS ] 0xcafe::BasicCoin::withdraw_too_much

Test result: OK. Total tests: 7; passed: 7; failed: 0

看看BasicCoin模块中的测试，我们试图让每个单元测试保持在测试一个特定的行为。

练习

看完测试后，试着在BasicCoin模块中写一个名为balance_of_dne的单元测试，测试在balance_of被调用的地址下不存在Balance资源的情况。它应该只有几行!

这个练习的解决方案可以在step_5_sol找到。

第6步：使BasicCoin模块通用化

在Move中，我们可以使用泛型来定义不同输入数据类型的函数和结构体。泛型是库代码的一个很好的构建块。在本节中，我们将使简单的BasicCoin模块成为泛型，这样它就可以作为一个库模块，被其他用户模块使用。

首先，我们为数据结构添加类型参数:

struct Coin<phantom CoinType> has store {

value: u64

}

struct Balance<phantom CoinType> has key {

coin: Coin<CoinType>

}

也以同样的方式向方法添加类型参数。例如，withdraw变成了下面的内容:

fun withdraw<CoinType>(addr: address, amount: u64) : Coin<CoinType> acquires Balance {

let balance = balance_of<CoinType>(addr);

assert!(balance >= amount, EINSUFFICIENT_BALANCE);

let balance_ref = &mut borrow_global_mut<Balance<CoinType>>(addr).coin.value;

*balance_ref = balance - amount;

Coin<CoinType> { value: amount }

}

看看step_6/BasicCoin/sources/BasicCoin.move来看看完整的实现。

在这一点上，熟悉以太坊的读者可能会注意到，这个模块与ERC20代币标准的目的相似，它为在智能合约中实现可替换的代币提供了一个接口。使用泛型的一个关键优势是能够重用代码，因为泛型库模块已经提供了一个标准实现，而实例化模块可以通过包装标准实现来提供定制。

我们提供了一个名为MyOddCoin的小模块，它实例化了Coin类型并定制了其转移策略：只能转移奇数的Coin。我们还包括两个测试来测试这个行为。你可以使用你在第2步和第5步学到的命令来运行这些测试。

高级主题

phantom类型参数

在Coin和Balance的定义中，我们声明类型参数CoinType是phantom ，因为CoinType在结构体定义中没有使用，或者只作为phantom 类型参数使用。

这里阅读更多关于phantom类型参数的信息。

高级步骤

在进入下一个步骤之前，让我们确保你已经安装了所有的验证器依赖项。

尝试运行boogie /version。如果出现 command not found: boogie的错误信息，你将不得不运行设置脚本和应用配置文件。

# run the following in move repo root directory

./scripts/dev_setup.sh -yp

source ~/.profile

第7步：使用Move验证器

部署在区块链上的智能合约可能会操纵高价值资产。作为一种使用严格的数学方法来描述行为和推理计算机系统的正确性的技术，形式验证已被用于区块链，以防止智能合约中的错误。The Move prover是一个不断发展的形式验证工具，用于用Move语言编写的智能合约。用户可以使用Move Specification Language (MSL)来指定智能合约的功能属性，然后使用验证器来自动静态地检查它们。为了说明如何使用验证器，我们在BasicCoin.move中加入了以下代码片段。

spec balance_of {

pragma aborts_if_is_strict;

}

非正式地说，代码块spec balance_of {...}包含方法balance_of的属性规范。

让我们首先在BasicCoin目录内使用以下命令运行验证器：

move prove

其中输出以下错误信息：

error: abort not covered by any of the `aborts_if` clauses

┌─ ./sources/BasicCoin.move:38:5

│

35 │ borrow_global<Balance<CoinType>>(owner).coin.value

│ ------------- abort happened here with execution failure

38 │ ╭ spec balance_of {

39 │ │ pragma aborts_if_is_strict;

40 │ │ }

│ ╰─────^

│

= at ./sources/BasicCoin.move:34: balance_of

= owner = 0x29

= at ./sources/BasicCoin.move:35: balance_of

= ABORTED

Error: exiting with verification errors

该验证器基本上告诉我们，我们需要明确指定函数balance_of将中止的条件，这是在owner不拥有资源Balance<CoinType>时调用函数borrow_global造成的。为了删除这个错误信息，我们添加了一个aborts_if条件，如下：

spec balance_of {

pragma aborts_if_is_strict;

aborts_if !exists<Balance<CoinType>>(owner);

}

添加这个条件后，再次尝试运行prove命令，以确认没有验证错误。

move prove

除了中止条件外，我们还想定义功能属性。在第8步中，我们将通过为定义了 BasicCoin模块的方法指定属性来对验证器进行更详细的介绍。

第8步：为 BasicCoin模块编写正式规范

withdraw 方法

方法 withdraw的签名在下面给出：

fun withdraw<CoinType>(addr: address, amount: u64) : Coin<CoinType> acquires Balance

该方法从地址addr提取价值为amount的代币，并返回一个创建的价值为amount的Coin。当1）addr没有资源Balance<CoinType>或2）addr中的代币数量小于amount时，方法withdraw中止。我们可以这样定义条件。

spec withdraw {

let balance = global<Balance<CoinType>>(addr).coin.value;

aborts_if !exists<Balance<CoinType>>(addr);

aborts_if balance < amount;

}

正如我们在这里看到的，一个规范块可以包含let绑定，它为表达式引入名称。global<T>(address)。T是一个内置函数，返回 addr处的资源值。balance是addr所拥有的代币的数量。exists<T>(address): bool是一个内置函数，如果资源T在地址处存在，则返回true。两个aborts_if子句对应上面提到的两个条件。一般来说，如果一个函数有一个以上的aborts_if条件，这些条件就会相互or-ed。默认情况下，如果用户想指定中止条件，需要列出所有可能的条件。否则，验证器将产生一个验证错误。然而，如果pragma aborts_if_is_partial在spec块中被定义，组合的中止条件（or-ed的单个条件）只意味着函数的中止。读者可以参考MSL文件了解更多信息。

下一步是定义功能属性，在下面的两个 ensures语句中描述。首先，通过使用let post绑定，balance_post表示执行后addr的余额，它应该等于balance - amount。然后，返回值（表示为result）应该是一个价值为amount的Coin。

spec withdraw {

let balance = global<Balance<CoinType>>(addr).coin.value;

aborts_if !exists<Balance<CoinType>>(addr);

aborts_if balance < amount;

let post balance_post = global<Balance<CoinType>>(addr).coin.value;

ensures balance_post == balance - amount;

ensures result == Coin<CoinType> { value: amount };

}

deposit方法

方法 deposit的签名如下：

fun deposit<CoinType>(addr: address, check: Coin<CoinType>) acquires Balance

该方法将 check存入 addr。该规范定义如下：

spec deposit {

let balance = global<Balance<CoinType>>(addr).coin.value;

let check_value = check.value;

aborts_if !exists<Balance<CoinType>>(addr);

aborts_if balance + check_value > MAX_U64;

let post balance_post = global<Balance<CoinType>>(addr).coin.value;

ensures balance_post == balance + check_value;

}

balance代表执行前addr中的代币数量，check_value代表要存入的代币数量。如果1）addr没有资源Balance<CoinType>或2）balance和check_value之和大于u64类型的最大值，该方法将终止。该功能属性检查余额在执行后是否被正确更新。

transfer 方法

方法 transfer的签名如下：

public fun transfer<CoinType: drop>(from: &signer, to: address, amount: u64, _witness: CoinType) acquires Balance

该方法从from的账户向to的地址转移amount的Coin。说明如下：

spec transfer {

let addr_from = signer::address_of(from);

let balance_from = global<Balance<CoinType>>(addr_from).coin.value;

let balance_to = global<Balance<CoinType>>(to).coin.value;

let post balance_from_post = global<Balance<CoinType>>(addr_from).coin.value;

let post balance_to_post = global<Balance<CoinType>>(to).coin.value;

ensures balance_from_post == balance_from - amount;

ensures balance_to_post == balance_to + amount;

}

addr_from是from的地址。然后得到addr_from和to在执行前和执行后的余额。ensures语句规定，从addr_from中扣除amount的代币数量，并添加到to中。然而，验证器将产生如下错误信息。

error: post-condition does not hold

┌─ ./sources/BasicCoin.move:57:9

│

62 │ ensures balance_from_post == balance_from - amount;

│ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

│

...

当addr_from等于to时，该属性不被持有。因此，我们可以在方法中添加一个断言assert!(from_addr != to)，以确保addr_from不等于to。

练习

为 transfer方法实现 aborts_if条件。

实现mint和publish_balance方法的规范。

这个练习的解决方案可以在step_8_sol找到。

原文： https://github.com/move-language/move/tree/main/language/documentation/tutorial

翻译

学分: 198

分类: Move

标签:

Move

本文已由作者铸造成 NFT

网络:

Polygon

合约地址:

0x6f772e254Ef50e9b462915b66404009c73766350

IPFS hash:

QmUx8gwmZNqFWR56PfchRLsK1PcGeDHioR7yA6VzFCH8mi

查看TA的链上存证

Twitter分享

微信扫码分享

本文参与登链社区写作激励计划，好文好收益，欢迎正在阅读的你也加入。

你可能感兴趣的文章

move 语言开发环境搭建| try to web3 系列 (一)

38 浏览

Dacade平台SUI Move挑战者合约实践——去中心化市场DApp（Sui Move Marketplace DApp）

71 浏览

登链技术文章输出200-500一篇,摸鱼赚奶粉钱

94 浏览

sui move table_vec、vec_set

128 浏览

Sui环境-二进制文件安装

99 浏览

Dacade平台我的SUI Move挑战合约——幸运咖啡馆（Lucky Cafe）

165 浏览

Follow

钱包下载网址imToken|move

钱包下载网址imToken|move

C++:move，带你从根本理解move函数是什么_c++ move-CSDN博客

一文读懂C++右值引用和std::move - 知乎

C++ move()函数_c++move-CSDN博客

move是什么意思_move的翻译_音标_读音_用法_例句_爱词霸在线词典

MOVE中文(简体)翻译：剑桥词典

c++ move函数到底是什么意思？ - 知乎

move是什么意思_move怎么读_move翻译_用法_发音_词组_同反义词_移动_搬动-新东方在线英语词典

move（英语单词）_百度百科

std::move - C++中文 - API参考文档

Move 教程 | 登链社区 | 区块链技术社区

最近的新闻

您可能喜欢的文章

im钱包app下载地址|一亿津巴布韦币

tp下载|stone怎么读

比特派怎么更换手机号

比特派安卓版钱包怎么用

比特派登录不上怎么办

比特派检测到异常怎么回事

比特派不让验证怎么办呢