то ли лыжи у меня не едут... 
Какое из следующих утверждений неверно?
 - объектов одной иерархии классов может быть много
 - каждый инстанцирован определенным классом из этой иерархии => имеет собственную таблицу методов
 - статическая функция не получает никаких сведений об объектах, иначе она уже не статическая

какого объекта? Как она должна узнать, о каком объекте идет речь?

по-моему, из приведённых мной примеров это вполне ясно.

тебе - да, компилятору нет. 
в нестатические методы класса неявно передается указатель this, в статические он не передается, даже если ты запишешь:

он туда передан не будет, иначе функция не будет статической.

Можно сделать, чтоб было ясно и компилятору.
 

Да какая вообще разница, передаётся указатель в функцию или не передаётся? :

дык а как иначе определить, чем наш объект инстанцирован? 
блин, какой объект... те какой именно метод вызывать - для этого нужна таблица методов, она привязана к объекту, притом: 



Это сообщение отредактировал(а) zkv - 24.8.2007, 00:13

Определение того, какую именно функцию нужно вызывать, происходит до вызова нужной функции (логично, не правда ли?)

Это сообщение отредактировал(а) UnrealMan - 24.8.2007, 00:14

не понял ничего, ну да ладно.

UnrealMan, когда ты добьешься того чтобы:

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

Если вдруг к С++ прикруить хороший рефлекшен и перевести его в разряд динамических языков, то все классы можно рассматривать самих  как объекты с определенными свойствами. тогда статические методы можно считать простыми методами класса, где под this можно понимать сам инстанс класса(не путать с объектом).Тогда идея виртуальных статических методов преобретает разумный вид, но как уже сказал выше zkv есть много проблем. так что это всё сказки и не нужно в С++.

Применение прямое: виртуальный конструктор(паттерн такой).

zkv, чё ты проблему раздуваешь на пустом месте.
Возьмём обыкновенные виртуальные ф-ции.
Когда их вызывают так:

То происходит вычисление адреса необходимой ф-ции(в зависимости от динамического типа объекта).
Когда же их вызывают так:

То никакого вычисления не происходит и ф-ция вызывается вполне определённая на этапе компиляции(на основе статического типа объекта).

Компилятору всё ясно в данном случае? Отлично, продолжим...

Аналогично для статических виртуальных ф-ций.
Когда вызывают так:

То вызывается конкретная ф-ция, известная на этапе компиляции.
Когда вызывают так:

То на основе динамического типа объекта вызывается необходимая ф-ция.


Замечу, что такое нововведение даже не является breaking changes и может быть совершенно безболезненно включено в Стандарт. Думаю, там понадобится изменить только лишь пару строчек .

Добавлено через 4 минуты и 35 секунд

Нет, ты получишь обыкновенный статический метод, который можно будет точно так же, как и раньше вызывать без объекта, но если у тебя есть объект и ты хочешь произвести виртуальный вызов, то почему бы не дать возможность сделать это? Ну разрастётся немного таблица виртуальных ф-ций... ну не страшно.

а ни чё   
хотел более или менее аргументированный ответ получить, а не просто "А вот..."

Думаю над твоим ответом:

пока не понимаю, чем в этом случае может не удовлетворить нестатический метод. 
Нельзя будет вызвать без создания объекта. Виртуальный конструктор говоришь? Посмотрим.
Продолжаю размышлять...

Главное и ИМХО единственное применение. Впрочем стоящее. Кстати, прикол в том, что в Дельфи это есть  И виртуальные конструкторы есть в чистом виде. И виртуальные статические методы (называемые класс-методами).

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

Может я ошибаюсь, но, по-моему, статический виртуальные функции и виртуальные конструкторы не сложно реализовать (синтаксис только для виртуальных конструкторов надо придумать  ). Тем более, в принципе, последние заменимы первым, правда идеологически не идеально выглядит  А вот реализация шаблонов посложней будет... ИМХО, правда.