Преобразование типов.

[xe3]

Извиняюсь, жара... Опять напутал... Я имел ввиду что функции определениы так:

void f1(MyStruct* p)
{
}

void f2(const MyStruct* p)
{
}

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

typedef struct tagMyStruc
{
/// blabla
}MyStruct, *pMyStruct;

class MyClass: public MyStruct
{
public:
    operator pMyStruct();
    operator const pMyStruct() const;
};


MyClass* p1=NULL;
const MyClass* p2=NULL;

void f1(MyStruct* p)
{
}

void f2(const MyStruct* p)
{
}

void test()
{
    // работают операторы приведения по умолчанию
    f1(p1); 
    f2(p2); 
    // работают мои операторы
    f1(*p1); 
    f2(*p2); 
}

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

Еще раз спасибо, но может вернусь уже с более усложненным вариантом. )))

[xe3]

О! Вот теперь, надеюсь, все рафинировано:

typedef struct tagMyStruc
{
/// blabla
}MyStruct, *pMyStruct;

class MyClass: public MyStruct
{
};


MyClass* p1=NULL;
const MyClass* p2=NULL;

void f1(pMyStruct p)
{
}

void f2(const pMyStruct p)
{
}

void test()
{
    f1(p1); // OK
    f2(p2); //error C2664: 'f2' : cannot convert parameter 1 from 'const MyClass *' to 'const pMyStruct'
}

вот она, моя проблема!

[Пепел Феникса]

// работают операторы приведения по умолчанию

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

в вашем случае:

MyClass b;
MyStruct* t=&b;

вполне будет работать итак.

[xe3]

А вот если функцию f2 переписать так:

void f2(const MyStruct* p)
{
}

то все компилируется. Баг М$?

[Пепел Феникса]

типизация псевдонимов указателей не распространяется на предков.

вообще, я бы отходил от С-шного стиля(точнее даже АПИшного), когда на один тип по тысяче псевдонимов.
и не ленился писать *.

Баг М$?

нет.
не смешивайте ООП с псевдонимами на указатели типов.

[xe3]

Сообщение от Пепел Феникса

типизация псевдонимов указателей не распространяется на предков.

А почему с f1 прокатило?!

[Пепел Феникса]

в первом случае полное соответствие псевдониму идет.
полагаю лишь это.

мой совет я вам дал, следовать ему, или идти на пути С в плюсах, решать вам.

[xe3]

И что-же получается удобнее так:

typedef struct tagMyStruc
{
/// blabla
}MyStruct;

#define pMyStruct MyStruct*

чем так

typedef struct tagMyStruc
{
/// blabla
}MyStruct, *pMyStruct;

?!

[Пепел Феникса]

лучше не ленится писать * в объявлении функций.

void f1(MyStruct *p)
{
}

void f2(const MyStruct *p)
{
}

то есть так

[xe3]

Да, и огромное спасибо!!!