Форум программистов, компьютерный форум, киберфорум
Наши страницы

С++ для начинающих

Войти
Регистрация
Восстановить пароль
 
FishZone
2 / 2 / 0
Регистрация: 24.11.2016
Сообщений: 77
#1

Как некоторые компиляторы игнорируют повторное определение static local vars? - C++

30.10.2017, 16:49. Просмотров 113. Ответов 4
Метки нет (Все метки)

День добрый, искал на других сайтах ответы на этот вопрос, но так и не понял. Сказано, что некоторые компиляторы переводят строку с определением static int j; в условный оператор if и в дополнение идет логический флаг. Вот пример:

C++
1
2
3
4
5
6
7
8
9
10
11
void go( int x ) {
  static int j;
  static bool j_initialized;
 
  if (!j_initialized) {
    j = x;
    j_initialized = true;
  }
 
  ...
}
Даже в таком случае остается определение переменной в первой строке функции, как тогда компилятор его пропустит?
И как флаг задействует переменную?
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
30.10.2017, 16:49
Здравствуйте! Я подобрал для вас темы с ответами на вопрос Как некоторые компиляторы игнорируют повторное определение static local vars? (C++):

Повторное определение вектора - C++
Почему можно написать vector<int> g(n, 8); , когда g — уже определенная глобальная переменная, и оно скомпилируется, но будет работать...

Что означает double vars[NUMVARS]; - C++
double vars;

Повторное определение классов - C++/CLI WinForms
Есть несколько форм в которых заполняются данные в объекте одного из классов. Есть базовый класс и несколько дочерних . Соответсвенно в...

Как правильно разместить static поверх других static-ов - C++ WinAPI
Есть кнопка, нажимая на которую становится видно статик. проблема в том, что статик отображатеся сзади других статиков и кнопок. как...

.NET 3.x Как изменить свойство non-static объекта из static метода - C# ASP.NET
Понимаю, что такое не задумано средствами Net Framework, но у меня из-за этого не работает одна фишка, которую я месяц писал, вообщем у...

Как обратится к non static property из static метода - C#
День добрый, сразу вопрос static - как правильно статический или статичный? У меня есть некий метод, у которого есть статичный метод...

4
Pink_Pank
45 / 29 / 10
Регистрация: 04.04.2016
Сообщений: 190
30.10.2017, 16:59 #2
Вы лезете в дебри.
Путаете работу компилятора с его реализацией.
Сейчас компиляторы с языка СИ тоже пишут на языке СИ. Оттуда и растет ваш вопрос.
1
Mirmik
techpriest
198 / 169 / 44
Регистрация: 27.02.2014
Сообщений: 911
30.10.2017, 17:15 #3
Это псевдокод. Его не надо понимать буквально. На самом деле, в книге всего-лишь написано, что если вы пишете
C++
1
2
3
4
void go( int x ) {
  static int j = 0;
  блаблабла
}
, то компилятор, когда будет по вашей программе писать бинарный код, вместо этой переменной воткнет глобальную переменную. Дополнительно он создаст флаг, указывающий, была ли она инициализирована, а в том месте, где у вас было определение переменной, в бинарном коде появится проверка, была ли переменная инициализирована, которая сработает строго один раз (при первом вызове) и инициализирует эту переменную.

Это тонкости реализации. Задумываться на эту тему можно, но не очень долго...

Добавлено через 5 минут
Если у вас возникнет вопрос, почему сделано так сложно, и почему бы не инициализировать переменную при старте программы, то вот вам ответ в виде кода:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
//g++  5.4.0
 
#include <iostream>
 
void func(int x) {
    static int i = x;
    std::cout << i << std::endl;
}
 
int main()
{
    std::cout << "Hello, world!\n";
    func(3); //3
    func(4); //3
    func(9); //3
}
1
FishZone
2 / 2 / 0
Регистрация: 24.11.2016
Сообщений: 77
31.10.2017, 17:56  [ТС] #4
Подскажите, пожалуйста, чем компилятор отличается от реализации? Реализация это обработанный пошагово выходной файл?
0
Croessmah
Пришел
Эксперт CЭксперт С++
13738 / 7818 / 891
Регистрация: 27.09.2012
Сообщений: 19,212
Записей в блоге: 3
Завершенные тесты: 1
31.10.2017, 20:05 #5
Например, так (x86-64 clang 5.0.0 -O3 -std=c++14):
C++
1
2
3
4
5
int f(int x)
{
    static int a = x;
    return a;
}
Assembler
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
f(int):                                  # @f(int)
        push    rbx
        mov     ebx, edi
        mov     al, byte ptr [rip + guard variable for f(int)::a]
        test    al, al
        jne     .LBB0_3
        mov     edi, guard variable for f(int)::a
        call    __cxa_guard_acquire
        test    eax, eax
        je      .LBB0_3
        mov     dword ptr [rip + f(int)::a], ebx
        mov     edi, guard variable for f(int)::a
        call    __cxa_guard_release
.LBB0_3:
        mov     eax, dword ptr [rip + f(int)::a]
        pop     rbx
        ret
1
31.10.2017, 20:05
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
31.10.2017, 20:05
Привет! Вот еще темы с ответами:

Дать определение ключевого слова static - C#
Здравствуйте.Поясните,пожалуйста,что означает static bool,знаю что bool-тип переменной логический ... static bool...

Error: attempt to define a local label before any non-local labels - Assembler
если а^3&gt;b^2 то Если C*d=a/b то результат =a and b иначе результат=c иначе результат =c*d+b .model small .stack 100h .data a...

Не находит в пространстве имен local (Local WPF C# Programming) - C# WPF
Делаю все по этой статье Практическое руководство. Группировка, сортировка и фильтрация данных в элементе управления DataGrid Не...

Как сделать, чтобы с активного листа некоторые ячейки копировались в один лист, а некоторые - в другой? - VBA
задача. есть таблица в которой 4 столбца. эти четыре столбца должны с капировался так. Первый столбец в лист1, второй в лист два,...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
5
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.