Dlaczego C # nie zezwala na zmienne lokalne tylko do odczytu?

Prowadzenie przyjaznej debaty na ten temat ze współpracownikiem. Mamy kilka przemyśleń na ten temat, ale zastanawiamy się, co o tym myśli tłum SO?

Jednym z powodów jest brak obsługi środowiska CLR dla lokalnego pliku tylko do odczytu. Tylko do odczytu jest tłumaczone na kod początkowy CLR / CLI. Ta flaga może być stosowana tylko do pól i nie ma znaczenia dla lokalnego. W rzeczywistości zastosowanie go do lokalnego prawdopodobnie spowoduje nieweryfikowalny kod.

Nie oznacza to, że C # nie mógł tego zrobić. Ale dałoby to dwa różne znaczenia tej samej konstrukcji językowej. Wersja dla lokalnych nie miałaby odpowiednika mapowania CLR.

Myślę, że to kiepska ocena ze strony architektów C #. Modyfikator readonly na zmiennych lokalnych pomaga utrzymać poprawność programu (podobnie jak asserts) i może potencjalnie pomóc kompilatorowi w optymalizacji kodu (przynajmniej w przypadku innych języków). Fakt, że jest to obecnie niedozwolone w C #, jest kolejnym argumentem, że niektóre „funkcje” C # są jedynie wymuszeniem osobistego stylu kodowania jego twórców.

Biorąc pod uwagę odpowiedź Jareda, prawdopodobnie musiałaby to być tylko funkcja kompilacyjna - kompilator zabroniłby zapisywania do zmiennej po początkowej deklaracji (która musiałaby zawierać przypisanie).

Czy widzę w tym wartość? Potencjalnie - ale szczerze mówiąc niewiele. Jeśli nie możesz łatwo stwierdzić, czy zmienna ma zostać przypisana w innym miejscu metody, oznacza to, że Twoja metoda jest za długa.

Co więcej, Java ma tę funkcję (używając finalmodyfikatora) i bardzo rzadko widziałem ją używaną w innych przypadkach niż w przypadkach, w których musi być używana, aby umożliwić przechwytywanie zmiennej przez anonimową klasę wewnętrzną - i gdzie jest używane, sprawia wrażenie raczej bałaganu niż przydatnych informacji.

Propozycja ustawień lokalnych i parametrów tylko do odczytu została krótko omówiona przez zespół projektowy C # 7. Z notatek ze spotkania projektowego w języku C # z dnia 21 stycznia 2015 r . :

Parametry i parametry lokalne mogą być przechwytywane przez lambdy i w ten sposób dostępne jednocześnie, ale nie ma sposobu, aby chronić je przed problemami ze wspólnym stanem: nie można ich tylko do odczytu.

Ogólnie rzecz biorąc, większości parametrów i wielu ustawień lokalnych nigdy nie ma być przypisanych po uzyskaniu ich wartości początkowej. Zezwolenie tylko na odczyt na nich jasno wyraziłoby ten zamiar.

Jednym z problemów jest to, że ta funkcja może być „atrakcyjną uciążliwością”. Podczas gdy „właściwą rzeczą” prawie zawsze byłoby uczynienie parametrów i lokalnych tylko odczytu, spowodowałoby to znaczne zagracenie kodu.

Pomysł, aby częściowo temu zaradzić, polega na umożliwieniu skrócenia kombinacji readonly var do zmiennej lokalnej do wartości val lub czegoś podobnego. Bardziej ogólnie moglibyśmy spróbować po prostu wymyślić krótsze słowo kluczowe niż ustalone tylko do odczytu, aby wyrazić „tylko do odczytu”.

Dyskusja jest kontynuowana w repozytorium projektu języka C #. Głosuj, aby okazać swoje poparcie. https://github.com/dotnet/csharplang/issues/188

Jest to przeoczenie dla projektanta języka C #. F # ma słowo kluczowe val i jest oparte na środowisku CLR. Nie ma powodu, dla którego C # nie może mieć tej samej funkcji języka.

Byłem tym współpracownikiem i nie było to przyjazne! (żartuję)

Nie eliminowałbym tej funkcji, ponieważ lepiej jest pisać krótkie metody. To trochę tak, jakbyś powiedział, że nie powinieneś używać wątków, ponieważ są trudne. Daj mi nóż i pozwól mi być odpowiedzialnym za to, że się nie skaleczysz.

