c++ - この削除された機能を使用すると機能するのはなぜですか?

Question

struct S {
    S() {}
    S (const S &) = delete;
};

void f1 (S s) {}
void f2 (S &s) {}

int main() {
    S s;

    f2(s);
}

は削除されているため、宣言されたときに引数が渡されるため、S(S &s)使用するとエラーがスローされないのはなぜですか? 使用するとエラーになります。私は削除された関数の定義を見てきましたが、これはエラーになると思いましたが、そうではありません。なんで？f2S &sf1(s)

score 10 · Accepted Answer

参照渡しではコピーが作成されないためです（これがf2使用されます）。

f1一方、はコピーを作成する値渡しパラメーターを取ります。

score 9 · Accepted Answer

見てみましょうS：

struct S {
    S() {}                   // default constructor
    S (const S &) = delete;  // copy-constructor
};

ここにあるのは、構築できるがコピーできない型です。

次に、関数を見てみましょう。

void f1 (S s1) {}    // creates a local copy of its parameter
void f2 (S &s2) {}   // takes a reference to the parameter

を呼び出すf1(s)と、関数はのコピーを作成しようとしますsが、型ではコピーがS禁止されているため、これが機能しません。

を呼び出すf2(s)と、関数はそのパラメーターへの参照を作成します。そのため、内部f2で行うことはすべてs2、元のオブジェクトに対して直接行われますs。誰かがオブジェクトを参照するのをクラスが防ぐことはできません。

2 に答える 2