4 
#include <iostream>
#include <string>
#include <vector>
using namespace std;

struct Exmpl{
    Exmpl()
    {
        cout << "Exmpl()" << endl;
    }

    Exmpl(const Exmpl&)
    {
        cout << "Exmpl(const Exmpl&)" << endl;
    }

    Exmpl& operator=(const Exmpl& rhs)
    {
        cout << "operator=Exmpl()" << endl;
        return *this;
    }

    ~Exmpl()
   {
        cout << "~Exmpl()" << endl;
   }
};

void func1(Exmpl obj)
{
}

void func2(Exmpl &obj)
{
}

Exmpl func3()
{
    Exmpl obj;
    return obj;
}

int main()
{
    Exmpl eobj;
    func1(eobj);
    func2(eobj);
    eobj = func3();
    Exmpl *p = new Exmpl;
    vector<Exmpl> evec(3);

    delete p;
    return 0;
}

在 g++(4.4.3) 中编译时，我得到了

Exmpl()
Exmpl(const Exmpl&)
~Exmpl()
Exmpl()
operator=(const Exmpl&)
~Exmpl()
Exmpl()
Exmpl()
Exmpl(const Exmpl&)
Exmpl(const Exmpl&)
Exmpl(const Exmpl&)
~Exmpl()
~Exmpl()
~Exmpl()
~Exmpl()
~Exmpl()
~Exmpl()

而在vs2008中，结果是：

Exmpl()
Exmpl(const Exmpl&)
~Exmpl()
Exmpl()
Exmpl(const Exmpl&)
~Exmpl() 
operator=(const Exmpl&)
~Exmpl()
Exmpl()
Exmpl()
Exmpl(const Exmpl&)
Exmpl(const Exmpl&)
Exmpl(const Exmpl&)
~Exmpl()
~Exmpl()
~Exmpl()
~Exmpl()
~Exmpl()
~Exmpl()

当代码转到“eobj = func3();”时 主要是在g++中找不到vs2008结果中的第5行和第6行。我尝试了几个级别的优化，但结果是一样的。差异的原因是什么？

4

1 回答 1

8

当对象作为值从函数返回时，C++ 允许省略复制构造函数（如在 中func3()）。即使构造函数除了构造新对象之外还有副作用——在这种情况下，复制构造函数会写入cout.

g++即使没有指定优化，它也会这样做，而 MSVC 只有在您要求执行优化时才会这样做。

如果您将程序简化为以下内容（只是将输出减少到有趣的部分）：

int main()
{
    Exmpl eobj;
    eobj = func3();

    return 0;
}

对于使用这些命令行生成的程序，您将看到以下内容（使用 MinGW 4.6.1 和 MSVC 16.0 完成的测试，也称为 VC++ 2010）：

  • g++ -O0 -o test.exe test.cpp（g++，“不”优化）
  • g++ -O2 -o test.exe test.cpp（g++，优化）

  • cl /Ox /EHsc test.cpp （msvc，优化）

    Exmpl()
Exmpl()
operator=Exmpl()
~Exmpl()
~Exmpl()

  • cl /EHsc test.cpp （msvc，没有优化）

  • g++ -fno-elide-constructors -o test.exe test.cpp （如 Jesse Good 所建议的，没有省略构造函数的 g++）

    Exmpl()
Exmpl()
Exmpl(const Exmpl&)
~Exmpl()
operator=Exmpl()
~Exmpl()
~Exmpl()
于 2012-05-07T05:09:23.500 回答