Чем отличаются эти коды ?




Вообще может быть переменная extern неглобальной ?
Она всегда используется только для связывания файлов, или может использоваться для чего-нибудь в одном файле ?

переменная extern неглобальной быть не может.
в одном файле extern переменная может ссылаться на переменную, описанную ниже:

твой код одинаков: при помощи extern ты не определяешь переменную, а только объявляешь, ссылаясь на некую глобальную i.

То есть extern может ссылаться на глобальную переменную описанную выше, а может ссылаться на глобальную переменную описанную ниже ?

У меня в книжке написан такой код, когда глобальная переменная одна(ну или массивы там до main идут), а функции которые используют эти массивы принимают void значения, в теле каждой функции массивы проставляются в виде extern массивов без указания размеров и говорится, что размеры не указываются тогда, когда они уже объявлены где-то выше в коде.

Это сообщение отредактировал(а) inside_pointer - 29.3.2008, 15:36

может.
что касается массивов, то при определении надо указать размер, а при (extern) объявлении - необязательно.

extern говорит что "где-то в глобальной пр-ве есть переменная с таким именем."

при определение глобальной переменной компилятор выделяет место для нее
а при extern - компилятор предполагает,  что  место уже выделено где то (связывание произойдет при линковке)

Это сообщение отредактировал(а) mes - 29.3.2008, 21:09

в С и С++ это называется объявлением (declaration) и определением (definition) переменной.

Привет всем!
На стадии компиляции все extern обьекты говорят компилятору "не ругайся, мол я полюбому где-то есть...", и тот просто оставляет пустое место под даный тип!
Но на стадии сбора *.exe файла (линковки) эти пустые места должны заполниться реально существующими обьектами, и если компилятор был подвержен обману, то 
линкер наругает и выдаст матом - unresolved external symbol...  

Глобальное пространство единое для всех файлов или разбито на части ?

Имеет ли смысл использовать extern для создания отдельного модуля ?

Например есть файл, его считаем модулем, в нём определяем глобальную переменную, потом в этом файле(модуле) ссылаемся на неё через extern.
Будет ли в таком случае эта глобальная переменная влиять на переменную с таким же именем, находящуюся в другом файле(другом модуле) ?


Это что означает, что будет выделена память для глобальной переменной, а потом ещё память для локальных будет выделяться ?
Или же будет происходит обращение к участку памяти, который был выделен для глобальной переменной выше ?

Мне показалось всё быстрее работает когда используются просто ссылки через extern(или быстрее компилируется).

этого делать не надо, это бессмысленные действия


будет, глобальная видимость у всех связанных едениц трансляции одна.


шо?

единое

каких локальных? в данном случае у тебя глобальная переменная, для которой в определенном месте выделяется память. Выделяется она 1 раз.

inside_pointer, тут уже говорили, что extern просто говорит компилятору: "переменная уже где-то определена, компилируй - остальное не твоя забота". Компилятор в итоге генерирует код: "... а в этом месте нужна переменная xxx ...". Линкер получает этот код и объединяет с остальными объектными файлами. Если переменная xxx только в одном из них найдена (определена), то все будет собрано, если не будет найдена, то возникнет ошибка "undefined reference", если будет найдено более одной переменной, то тоже возникнет ошибка, так как непонятно, которую из них использовать.

гы




вопрос, что будет выведено?   


Это сообщение отредактировал(а) MAKCim - 30.3.2008, 13:02

MAKCim, ну static тоже можно заюзать и ошибки не будет. Но речь ведь не об этом, правильно?   

так в том-то вся и фишка, что если использовать static, то все будет детерминировано и результат будет 5
в этом же случае нет и 

и однозначно определенного результата   

MAKCim, ну и зачем оно нужно?   

а вопрос разве был в этом?   
я лишь хотел оспорить тезис


ps. хороший вопрос для теста, кстати

Вопрос может быть и хороший, но я, например, о __attribute__((weak)) вообще впервые слышу. Более того, мне даже сходу не удалось найти описание того, что это такое и тем более, зачем это может быть нужно.

bsa, 
в этом примере weak вообще не имеет никакого смысла
это пример ради примера

1. ядро
к примеру мы пишем модуль ядра и не знаем точно, экспортируется ли нужный нам символ, или нет
в зависимости от этой информации, мы можем строить код по-разному
если просто тупо использовать этот символ, то мы просто не сможем загрузить модуль, если символ не экспортируется
решение такое

код загрузки модуля ядра сначала пытается найти идентификатор "do_debug" в таблице экспортируемых символов ядра
если ничего не найдено, проверяется атрибут символа (из соответствующего элемента таблицы символов модуля) если атрибут WEAK не установлен, то возвращается ошибка и модуль не загружается
иначе - значение символа (его адрес) устанавливается в 0 и callback __do_debug будет равен 0
в самом коде ядра на этапе инициализации проверяется __do_debug
2. glibc
все malloc-хуки основаны на атрибуте WEAK
см. man __malloc_hook
если вкратце, он используется для возможности переопределения используемой динамической библиотекой функциональности
например, в GLIBC определен WEAK символ __malloc_initialize_hook (в виде указателя на функцию)
при инициализации аллокатора malloc(),  идет вызов функции по адресу __malloc_initialize_hook
по-умолчанию __malloc_initialize_hook содержит адрес дефолтной функции инициализации, которая инициализирует WEAK символ __malloc_hook, содержащий адрес функции, на которую передается управление после вызова malloc()
мы можем переопределить __malloc_initialize_hook в своем коде и при инициализации аллокатора, соответствующая функция будет вызвана
если бы у __malloc_initialize_hook не было атрибута WEAK, то на этапе динамической компоновки возникла бы ошибка двойного определения __malloc_initialize_hook (в коде программы, и в коде библиотеке)