Osobiście potrzebowałem innego słowa kluczowego typu „var”, takiego jak „inv” (niezmienny) lub „rvar”, aby uniknąć bałaganu. Uczyłem się F # od późna i uważam, że niezmienna rzecz jest atrakcyjna.

Nigdy nie wiedziałem, że Java to ma.

Chciałbym lokalnych zmiennych tylko do odczytu w taki sam sposób, jak lubię lokalne zmienne const . Ale ma mniejszy priorytet niż inne tematy.
Być może jego priorytetem jest ten sam powód, dla którego projektanci C # nie wdrożyli (jeszcze!) Tej funkcji. Jednak w przyszłych wersjach obsługa lokalnych zmiennych tylko do odczytu powinno być łatwe (i kompatybilne wstecz).

Tylko do odczytu oznacza, że ​​jedyne miejsce, w którym można ustawić zmienną instancji, znajduje się w konstruktorze. Podczas deklarowania zmiennej lokalnie nie ma ona instancji (jest tylko w zakresie) i konstruktor nie może jej dotknąć.

Wiem, to nie odpowiada na twoje pytanie dlaczego. W każdym razie osoby czytające to pytanie mogą mimo wszystko docenić poniższy kod.

Jeśli naprawdę zależy ci na strzelaniu sobie w stopę podczas nadpisywania zmiennej lokalnej, która powinna być ustawiona tylko raz, i nie chcesz, aby była ona bardziej dostępną globalnie, możesz zrobić coś takiego.

    public class ReadOnly<T>
    {
        public T Value { get; private set; }

        public ReadOnly(T pValue)
        {
            Value = pValue;
        }

        public static bool operator ==(ReadOnly<T> pReadOnlyT, T pT)
        {
            if (object.ReferenceEquals(pReadOnlyT, null))
            {
                return object.ReferenceEquals(pT, null);
            }
            return (pReadOnlyT.Value.Equals(pT));
        }

        public static bool operator !=(ReadOnly<T> pReadOnlyT, T pT)
        {
            return !(pReadOnlyT == pT);
        }
    }

Przykładowe użycie:

        var rInt = new ReadOnly<int>(5);
        if (rInt == 5)
        {
            //Int is 5 indeed
        }
        var copyValueOfInt = rInt.Value;
        //rInt.Value = 6; //Doesn't compile, setter is private

Może nie tak mniej kodu, jak rvar rInt = 5ale działa.

Możesz zadeklarować zmienne lokalne tylko do odczytu w C #, jeśli używasz kompilatora interaktywnego C # csi:

>"C:\Program Files (x86)\MSBuild\14.0\Bin\csi.exe"
Microsoft (R) Visual C# Interactive Compiler version 1.3.1.60616
Copyright (C) Microsoft Corporation. All rights reserved.

Type "#help" for more information.
> readonly var message = "hello";
> message = "goodbye";
(1,1): error CS0191: A readonly field cannot be assigned to (except in a constructor or a variable initializer)

Możesz także zadeklarować zmienne lokalne tylko do odczytu w .csxformacie skryptu.

c # ma już zmienną tylko do odczytu, aczkolwiek w nieco innej składni:

Rozważ następujące kwestie:

var mutable = myImmutableCalculationMethod();
readonly var immutable = mutable; // not allowed in C# 8 and prior versions
return immutable;

Porównać z:

var mutable = myImmutableCalculationMethod();
string immutable() => mutable; // allowed in C# 7
return immutable();

Trzeba przyznać, że pierwszym rozwiązaniem może być mniej kodu do napisania. Ale drugi fragment spowoduje, że odwołanie do zmiennej będzie jawne tylko do odczytu.

użyj constsłowa kluczowego, aby zmienić tylko do odczytu.

odniesienie: https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/keywords/const

public class SealedTest
{
    static void Main()
    {
        const int c = 707;
        Console.WriteLine("My local constant = {0}", c);
    }
}

Myślę, że dzieje się tak dlatego, że funkcja, która ma zmienną tylko do odczytu, może nigdy nie zostać wywołana i prawdopodobnie jest w niej coś, co wykracza poza zakres, a kiedy trzeba?