首页 > 编程语言 >C++面试八股文:什么是左值,什么是右值?

C++面试八股文:什么是左值,什么是右值?

时间:2023-06-16 23:55:26浏览次数:45  
标签:std 右值 move 左值 C++ && 师兄

某日二师兄参加XXX科技公司的C++工程师开发岗位第16面:

面试官:什么是左值,什么是右值?

二师兄:简单来说,左值就是可以使用&符号取地址的值,而右值一般不可以使用&符号取地址。

int a = 42;	//a是左值,可以&a
int* p = &a;
int* p = &42;	//42是右值,无法取地址

二师兄:一般左值存在内存中,而右值存在寄存器中。

int a = 42, b = 1024;
decltype(a+b);	//类型为右值,a+b返回的值存在寄存器中
decltype(a+=b);	//类型为左值,a+=b返回的值存储在内存中

二师兄:严格意义上分,右值分为纯右值(pvalue)和将亡值(xvalue)。C++中,除了右值剩余的就是左值。

42;				//纯右值
int a = 1024;
std::move(a);	//将亡值

面试官:C++98/03中已经有了左值,为什么还要增加右值的概念?

二师兄:主要是为了效率。特别是STL中的容器,当需要把容器当作参数传入函数时:

void function(std::vector<int> vi2)
{
    vi2.push_back(6);
    for(auto& i: vi2) { std:: cout < i << " " ;}
    std::cout << std::endl;
}
int main(int argc, char* argv[])
{
    std::vector<int> vi1{1,2,3,4,5};
    function(vi1);
    return 0;
}

二师兄:当我们要把vi1传入函数时,在C++98/03时只能通过拷贝构造函数,把vi1中所有的元素全部拷贝一份给vi2,拷贝完成之后,当function函数返回时,vi2被析构,然后vi1被析构。

二师兄:在C++11及之后,我们可以通过std::move()vi1强制转为右值,此时在初始化vi2时执行的不是拷贝构造而是移动构造:

void function(std::vector<int>&& vi2)
{
    vi2.push_back(6);
    for(auto& i: vi2) { std:: cout < i << " " ;}
    std::cout << std::endl;
}
int main(int argc, char* argv[])
{
    std::vector<int> vi1{1,2,3,4,5};
    function(std::move(vi1));
    return 0;
}

二师兄:这里只进行了一次构造。一次移动(当元素特别多时,移动的成本相对于拷贝基本可以忽略不记),一次析构。效率得到很大的提升。

二师兄:当然,移动过后的变量已经不能再使用(身体被掏空),在std::move(vi1)之后使用vi1是未定义行为。

面试官:好的。那你知道移动构造是如何实现的吗?

二师兄:移动构造是通过移动构造函数实现的,当类有资源需要管理时,拷贝构造会把资源复制一份,而移动构造偷走了原对象的资源。

struct Foo
{
    int* data_;
    
    //copy construct
    Foo(const Foo& oth)
    {
        data_ = new int(*oth.data_);
    }
    //move construct
    Foo(Foo&& oth) noexcept
    {
        data_ = oth.data_;		//steal
        oth.data_ = nullptr;	//set to null
    }
}

面试官:好的。你觉得移动构造函数的noexcept关键字能省略吗?为什么?

二师兄:应该不能吧,具体不清楚。

面试官:那你知道std::move是如何实现的吗?

二师兄:好像是static_cast实现的吧。

面试官:那你知道什么叫万能引用吗?

二师兄:万能引用主要用在模板中,模板参数是T,形参是T&&,此时可以传入任何类型的参数,所以称之为万能引用。

template<typename T>
void function(T&& t) { ...}

面试官:那你知道万能引用是如何实现的吗?

二师兄:不太清楚。。

面试官:完美转发知道吗?

二师兄:std::forward 吗,了解过一些,不太熟悉。

面试官:好的,回去等消息吧。

让我们来回顾以下二师兄今天的表现:

移动构造函数的noexcept关键字能省略吗?为什么?

这里尽量不要省略。如果省略,编译器会推断是否会抛出异常。如果移动构造函数可能会抛出异常,则编译器不会将其标记为noexcept。当编译器不标记为noexcept时,为了保证程序的正确性,编译器可能会采用拷贝构造的方式实现移动构造,从而导致效率降低。

需要注意的是,如果标记了noexcept但在移动时抛出了异常,则程序会调用std::terminate()函数来终止运行。

知道std::move是如何实现的吗?

这里的确是通过static_cast实现的,讲左值强行转换成右值,用来匹配移动语义而非拷贝。

template<typename T>
typename std::remove_reference<T>::type&& move(T&& t) { return static_cast<typename std::remove_reference<T>::type&&>(t);}

万能引用是如何实现的?

万能引用主要使用了引用折叠技术,

template<typename T>
void function(T&& t) { ...}

当T类型为左值时,&& & 被折叠为&, 当T类型为右值时,&& &&被折叠称为&&。以下是折叠规则:

& &    -> &
& &&   -> &
&& &   -> &
&& &&  -> &&

完美转发知道吗?

当我们需要在function中传递t参数时,如何保证它的左值或右值语义呢?这时候完美转发就登场了:

