C++でdecltype（auto）を使用する変換関数14

Question

class A { 
    public: 
     int num; 
     A (int param) : num(param) {} 
     operator decltype(auto)(){ return num; } 
}; 

class B { 
    public: 
     int num; 
     A objA; 
     B (int param) : num(param), objA(param) {} 
     //operator A()  { return objA; }   // Works    // #1 
     //operator int()  { return objA; }   // Works    // #2 
     //operator char() { return objA; }   // Actually Not Needed // #3 
     //operator double() { return objA; }   // Actually Not Needed // #4 
     operator decltype(auto)(){ return objA; } // Does NOT Work  // #5 
}; 

int main(){ 

    A objA(1); 
    int x1 = int(objA); 
    char y1 = (char) objA; 
    double z1 =  objA; 

    B objB(2); 
    A objA2  = objB; 
    int  x2 = objB; 
    char  y2 = objB; 
    double z2 = objB; 

    return 0; 
} 

このコードはclangでもgccでもコンパイルされないため、正しくないと見なします。しかし、私が行＃5をコメントアウトし、＃1と＃2の行のコメントを外すと、プログラムは両方のコンパイラで正しく動作します（行＃3と＃4は実際には必要ありません）。

私が知る限り、必要な変換シーケンスは両方のシナリオで定義されています。なぜ誰がこのプログラムが正しくないのか分かりますか？私は何が欠けていますか？

Answer 1

implicit conversion sequenceには、1つのユーザー定義変換のみを含めることができます。その後、コードはint x2 = objB;で動作しません。 BはAに変換され、Aはintに変換され、両方ともユーザー定義変換です。

あなたはBでoperator int()を提供する場合Bが直接intに変換される可能性があるため、それが正常に動作します。 （そしてまたintは、標準的な変換によって変換することができたし、charとdoubleで動作します。）

Answer 2

decltype(auto)あなたはを返すしているタイプの（参照やポインタを含む）正確な型を取得します。 class Aの場合、変換演算子はintを返し、class Bの場合はclass Aを返します。

class A { 
    public: 
     int num; 
     A (int param) : num(param) {} 

     template<class T> 
     operator T(){ return static_cast<T>(num); } 
}; 

class B { 
    public: 
     int num; 
     A objA; 
     B (int param) : num(param), objA(param) {} 

     template<class T> 
     operator T (){ return static_cast<T>(objA); } 
}; 

非常に面白そう

Live Demo