C++テンプレートクラスの内部クラスについて

Question

テンプレートクラスについていろいろ試していたところ以下のようなコードで

struct　A　{
　　　　struct　AA　{　};

　　　　operator　A::AA()　{　return　A::AA();　}　//　(1)
};

template<typename　T>
struct　B　{
　　　　struct　BB　{　};

　　　　template<typename　U>
　　　　operator　B()　{　return　B();　}　//　(2)

　　　　template<typename　U>
　　　　operator　typename　B::BB()　{　return　typename　B::BB();　}　//　(3)
};

int　main()
{
　　　　static_cast<A::AA>(A());　//　(1)　ok
　　　　static_cast<B<int>　>(B<short>());　//　(2)　ok
　　　　static_cast<B<int>::BB>(B<short>());　//　(3)　compile　error

　　　　return　0;
}

（1）と（2）はできて（3）だけがコンパイルを通りませんでした。
試したコンパイラはVC9とg++（3.3.4）とbcc32（5.5.1）で、VC9では以下のようなエラーをはきました。
「error C2440: 'static_cast' : 'B<T>' から 'B<T>::BB' に変換できません。
　　　　with　[　T=short　]　and　[　T=int　]
コンストラクタはソース型を持てません、またはコンストラクタのオーバーロードの解決があいまいです。」

（1）と（2）ができれば（3）のようなこともできそうな感じがしたのですが、他に書き方があるのでしょうか。
どなたかご存知の方がいらっしゃいましたらご教示お願いします。

machongola · Accepted Answer

　こんにちは。何度もすんません。　struct BBの中にダミーのenumを置いて、operator U()の中に其れを書けば、B::BB以外のキャストをした時にコンパイルエラーを出させる事が出来ました。　此れにて筆を収めさせて頂きます。 struct B { struct BB{ enum{IsBB = 0}; }; //Bへの変換を受け入れる template operator B(){ return B(); } //(2) //以下でB::BBである事を保障出来る template operator typename U()//(3) { U::IsBB;//UがBBで無い時、ココでコンパイルエラーに出来る return typename U(); } //boolへの変換を受け入れる operator bool() const { return true; } //(4) }; static void test(const B::BB&) {} int main() { static_cast(A());//(1)　ok static_cast >(B());//(2)　ok static_cast::BB>(B());//(3)　ok static_cast::BB>(B());//(3)　ok ::test(B());//(3)　ok ::test(B());//(3)　ok //以下の3つのキャストは認めてはいけない static_cast(B()); //(3)　error static_cast(B()); //(3)　error static_cast(B()); //(3)　error if(B())//(4)　ok { // } return 0; }

Tacosan · Answer

GCC だと「コピーコンストラクタとデフォルトコンストラクタのどっちを使うかわからん」という素敵なエラーなんですよね.... ちょっとこの辺は規格でも探し切れていません.

とりあえず手元の GCC で確認した限りでは
・B::BB に, B<T> を引数にするコンストラクタを作る
・B<T> で B::BB をフレンド宣言する
で逃げられるかもしれない.

machongola · Answer

　こんにちは。御礼頂きました。　其の後、チョッと試したのですが、operator B::BB()とせず、ストレートにoperator U()とすれば適合する様です。　尚(2)(4)(5)が無いと全て(3)が使用されます。要は、operator U()だと何でもかんでも適合してしまいます。　なので、オーバーロードで型の特定を厳密化させて行き、なるべくoperator U()に適合するのを遅延させた方が良さそうです。　後、最後の最後までoperator B::BB()が適合する事はありませんでした。因みにテンプレートx2パラメータを以ってしても不可能でした。　↓コレでも無理　templateclass X, typename U> 　operator typename X::BB() { return typename X::BB(); } //一応出来たので参考程度に template struct B { struct BB{}; template operator B(){ return B(); } //　(2) template operator typename U(){ return typename U(); }//　(3) operator typename B::BB() { return typename B::BB(); }// (4) operator bool() const { return true; } //　(5) }; static void test(const B::BB&) {} int main() { static_cast(A());//(1)　ok static_cast >(B());//(2)　ok static_cast::BB>(B());//(3)　ok static_cast::BB>(B());//(4)　ok ::test(B());//(3)　ok ::test(B());//(4)　ok if(B())//(5)　ok { // } return 0; }

machongola · Answer

こんばんは。　(3)には適合しない見たいです。　BBにBの変換コンストラクタを書けばまかり通るようです。でも、何だか怪しい様な・・・。 template struct B { struct BB { explicit BB(const B& r){} void TestMethod(){ std::cout<< "test method" << std::endl; } }; template operator B(){ return B(); } //　(2) //ココは適合しないらしい //template //operator typename B::BB(){ typename return B::BB(); } //　(3) }; int main() { static_cast(A());//　(1)　ok static_cast >(B());//　(2)　ok static_cast::BB>(B());//　(3)　ok static_cast::BB>(B()).TestMethod();//　(4) ok return 0; }

C++テンプレートクラスの内部クラスについて

こんにちは。

GCC だと「コピーコンストラクタとデフォルトコンストラクタのどっちを使うかわからん」という素敵なエラーなんですよね.... ちょっとこの辺は規格でも探し切れていません.

この回答への補足

こんにちは。

こんばんは。

似たような質問が見つかりました

関連するカテゴリからQ&Aを探す

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング

　こんにちは。

　こんにちは。

　こんばんは。