template<typename T>
void function2(T&& t2) {}
template<typename T>
void function(T&& t) 
{
    function2(t);
}

当传入的参数t的类型时右值时,由于引用折叠还是右值,此时的t虽然时一个右值引用,但t本身却是一个左值!这里非常的不好理解。如果我们把t直接传入到function2,那么function2中的t2会被推导成左值,达不到我们的目标。如果在调用function2时传入std::move(t),当t是右值时没有问题,但当t是左值时,把t移动到t2t在外部不在能用。这也不符合我们的预期。此时std::forward闪亮登场!

template<typename T>
void function2(T&& t2) {}
template<typename T>
void function(T&& t) 
{
    function2(std::forward<T&&>(t));
}

std::forward使用了编译时多态(SFINAE)技术,使得当参数t是左值是和右值是匹配不同的实现,完成返回不同类型引用的目的。以下是标准库的实现:

template <typename _Tp>
constexpr _Tp && forward(typename std::remove_reference<_Tp>::type &&__t) noexcept
{
    return static_cast<_Tp &&>(__t);
}

template <typename _Tp>
constexpr typename std::remove_reference<_Tp>::type && move(_Tp &&__t) noexcept
{
    return static_cast<typename std::remove_reference<_Tp>::type &&>(__t);
}

好了,今日份面试到这里就结束了。二师兄的表现如何呢?预知后事如何,且听下回分解。

关注我,带你21天“精通”C++!(狗头)

标签:std,右值,move,左值,C++,&&,师兄
From: https://www.cnblogs.com/binarch/p/17486732.html

相关文章

  • c++实现二叉树中序遍历
    #include<iostream>usingnamespacestd;//定义二叉树节点结构体structTreeNode{  intval;  TreeNode*left;  TreeNode*right;  TreeNode(intx):val(x),left(NULL),right(NULL){}};//中序遍历函数voidinorderTraversal(TreeNode*root){......
  • 《C++》友元
    友元--friend友元可以访问类的私有属性classPerson{ friendvoidtest();public: Person(intn) { this->n=n; }private: intn;};voidtest(){ Personp(20); cout<<p.n<<endl;}intmain(){ test(); system("pause"); return0;}友......
  • 【初识C++】(缺省参数和函数重载)
    @TOC一、缺省参数1.缺省参数定义缺省参数是在函数的声明中给定参数一个指定的值。如果传参没有给定参数,那就按照声明中默认的缺省值,如果给定了参数,那就按照给定的参数值。比如:usingnamespacestd;voidFunc(inta=0){ cout<<a<<endl;}intmain(){ Func(); //......
  • c++强制类型转换的不同
    参考https://blog.csdn.net/luolaihua2018/article/details/111996610https://zhuanlan.zhihu.com/p/368267441https://zhuanlan.zhihu.com/p/151744661https://blog.csdn.net/Behold1942/article/details/111657231https://stackoverflow.com/questions/332030/when-sho......
  • c++ linux 学习第二课
    c++linux学习第二课一、GCC的工作流程:gcc编译器将C源文件到生成一个可执行程序中间一共经历四个步骤:二、gcc常用参数:-v版本-E生成预处理文件-S生成汇编文件-c只编译,生成目标文件.o文件-I(大写的i)指定头文件所在的路径-L指定库文件所在的路径-l(小写的L)......
  • C++面试八股文:在C++中,你知道哪些运算符?
    C++面试八股文:在C++中,你知道哪些运算符?某日二师兄参加XXX科技公司的C++工程师开发岗位第11面:面试官:在C++中,你都知道都哪些运算符?二师兄:啥?运算符?+-*/=这些算吗?面试官:嗯,还有其他的吗?二师兄:当然还有,+=,-=,*=,/=,==,还有逻辑运算,位运算等。面试官:好的。那你知道这些运算......
  • C++通讯录管理系统[2023-06-16]
    C++通讯录管理系统[2023-06-16]通讯录管理系统手机通讯录中的联系人的信息既可以存储在手机中,也可以存储在手机卡中,也可以同时存储在两个位置上(假设每个位置上的存储容量为1000,即手机卡中或手机上最多只能存储1000个联系人)。存储在手机中的联系人的信息只包含姓名和电话号码两项......
  • c++一些零碎记录
    c++11alignasstructalignas(8)S{}//定义结构体同时指定分配给结构体的大小为8字节alignof(与内存对齐相关)structobj{chara;intb;}alignof(obj)=4;//alignof(obj)=4表示对于obj,其内存对齐是以多少字节为单位对齐对于单个变量char其alignof(char)=1,单个字节对齐......
  • 对C++中const的说明
    对C++中const的说明在C++中,const是一个关键字,用于指定对象或变量是只读的,即不可修改。它可以应用于不同的上下文中,包括:对象和变量声明:通过在变量或对象的声明前加上const关键字,可以将其标记为只读。这意味着一旦被初始化,就不能再修改该对象或变量的值。constintx=10;//声明一......
  • C++ multi process share value via write and read data from serialized file,the b
    #include<atomic>#include<chrono>#include<cmath>#include<condition_variable>#include<cstddef>#include<forward_list>#include<fstream>#include<functional>#include<future>#include<iom......