Доброго здравия, друзья!
Есть два варианта реализации функции compare - см. ниже (прошу не обращать внимания на то, что одна функция сравнения вызывает другую, баян не мой, да и не в этом суть..). Почему обе версии функции будут вполне работоспособны, какова же специфика реализации указателей на void? согласно первого варианта функции могу заключить, что указатель на void фактически есть указатель на указатель на нечто (это нечто будет определено во время выполнения программы), с другой стороны, второй вариант функции противоречит данному сделанному выводу... К сожалению, не нашел для себя ответа в стандарте, подскажите, пожалуйста.

никакой специфики нет. void* это просто указаетль на нетипизированную память.

что противоречит чему не понятно. как ты преобразуешь указатели не важно, важно то что изначально есть текст char*  и  в strcmp попадает тоже char*. все промежуточные преобразования не имеют значения.

Для меня они сейчас имеют значение, т.к. хотелось бы разобраться...
Пусть a - указатель на нетипизированную память, но я точно знаю, что по данному адресу в памяти находится переменная типа char, тогда почему я не могу написать так:

там не находится переменная типа char, там находится переменная типа char*, т.е. строка.

Это сообщение отредактировал(а) Daevaorn - 4.8.2007, 18:23

FiMa1, а почему ты решил, что не можешь так написать? Можно написать и без использования дополнительных переменных:

Этот вопрос в каком-то смысле связан с тем, что так активно обсуждался, в конце апреля: указатель - число, приведением типа ты говоришь, как его следует воспринимать. void здесь особых отличий не имеет. 
Это некоторый оффтоп, но думаю, ты не обидишься: 
Тонкости преобразований проявляются при множественном наследовании. Например, посмотри под отладчиком код:

но получится не тот результат.

Daevaorn, я что-то не понял, почему другой? Я сейчас под отладчиком посмотрел пример:

Разницы не увидел: в функцию strcmp (у меня VS, смотрел файл crt\src\intel\strcmp.asm) в регистр esp передаются в обоих случаях одинаковые числа. В чём отличие?

у автора массив строк.

Да, я невнимательно посмотрел: только на функцию  compare (Я не заметил, что в первом посте код - прокручивающийся список, поэтому main совсем не видел, бывает  )

Ага, логично, спасибо.

Ммм.. ошибка, я так понимаю в получении не ожидаемого результата от преобразования ( py2 0x0012ff58 {y=5 }, py3 0x0012ff58 {y=5 } см. вариант ниже). Вряд ли разберусь почему такие результаты.. Это как-то пересекается с Апрельской темкой? Что за темка, где почитать?


Это сообщение отредактировал(а) FiMa1 - 4.8.2007, 19:47

FiMa1, ну та самая тема, про массивы. Но я, из-за своей невнимательности не полностью прочитал твой этот вопрос, поэтому и неправильно его понял (Кстати, qsort - функция, которая во времена BC3.1 и Windows NT 4.0 разрушила мои представления о мощности NT, подвесив компьютер при эксперименте с неправильной подачей аргументов для неё).
По поводу множественного наследования: когда ты делаешь первые 3 преобразования 

компилятор знает, с какими типами он оперирует, и адреса-числа у px и py разные. А если ты вводишь промежуточный посторонний тип (неважно какой, в примерах и void, и int), то компилятор уже такие преобразования чисел не делает, поэтому результат получается не тот, который можно ожидать

Все понятно. Ln78, Daevaorn, спасибо вам пребольшое!

Было определяющей фразой