http://blog.llvm.org/2018/01/improving-link-time-on-windows-with.html

Кодец у тебя будет один, но после инстацирования у тебя по факту будет две функции.)

что значит "вызывать в блоке extern"? там объявления

Ну это понятно, просто давно хотел с шаблонами поиграться а тут отличная возможность

Т.е. принципиальной разницы между foo() и bar<int>() нет.

Интересно, какое имя символа будет у второй. В обычном c++ и в блоке extern "C".

Интересно, какое имя символа будет у второй. В обычном c++ и в блоке extern "C".

В C++ варианте будет с манглингом, в C - без.)

В C++ варианте будет с манглингом, в C - без.)

Обрежется ли <int> вместе с манглингом?

https://godbolt.org/g/pEJYva

_Z3funTiET_S0_

Занятно.

А не - не получится изза дурацкого Lua. Там же тип значения выводится из того какую функцию дерну для получения из стека - luaL_checkint/luaL_checknumber/luaL_checkunsigned поэтому не шаблонизировать код

Без extern "C" он тоже такое упрт имя напилил.

Как мне в свое время в c_plus_plus@c.j.r объясняли - там разница в том, как формруется вызов функции. Кажется в С++ они убираются в виртуальные таблицы или чтото в этом роде - не помню точно

это, судя по всему, про виртуальные методы речь была, а не про шаблоны

Я тогда в первый раз столкнулся с extern "C" и спросил как работает. Но это года 4 назад было, поэтому точно не помню уже

поправьте меня если я чушь напишу, манглинг нужен для реалзиации adhoc полиморфизма, в си нет перегрузки функции, соответственно невозможно объявить 2 функции с одинаковым именем, вот в с++ и придумали в имя функции кодировать аргументы (манглить), extern C вроде бы в том числе указывает что нужна совметсимость с си ABI, и манглить ничего не надо. То же самое происходит и при инстанцировании шаблона. Вот поцоны на стек оверфлоу гнобят за такой же вопрос: https://stackoverflow.com/questions/4877705/why-cant-templates-be-within-extern-c-blocks

поправьте меня если я чушь напишу, манглинг нужен для реалзиации adhoc полиморфизма, в си нет перегрузки функции, соответственно невозможно объявить 2 функции с одинаковым именем, вот в с++ и придумали в имя функции кодировать аргументы (манглить), extern C вроде бы в том числе указывает что нужна совметсимость с си ABI, и манглить ничего не надо. То же самое происходит и при инстанцировании шаблона. Вот поцоны на стек оверфлоу гнобят за такой же вопрос: https://stackoverflow.com/questions/4877705/why-cant-templates-be-within-extern-c-blocks

+1. Вот тут есть примеры, как оно выглядит http://www.boost.org/doc/libs/1_65_1/doc/html/boost_dll/getting_started.html

Т.е. принципиальной разницы между foo() и bar<int>() нет.

bar<int?) как будет с сишным манглингом выглядет?

bar<int?) как будет с сишным манглингом выглядет?

В си нет манглинга.

Не затралишЬ!

воот, а в с++ ЕСТЬ

Даладна)

поправьте меня если я чушь напишу, манглинг нужен для реалзиации adhoc полиморфизма, в си нет перегрузки функции, соответственно невозможно объявить 2 функции с одинаковым именем, вот в с++ и придумали в имя функции кодировать аргументы (манглить), extern C вроде бы в том числе указывает что нужна совметсимость с си ABI, и манглить ничего не надо. То же самое происходит и при инстанцировании шаблона. Вот поцоны на стек оверфлоу гнобят за такой же вопрос: https://stackoverflow.com/questions/4877705/why-cant-templates-be-within-extern-c-blocks

Я ещё как-то раз напарывался, что функция (с extern "C") конфликтовала по имени символа с глобальной переменной.

bar<int?) как будет с сишным манглингом выглядет?

в нормальном языке предусмотрели бы возможность указать имя exported символа явно, но это же с++

в нормальном языке предусмотрели бы возможность указать имя exported символа явно, но это же с++

всем п-хуй да

Напишите предложение в комитет, делов то

и копию в спортлото

в спорткомитет

в gcc вроде есть атрибут alias, но работает ли он с explicit template instantiation — хз

в gcc есть что-то типа asm_name

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

bar<int?) как будет с сишным манглингом выглядет?

будет выглядеть как bar при том даже если он находится в каких-то namespace

а правильный ответ - нискампилируется

а правильный ответ - нискампилируется

Почему это? Код в студию :)

см выше ссылку на пример, все компилируется и манглится, как будто extern "C" нет

https://godbolt.org/g/pEJYva

^

А не - не получится изза дурацкого Lua. Там же тип значения выводится из того какую функцию дерну для получения из стека - luaL_checkint/luaL_checknumber/luaL_checkunsigned поэтому не шаблонизировать код

шаблонизировать, если для JNI шаблонизируется, а там такой же принцип CallVoidMethod/CallIntMethod и GetIntField и т.д.

Добрый день, подскажите вот такой вопрос - в extern "C" оборачиваются функции в С++, которые будут API для вещей работающих только с сишными библиотеками и насколько помню вещей добавленных в С++ там не должно быть. А как в данном случае обрабатываются шаблоны? Насколько помню они вычисляются на этапе компиляции и если я вызов засуну в блок extern "C", то в результате там должна оказаться готовая функция.

Принудительно инстанциируются в интерфейсных функциях для С

зачем его вызывать в extern не понятно

Шаблоны разве линкуются?

Шаблоны не линкуются

