Fantasist
В стиле С все понятно и прозрачно до слез...
Про ++

Цитата

(reinterpret_cast<A*>©)->F1();

это в стандарте С++? Просто спрашиваю. Догадаться можно, но не очевидно, впочем, это относится исключительно ко мне!
Про размер указателя.
В Ветхом Завете (а я и есть ветхозаветник) Керниган и Ричи писано, что для определения размера есть sizeof(). В Новом(читай Страуструп) я не помню НИЧЕГО отрицающего Ветхий. Ни в том ни в другом я не помню ни слова про отладчики, а по сему все разговоры про размер указателя определенный отладчиком считаю ЕРЕСЬЮ!!! Для особо еретичных рекомендую вместо сожжения на костре выполнить:

Код

void main(void){  void *p1;  typedef struct s1{  // структура по Новому Завету тоже КЛАСС    int i1;    int i2;  }s_t;  s_t *p2;  p1 = malloc(sizeof(s_t)); /* malloc returns void * */  p2 = (s_t *)p1;  ((s_t *)p1)->i1 = 1; /* инициализируем через void * */  ((s_t *)p1)->i2 = 2;  printf (" size p1 = %d, size p2 = %d, i1 = %d, i2 = %d ",              sizeof(p1),      sizeof(p2), p2-i1, p2->i2/* читаем через родной */);  free(p1); }

Что же может быть красивее старого доброго С...однострочный комментарий // из ++

Цитата

Про ++ (reinterpret_cast<A*>©)->F1(); это в стандарте С++?

Ага. У нас что, в FAQ ничего про это нету? Такие приведения в новом стиле были введены по нескольким причинам. Одна из них - удобочитаемость. То есть такое преобразование легко найти в тексте, и более понятно, что этим преобразованием ты хотел добиться. То есть:

reinterpret_cast - преобразование чего угодно к чему угодно. Хорошим стилем считается, чтобы
преобразований подобного рода было в коде поменьше.

static_cast - преобразование по правилам приведения. То с помощью тех преобразований, которые
определенны в языке, или оперделены пользователем. Но тут я гарантировать за
правильность объяснения не поручусь

dynamic_cast -
преобразование для приведения указателей на пользовательские типы (классы, структуры), с использованием Run-Time Type Information (если оно поддерживается компилятором). Класс к указателю на который приводиться какой-то указатель должны содержать как минимум один виртуальный метод, так как предполагается, что RTTI храниться в таблице виртуальных методов. То есть для: dynamic_cast<A*>(b) class A* должен содержать виртуальный метод (b, cоответсвенно, тоже указатель).

const_cast - используется исключительно для снятия атрибута const и volatile, и больше ни для чего другого.


Это сообщение отредактировал(а) Fantasist - 19.2.2003, 02:29

Цитата

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

Китайский язык тоже был разработан, причем, во множестве вариантов, весьма далеких один от другого, с целью удобочитаемости. Как показала практика, удобочитаемым он оказался только для китайцев. К тому же, вышеупомянутый язык легко обнаруживается в любом тексте. К сожалению, опять же, только китайскочитающими специалистами. И, соершенно очевидно, чего хотели добиться создатели китайского языка - чтобы в дальнейшем, миллиардное население решало демаграфические проблемы посредством языкознания.
Теперь серьезно. Раз сделали, значит так должно быть лучше, но к этому тоже нужно время чтобы привыкнуть. Вот тогда, действительно станет и проще и понятнее и удобочитаемей. Имея привычку к классическому С, нахожу его и удобным, и легко находимым, и понятным, и удобочитаемым. Т.е я, по-видимому, говорю на древне-китайском

Это сообщение отредактировал(а) brb - 19.2.2003, 06:50

Цитата

Имея привычку к классическому С, нахожу его и удобным, и легко находимым, и понятным, и удобочитаемым. Т.е я, по-видимому, говорю на древне-китайском

К сожалению классический С не поддерживает парадигмы ООП, которые вызвали, например, появление такого оператора dynamic_cast. А необходимость поддержки написания безопасного и повторно используемого года привели к тому, что С++ по сравнению с С стал языком более строгим и типизированным языком. Поэтому сейчас будет ошибочным считать, что С++ -это всего лишь С с классами (как это было на заре появления С++) . Это совсем другой язык и дальнейшее развитие его продолжается. Тут недавно проскользнула информация, что Borland и Microsoft предоставили в комитет по стандартизации свои варианты по организации поддержки в С++ компонентной модели.

Цитата

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

А вот это уже довод! С безусловно имеет гораздо больше степеней свободы, впочем для того и было сделано и именно поэтому я так и не подружился с Паскалем.
Vyacheslav, Вы меня убедили.

А я в свое время вынужден перейти с Паскаля (того самого первоначального от Вирта) на С, когда понял, что у меня больше времени уходило на разработку приемов по обману компилятора, чем на саму задачу (автоматизация экспериментов: ДВК, RT-11SJ). Первое впечатление от С после Паскаля - это чувство полной свободы.

И не кажется ли Вам, что ++ эту свободу отбирает?
А я перешел на С с Ассемблера. Теперь, я бы назвал С АСМ++

Это сообщение отредактировал(а) brb - 20.2.2003, 23:41

Цитата

Nastya Вы доказали, что С и С++ "родственники"  QUOTE  А если классы не "родственники", то перенаправить указатель тоже не удасться (компилятор не позволит, читай Строуструпа - можно привести поинтер только к базовому типу, то есть к родительскому классу).  Товарищ sergeeff не понимает?

Тип то привести можно, так вы мне что предлагаете по всей программе таскать каким то образом type_cast приведение в левой части? На фиг такое использование указателя на класс.
Вся идея и состоит в том, чтобы где-то в начале определится (программно) указателем на какой класс является текущий указатель и далее безболезненно пользоваться вызовом типа C->F1(...).

Насчет размера указателя на класс - под Wintel это действительно пока что 4 байта ,ну а когда у нас у каждого на столе появится Itanium с соответствующей операционной системой - тогда дальше подисскутируем про его размеры (а пока считайте, что уели).

Глубокоуважаемый, товарищ sergeeff!

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

Цитата

по всей программе таскать, каким-то образом, type_cast приведение в левой части

НЕ ПОНАДОБИЛОСЬ.
А указатель он и в Африке указатель, несмотря на что он указывает, его sizeof() от этого не меняется.