由一道题目想到的C++编译器优化问题

BT六眼飞鱼

于 2011-11-14 09:27:31 发布

阅读量2.3k

点赞数 1

CC 4.0 BY-SA版权

分类专栏： c++ 文章标签：编译器优化 c++ reference constructor object

本文链接：https://blog.youkuaiyun.com/xiakan008/article/details/6967361

本文通过一道题目探讨了C++中编译器优化的问题，涉及到Base类的构造函数与赋值操作。在`Base b = a`的语句中，编译器进行了构造优化，使得实际行为等同于`Base b(a)`。当使用`const Base &b = Base()`时，预期会调用默认构造函数和拷贝构造函数，但VC和GCC编译器选择直接将引用绑定到右值，避免了额外的构造过程。文章引用网络资源进一步解释了引用的特性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

这两天看到了一个问题，看似简单，但是用的知识着实不少，原题如下：

#include "stdafx.h"

class Base
{
public:
    Base(){}
    virtual ~Base(){}
    Base(const Base &other);            // 只声明, 没定义
private:
    Base &operator=(const Base &other);
} ;

int _tmain(int argc, _TCHAR* argv[])
{
    const Base &b = Base() ;        // 为什么没有导致链接错误? 应该调用拷贝构造函数才对, 然而我只声明没定义!   

    return 0;
}

我一开始想到的就是编译器优化了：推测下编译器应该做了优化： const Base &b = Base() ;这么写的话，按照语义是：

1.调用Base的构造函数

2.调用Base的赋值函数 b=临时对象但是编译器大概认为没必要这么两步走，直接调用了Base的构造函数。。。。

后面经过大侠A的指导，指出问题所在：