デストラクタが2回呼ばれている

Question

実現したいこと

下記コードを実行するとデストラクタが2回呼ばれております
(x1 → z → x2→ x2という順番で出力される)
なぜ2回呼ばれているのかがわからないです
どこかでデフォルトコンストラクタ生成が行われているのでしょうか？

該当のソースコード

class  Param
{
public:
    Param() { printf("x1\n"); };
    ~Param() { printf("x2\n"); };

};

void ppp(Param p)
{
    printf("z\n");
}
int main()
{
    ppp(Param());
   
}

Answer 1

引数は特に指定しなければ値が「コピー」される形で渡されます。

たとえば

#include <cstdio>

void foo(int p) {
    p = 2;
}

int main(void) {
    int x = 1;
    foo(x);
    std::printf("%d\n", x);
}

というように書いたとき p に何を代入しても x の内容は何も変わりません。 x と p は違う存在だからです。

質問の事例では main 内の Param() という式で一時的なオブジェクトが生成された上でそれをコピーする形で p が生成されるので、生成されるオブジェクトはふたつです。 コピーのときには「暗黙に生成されたコピーコンストラクタ」が使われるのでデフォルトコンストラクタは呼ばれません。

しかし質問の事例はコピーの省略 (copy elision) が許される (してもしなくてもよい) 場合に該当し、かつ C++17 以降はコピーを省略しなければならない場合です。 なのでデストラクタも一回しか呼ばれないかもしれません。

C++ の仕様は選択肢を設けていることも多いので処理系によって (あるいは場合によって) 異なる結果を許すこともありますし、また、改定されることもあるのでバージョンによって解釈が異なる場合もあることは注意を払う必要があります。 改訂年の下二桁を取ってたとえば 2011 年の規格を C++11 と呼ぶのが通例です。

Comments

[umeharadaigo000]

返答ありがとうございます
引数はコピーなのでコピーコンストラクタが呼ばれるの失念していました。