Почему локальная функция не всегда скрыта в С# 7?

Ответ 1

Так как Stackoverflow не допускает множественных ответов, я подумал, что было бы наиболее справедливым способом. Я создал этот ответ как вики сообщества, проголосовал за два ответа ниже и добавил их в качестве ссылки для вашей справки:

• Ответ 1: V-Andrew
• Ответ 2: Джон Ханна

И я создал резюме в вопросе, содержащее всю информацию, которую я получил от вас из комментариев и ответов:

• Резюме: в вопросе

Ответ 2

Параметры и локальные переменные из охватывающей области доступны внутри локальной функции.

Я думал, что каждый внутренний Main() будет иметь локальную область и скрыт снаружи.

С# не перезаписывает имена из родительской области, поэтому есть и двусмысленность для локального имени Main, которое определено в текущих и родительских областях.

Итак, во втором примере для внутренней области доступны оба объявления void Main(), и компилятор показывает вам ошибку.

Вот пример с переменными и local functions, которые могут помочь вам увидеть проблему в знакомой среде. Чтобы было ясно, что это только вопрос области, я изменил пример и добавил функции к переменным, чтобы они поняли:

class Test
{
    int MainVar = 0;
    public void Main()
    {
        if (this.MainVar++ > 10) return;
        int MainVar = 10;
        Console.WriteLine($"Instance Main, this.MainVar=${this.MainVar}, MainVar={MainVar}");
        void Main()
        {
            if (MainVar++ > 14) return;
            Console.WriteLine($"Local Main, this.MainVar=${this.MainVar}, MainVar={MainVar}");
            // Here is a recursion you were looking for, in Example 1
            this.Main();
            // Let try some errors!
            int MainVar = 110; /* Error! Local MainVar is already declared in a parent scope. 
                //  Error CS0136  A local or parameter named 'MainVar' cannot be declared in this scope 
                // because that name is used in an enclosing local scope to define a local or parameter */
            void Main() { } /* Error! The same problem with Main available on the parent scope. 
                // Error CS0136  A local or parameter named 'Main' cannot be declared in this scope 
                // because that name is used in an enclosing local scope to define a local or parameter */
        }
        Main(); // Local Main()
        this.Main(); // Instance Main()
        // You can have another instance method with a different parameters
        this.Main(99);
        // But you can't have a local function with the same name and parameters do not matter
        void Main(int y) { } // Error! Error CS0128  A local variable or function named 'Main' is already defined in this scope
    }
    void Main(int x)
    {
        Console.WriteLine($"Another Main but with a different parameter x={x}");
    }
}

При попытке перезаписать локальную переменную и локальную функцию возникают те же ошибки.

Итак, вы можете видеть, что это вопрос областей, и вы не можете перезаписать локальную функцию или переменную.

Кстати, в первом примере вы можете сделать рекурсивный вызов, используя this.Main();:

void Main()
{
    void Main()
    {
        Console.WriteLine("Hello!");
    }
    this.Main(); // call instance method
}

Сноска: Локальные функции не представлены в качестве делегатов, как предлагают некоторые комментаторы, и это делает local functions намного более компактным как в памяти, так и в ЦП.

Ответ 3

Чтобы развернуть бит в ответе v-andrew, он действительно аналогичен наличию двух переменных с тем же именем. Учтите, что разрешено :

void Main()
{
    {
        void Main()
        {
            Console.WriteLine("Hello!");
        }
        Main();
    }
    {
        void Main()
        {
            Console.WriteLine("GoodBye!");
        }
        Main();
    }
}

Здесь у нас есть две области и поэтому мы можем иметь две локальные функции с тем же именем в одном и том же методе.

Также, чтобы совместить ответ v-andrew и ваш вопрос, обратите внимание, что вы можете (и всегда могли) иметь переменную Main внутри Main(), но вы не можете иметь как переменную, так и локальную функцию того же имя в том же объеме.

С другой стороны, вы не можете перегружать локали, как вы можете, с помощью разных параметров.

Действительно, все это ближе к существующим правилам для локальных жителей, чем существующие правила для методов. Действительно, это те же правила. Считайте, что вы не можете сделать:

void Main()
{
    {
        void Main()
        {
            int Main = 3;
            Console.WriteLine(Main);
        }
        Main();
    }
}

Я думал, что каждый внутренний Main() будет иметь локальную область и скрыт снаружи.

Это, но область действия включает имя локальной функции. C.F. что вы не можете переопределить имя переменной из for, foreach или using внутри своей области.

Между тем, я думаю, что это ошибка компилятора.

Это функция компилятора.

Это означает, что удаление L из MainL не должно навредить, потому что компилятор уже переименовывает его уникальным образом, это должно привести к IL-коду, как.

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

он запутан в С#, но логичен в С++

Он блокирует то, что было известно как источник ошибок в течение некоторого времени. Аналогично, в С# вам не разрешено использовать целочисленные значения с if(), и вам нужно явно пропустить в операторах switch. Все это изменения, которые С# сделал с тем, как он сравнивается с С++ в самом начале, и все они удаляют некоторое удобство, но все они - вещи, которые действительно нашли люди, вызванные ошибками и часто запрещенные в соглашениях о кодировании.

Ответ 4

Поскольку С# является статически скомпилированным языком, я думаю, что все функции компилируются до того, как их охватывающая область действия будет выполнена, и поэтому самая внутренняя Main не может быть объявлена, поскольку Main уже существует из ее "точки закрытия" (на один уровень вверх).

Обратите внимание, что это не основано на фактических данных, а только на моих первоначальных мыслях по этому вопросу.

После некоторых исследований... Я был неправ, в основном. Мое чувство кишки, похоже, подразумевает такое же поведение, но не по причинам, которые я изначально думал.

@PetSerAl уже объяснен в форме комментария лучше, чем я мог бы скопировать его из руководства, поэтому я откладываю на этот ответ.