1

私は C++ の戻り値のメカニズムについて頭を悩ませており、私の意見を証明するために次のコードを書いています。コードの結果 (その後に "?" があり、出力は太字になっています) は私を混乱させます。または、単にコンパイラ ベンダー (MS Visual C++) が最適化しているからですか?

#include <iostream>

class WInt
{
public:
    WInt( int a ) : a(a){ std::cout << a << " " << "A constructor" << std::endl; }
    WInt( const WInt& a )
    { 
        std::cout << "copy constructor run" << std::endl;
        this->a = a.a;
    }
    ~WInt(){ std::cout << "WInt destructor" << std::endl; }

    WInt& operator=( const WInt& v )
    {
        std::cout << "assignment operator" << std::endl;
        this->a = v.a;
        return *this;
    }

    friend const WInt operator+( const WInt& v1, const WInt& v2 )
    {
        return WInt( v1.a + v2.a );
    }

private:
    int a;
};

int main( int argc, char* argv[] )
{
    std::cout << "-----------" << std::endl;
    WInt a(1); // run constructor
    WInt b(2); // run constructor

    std::cout << "-----------" << std::endl;
    WInt c = a + b; // ???????????????????

    std::cout << "-----------" << std::endl;
    WInt d( a + b ); // ???????????????????

    std::cout << "-----------" << std::endl;
    c = a + b + c; // run the +, +, =, ~, ~

    std::cout << "-----------" << std::endl;
    WInt e = c; // run copy constructor

    std::cout << "-----------" << std::endl;

    return 0;
}

出力は次のとおりです。

-----------

1 A constructor

2 A constructor

-----------

**3 A constructor**

-----------

**3 A constructor**

-----------

3 A constructor

6 A constructor

assignment operator

WInt destructor

WInt destructor

-----------

copy constructor run

-----------

WInt destructor

WInt destructor

WInt destructor

WInt destructor

WInt destructor
4

1 に答える 1

1

これが戻り値の最適化です。コンパイラは不要なコピーを (できる限り) 最適化しています。

編集：詳細な説明については、この質問を確認してください。

于 2013-07-13T04:19:39.727 に答える