Каква роля играе неизменността на низове в обяснението на препратките към низове на разработчиците?

Ролята, която изявлението играе в обяснението, зависи от самото обяснение. Може да е вредно или полезно, в зависимост от останалата част от обяснението.

Лично аз не бих използвал това твърдение до доста късно в обяснението (поне тези дни). Неизменността на низовете просто донякъде пречи - както става с обясненията за предаване на параметри. Бих започнал с обяснение, използвайки променлив клас, като този:

House x = new House(Color.Green); // The has a green front door
House y = x;
x = new House(Color.Red);
Console.WriteLine(y.FrontDoorColor); // Still green!

Тук бих обяснил, че x и y са като листчета хартия с адресите на къщите. Присвояването във втория ред не копира къща - то копира адреса на къща. Присвояването на третия ред не променя цвета на входната врата на първата къща - то създава нова къща, след което изтрива адреса на първото парче хартия (x) и записва новия адрес върху него. Това не променя нищо относно първата къща или второто парче хартия (y).

След това бих създал втори пример:

House x = new House(Color.Green); // The has a green front door
House y = x;
x.FrontDoorColor = Color.Red; // Repainting a front door
Console.WriteLine(y.FrontDoorColor); // Red!

Този път има само една къща - ако нарисувам вратата на къща и дойдете да я видите с адреса, който ви бях дал по-рано, ще видите, че входната врата вече е червена.

Дотук добре. Сега бих могъл да се върна към оригиналния пример и да кажа, че вече изглежда като първия частен фрагмент, а не като втория, така че се държи по същия начин. След това мога да кажа, че неизменността на низове означава, че дори не можете да напишете код, който изглежда като примера на втората къща, но с помощта на низове. Така че неизменността на низовете не би била веднага релевантна за обяснението на съществуващия код, но все пак щеше да се появи в същия отговор.

(Също така трябва да отбележа, че въпреки че препратките се държат като адреси от реалния свят, не твърдя, че те са същите като „адресите на паметта“ или указателите. Не е задължително да са. Използвам термина в строга аналогия с реалния свят и това е всичко. Това е недостатък на примера, но не мисля, че нанася много вреда.)

Бих могъл тогава също да говоря за типове стойности и да обмисля какво би се случило, ако House беше тип стойност - както и да обезсърчавам променливите типове стойности.

За да разберем дали моят отговор все още ще бъде уместен в език с променливи низове, трябва да знаем повече за това как се държат низовите литерали. Език, който е същият като C# по всякакъв начин, различен от променливостта на низовете, би бил ужасен език, както можете да напишете:

// Hypothetical bad language
string x = "dog";
x.MutateTo("cat");
Console.WriteLine("dog"); // Prints cat!

Това очевидно не би било желателно, така че вероятно поведението на низовите литерали ще трябва да се промени. Вие също говорите за възможни промени в значението на оператора за присвояване и т.н.... трудно е да се направят конкретни изявления за хипотетичен език, без да се знае как точно се държи.

Това е така, защото знакът за равенство в компютърното програмиране е по-скоро оператор за присвояване, отколкото условие за "математическо равенство". Това, че низът е неизменен, няма нищо общо с това. Това е всичко за това, че знакът за равенство е оператор за "присвояване", а не математическо ограничение за еквивалентност.

Това означава, че A = B; и B = C; не означава, че A = C;

вместо това означава

A е зададено да препраща към стойността на B, така че стойността на B сега е стойността на A. B е зададено да препраща към стойността на C, така че стойността на C сега е стойността на B, но стойността на A остава непроменена

Ако низовете не бяха неизменни

String myString = "Hello";
myString.replace(3, "p"); // replace starting at char #3 (the second 'l')
System.out.println(myString); // would print "Help"

Но тъй като низовете са неизменни;

String myString = "Hello";
myString.replace(3, "p"); // returns a new string "help" which is not assigned to anything
// since the newly returned string was not assigned to anything, it was garbage collected
System.out.println(myString); // would print "Hello"

function BuildTable(msg) {
        var person = jQuery.parseJSON( msg );
        var table = '<table><tr><td>' + person.firstName + '<td><tr></table>'
        $("#temp").html(table);
    };

Обяснението е, че този пример няма нищо общо с неизменността.

Имате две променливи, първоначално съдържащи една и съща стойност, което за низ означава, че те сочат към един и същ обект в паметта. След това променяте стойността на една от променливите и я насочвате към друг обект в паметта.

Не е по-различно от казването

int a = 4;
int b = a;
a = 5; 

Or

string x = "Foo";
string y = x;
x = "Bar";

Or

Foo foo = new Foo() { Bar = 42 };
Foo otherFoo = foo;
foo = new Foo() { Bar = 17; }

Променливите за момент препращат към едно и също нещо. Те иначе не са неразривно свързани завинаги. Веднага щом посочите един към нещо друго, тяхната общност свършва.