Обязательно ли ключевое слово ref для передачи по ссылке?

Question

[mletov]

Хочу я изменить объект, передав его на вход внутрь метода, соответственно, писал
private void MyMethod(ref XElement nd);

Но тут в каком-то методе случайно забыл и написал без Ref, при этом объект внутри метода изменился как надо
private void MyMethod(XElement nd);

Для значимых типов ref что ли не обязателен? Объясните, пожалуйста, тонкости.

Comments

[almaredan]

XElement же не является значимым и всегда передается по ссылке, не?
Список значимых типов по спецификации:
https://docs.microsoft.com/en-us/dotnet/csharp/lan...

Answer 1

[cicatrix]

Без ключевого слова ref (out), параметр всегда передаётся по значению (by value).
В языке есть ссылочные типы и значимые типы (reference type и value types) - вот тут объясняется, в чём разница.

XElement - ссылочный тип. Вы передаёте адрес объекта (в памяти), иными словами - указатель на объект, иными словами - ссылку. Разумеется, при манипуляции с этой областью памяти, изменяется и сам объект.

Отвечая на ваш вопрос, вынесенный в заголовок: для ссылочных типов - нет, не обязательно, для значимых типов - обязательно.

Comments

[mletov]

Спасибо!

Т е я правильно понимаю, что

class Program
    {
        static void Main(string[] args)
        {
            A a = new A();
            a.x = 123;
            M(a);
            Console.Write(a.x);
            Console.ReadLine();
        }

        public static void M(A a)
        {
            a.x = 34567;
        }

    }

    public class A
    {
        public int x { get; set; }
    }

и

class Program
    {
        static void Main(string[] args)
        {
            A a = new A();
            a.x = 123;
            M(ref a);
            Console.Write(a.x);
            Console.ReadLine();
        }

        public static void M(ref A a)
        {
            a.x = 34567;
        }

    }

    public class A
    {
        public int x { get; set; }
    }

равнозначны. Оба выводят на консоль "34567" и ref не обязателен?

[cicatrix]

mletov, Результат у них один, механизм действия разный.

В первом случае M получает копию ссылки. Во втором - оригинал.
Иногда это может быть важно...
Вот со stackoverflow пример:

void Swap<T>(ref T x, ref T y) {
    T t = x;
    x = y;
    y = t;
}

var test = new[] { "0", "1" };
Swap(ref test[0], ref test[1]);

[mletov]

cicatrix, Спасибо, очень наглядно. А вы не могли бы дать ссылку где почитать, чтобы понять, почему просто для изменения объекта достаточно копии ссылки, а для выполнения вашего примера с переменой элементов массива, нужен именно оригинал.

[Роман]

Не забывайте, что ссылка на ссылочный тип тоже по значению передается, те на стеке копия ссылки создается, для ссылочных типов передается ссылка на ссылку, в случае описанным вами со Swap, и позволяет делать такое, менять сами ссылки, если бы в Swap не было бы ref, то мы бы поменяли копии ссылок на стеке, а оригинальные бы остались.

[mletov]

cicatrix, Роман
А не подскажете, если передать параметр ref в конструктор экземпляра класса, а потом присвоить значение экземпляру класса примерно вот так

class MyClass
{
     private MyClass2 obj
     public void(ref MyClass2 obj)
     {
          this.obj = obj;
     }
}

то к чему мы обращаемся при обращении к this.obj ? К копии ссылки или оригиналу?

[Роман]

mletov, Объекты не копируются, в данном случае даже ref не нужен, в this.obj будет ссылка на obj, просто уберите ref и все. ref и out играют свою роль, когда вам нужно аргументу присвоить значение, вернув его вызывающей функции, однако если вы присваиваете значение аргумента, то не играет роли есть или нет ref.

[mletov]

Роман, Спасибо!

Answer 2

[Роман]

С ref можно сделать так

using System;

public class SomeObj
{
	public int Id { get; set; }
	public string Name { get; set; }
}

public class Program
{
    public static void Main(string[] args)
    {
		SomeObj someObj=new SomeObj() { Id=2, Name="SomeName2" };;
		if (CreateObj(ref someObj))
		{
			Console.Write("{0} {1}", someObj.Id, someObj.Name);
		}
    }
	
	public static bool CreateObj(ref SomeObj obj)
	{
		obj = new SomeObj() { Id=1, Name="SomeName" };
		return true;
	}	
}

В консоли будет 1 SomeName, а без ref будет другой результат, c ref значимые типы по ссылке передаются, а для ссылочных типов передается ссылка на ссылку ( ибо ссылка передается по значению), которую мы можем поменять, можем в методе создать новый объект и присвоить его аргументу, без ref мы присвоим ссылку копии которая лежит в стеке, при передаче аргумента. есть еще и ключевое слово out, от ref отличается тем, что переменная не обязательно должна быть инициализирована.

Comments

[mletov]

Спасибо.
Получается, что при работе со ссылочным типом, если нужно поменять только отдельные свойства объекта, то ref неважен, а если переприсвоить объект целиком, то ref принципиален?

[Роман]

mletov, Да, но ref используется редко, чаще используется out, так как не требует инициализации объекта, как пример (но там используются значимые типы), Double.TryParce и Int.TryParce, результат булевый, как результат работы, out параметр в который будет записан результат (к слову просто Parce выбрасывает исключение при невозможности преобразования). Еще раз, для значимых типов передается значение, а для ссылочных, по значению ссылка передается(т.е. копии), при ref и out передается ссылка на ссылку, которую можем поменять.