прямо можно в FAQ сей трактат   

Это сообщение отредактировал(а) MAKCim - 30.3.2008, 14:17

В функции объявляются эти точки выхода на глобальные переменные, для чего они объявляются в функции? только для того чтобы если глобальные переменные определены ниже вызова этой функции или в другом файле относительно этой функции, функция могла их найти ?


Как она будет влиять на переменную в другом файле, если в другом файле не объявить наличие внешней переменной где-то, но использовать одноимённую ей там ?
Будет выдана ошибка о недоступности глобальной переменной ?

тут я фигню сказал

Это сообщение отредактировал(а) korian - 30.3.2008, 14:28

хотя все-таки не фигню.

нормальный компилятор выдаст ошибку, при линковке такого кода (без __attribute__((weak)) - не знаю что оно дает)


по поводу хорошести этого вопроса для теста...
теста для определения знания gcc - да.
только смысл в таком тесте? хотя варианты могут быть разные...
но имху тестировать лучше знание языка, чем знание компилятора.


тезис не оспорен в стандерте C++...
а в стандарте конкретной реализации компилятора оспорить можно все что угодно.


Это сообщение отредактировал(а) korian - 30.3.2008, 14:51

korian, 
к копилятору тут имеет отношение только 
синтаксис определения атрибута   

чего-то я наверно не понимаю...
такую констркцию можно записать средствами C++?

нет, нельзя

и вообще не понимаю, в чем проблема тут - будет 2 глобальных переменных - то есть ошибка линковки. и что с того?
и при чем тут вообще extern?

да

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

да, если переменная не определена, но декларирована extern'ом

нет, я имел ввиду не это, я имел в виду, что переменную используем как глобальную(то есть просто к ней обращаемся)



Но видимо обращение к глобальной переменной без объявления внешней переменной - это то же самое что обращение к глобальной переменной с объявлением её как внешней переменной.
По крайней мере в книжке у меня сложилось такое впечатление, потому что они говорят что объявления extern можно опускать если определения находятся выше обращений и это обычная практика - обращаться к глобальной переменной, не объявляя её как требует стандарт.

inside_pointer, проведи пару экспериментов

похоже ты совсем неверно понял, что такое глобальные переменные в разных модулях и слово extern

да, если определение находится в том же модуле. а если у тебя переменная определена в другом модуле, а ты хочешь юзать ее в этом? вот за этим и нужен extern. А вообще глобальные переменные это зло, старайся их избегать. 

были уже топики на эту тему...
тупо следовать стереотипам - вот это зло

MAKCim, я не говорю не юзай ГП никогда, я написал 

ты сказал, что глобальные переменные - это зло
к этому я и предрался

Если я не объявлю её, она выдаст ошибку ?


С чего ты взял что я неправильно понял ?

из-за

и т.д.

extern нужен только для того, чтобы 2 модуля использовали 1 переменную
Вся проблема в том, что компилер компилирует каждый cpp отдельно. Потому и придумали такой маневр с extern
Если бы он компилил сразу всю прогу (весь проект), то и ключевого слова extern не было бы

да

Не, не только, ещё если определение глобальной переменной стоит ниже обращения к ней в одном модуле.

Ладно, vinter, спасибо, просвятил меня конкретно   

inside_pointer, настоятельно рекомендую тебе почитать пункт стандарта 3.5 Program and linkage. А форумчанам ты особо не доверяй - в вопросах касательно linkage они разбираются не намного лучше тебя.

для этого используются прототипы

Я писал вот такую



Ошибок не выдал

да ты прав, забыл

правда вероятность, что тебе придется эту возможность использовать практически равна 0, если прогу писать буш нормально (то есть все инклуды вверху cpp-шки и так далее)

Что такое прототип переменной?

поскольку "прототип" - это объявление, а объявление переменной - это с ключевым словом extern, то extern int i; - это прототип переменной 

Не надо фантазий. Есть лишь понятие "function prototype". Которое есть форма вызова функции. Которая может являться частью объявления функции.
extern int i; - это объявление переменной
Если я неправ, покажите где про это в стандарте.

Ребят, если можно, у меня вопрос по теме :

Компилятор - MVC++ 9.0 (2008)

Я собрал несколько библиотек и прилинковал их к одному exe-шнику. Как импортировать/экспортировать функции и классы - сам знаю и другим объяснял уж никак не меньше 100 раз  Да и в случае статических библиотек экспортировать ничего и не нужно. Так вот, как оказалось, с переменными понимания куда-меньше.

Правильно ли, что в библиотеке, которая должна содержать сами символы, я даю определения, например :



- iostring - это такая глобальная книга жалоб и предложений, в которую каждый класс в любой из библиотек должен иметь возможность излить свою проблему.

Следовательно, во всех других библиотеках я должен дать описания, как extern.



Правильно?

Нет, неправильно. Нельзя задавать размер статического массива переменной.
Попробуй extern iostring[] или сделай MAXIOSTRINGLENGTH макросом (#define MAXIOSTRINGLENGTH 1024), что более соответствует способу именования (заглавными буквами принято называть макросы).

Сделал. Теперь работает, спасибо!

Можно поместить


в заголовочный файл, поставляемый к библиотеке.

Не, вот допустим функции находятся не в конце а в начале, или откуда там она может вызываться в том же файле, тут она объявлена в функции main а может быть объявлена в других функциях, которые могут идти до main. Таким образом она будет стоять после них, быть в том же файле и, несмотря на то, что она определена ниже своего объявления в каждой из функций, исправно работать при этом, я уже всё выяснил сколько можно мусолить