шаблонизировать, если для JNI шаблонизируется, а там такой же принцип CallVoidMethod/CallIntMethod и GetIntField и т.д.

казалось бы, причем тут JNI

Шаблоны не линкуются

Это был псевдосарказм.

казалось бы, причем тут JNI

ну там точно такая же фигня с вызовами, как и в луа

Я изучаю как для Lua модули делаются на С/С++. Хотел еще с шаблонами поиграться, но опять не срослось ?

поправьте меня если я чушь напишу, манглинг нужен для реалзиации adhoc полиморфизма, в си нет перегрузки функции, соответственно невозможно объявить 2 функции с одинаковым именем, вот в с++ и придумали в имя функции кодировать аргументы (манглить), extern C вроде бы в том числе указывает что нужна совметсимость с си ABI, и манглить ничего не надо. То же самое происходит и при инстанцировании шаблона. Вот поцоны на стек оверфлоу гнобят за такой же вопрос: https://stackoverflow.com/questions/4877705/why-cant-templates-be-within-extern-c-blocks

Почти все верно, кроме С ABI. Он по идее должен был бы быть, но по факту extern C только убирает манглинг, а вид ABI задаётся нестандартными протоатрибутами типа cdecl,fastcal,__fortran etc

Я изучаю как для Lua модули делаются на С/С++. Хотел еще с шаблонами поиграться, но опять не срослось ?

логично, луа на Си наисан же вроде. и АПИ там сишный )

народ, есть онлайн компиляторы старых версий MSVC? на godbolt только последняя висит

С этим понятно. Шаблоны - это так личная хотелка была)

Господа

А можно ли как-нибудь проконтролировать что в иерархии классов с множественным наследованием

Заданный тип B не является предком более одного раза?

Можно пометить его везде виртуал

Чтобы точно был один раз

см выше ссылку на пример, все компилируется и манглится, как будто extern "C" нет

Да, похоже что в случае с явным инстанцированием шаблонной функции он сохраянет её полное имя без манглинга .type int fun<int>(int), @function : https://godbolt.org/g/CQH1y8 При этом у не шаблонных функций он откусывает все параметры и возвращаемое значение, и не манглит имя (см .type test, @function и .type test2, @function )

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

упс :) Значит явно проинстанцированные шаблоны он в любом случае манглит

Получается, что только через http://www.boost.org/doc/libs/1_66_0/doc/html/BOOST_DLL_ALIAS.html можно экспортнуть с нормальным именем

Получается, что только через http://www.boost.org/doc/libs/1_66_0/doc/html/BOOST_DLL_ALIAS.html можно экспортнуть с нормальным именем

а как их потом использовать из C? Boost же создает отдельную секцию для этих алиасов, если я правильно помню

упс :) Значит явно проинстанцированные шаблоны он в любом случае манглит

ну вообще разумно - хочешь экспортировать, заворачивай в сишечку )

Кто знает, в какой момент загрузки linux в память подтягивается libc?

Кто знает, в какой момент загрузки linux в память подтягивается libc?

на 17 секунде

Кто знает, в какой момент загрузки linux в память подтягивается libc?

Что-то я сомневаюсь, что ядро волнуется о загрузке каких-то файликов для юзерспейса.

Кто знает, в какой момент загрузки linux в память подтягивается libc?

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

^ вот и ответ.

Что-то я сомневаюсь, что ядро волнуется о загрузке каких-то файликов для юзерспейса.

Я просто хотел убедиться, спасибо

Но теперь более широкий вопрос. Какие вообще либы могут понадобиться линъядру для загрузки?

Или там всё полностью статическое?

Не, ну, есть модули

Там вообще нет понятия 'либа', я так думаю.

ядру только .ko модули могут понадобиться. см. содержимое initrd

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

Все, вопросов нет

Я тут с пеной у рта доказываю человеку, что не обязательно иметь libc (или вообще хоть какую-то привязку к С), чтобы запустить ядро линя (с условно заменённым /sbin/init)

Хотел убедиться прост

Ну, C без libc тоже можно юзать)

а как их потом использовать из C? Boost же создает отдельную секцию для этих алиасов, если я правильно помню

Да, но имя секции не должно влиять на импортирование

Ого какое обсуждение вызвал мой вопрос ?

Степень фундаментальности вопроса прямо пропорциональна силе срачевания от него. Спроси про природу пространства-времени - вообще в религию уйдут.

Степень фундаментальности вопроса прямо пропорциональна силе срачевания от него. Спроси про природу пространства-времени - вообще в религию уйдут.

сила срачевания обратно пропорциональна пониманию)

сила срачевания обратно пропорциональна пониманию)

@EvgeniyZh понимание по какому угодно предмету маловероятно на всей выборке человеков в интернете

оффтопим, молодые люди

оффтопим, молодые люди

Как и ты со своими "на 17-й секунде".

Кто знает, в какой момент загрузки linux в память подтягивается libc?

никогда, если ты про ядро

а юзерспейсу когда понадобится тогда и подтянет

Но теперь более широкий вопрос. Какие вообще либы могут понадобиться линъядру для загрузки?

нет там либ, а вообще иди в pro.osdev за таким, тут офтоп

нет там либ, а вообще иди в pro.osdev за таким, тут офтоп

кинь ссыль

кинь ссыль

https://t.me/pro_osdev

только-что узнал про "delegate to sister"

о сколько нам открытий чудных

готовит С++ стандарт двадцатый

кто?

стандарт

его один человек в силе будет охватить целиком?

стандарт

А готовит кто?

его один человек в силе будет охватить целиком?

в печатном виде точно

А готовит кто?

комитет!