• ベストアンサー

C++にてtemplateで受け取った任意の型の変数が何型であるかを判定したい

環境：VisualStudio2005, WinXP 以下のようなことは可能でしょうか？ ・ある型の変数をそれが何型であるかを判定→例えばintとかcharとかchar *とか 概念としてはこんな感じです。 template<class Type> void func( Type a ) { 　　// 型を判定 　　switch( GetTypeChack(a) ){ 　　case BOOL: 　　case INT: 　　case CHAR: 　　case FLOAT: 　　　　・ 　　　　・ 　　} }

noname#88356
noname#88356

質問者が選んだベストアンサー

  • ベストアンサー
  • jacta
  • ベストアンサー率26% (845/3158)
回答No.3

if (typeid(Type) == typeid(int)) 　... のようにすれば実現はできますが、このような型スイッチは最悪の設計です。 ある程度共通部分があるからテンプレートにしているのであれば、型によって処理を変えるべきところだけを別の関数にするなりすれば済むことです。 template <class Type> void func(Type a) { 　... 　sub(a); 　... } void sub(int a); void sub(char a); ...

noname#88356
質問者

お礼

ありがとうございます。とても勉強になりました。

その他の回答 (2)

  • koko_u_
  • ベストアンサー率18% (459/2509)
回答No.2

typeid() って標準だっけ？

noname#88356
質問者

お礼

あっ！そういえばそれがありましたね。忘れてました。。

  • koko_u_
  • ベストアンサー率18% (459/2509)
回答No.1

template の意味ないんじゃ？関数オーバーロードで void func(bool a) {} void func(char a) {} ... を用意すれば済む話でないの？

noname#88356
質問者

お礼

なるほど！その手がありましたか。確かにそうですね。 しかし同じことを何度も書きたくないこともあるので聞いておきたいのですが、 型の判定というのをオーバーロード以外の方法でやったりするのは可能なのでしょうか？ ※どうでもいい補足ですがGetTypeChackはGetTypeCheckの打ち間違いです。。

  1. カテゴリ
  2. [技術者向] コンピューター
  3. プログラミング・開発
  4. C・C++・C#

関連するQ&A

  • テンプレート引数の型推測

    コンパイラはVC++2008です。 いろいろあって、あるクラスにおいて関数ポインタと関数オブジェクト双方を 同じように利用できないかと考えて、次のように試みました。 class Base { public: 　　　　virtual void func() =0; }; template<class Func> class CFunc :public Base { private: 　　　　Func m_func; public: 　　　　CThreadFunc(Func func):m_func(func){} 　　　　void func(){m_func();} }; class Hoge { private: 　　　　Base* base; public: 　　　　template<class Func> 　　　　Hoge(Func func) 　　　　　　:base(new CFunc<Func>(func)) 　　　　{} 　　　　~Hoge() 　　　　{ 　　　　　　delete base; 　　　　} 　　　　void DoSomething() 　　　　{ 　　　　　　base->func(); 　　　　} }; クラスをテンプレートにするといちいち指定しなければならないので、 まず基底クラスに適当な仮想関数を設け、それを継承したクラスをテンプレートにしました。 そしてコンストラクタの引数で何かしらを受け取って、オーバーライドした関数の中で 関数ポインタか関数オブジェクトだと仮定して呼び出しています。 さらに基底クラスのポインタを目的のクラスが保持してやり、 こちらはコンストラクタをテンプレートにすることで引数から型を推測してもらうことで 先ほどのテンプレートクラスのインスタンスを作成しています。 そしてポインタを介してfunc()を使ったり…、などすれば、 とりあえず引数なしの関数と関数オブジェクトを同等に扱えないかなと思ったからです。 で、このようなクラスを作成してコンパイルすると、 void func();　//何かしら処理する関数 class Function { public: 　　void operator ()();　　//何かしら処理する関数オブジェクト }; があったとして、 int main() { 　　Function function; 　　Hoge hoge(function);　//いったん作ってから渡す 　　Hoge hoge2(func);　//関数を渡す 　 　　hoge.DoSomething(); 　　hoge2.DoSomething(); 　　 } は動きました。しかし、 int main() { 　　Hoge hoge(Function());　//引数を初期化する } とすると次のようなエラーが出ます。 warning C4930: 'Hoge hoge(Function(__cdecl *)(void))': プロトタイプされている関数が呼び出されませんでした (変数の定義が意図されていますか?) また、 int main() { 　　Hoge hoge(Function());　//引数を初期化する 　　hoge.DoSomething();　　//クラスにアクセス } とすると次のようなほかのエラーが出ます。 error C2228: '.DoSomething' の左側はクラス、構造体、共用体でなければなりません。 しかし、例えば関数オブジェクトのコンストラクタに引数が設定されていたとして、 class Function { public: 　　Function(int dummy);　　//何か値を受け取る 　　void operator ()();　　//何かしら処理する関数オブジェクト }; となっていた時、 int main() { 　　Hoge hoge(Function(1));　//引数を初期化する 　　hoge.DoSomething();　　//クラスにアクセス } の呼び出しは正常にコンパイルされ、想定通りの動きをします。 全く使わなくても、一つ以上の適当な引数を何でもいいからコンストラクタが持てば、 普通にコンパイルされるみたいです。ただ、デフォルト引数を与えてHoge hoge(Function())と 同じ形ですと引数があってもできないみたいです。 まったく通らないなら最初からあきらめるですが、中途半端にちゃんと動くために エラーの原因を知りたいと思っています。 テンプレートの場合には、引数に渡すタイミングで初期化はしてはいけないのでしょうか？

  • テンプレート引数の型を実行時に知りたいのですが・・・

    下記の関数 Func() の if 文の部分はどのように書いたらよいのでしょうか？ どうぞよろしくお願いします。 template <class T> class TTest { ... T Min(); ... }; ... template <class T> T TTest<T>::Func() { ... if( Tが int なら ) { } else if( Tが float なら ) { } else if( Tが double なら ) { } ... }

  • templateにの指定に従ったswitch

    以下のような感じで、template TTの種類によって処理を変えたいのですがうまくいきません。 どの様にすればいいのでしょうか? 宜しくお願いします。 template<class TT> void vector3<TT>::GetMemberList(char *str,const int bufsize,char *format=0){ 　int i,j; 　if(!format){ 　　switch(TT){ 　　　case int: 　　　　format=new char("%d"); 　　　　break; 　　　case double: 　　　　format=new char("%lf"); 　　　　break; 　　} 　} }

  • C++の関数テンプレートで分からないところがあります。

    C++の関数テンプレートで分からないところがあります。 C++の入門書を読んで勉強しているのですが、その演習問題（答えはついてないです）で、以下のような問題がありました。 ----------------------------------------------------- 配列の全要素の最小値を求める関数テンプレートを作成せよ。 teplate <class Type> Type minof(const Type x[], int n); という形で作ること。 なお、最も小さい文字列を求められるようにするために、const char *型に明示的に特殊化したものも合わせて作成すること。 ------------------------------------------------ という問題なのですが、これにたいして僕は以下のように答えました。ヘッダのインクルードなどは省きます。 template<class Type> Type minof(const Type x[], const int n) { 　　　　int min = 0; 　　　　for(int i = 1; i < n; i++) 　　　　　　　　if(x[min] < x[i]) 　　　　　　　　　　　　min = i; 　　　　return x[min]; } template<> const char* minof<const char *>(const char x[][64], const int n) { 　　　　int min = 0; 　　　　for(int i = 1; i < n; i++) 　　　　　　　　if(strcmp(x[min], x[i]) < 0) 　　　　　　　　　　　　min = i; 　　　　return x[min]; } int main() { 　　　　const int n = 5; 　　　　int a[n]; 　　　　char s[n][64]; 　　　　for(int i = 0; i < n; i++){ 　　　　　　　　cout << i + 1 << "番目---"; 　　　　　　　　cin >> a[i]; 　　　　} 　　　　cout << "文字列\n"; 　　　　for(int i = 0; i < n; i++){ 　　　　　　　　cout << i + 1 << "番目---"; 　　　　　　　　cin >> s[i]; 　　　　} 　　　　cout << "整数の最小値---" << minof(a, n) << "です\n"; 　　　　cout << "文字列の最小値---" << minof<const char *>(s, n) << "です\n"; } これをコンパイルすると、エラーで 明示的な特殊化; 'const char *minof<const char*>(const char [][64],const int)' は関数テンプレートの特殊化ではありません と 'minof' : 1 番目の引数を 'char [5][64]' から 'const char *const []' に変換できません。 とでてしまいます。 色々探してみたのですが、解決できませんでした・・。 特に最初のほうのエラーがよくわかりません。ちゃんと特殊化してる気はするのですが・・。 間違っている箇所の正当を載せていただけるとわかりやすくて、ありがたいです。 よろしくお願いします！

  • templateクラスについて

    先ほど以下のようなプログラムを書いたのですがコンパイルを通すことができません。 //適当なポインタを保持するだけのクラス template <class _type> class hoge { private: 　　//適当に変数を保持 　　_type val; public: 　　//コンストラクタで適当に値をセット 　　hoge() : val( 0 ){} 　　//このクラスから唯一ポインタを引っ張ってくる方法 　　friend _type getVal( const hoge& foo ) 　　{ 　　　　// そのまま返す 　　　　return foo.val; 　　} }; void func( const hoge<int>& foo ) { 　　//値を引き出す 　　getVal( foo ); } void main() { 　　//実体化 　　hoge<int> foo; 　　//値を引き出す 　　getVal( foo ); 　　//関数の先で値を引き出す 　　func( foo ); } 上記のようなプログラムを書いたのですが、main関数内でgetValを呼び出す場合はとくに問題ないのですがfunc関数を呼び出してfunc関数内でgetValを呼び出すと error C3861: 'getVal': 識別子が見つかりませんでした error C2365: 'getVal' : 再定義; 以前の定義は '以前は不明な識別子' でした。 コンパイルされたクラスの テンプレート のインスタンス化 'hoge<_type>' の参照を確認してください というエラーが出てしまいます。 func関数の引数を( const hoge<int>& foo )からvoid func( hoge<int> foo )のように参照渡しから実体渡しに変更するとコンパイルが通り、実行もできるのですが、なぜこれでコンパイルが通るのか理由がいまいちよくわかりません。 またやはり、コンストラクタ、デストラクタの問題などから実体渡しより、参照渡しを使いたいのですがどのようにプログラムを書けば今回の問題を解決できますでしょうか。 よろしくおねがいします。 /* VisualStudio2005 AcademicEdition MicroSoft WindowsXP Professional 32bit */

  • メンバ関数ポインタを値とするコンテナの定義方法

    こんにちは、boundaryといいます。 あるクラスのメンバ関数のポインタをmapで管理したいので すが、定義でエラーになってしまいます。 class CFunc { private: bool FuncA(); bool FuncB(); }; このようなクラスに対して、 template <class T> class FuncMap { private: typedef bool (T::*Func)(); typedef map<int, T::Func> _FuncMap; _FuncMap FMap; public: void set(int, T::Func); T::Func search(int); }; を用意しました。 template <class T> void FuncMap<T>::set(int i, T::Func pFunc) { FMap.insert(pair<int , T::Func>(i ,pFunc)); } template <class T> T::Func FuncMap<T>::search(int i) { map<T::Func, int>::iterator FuncMapIte; FuncMapIte = FMap.find(i); return T::Func; } と書いたのですが、 error C2244: 'FuncMap<T>::set' : 関数のオーバーロードが解決できません。 error C2954: テンプレートの定義はネストできません。 error C2244: 'FuncMap<T>::search' : 関数のオーバーロードが解決できません。 との事です。 色々試行錯誤したのですが、うまくいきません。 定義のどこがいけないのでしょうか？ よろしくお願いします。 VC6.0SP5 WINDOWS2000です。

  • テンプレート内で型判別

    テンプレートTが void f(T data){ 　if(data == "int"){ 　}else{ 　} } このように有るのですが、このf()の中で自分が呼ばれた時の型を判別して処理を分けたいです。 f()の中に何を書いてもf()以外を変更しないなら無理なんでしょうか？ テンプレートを無しにしても型判別の方法さえ分かりません。

  • グローバル変数について

    ◎１--------------------------------- #include<stdio.h> void func(void); int glb; int main(void) { int a=20; glb=30; printf("main a=%d glb=%d\n",a,glb); func(); return 0; } void func(void) { int b=88; printf("func b=%d glb=%d\n",b,glb); } ------------------------------------- ◎１の実行結果----------------------- main a=20 glb=30 func b=88 glb=30 ------------------------------------- ◎２--------------------------------- #include<stdio.h> void func(void); int glb; int main(void) { int a=20; func(); printf("main a=%d glb=%d\n",a,glb); return 0; } void func(void) { int b=88; int glb=30; printf("func b=%d glb=%d\n",b,glb); } ------------------------------------- ◎２の実行結果----------------------- func b=88 glb=30 main a=20 glb=0 ------------------------------------- 以上2つのプログラムで、◎１は参考書を参考に作成したものです。 ◎１のプログラムで、グローバル変数glbの値をmain( )関数内で設定していたので、次に◎２のようにfunc( )という関数プロトタイプ内で、グローバル変数glbの値を設定し、main( )関数内のprintf文でも表示させようと思ったら、「glb=0」となってしまいました。 なぜこのようになってしまうか、教えてもらえたら嬉しいです。

  • C#　ref引数のnull判定

    C#　ref引数のnull判定 こんにちは。 以下のような関数なのですが、 void func(ref uint arg) { ・・・・・ } argがnullかどうかを判断するにはどうすればよいのでしょうか？ プラグインを作成していまして、funcは既存のインターフェースの実装なのですが、呼び出し側でargにnullを入れるケースがあり、判断する方法がわからすに困っています。 試しに if( arg != null ) { .... } としてみましたが、「型'uint'の値が型'uint?'の'null'に等しくなることはないので、式の結果は常に'true'になります。」 というwarningが出てしまい、判定できませんでした。

  • C#でクラス継承について

    下記のようなコードは、可能なのでしょうか？ // クラス定義 abstract class Base { int a; Public int A { get{ return a; } } } class Sub1 : Base { int b; public int B { set { b = value; } } }; class Sub2 : Base { // 中略 } static class Program { [STAThread] static void Main(string [] args) { Base aaa = new Sub1(); Base bbb = new Sub2(); func(aaa); // ここでCS1502, CS1503 func(bbb); // ここでCS1502, CS1503 } void func(Sub1 _aaa) { // 中略 } void func(Sub2 _bbb) { // 中略 } } コメントに書いたとおり、CS1502（引数が合わない）が出ます。 func((Sub1)aaa); の様にキャストしないと、動作させることは難しいでしょうか？ ※ 実際のコードでは、func(aaa), func(bbb)の呼び出し部分をループでまわしたいと考えています。

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する