В C ++, каково разрешение области («порядок приоритета») для теневых имен переменных? - PullRequest
Новая
       26

В C ++, каково разрешение области («порядок приоритета») для теневых имен переменных?

16 голосов
/ 10 мая 2010

В C ++, каково разрешение области («порядок приоритета») для теневых имен переменных? Я не могу найти краткий ответ в Интернете.

Например: 

#include <iostream>

int shadowed = 1;

struct Foo
{
    Foo() : shadowed(2) {}

    void bar(int shadowed = 3)
    {
        std::cout << shadowed << std::endl;
            // What does this output?

        {
            int shadowed = 4;
            std::cout << shadowed << std::endl;
                // What does this output?
        }
    }

    int shadowed;
};


int main()
{
    Foo().bar();
}

Я не могу представить какие-либо другие области, где переменная может конфликтовать. Пожалуйста, дайте мне знать, если я пропустил один.

Каков порядок приоритета для всех четырех shadow переменных внутри функции-члена bar?

Ответы [ 2 ]

31 голосов
/ 10 мая 2010

Ваш первый пример выводит 3. Ваш второй вывод 4.

Общее практическое правило заключается в том, что поиск переходит от «наиболее локальной» к «наименее локальной» переменной. Следовательно, приоритет здесь: block -> local -> class -> global.

Вы также можете получить доступ к каждой большинству версий скрытой переменной в явном виде: 

// See http://ideone.com/p8Ud5n
#include <iostream>

int shadowed = 1;

struct Foo
{
    int shadowed;
    Foo() : shadowed(2) {}
    void bar(int shadowed = 3);
};

void Foo::bar(int shadowed)
{
    std::cout << ::shadowed << std::endl; //Prints 1
    std::cout << this->shadowed << std::endl; //Prints 2
    std::cout << shadowed << std::endl; //Prints 3
    {
        int shadowed = 4;
        std::cout << ::shadowed << std::endl; //Prints 1
        std::cout << this->shadowed << std::endl; //Prints 2
        //It is not possible to print the argument version of shadowed
        //here.
        std::cout << shadowed << std::endl; //Prints 4
    }
}

int main()
{
    Foo().bar();
}
5 голосов
/ 10 мая 2010

Должно быть распечатано 3. Основное правило состоит в том, чтобы в основном работать в обратном направлении по файлу до самого последнего определения, которое видел бы компилятор (правка: это не вышло из области видимости), и это то, что он использует , Для переменных, которые являются локальными для класса, вы следуете тому же , за исключением , что все переменные класса обрабатываются так, как если бы они были определены в начале определения класса. Обратите внимание, что это более или менее уникально для классов. Например, данный код выглядит так: 

int i;

int x() { 
    std::cout << i << '\n'; // prints 0;
    int i=1;
}

Несмотря на то, что равно и i, локально для функции, самое последнее определение, где используется cout, является глобальным, так что это то, к чему относится i в этом выражении , Если, однако, это было в классе: 

int i;

class X { 
    void y() { std::cout << i << "\n"; }

    X() : i(2) {}

    int i;
};

Тогда выражение cout будет ссылаться на X::i, хотя его определение еще не было замечено при разборе y.

...