Почему стандарт C++ не гарантирует, что в void* поместится указатель на функцию?

А ссылку можешь дать где это сказанно?

Что такое "нынешняя архитектура"? Это что-то сферическое?

> в нынешней архитектуре

с чего ты взял что стандарты пишутся для той архитектуры которая для тебя нынешняя?

> Что такое "нынешняя архитектура"?

Много извиняюсь, имеется в виду x86 -- то, что шуршит на большинстве домашних и мелкофирменных компьютерах. Про то, откуда упёр это заявление -- счас посмотрю. Если успею.

Потому что указатель на виртуальную функцию будет посложнее указателя на «обычную» функцию.

в Си тоже нельзя указатели на ф-цию хранить в void*

A pointer to any incomplete or object type may be converted to a pointer to void and back again; the result shall compare equal to the original pointer.

> имеется в виду x86
Пока что стандартом плюсов рулят люди, достаточно адекватные для того, чтобы сохранять стандарт кросс-платформенным. При всей нелюбви к плюсам...

в Си можно хранить указатели на ф-цию в void*:

J.5.7 Function pointer casts

1 A pointer to an object or to void may be cast to a pointer to a function, allowing data to
be invoked as a function (6.5.4).
2 A pointer to a function may be cast to a pointer to an object or to void, allowing a
function to be inspected or modified (for example, by a debugger) (6.5.4).

>Потому что указатель на виртуальную функцию будет посложнее указателя на «обычную» функцию.

Указателей на виртуальные функции в С++ вообще нет. Есть "указатель на метод".

PS: А что вообще за проблема? Применяй reinterpret_cast если нужно.

Всем спасибо за наводящие ответы/вопросы. Буду дальше учиться. :-)

dilmah, ты привёл цитату где сказано с точностью наоборот :)

то есть "A pointer to any incomplete or object type" включает в себя указатель на функцию? Что-то мне это неубедительно. тут юрист нужен.

разве указатели, по крайней мере в C, имеют разную длину для разных типов данных? Вроде, одинаковыми должны быть...

в этом пункте указатели на функции даже не рассматриваются ;) Правильный пример я привёл.

ну то что ты привел -- это вообще не тело стандарта, а informative annex..

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