メンバ変数へのポリモーフィックポインタ

Question

メンバ変数へのポインタを多態的に使用しようとしています。

この作品：

struct Foo 
{ 
    int member0; 
    int member1; 

    int* getMember(int i) 
    { 
    static int Foo::* table[2] = { &Foo::member0, &Foo::member1 }; 
    return &(this->*table[i]); 
    } 
}; 

メンバーが同じタイプ（BaseClassの）ではないので、これはない：

struct Foo 
{ 
    SubClassA member0; 
    SubClassB member1; 

    BaseClass* getMember(int i) 
    { 
    static BaseClass Foo::* table[2] = { &Foo::member0, &Foo::member1 }; 
    return &(this->*table[i]); 
    } 
}; 

グラム++によって報告されたエラーがある：

[...] invalid conversion from 'SubClassA Foo::*' to 'BaseClass Foo::*' 
[...] invalid conversion from 'SubClassB Foo::*' to 'BaseClass Foo::*' 

この作業を行う方法はありますか？つまり、基本クラスへのメンバーポインタを "アップキャスト"する方法はありますか？

Answer 1

これはできません。複数の継承のため、ベースアドレスは必ずしも派生アドレスと同じではありません。あなたは、あるものを他のものに変換するためにいくつかの隠しアドレス調整魔法が必要であり、非常に単純なオブジェクト（基本的に整数オフセット）であるメンバへのポインタはこの魔法に対応できません。

アドレス調整が必要な場合があり、必要でない場合は、原則としてメンバーへの多態ポインタを許可することができます。しかし、これは単純さと一貫性のために行われていません。

ポインタへのポインタの代わりに、Foo *を受け入れてBaseClass *を返す関数（または関数のようなオブジェクト）へのポインタを使用できます。あなたは、しかし、各メンバーのための別の機能を作る必要があります。

Answer 2

簡単な方法は、メンバーのデータポインタをすべてスキップすることです。堅牢性については

getMember(int i) { 
    BaseClass* ptr[2] = { &member0, &member1 }; 
    return ptr[i]; 
} 

Answer 3

BaseClass* getMember(const int i) 
{ 
    switch(i) 
    { 
    case 0: return &member0; 
    case 1: return &member1; 
    default: throw <exception>; 
    } 
} 

あなたはi範囲または0と1の範囲内であれば、とにかくチェックしなければなりません。この単純化されたアプローチについて考えることができます。