Re[3]: есть ли логика в системе типов С
От: Мухоморец Украина  
Дата: 12.10.07 12:00
Оценка:
Здравствуйте, _hum_, Вы писали:



__>Тогда, получается, что переменной типа "функция" в С нет (есть тип, но переменной этого типа нет — только константы)


ну ты же можешь обьявить указатели на функцию
значит тип(ы) есть

мы же можем сказать какой тип у указателя на функцию

__>А тогда запись int f(int); должна означать не определение, а какое-то действие иного характера, типа декларирование для компилятора. Но ведь в struct{ int f(int); } X; эта же запись означает определение (под указатель на функцию отводится место в памяти, насколько я понимаю). Получается одна и та же запись в разных местах означает различное..


что глобал функция, что метод в памяти находятся единожды
толко при вызове метода ему передаётся this объекта )), чтоб знал с чьими мемберами она работает

то что в структуре описано 100 методов не виртуальных
так это на размер объектов никак не влияет

так что никаких отличий практически)))
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.