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


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, я не говорю не юзай ГП никогда, я написал