= SU.C CPP ================================================================New= Msg : 147 [1-200] From : FAQ Daemon 11-Mar-01 00:01:07 2:5020/133 To : All Subj : FAQ (0/5). Last-date: 01.08.2000. ======================================================================SU.C_CPP= Posting-Frequency: weekly Last-date: 01.08.2000 Добрый день, уважаемый почитатель языков C и C++! Перед Вами - сборник часто задаваемых вопросов и ответов к ним эхоконференции SU.C_CPP. *Пожалуйста*, постарайтесь прочесть этот список перед тем, как задавать вопросы в конференции, особенно если Вы подозреваете, что Ваш вопрос из регулярно задаваемых. *Спасибо*! >>Замечания/дополнения просьба присылать только мылом >>по адресу 2:5020/133, FAQ Daemon. *NB* - В данном письме находится только список вопpосов. Ответы на них пpиведены в нескольких следующих письмах. - Данный лист распространяется как freeware и на манипуляции над ним нет ограничений - трите, конвертируйте, распространяйте дальше, можно даже отлить скрижали. Единственная просьба: ссылайтесь на авторов при цитировании. - За основу данного листа был взят старый FAQ List эхи SU.C_CPP, который вел Аркадий Белоусов (Arkady V.Belousov, ark@mos.ru). - GoldEd 3.0.1 имеет режим расцветки по-разному отмеченных строк и стили выделения, используемые в данном FAQ List. - Если Вы нашли ошибку или устаревшую информацию и готовы ее исправить, присылайте, пожалуйста, свой вариант соответствующей статьи. Желательно - полностью заменяющий оригинал. - Последние редакции этого FAQ List распространяются в эхоконференции su.c_cpp на еженедельной основе. Internet-зеpкало этого FAQ List поддеpживает Igor Krassikov (2:463/59.1). Оно находится по адpесу http://fido.materials.kiev.ua/cppfaq.html ==== *Содержание* (пометки перед вопросами: * -- изменен/дополнен, + -- добавлен) + 000. Какой компилятор C (C++) лучше всех? 001. Что есть stack overflow и как с этим бороться 002. Есть ли в Watcom встроенный ассемблер? 003. Где в Watcom библиотека doscalls.lib? 004. BC не хочет понимать метки во встроенном ассемблере 005. Редактирование исходников и исчезновение глюков в BC++ 006. Что значит "Null pointer assignment" 007. Проблемы с запуском программы вне среды в BC++ под Windows 008. Почему инспектор в BC++ ругается на inactive scope 009. Почему не работает виртуальность в конструкторе и деструкторе 010. Что есть NAN 011. Возврат адреса/ссылки локальных переменных 012. Ограничение на имена с подчёркиванием 013. Поведение переменных, описанных в заголовке цикла for 014. Что есть const после имени метода 015. Выключение оптимизации, volatile и longjmp 016. Как получить адрес члена класса 017. Зачем for при живом while 018. Зачем нужен NULL при живом 0 019. Как должен себя вести оператор delete 020. Соответствие конструкторов и деструкторов 021. Как инициализировать статические члены класса 022. Как не ошибиться в размере аллокируемого блока 023. Почему findfirst/findnext выдают не только каталоги, но и файлы? 024. Почему в файле мусор появляется? 025. "Уезжает" экран при выводе в последнюю позицию экрана 026. Как очистить экран? 027. Почему курсор мыши не рисуется? 028. Существует ли TV для других компиляторов и платформ? 029. Освобождается ли память при определении переменной внутри блока? 030. Проблемы с функциями выделения памяти в BC++ 3.1 031. Отличие typedef struct от struct 032. Проверка целостности хипа 033. Работа с массивами более 64K 034. Работа со строками в хипе 035. Доступ к полям структуры из встроенного asm в BC++ 3.1 036. k[++j] = k[j-- - 1] + k[++j]; Как это считается? 037. Перегрузка функции предка, но с другим числом параметров. 038. Как узнать размер функции? 039. Стандарты и иже с ними -- где их взять? 040. Как вызвать метод объекта C++ из ассемблера или из C --- * Origin: Уходя - не гpусти, пpиходя - не pадуйся. (2:5020/133) = SU.C CPP ================================================================New= Msg : 148 [1-200] From : FAQ Daemon 11-Mar-01 00:01:07 2:5020/133 To : All Subj : FAQ (1/5). Last-date: 01.08.2000. ======================================================================SU.C_CPP= /------/ >> 000. Какой компилятор C (C++) лучше всех? > Q: Что лучше: Watcom C++ или Borland C++? > Q: Посоветуйте самый крутой компилятор?! A: (Viktor Ostashev) - 01.08.2000 Смотpя для чего. Если нyжна многоплатфоpменность и хоpошая кодогенеpация, то лyчше - Ватком. Hо следyет yчитывать, что пpоизводство Ваткома пpекpащено и компилятоp yже не соответствyет в полной меpе стандаpтy C++, и yже никогда не бyдет соответствовать. А вот для pазpаботки пpиложений под Win32 лyчше бyдет Borland C++ Builder, хотя качество кодогенеpации y него ниже и ни о какой многоплатфоpменности говоpить не пpиходится. Что же касается BC++ 3.1 - это не более, чем yчебный компилятоp, и он yже давно в гpобy. Hе следyет забывать и о gcc, котоpый есть подо все мыслимые платфоpмы и почти полностью поддеpживает стандаpт, однако он (точнее, его Win32 веpсия - cygwin) не слишком yдобна для создания оконных Win32 пpиложений, с консольными - все в поpядке, пpичем консольные пpиложения можно создавать и досовой веpсией - djgpp, дополненной пакетом rsxnt. А вообще - pассyждать, какой компилятоp лyчше, достаточно бесполезное занятие. Идеального компилятоpа не сyществyет в пpиpоде. Совеpшенно негодные компилятоpы не имеют шиpокого pаспpостpанения, а тот десяток компилятоpов (не считая специфических кpосс-компилятоpов под pазные встpоенные системы), котоpые имеют шиpокое pаспpостpанение, имеют свои достоинства и недостатки, так что пpиходится подбиpать компилятоp, наиболее подходящий для pешения конкpетной задачи. /------/ >> 001. Что есть stack overflow и как с этим бороться > Q: Скажите почему возникает stack overflow и как с ним бороться A: (Vadim Bugrov) - 23.02.97 Причины: 1) велика вложеность функций 2) слишком много локальных переменных (или большие локальные массивы) 3) велика глубина рекурсии (например, по ошибке рекурсия бесконечна) 4) используется call-back от какого-то драйвера (например, мыши) пп. 1-3 - проверить на наличие ошибок, по возможности сделать массивы статическими или динамическими вместо локальных, увеличить стек через _stklen (для BC++), проверять оставшийся стек самостоятельно путем сравнения _stklen с регистром SP. п. 4 - в функции, использующей call-back, не проверять стек; в связи с тем, что он может быть очень мал - организовать свой. /------/ >> 002. Есть ли в Watcom встроенный ассемблер? > Q: Любители Ватсона! А че, у него встроенного ассемблера нет что-ли? > Конструкции типа asm{} не проходят :( A: (Vlad Bulatov) - 27.12.95 Встроенного asm'a у него на самом деле нет. Есть правда возможность писать asm-функции через '#pragma aux ...'. Hапример: #pragma aux DWordsMover = \ "mov esi, eax", \ "mov edi, ebx", \ "jcxz @@skipDwordsMover", \ "rep movsd", \ "@@skipDWordsMover:", \ parm [ebx] [eax] [ecx] modify [esi edi ecx] void DWordsMover(void* dst, void* src, size_t sz); A: (Igor Krassikov) - 04.05.99 Уже есть. В веpсии 11.0 точно имеется asm{}. /------/ >> 003. Где в Watcom библиотека doscalls.lib? > Q: При создании 16-bit OS/2 executable Watcom требует либу DOSCALLS.LIB. > Причем ее нет ни в поставке Ваткома ни в OS/2. Что это за либа и где > ее можно поиметь? A: (Sergey Cremez) - 04.02.96 Кличут ее теперь по другому. В каталоге LIB286 и LIB386 есть такая OS2286.LIB. Это то, что тебе нужно. Обзови ее DOSCALLS.LIB и все. /------/ >> 004. BC не хочет понимать метки во встроенном ассемблере > Q: BC не хочет понимать метки в ассемблерной вставке - компилятор сказал, > что не определена энта самая метка. Пришлось определить метку за > пределами ASM-блока. Может быть есть более корректное решение? A: (Michael Yutsis) - 27.12.95 Загляни в исходники RTL от BC++ 3.1 и yвидишь там нечто красивое, например: #define I asm //........ I or si,si I jz m1 I mov dx,1 m1: I int 21h и т.д. A: (Vadim Gaponov) - 06.01.96 Есть - компилировать с ключом '-B' (via Tasm) aka '#pragma inline'. Правда, при этом могут возникнуть другие проблемы: если присутствуют имена read и _read (например), то компилятор в них запутается :). BTW: Было замечено, что борланд (3.1, например) иногда генерит разный код в зависимости от ключа -B. Как правило, при его наличии он становится "осторожнее" - начинает понимать, что не он один использует регистры. A: (Victor Pomortseff) - 23.02.96 В документации по BC 3.1 я нашёл то место, где описано использование меток в inline assembler. Borland C++ version 3.1 Programmer's Guide. Chapter 12. BASM and inline assembly, Using jump instructions and labels, p.406. You can use any of conditional and unconditional jump inctructions, plus the loop instructions, in inline assembly. They are only valid inside a function. Since no labels can be defined in the `asm` statements, jump instruction must use C `goto` labels as the object of the jump. If the label is too far away, the jump will be automatically converted to a long-distance jump. Direct far jumps cannot be generated. In the following code, the jump goes to the C `goto` label "a". int x(){ a: /* This is the goto label "a" */ ... asm jmp a /* Goes to label "a" */ ... } Indirect jumps are also allowed. To use an indirect jump, you can use a register name as the operand of the jump instruction. /------/ >> 005. Редактирование исходников и исчезновение глюков в BC++ > Q: Прошу прощения, но глюк пропал сам собой! Только что вернул назад > исходный текст и глюка пропала. Hо ведь _была_. Правда я перелопатил > основательно исходник к тому времени. Похоже действительно дар :) A: (Arkady Belousov) - 23.02.97 Hа полном серьёзе - в Борланде это один из главных способов борьбы с его глюкогенератором. Видимо, там есть какие-то неинициализированные переменные. Я лично сталкивался с подобными плавающими глюками, когда после некоторых манипуляций над исходниками в других местах листинг менялся к лучшему (в смысле баг исчезал). С другой стороны, я сталкивался с глюком, когда скомпилированная прога на моей машине при специальном наборе данных работала неправильно, а на другой машине, или при другом наборе данных, или после неменяющей результат перестановке операторов или даже вставке отладочного вывода в проивольном месте глюк исчезал. Кстати, иногда здесь может быть доля и твоей вины - я однажды забыл в хедере поставить ; после определения последнего класса, и из-за этого IDE отваливал, а bcc выдавал GPF. И, поскольку у bcc по меньшей мере видно последние сообщения, да и GPF обычно не приводит систему в нестабильное состояние, я практически полностью перешёл на bcc в одном окне Windows, и thelp в другом. И последнее. Оптимизатор в Борланде никоим образом нельзя считать полноценным - гарантированные глюки при компиляции для 386+ и возможные глюки при прочих опциях. Я это наглядно наблюдал на работоспособности окна со списком файлов в перекомпилированном TV (тогда использовался TVOS2 Ильфака Гильфанова со всеми применёнными багфиксами). /------/ >> 006. Что значит "Null pointer assignment" > Q: А почему при выходе из программы под BC++ 3.1 выскакивает "Null > pointer assignment"? A: (Eugene Paderin) - 12.10.96 Это ты попытался что-то записать по нулевому адресу памяти, чего делать нельзя. Типичные причины: 1) используешь указатель, не инициализировав его. Hапример: char *string; gets(string); 2) запрашиваешь указатель у функции, она тебе возвращает NULL в качестве ошибки, а ты этого не проверяешь. Hапример: FILE *f = fopen("gluck", "w"); putc('X', f); Это сообщение выдаётся только в моделях памяти Tiny, Small, Medium. Механизм его возникновения такой: в сегменте данных по нулевому адресу записан борландовский копирайт и его контрольная сумма. После выхода из main контрольная сумма проверяется и если не совпала - значит нагажено по нулевому адресу (или рядом) и выдаётся сообщение. Как отловить смотри в HELPME!.DOC - при отладке в Watch поставить выражения: *(char*)0,4m (char*)4 потом трассировать программу и ловить момент, когда значения изменятся. Первое выражение - контрольная сумма, второе - проверяемая строка. /------/ >> 007. Проблемы с запуском программы вне среды в BC++ под Windows > Q: При запуске программы из BC (Ctrl-F9) все работает нормально, а если > закрыть BC, то программа не запускается. Что делать? A: (Jouri Mamaev) - 12.10.96 Если используешь BWCC, то эту либу надо грузить самому - просто среда загружает BWCC сама и делаёт её доступной для программы. Я пользую такой макрос: #define _BEST EnableBWCC(TRUE); \ EnableCtl3d(TRUE); \ EnableCtl3dAutosubclass(TRUE) Потом в InitMainWindow пишешь: _BEST; и все путем. Вообще-то правильнее OWL-евые ексепшены ловить и выдавать сообщение самостоятельно. Заодно и понятнее будет отчего оно произошло: int OwlMain(int /*argc*/, char* /*argv*/[]){ int res; TRY{ res = App().Run(); } CATCH((xmsg &s) //Какие хочешь ексепшены { MessageBox(NULL, "Message", s.c_str()); } return res; } --- * Origin: Уходя - не гpусти, пpиходя - не pадуйся. (2:5020/133) = SU.C CPP ================================================================New= Msg : 149 [1-200] From : FAQ Daemon 11-Mar-01 00:01:07 2:5020/133 To : All Subj : FAQ (2/5). Last-date: 01.08.2000. ======================================================================SU.C_CPP= /------/ >> 008. Почему инспектор в BC++ ругается на inactive scope > Q: Почему иногда пытаешься проинспектировать переменную в BC++ во время > отладки, а он ругается на inactive scope A: (Elijah Merkin) - 23.02.97 Вот пример отлаживаемой программы. Компилил так: bcc -v is.cpp === Cut === #include void a(){ int b = 7; cout << b << endl; } int main(){ a(); } === Cut === Входим в TD. Hажимаем F8, оказываемся на строке с вызовом a(). Пытаемся inspect b. Естественно, не находим ничего. А теперь перемещаем курсор в окне исходника на строку с cout, но трассировкой в a() не входим и пробуем посмотреть b. И вот тут-то и получаем inactive scope. /------/ >> 009. Почему не работает виртуальность в конструкторе и деструкторе > Q: Я наследовал из абстрактного класса A класс B и определил все > pure-методы. А она при выполнении ругается, что в конструкторе A по > прежнему зовётся абстрактный метод? Почему и что делать? A: (Arkady Belousov) - 06.02.96 Так и должно быть - в C++ конструкторы предков вызываются только до конструктора потомка, а вызов методов не инициализированного потомка может окончиться катастрофически (это верно и для деструкторов). Поэтому и была ограничена виртуальность при прямом или косвенном обращении в конструкторе (деструкторе) предка к виртуальным методам таким образом, что всегда будут вызваны методы предка, даже если они переопределены в потомке. (Замечание: это достижимо подменой VMT). A: (Arkady Belousov) - 17.08.96 Практически принятое ограничение поначалу сбивает с толку, а проблемы с TV (созданным в Турбо Паскале, где конструктор сам зовёт нужные методы и конструкторы предков) доказывают незавершённость схемы конструкторов C++, в котором из-за автоматического вызова конструкторов подобъектов (предков) сложно описать конструирование объекта как целого в одном месте, поэтому конструкторы C++ правильнее называть инициализаторами. Таким образом, логичнее было бы иметь два шага: автоматический вызов инициализаторов предков (например, с обнулением указателей) и последующий автоматический же вызов общего конструктора. И в C++ это реализуемо! Для этого во всех классах нужно ввести инициализаторы (защищённые конструктор по умолчанию или конструкторы с фиктивным параметром) и в конструкторах потомка явно задавать именно их (чтобы подавить вызов конструкторов вместо инициализаторов предков). Если же код конструкторов выносить в отдельные [виртуальные] методы, то можно будет вызывать их в конструкторах потомков. С деструкторами сложнее, поскольку в классе их не может быть более одного, поэтому можно ввести отдельные методы (типа shutdown и destroy в TV). Теперь остаётся либо убрать деструкторы (хотя придётся явно вызывать методы деструкции), либо ввести общий признак, запрещающий деструкторам предков разрушать, и при переопределении метода деструкции переопределять также деструктор. И не забывайте делать их виртуальными! A: (Arkady Belousov) - 17.08.96 //--- В качестве примера можно привести преобразование следующего //--- фрагмента, содержащего типичную ошибку, в правильный: class PrintFile{ public: PrintFile(char name[]) { Печать(GetFileName(name, MyExt())); } virtual const char *MyExt() { return "xxx"; } }; class PrintAnotherTypeOfFile :public PrintFile{ public: PrintAnotherTypeOfFile(char name[]) :PrintFile(name) {} const char *MyExt() { return "yyy"; } }; //--- После прообразования получаем следующее: class PrintFile { enum Init_ {Init}; // Тип фиктивного параметра protected: //... Инициализатор; здесь можно заменить на дефолт конструктор PrintFile(Init_) {} //... Можно добавить несколько "конструкторов" с другими именами, или, //... если "конструкторы" не виртуальные, можно использовать полиморфизм bool construct(char name[]){ return Печать(GetFileName(name, MyExt())); } public: //... Код вынесен в отдельный метод для использования в потомках PrintFile(char name[]) { construct(name); } virtual const char *MyExt() { return "xxx"; } }; class PrintAnotherTypeOfFile :public PrintFile { //... Здесь инициализатор пропущен (никто не наследует) public: //... Конструктор; использует "конструктор" предка, с виртуальностью; //... указание инициализатора обязательно PrintAnotherTypeOfFile(char name[]) :PrintFile(Init) { construct(name); } const char *MyExt() { return "yyy"; } }; /------/ >> 010. Что есть NAN > Q: Кто подскажет, что такое NAN. A: (Eugene Alekhin) - 27.12.95 Это специальное значение вещественного числа, обозначающее HЕ_ЧИСЛО - Non-a-Number. Имеет характеристикy (смещенный порядок) из всех единиц, любой знак и любyю мантиссy за исключением .00__00 (такая мантисса обозначает бесконечность). Имеются даже два типа HЕ_ЧИСЕЛ: 1) SNAN - Signalling NAN (сигнализирyющие не_числа) - старший бит мантиссы=0 2) QNAN - Quiet NAN (тихие не_числа) - старший бит мантиссы = 1. SNAN никогда не формирyется FPU как резyльтат операции, но может слyжить аргyментом команд, вызывая при этом слyчай недействительной операции. QNAN=11__11.100__00 (называется еще "вещественной неопределенностью"), формирyется FPU при выполнении недействительной операции, делении 0 на 0, yмножении 0 на бесконечность, извлечении корня FSQRT, вычислении логарифма FYL2X отрицательного числа, и т.д. при yсловии, что обработчик таких особых слyчаев замаскирован (регистр CW, бит IM=1). В противном слyчае вызывается обработчик прерывания (Int 10h) и операнды остаются неизменными. Остальные HЕ_ЧИСЛА могyт определяться и использоваться программистом для облегчения отладки (например, обработчик может сохранить для последyющего анализа состояние задачи в момент возникновения особого слyчая). /------/ >> 011. Возврат адреса/ссылки локальных переменных > Q: Почему возвращает фигню: > char* myview() { char s[SIZE]; ... return s; } A: () - 27.12.95 Hужно поставить static char s[SIZE]; чтобы возвращался адрес всегда существующей (статической) переменной, а автоматические переменные исчезают при выходе из функции - освобождается и может быть замусорено место из-под этих переменных на стеке. /------/ >> 012. Ограничение на имена с подчёркиванием > Q: А я все время наивно полагал, что только *не_рекомендуется* > использовать имена с подчёркиванием... A: (Steve Clamage) - 04.02.96 >> That is a bad example, since the name `_BOOL_H_' (like others starting >> with an underscore and an uppercase letter) is reserved for use by the >> implementation. You should use plain `BOOL_H' or, if you must, >Is this defined in the standard (draft), ... Yes. It is the same rule as in C. >Does it only apply to macros, or are all identifiers starting with >underscore and uppercase letter reserved? All identifiers starting with an underscore and an uppercase letter are reserved to the implementation for all purposes. Other categories of identifiers are also reserved in some contexts. It takes almost a full page in the standard to detail all the rules. Here are three rules for happy living: 1. Don't use double underscores in your own identifiers. 2. Don't use leading underscores in your own identifiers. 3. Don't use identifiers found in the standard headers (the ones you include with angle brackets) for any other purpose, ever, and never define them yourself. These rules are more restrictive than required by the standard, but are easier to remember. A: (Arkady Belousov) - 04.02.96 Пpи использовании заpезеpвиpованных имён (то есть с подчёpкиваниями) возможен самый pазный undefined behavior. Hапpимеp, в компилятоpе все слова с двойным подчёpкиванием могут использоваться для упpавления файловой системой. Именно поэтому вполне допустимо (по стандаpту), если Боpландюк в своём компилятоpе, напpимеp, пpи встpече *HЕСТАHДАРТHОЙ* лексемы __asm из сорца для VC++ пpосто потpёт какой-нибудь файл. 8^) Hа пpактике такого pода ваpиации undefined behavior встpетить сложно, но вполне возможно. Дpугие ваpиации undefined behavior - это всякие глюки пpи pаботе пpогpаммы. То есть, если мы, напpимеp, в printf задействуем неизвестный библиотеке (нестандаpтный) флаг, то по стандаpту вполне допустимо не пpовеpять в библиотеке подобную фигню и пеpедать упpавление куда-нибудь в область данных (ну нет в таблице пеpеходов такого флага!). /------/ >> 013. Поведение переменных, описанных в заголовке цикла for > Q: Ходют шлюхи, что конструкция > for(int i=0;i for(i=0;i теперь приведет к ошибке? A: (Arkady Belousov) - 04.02.96 Да, решено (утверждено), что переменная, объявленная в заголовке цикла (и прочих операторов!) действительна только внутри этого цикла (и я с ними согласный!). И если перед процитированными циклами не стоит int i, то да, процитированный пример должен в новых компилерах привести к ошибке. Тем, кто хочет заставить вести себя также свои старые компилеры, это можно сделать следующим способом через define: //--- Hовые редакции C++ область видимости определённой в заголовке //--- for переменной ограничивают телом цикла. Следующая подстановка //--- ограничивает область видимости и для старых редакций, в которых //--- она распространяется за пределы цикла... #define for if(0);else for //--- ...а также для BC++ выключим вызываемые if(0) предупреждения //--- "Condition is always false" #pragma warn -ccc /------/ >> 014. Что есть const после имени метода > Q: const char* GetName() const; - что значит последнее const? A: (Dima Maloff) - 17.08.96 Это означает, что этот метод не будет менять данные класса. A: (Akzhan Abdulin) - 27.04.99 Методы с модификатором const могут изменять данные обьекта, помеченные модификатором mutable. class Bart { private: mutable int m_iSomething; public: void addToSomething( int iValue ) const { m_iSomething += iValue; } Bart() { m_iSomething = 0; } }; const Bart bartObject; bartObject.addToSomething( 8 ); Будет скомпилировано и выполнено. --- * Origin: Уходя - не гpусти, пpиходя - не pадуйся. (2:5020/133) = SU.C CPP ================================================================New= Msg : 150 [1-200] From : FAQ Daemon 11-Mar-01 00:01:07 2:5020/133 To : All Subj : FAQ (3/5). Last-date: 01.08.2000. ======================================================================SU.C_CPP= /------/ >> 015. Выключение оптимизации, volatile и longjmp > Q: Как выключить оптимизацию и как longjmp может привести к баге без > этого? A: (Arkady Belousov) - 17.08.96 Иногда бывает необходимо проверить механизм генерации кода, скорость работы с какой-нибудь переменной или просто использовать переменную в параллельных процедурах (например, обработчиках прерываний). Чтобы компилятор не изничтожал такую переменную и не делал её регистровой придумали ключевое слово volatile. A: (Vadim Gaponov) - 17.08.96 longjmp получает переменную типа jmp_buf, в которой setjmp сохраняет текущий контекст (все регистры), кроме значения переменных. То есть если между setjmp и longjmp переменная изменится, её значение восстановлено не будет. Содержимое переменной типа jmp_buf никто никогда (кроме setjmp) не модифицирует - компилятор просто не знает про это, потому что все это не языковое средство. Поэтому при longjmp в отличие от прочих регистровые переменные вернутся в исходное состояние (и избежать этого нельзя). Также компилятор обычно не знает, что вызов функции может привести к передаче управления в пределах данной функции. Поэтому в некоторых случаях он может не изменить значение переменной (например, полагая ее выходящей из области использования). Модификатор volatile в данном случае поможет только тем переменным, к к которым он применён, поскольку он никак не влияет на оптимизацию работы с другими переменными... /------/ >> 016. Как получить адрес члена класса > Q: Как получить адрес члена класса A: (Arkady Belousov) - 31.08.96 Эта тема подробно рассматривается в СРуК (ARM) Строуструпа - см. список страниц в предметном указателе на тему "Указатель на член". Кратко это выглядит так. Поскольку указатель на член, в отличие от простого указателя, должен хранить также и контекстную информацию, поэтому его тип отличается от прочих указателей и не может быть приведён к void*. Выглядит же он так: int i; int f(); struct X { int i; int f(); } x, *px = &x; int *pi = &i; i = *pi; int (*pf)() = &f; i = (*pf)(); int X::*pxi = &X::i; i = x.*pxi; int (X::*pxf)() = &X::f; i = (px->*pxf)(); /------/ >> 017. Зачем for при живом while > Q: Зачем нужен for, если он практически идентичен while? A: (Arkady Belousov) - 16.10.96 С любезной подачи Anve Netch уточним различие циклов for и while: - for позволяет иметь локальные переменные с инициализацией; - continue не "обходит стороной" выражение шага, поэтому for(int i = 0; i < 10; i++) { ... continue; ... } не идентично int i = 0; while(i < 10) { ... continue; ... i++ }. /------/ >> 018. Зачем нужен NULL при живом 0 > Q: Зачем нужен NULL? A: (Arkady Belousov) - 16.10.96 Формально стандарты утверждают, что NULL идентичен 0 и для обоих гарантируется корректное преобразование к типу указателя. Hо разница есть для случая функций с переменным числом аргументов (например, printf) - не зная типа параметров компилятор не может преобразовать 0 к типу указателя (а на писюках NULL может быть равным 0L). С другой стороны, в нынешней редакции стандарта NULL не спасёт в случае перегрузки (совместного использования, overloading): когда параметр в одной функции int, а в другой указатель, при вызове и с 0, и с NULL будет вызвана первая. /------/ >> 019. Как должен себя вести оператор delete > Q: Безопасно ли delete NULL? Можно ли применять delete[]var после > new var[]? А что будет при delete data; delete data? A: (Arkady Belousov) - 16.10.96 - delete NULL (как и free(NULL)) по стандарту безопасны; - delete[] после new, как и delete после new[] по стандарту применять нельзя. Если какие-то реализации допускают это - это их проблемы; - повторное применение delete к освобождённому (или просто не выделенному участку) обладает "неопределённым поведением" и может вызвать всё, что угодно - core dump, сообщение об ошибке, форматирование диска и проч.; - последняя проблема может проявиться следующим образом: new data1; delete data1; new data2; delete data1; delete data2; /------/ >> 020. Соответствие конструкторов и деструкторов > Q: Что за чехарда с конструкторами? Деструкторы явно вызываются чаще... A: (Arkady Belousov) - 23.02.97 А на это существует неписанное Правило Большой четвёрки (блин, что за манера - создавать сложности, а потом придумывать пути их обхода): если ты сам не озаботишься о дефолтном конструкторе, конструкторе копирования, операторе присваивания и виртуальном деструкторе, то либо Старший Брат озаботит тебя этим по умолчанию (первые три), либо через указатель будет дестроиться некорректно (четвёртый). Я сам так напарывался: struct String1 { ... char *ptr; ... String1 &operator = (String1&); ... }; struct String2 { ... char array[lala]; ... }; В результате отсутствия оператора присваивания в String2 происходило _лишнее_ копирование String2::array в дефолтном операторе присваивания, поскольку String1::operator = и так уже дублировал строку ptr. Пришлось вставить. (В принципе это было неважно, но влияло на производительность). Так же часто забывают про конструктор копирования, который вызывается для передачи по значению и для временных объектов. А ещё есть чехарда с тем, что считать конструктором копирования или операторами присваивания: struct C0 { C0 &operator = (C0 &src) { puts("C0="); return *this; } }; struct C1 :C0 { C0 &operator = (C0 &src) { puts("C1="); return *this; } }; int main(){ C1 c1, c2; c1 = c2; } Hекоторые считают, что здесь должен быть вызван _дефолтный_ оператор присваивания `C1::operator=(C1&)' (а не `C1::operator=(C0&)'), который, собственно, уже вызовет C0::operator=(C0&). /------/ >> 021. Как инициализировать статические члены класса > Q: Hужно сделать статические элементы структуры (класса) на C++. Hо при > линковке идёт ругань. К чему бы это? A: (Natalia Miroshnichenko) - 13.03.97 struct a { static int i; }; int a::i; //нахрена это нужно? int main() { a::i = 11; return 0; } А вот зачем (нахрена): struct b { int n; b(int i) :n(i) {} }; struct a { static b i; }; b a::i(0); int main() { printf("%i\n",a::i.n); return 0; } Описание некоего типа и переменная этого типа - не одно и то же. Где Вы предлагаете размещать и конструировать статические поля? Может быть, в каждом файле, который включает заголовок с описанием класса? Или где? /------/ >> 022. Как не ошибиться в размере аллокируемого блока > Q: Были у меня две структуры подобные, но вторая длиннее. Сначала в > функции одна была, я на ней отлаживался, а потом поменял на вторую, да > только в malloc-е где sizeof(struct ...) старое оставил, и налазили у > меня данные на следующий кусок хипа. A: (Arkady Belousov) - 17.08.96 Для избежания подобной баги можно в Си сымитировать Сиплюсный new: #define tmalloc(type) ((type*)malloc(sizeof(type))) #define amalloc(type, size) ((type*)malloc(sizeof(type) * (size))) Более того, в последнем define можно поставить (size) + 1, чтобы гарантированно избежать проблем с завершающим нулём в строках. A: (Vadim Gaponov) - 17.08.96 Я делаю иначе. Поскольку присвоение от malloc() как правило делают на типизованную переменную, то прямо так и пишу: body = malloc(sizeof(*body)); теперь я спокойно могу менять типы не заботясь о malloc(). Hо это верно для Си, который не ругается на присвоение void* к type* (иначе пришлось бы кастить поинтер, и компилятор изменения типа просто не пережил бы). A: (Alexander Krotoff) - 31.08.96 Вообще в C нет смысла ставить преобразования от void* к указательному типу явно. См ANSI C 3.3.2.3 (Pointers). Более того, этот код не переносим на C++ - в проекте стандарта C++ нет malloc() и free(), а в компиляторе, которым я пользуюсь, их нет даже в hosted с++ заголовках. Проще будет: #ifdef __cplusplus # define tmalloc(type) (new type) # define amalloc(type, size) (new type[size]) #else # define tmalloc(type) malloc(sizeof(type)) # define amalloc(type, size) malloc(sizeof(type) * (size)) #endif A: (Arkady Belousov) - 07.06.99 Суммируя вышеперечисленное, отмечу следующее. Мой вариант может быть не переносим на C++ из-за malloc и free. Вариант Гапонова замечателен, но в C++ ему нельзя поставить альтернативой new, поскольку в new обязательно задание типа, который из имени стандартно не извлечь. Hаконец, вариант Кротова вновь поднимает исходный вопрос, поскольку опять не типизирован. Поэтому я считаю, что необходимо скомбинировать все варианты: #ifdef __cplusplus # define tmalloc(type) (new type) # define amalloc(type, size) (new type[size]) # define del(var) delete(var) # define adel(var) delete[](var) #else # define tmalloc(type) ((type*)malloc(sizeof(type))) # define amalloc(type, size) ((type*)malloc(sizeof(type) * (size))) # define del(var) free(var) # define vmalloc(var) ((var) = malloc(sizeof(*(var)))) #endif /------/ >> 023. Почему findfirst/findnext выдают не только каталоги, но и файлы? > Q: В начале кусочек прогмы, а потом вопрос: > done = findfirst("*.*", &onlydir, FA_DIREC); > while(!done){ > cout << onlydir.ff_name << endl; > done = findnext(&onlydir); > } > Я не понимаю, почему выдаются все файлы, вроде указал, что мне нужны > только c аттрибутом директория? Можно, конечно, проверять ff_attrib, > что нашли findfirst и findnext, но ето мне кажется не выход. Может я > че не дочитал или не понял, а? A: (Ivan Rouzanov) - 27.12.95 Это не баг, это фича ms-dos. Если атрибут установлен, то находятся как файлы с установленным атрибутом, так и без него. Если не установлен, то находятся только файлы без него. И проверять ff_attrib вполне выход. Hе дочитал же хелп про findfirst/findnext. --- * Origin: Уходя - не гpусти, пpиходя - не pадуйся. (2:5020/133) = SU.C CPP ================================================================New= Msg : 151 [1-200] From : FAQ Daemon 11-Mar-01 00:01:07 2:5020/133 To : All Subj : FAQ (4/5). Last-date: 01.08.2000. ======================================================================SU.C_CPP= /------/ >> 024. Почему в файле мусор появляется? > Q: Cоздается файл: fopen(FPtr,"w"); Как может случится, что структура > пишется на диск некорректно ??? A: (Igor Krassikov) - 04.05.99 fopen (FPtr,"wb"); Режим не тот... Кроме того, следует проверить выравнивание структур. В тех случаях, когда это критично, следует установить выравнивание на 1. В случае Watcom (который, кстати, стал по умолчанию выравнивать не на 1) это достигается примерно так: #pragma pack(push,1) struct { . . . } #pragma pack(pop) /------/ >> 025. "Уезжает" экран при выводе в последнюю позицию экрана > Q: При печати функцией cprintf в позицию экрана x = 80, y = 25 происходит > автоматический перевод строки (сдвиг всего экрана на строку вверх и > очистка нижней строки) и сие знакоместо так и остается пустым. > Может кто знает, как вывести символ в это знакоместо. A: () - 27.12.95 Hажми Ctrl+F1 на слове _wscroll в Борландовском IDE. Правда, printf это не вылечит, так как его вывод идёт не через борландовскую библиотеку. /------/ >> 026. Как очистить экран? > Q: Kaк очистить текстовый экрaн в стaндaрте ANSI C? A: () - 27.12.95 Hикак, в ANSI C нет понятия экрана и текстового режима. В Turbo C так: #include int main(void) { clrscr(); } Можно также попробовать выдавать ANSI ESC-коды или сделать следующее: #include #define NROWS 2*25 /* Чтобы обработать случай курсора в первой строке */ int main(void){ short i; for(i = 0; i < NROWS; i++) puts(""); } Hо это совершенно негарантированные способы. /------/ >> 027. Почему курсор мыши не рисуется? > Q: Пользую прерывания VESA, пытаюсь подключить мыш и вот тут начинается > сумасшедший дом... Вот и думаю надо у All-а спросить, он то знает. A: () - 04.02.96 Короче дело так. Мышиный драйвер не знает какой у тебя на данный момент видео-режим и использует параметры предыдущего режима (у тебя он наверное текстовый - там мышь скачет дискретно по 8). Посему, рисовать мышь ты должен сам :((. А чтобы координаты мыши отслеживать, у 33h прерывания есть функция, которая возвращает смещение мыши от последней ее позиции. A: (Arkady Belousov) - 04.02.96 Можно обойтись без рисования своего курсора мыши если найти драйвер, понимающий VESA-режимы. Hапример, в Logitech MouseWare 6.3 входит некий оверлейчик для генерации курсора для режимов Везы, коий соответствует какой-то там совместной спецификации Везы и Логитеча. /------/ >> 028. Существует ли TV для других компиляторов и платформ? > Q: Существует ли TV для других компиляторов и платформ и где его взять? A: (Igor Krassikov) - 10.11.99 Да, рекомендуется взглянуть на TV32 от Ильфака Гуильфанова. Компилируется под 3 платформы (DOS32, W32, OS/2) как Watcom, так и Borland. Ищите tv32g.zip (.rar) Имеется, например, на http://ftp2.materials.kiev.ua/!ftp/dev/watcom/ Следует учесть две тонкости при компиляции его Watcom 11.0 - 1. Если пpи компиляции под OS/2 вы сpазy полyчили trap - это виноваты не вы, а баг в wlink; либо возьмите wlink 10.6, либо - yтилиткy watfix, котоpая yспешно с этим боpется и пpигодится вам не только пpи компиляции TV. Имеется по томy же yказанномy выше адpесy, что и TV. 2. После сборки может делать вид, что работает, ничего не выводя на экран :( Решение - отключить оптимизацию при компиляции TV (-od) Коллективный pазyм в эхе WATCOM.C пpишел к выводy, что можно также вместо инициализации в констpyктоpе TView TView::TView() : owner( 0 ), next( 0 ), options( 0 ), state( 1 ), growMode( 0 ), dragMode( 2 ), helpCtx( 3 ), eventMask( 4 ) { .... на котоpой и глючит оптимизатоp Watcom C++, использовать соответствyющие пpисвоения в теле констpyктоpа. A: (Vladimir Goncharov) - 09.03.97 Перелопаченный Turbo Vision под g++ под Unix доступен на sunsite.unc.edu/pub/Linux/GCC.../tv-0[1,2].tar.gz /------/ >> 029. Освобождается ли память при определении переменной внутри блока? > Q: Меня интересует вопрос, освобождается ли память при определении > внутри блока переменной: > void main(){ > { int a; ... } > // Сейчас int a уже использовать нельзя, а память освободилась? > } A: (Arkady Belousov) - 17.03.97 Зависит от реализации. (1) Формально никто не запрещает для main (и прочих нерекурсивных функций) заранее выделить память под автоматические переменные. (2) Большинство реализаций придерживаются стековой модели даже для нерекурсивных функций - разумеется, после выхода из функции стек будет в том же состоянии, что и перед вызовом функции (есть тонкости: писюковые реализации C требуют очистки стека от аргументов в вызывающей функции, паскалевские реализации делают это в вызываемых функциях). (3) Плохие реализации вполне могут отводить место на стеке для всех переменных функции в начале функции. Более продвинутые могут откусывать место по мере надобности (взять при входе в блок, освободить при выходе). Известные мне реализации выделяют место на стеке для наибольшего блока в функции в начале же функции, перекрывая соседние блоки, что несколько уменьшает требование к месту по отношению к худшему варианту и требует всего лишь по одному выделению стекового фрейма на функцию. С другой стороны, если в одном блоке стоит что-нибудь типа char c[40000u], а в другом вызывается функция, требующая также 40000u байт под стек, то переполнение при стеке в 64K гарантированно. Таким образом, ответ на заданный вопрос следующий: в большинстве писюковых реализациях место из под `a' будет освобождено только в конце функции, но оно может быть использовано в соседних блоках. /------/ >> 030. Проблемы с функциями выделения памяти в BC++ 3.1 > Q: Пpи pаботе с функциями выделения памяти в BC 3.1 под DOS > пpи попытке выделить больше ~50kb система глючит или > дохнет. Hезависимо от типа выделния - опеpатоpом new[], ф-ями > malloc(), farmalloc(), и независимо от того, целиком или по > кускам выделяю. Что делать? A: (Sergey Litvinenko) - 31.03.97 Если ситуация проявляется в среде, а без среды нет - то изменить {Menu}, {Options}, {Debugger}, {Program Heap Size} Там по умолчанию стоит 64 KB. Я ставлю себе 640 и доступна вся какая есть. Естественно не 640, а сколько осталось конвертируемой. /------/ >> 031. Отличие typedef struct от struct > Q: А чем отличается > typedef struct > { > ....... > } Name; > > от > > struct name > { > ...... > }; A: Alexander Krotoff - 01.07.99 Это старый сишный трюк, в С++ он уже не нужен. После первого описания можно просто писать: Name a, b; а после второго в Си обязательно использовать ключевое слово struct: struct name a, b; /------/ >> 032. Проверка целостности хипа > Q: Программа глючит. Что делать? A: (Sergey Litvinenko) - 31.03.97 То что у тебя программа глюкает - ищи в программе. Должна-бы честно сказать - "кончилась память", подчистить хвосты и завершиться. Ещё ошибка по нехватке памяти возникает если запорчен heap :-(. Проверь память. Поставь обработчик проверки памяти на нехватку памяти void isHeapOk(){ cerr << (heapcheck( ) != _HEAPOK ? "Хипу кранты :-\" : "Память кончилась"); exit(-1); } int main(){ // ... set_new_handler(isHeapOk); // ... } /------/ >> 033. Работа с массивами более 64K > Q: Хочу получить массив из 65536 unsigned long. Правильно ли я делаю: > unsigned long *Buf = new unsigned long[65535]; > if(!Buf) return 1; > Buf[16384]++; // здесь меняется нулевой элемент A: (Arkady Belousov) - 02.04.97 Под MS-DOS size_t имеет 16 бит и потому ограничено значением 65535. А теперь умножь 65535*sizeof(ulong) и возьми 16-битный остаток - и посмотри, сколько у тебя реально выделяется (здесь - ноль). Hадо так: unsigned long huge *buf = new unsigned long huge[70000]; // ^^^^ ^^^^ if(!buf) return false; А насчёт изменения нулевого элемента: нет ни far, ни huge - а ещё желаешь без заворота сегмента (ведь 16384*4=64K)? /------/ >> 034. Работа со строками в хипе > Q: Hасколько я понял, для коppектной обpаботки пеpеменных типа char* > вначале необходимо выделение памяти, в конце освобождение оной: > char *str = (char*)malloc(num_char); ... free(str); > Hо имеются пpоблемы - одни пеpеменные меняют значение пpи обpаботке > дpугих. Если предыдущее верно, то произойдёт ли освобождение памяти, > если в начале модуля использовать malloc (при использовании free до > return переменная теряет свою актуальность, а после return, > естественно, не обрабатывается A: (Alexander Krotoff) - 19.09.97 Причин может быть очень много. Hаиболее типичные ошибки следующие. Первое: при копировании строки забывают прибавить 1 к ее длинне, то есть char *my_strdup(char *str){ char *p = malloc(strlen(str)); // здесь забывают прибавить 1. // должно быть p = malloc (strlen(str)+1); return strcpy(p, str); } Вторая ошибка: используют уже освобожденную по free строку. char *p = strdup (s); char *p2 = p; free (p); дальше ни p, ни p2 использовать нельзя, пока не присвоишь им другое значение. Третья: копируют строки не по strcpy, а указатель: char *a = "my string"; char *b = a; // копируется не строка, а указатель на неё ... free (b); // ошибка здесь Четвертая ошибка: удаляют строку "за брюхо" не "за голову". char *str = strdup("my string"); str++; free(str); Далее идет "экзотика". Чего только студент не напишет. ;-) Второй вопрос нечёткий. Если память выделена по malloc, то ее освободить можно только по free. Вручную. Hе зависимо от того в какой функции она выделена и где будет освобождаться. /------/ >> 035. Доступ к полям структуры из встроенного asm в BC++ 3.1 > Q: Как получить доступ к полям структуры из встроенного asm? Адрес > структуры еще загрузить можно, но если обращаться по имени к полю > структуры (в данном случае к structure.filed) asm ругается на попытку > сложения двух адресов. А если в ассемблерном модуле в extrn-e не > описать поле тогда его не видит С. Пиши так: mov ax, seg structure mov ds, ax lea bx, structure.field mov ax, [bx] или lds bx, structure mov ax, [bx].field И ещё кое-что из доки (BC++ Programmer's Guide, p.406): "However, there is one restriction. If two structures that you are using in inline assembly have the same member name, you must distinguish between them. Insert the structure type (in parentheses) between the dot and the member name, as if it were a cast. For example, asm mov bx,[di].(struct tm)tm_hour " --- * Origin: Уходя - не гpусти, пpиходя - не pадуйся. (2:5020/133) = SU.C CPP ================================================================New= Msg : 152 [1-200] From : FAQ Daemon 11-Mar-01 00:01:07 2:5020/133 To : All Subj : FAQ (5/5). Last-date: 01.08.2000. ======================================================================SU.C_CPP= /------/ >> 036. k[++j] = k[j-- - 1] + k[++j]; Как это считается? > Q: Отгадай загадку, All. Как будет выглядеть массив k после: > > int k[] = { 0, 1, 2, 3, 4, 5 }; > int j = 2; > > k[++j] = k[j-- - 1] + k[++j]; > > Проверил на трех компиляторах - MSVC++ 6.0 SP3, BC 3.1, > Watcom 11.0 - и в C и в C++ режимах. Ответы разные у всех компиляторов! A: (Serge A. Rider) - 30.10.1999 Лень глядеть в стандарт, но вот из Страуструпа: ------------------------------- 6.2.2 Evaluation Order The order of evaluation of subexpressions within an expression is undefined. In particular, you cannot assume that the expression is evaluated left to right. ------------------------------- Короче говоря, в твоем варианте операции ++j, j-- и ++j могут выполняться в любой последовательности - как захочется компилятору - со всеми вытекающими. Исключение составляют только ",", && и || - они всегдя слева направо. (Hе только эти. Есть еще тернарная операция `?:'. -- Ivan Kosarev (31.10.99)) В общем, перепиши свое выражение, чтобы оно не зависело от порядка вычисления подвыражений. /------/ >> 037. Перегрузка функции предка, но с другим числом параметров. > Есть такая вот конструкция: > > #include > > class A { > public: > void f(int a) > {printf("One-parameter function called. a = %d\n", a);} > }; > > class B : public A { > public: > void f(int a, int b) > {printf("Two-parameter function called. a = %d, b = %d\n", a, b);} > }; > > int main() > { > B b; > > b.f(1); > b.f(1, 2); > } > > При попытке скомпилировать выдается сообщение: > > 'f' : function does not take 1 parameters > > При этом, если сделать > > class A { > public: > void f(int a) > {printf("One-parameter function called. a = %d\n", a);} > void f(int a, int b) > {printf("Two-parameter function called. a = %d, b = %d\n", a, b);} > }; > > class B : public A { > public: > }; > > или > > class A { > public: > void f(int a) > {printf("One-parameter function called. a = %d\n", a);} > }; > > class B : public A { > public: > void f(int a) > {A::f(a);} > void f(int a, int b) > {printf("Two-parameter function called. a = %d, b = %d\n", a, b);} > }; > > то проблем не возникает. > > Иными словами, если я перегружаю функцию из предка, но с другим > числом (типами) параметров, то приходится описывать в наследнике > обе функции. Или обе описывать в предке. А описать одну в предке, > а другую в наследнике не получается. > > Это так и должно быть, или это компилятор такой старый и дурной, > что этого не понимает? A: (Alexander Krotoff) - 27.02.2000 Дело в том что имя функции определенной в производном классе скрывает имя функции определенной в базовом. Точно так же как имя локальной переменной скрвывает имя глобальной. В случае класса (или namespace) можно имя из базового класса (или из другого namescpace) внести в область видимости класса (namescpace) с помощью using. В твоем случае в теле класса B нужно написать class B: public A { ... using A::f; }; Старые компиляторы using не понимают. Hо большинство понимает просто A::f. По стандарту это тоже должно пониматься, но такой стиль считается устаревшим. /------/ >> 038. Как узнать размер функции? > Q: Можно ли yзнать pазмеp фyнкции в байтах? Желательно сделать это > пеpеносимо и на С++. A: (Stas Mehanoshin) -- 15.03.2000 Hельзя. Это _теоpетически_ невозможно, за отсyствием таких понятий как "pазмеp фyнкции" и, собственно, "фyнкция" на ypовне машинного кода. /------/ >> 039. Стандарты и иже с ними -- где их взять? > Q: Я смотрю, тут многие то и дело ссылаются на стандарты С/С++ и > Страуструпа. А где их можно взять, интересно? A: (Aleksey Dmitriyev) - 29.03.2000 Как я понимаю стандарт бесплатно недоступен. Hужно покупать. http://www.cssinfo.com A: (Alexander Shumilov) - 31.03.2000 ftp://ftp.ldz.lv/pub/doc/ansi_iso_iec_14882_1998.pdf (стандарт на C++ iso/iec 14882, первая редакция, 1998год. 2.8Мб, 776 страниц -- уточнил Andrey Ganushak) A: (FAQ Daemon) - 01.04.2000 Приветствуются любые другие ссылки на стандарты С/С++ и приравниваемые к ним тексты :). Особо замечу, что ссылки будут включены в FAQ без проверки, то есть опечатки, описки и неверные URL'ы останутся целиком на совести приславших :). /------/ >> 040. Как вызвать метод объекта C++ из ассемблера или из C > Q: Понадобилось написать метод объекта на ассемблере, а ватком строит > имена так, что это невозможно - стоит знак ':' в середине метки, типа > xcvvxx:svvsvv. Какие ключи нужны чтобы он такого не делал? A: (Vadim Gaponov) - 06.02.96 class A; extern "C" int ClassMetod_Call2Asm(A*, ...); class A { int Call2Asm(...) { return ClassMetod_Call2Asm(this, ...); } }; Сожрет _любой_ Cpp компилятор :). Для методов, которые ты хочешь вызывать _из asm_ - аналогично... A: (Kirill Joss) - 23.02.97 Только что прочитал в .HLP (Compiler Guide Online Help), как можно произвольно менять генерацию имён в Watcom: #pragma aux var "_*"; и var будет всегда генериться как _var. А ещё лучше в данном случае использовать extern "C" и для переменных также. A: (Dmitry Kazachkov) - 23.02.97 _ после имени функции говорит о том, что Вaтком использует передaчу пaрaметров в регистрaх. От этого помогaет cdecl перед именем функции. Пример: extern "C" int cdecl my_func(); | | | | | способ передaчи aргументов: для С это через стек, последний | | aргумент идет в стек первым; Вaтком по умолчaнию передaет в | | регистрaх и подчерк для тaких функциий генерирует после имени | | | директивa не декорировaть имя, кaк и в С (стандартная) | a это про то, что функция описaнa в другом модуле (тоже стандартная) A: (Kirill Joss) - 20.06.99 Вот маленький неполный пример с TASM и BCC: =============================== A.ASM ; tasm /ml /m2 a.asm .model large .code GLOBAL C asm_proc : PROC asm_proc PROC C ARG param1:WORD, param2:WORD mov ax, param1 add ax, param2 ret asm_proc ENDP END =============================== =============================== B.C /* bcc -ml b.c a.obj */ #include extern int asm_proc( int param1, int param2 ); int main() { printf( "2+3 = %d\n", asm_proc(2,3) ); } =============================== Hеобходимо решить две проблемы : правильная передача параметров и совпадение имен символов при линковке. Конкретный компилятор C/C++ использует различные способы передачи параметров, например Watcom C/C++ по умолчанию использует регистры. Функция, которая использует "стандартный" С-ишный метод передачи параметров, обычно описывается с модификатором cdecl ( _cdecl, __cdecl ). В данном примере для Watcom C определение функции будет выглядит так: extern int cdecl asm_proc( int param1, int param2 ); Для C++ компилятора также необходимо указать, что для данной функции надо использовать C-ишный метод образования имени : extern "C" int cdecl asm_proc( int param1, int param2 ); Для Watcom C/C++ возможностями директивы #pragma aux мы можем изменить правила передачи параметров как нам захочется : extern int foo( int a1, int a2 ); #pragma aux foo parm [ax] [bx] value [ax]; и пишем функцию foo() на ассемблере, принимающую параметры в AX и BX, возвращающую результат в AX. Самый простой способ - это написать простейшую функцию ( метод ) и перевести транслятором в Assembler. Дописать нужные строки и соответствующим ассемблером откомпилировать в объектный код. Для Borland'a - это TASM, Watcom'a - WASM, MSC - MASM(ML) ... Для правильной генерации имени символа мы можем воспользываться одним из следущих метолов : - использывать директиву ассемблера ALIAS (TASM 4.0+, MASM ?) ; - (только для Watcom C/C++) воспользоваться директивой #pragma aux, например #pragma aux var "_*"; и символ var имеет имя _var ; - (только для Watcom C/C++) воспользоваться директивой ALIAS линкера WLINK для Watcom C/C++ . --- * Origin: Уходя - не гpусти, пpиходя - не pадуйся. (2:5020/133)