C#で、参照型の所有権を移動させる(move semantics)

C++は全く分からないのですが、調べてている過程で「move semantics」という物を知りました。
ざっと読んだ感じ自分がやりたいことに近い気がしたのですが、C#で実現できるのでしょうか？

###実現したいこと

C#
1var X = new Hoge();
2var Y = new Hoge();
3
4//所有を移動させる
5X = Y.Clone() as Hoge;
6Y = null;

上のコードで表面上の実装はできますが、Clone()にコストがかかってしまいます。
単純にYに代入されているインスタンスをXに移動させたいのですが、方法はあるのでしょうか？

kiichi54321

2017/10/26 09:09

x = y ではだめなの？

退会済みユーザー

2017/10/26 09:25

その後YやXを操作した場合、２つとも影響されてしまうのでX = Yは使えません。

maisumakun

2017/10/26 09:32

ムーブセマンティクスを前提にすれば、「その後、Yを操作する」ことはそもそもできないのですが、なにか前提が違っていませんか？

行動規範の内容に同意します

回答3件

ベストアンサー

C#の場合、ガベージコレクタが言語環境に存在しているので、参照型のオブジェクトに対して「所有権」というものを考える必要がありません。好きに使って、後始末はガベージコレクタに任せることができます。

裏を返せば、C#のオブジェクトは「いつ破棄されるかわからない」ということになり、ファイナライザの実行タイミングは状況依存（不定）となります。

投稿2017/10/26 09:14

maisumakun

総合スコア145183

退会済みユーザー

2017/10/26 09:31

見ていたサイトに「所有権の移動」と書いてあったので、そのまま引用してみましたが、誤解を与えてしまったり私が意味を取り違えてたかもしれません。 Xの参照先をYの参照先にしたうえで、Yの参照先を外して以降XとYが同じ参照を持たないようにさせたい。というのが質問の趣旨です。

maisumakun

2017/10/26 09:32

「ｘ=y; y=null;」では不満でしょうか。

行動規範の内容に同意します

つまりはこういうことですか？

C#
1using System;
2using System.Collections.Generic;
3public class Test {
4    public static void Main() {
5        var x = new List<List<int>> {new List<int> {0, 1, 2}};
6        var a = x[0];
7        var y = x;
8        x = null;
9        Console.WriteLine(y[0][0]);
10        ++a[0];
11        Console.WriteLine(y[0][0]);
12    }
13}

x = null;が駄目ということは、yに写す以前にx経由で中身を参照している場合、その参照を通して変更されることを防ぎたいのだと思います。上のコードでは、y[0][0]の値は変わってしまいます。

残念ながら、C++のムーブセマンティクスも同じ動きです。

C++
1#include <iostream>
2#include <vector>
3#include <utility>
4using namespace std;
5int main(void){
6    vector<vector<int>> x = {{0, 1, 2}};
7    auto &a = x[0];
8    auto y = move(x);
9    cout << y[0][0] << endl;
10    ++a[0];
11    cout << y[0][0] << endl;
12}