1001コメント388KB

【C++】template 統合スレ -- STL/Boost/Loki, etc.

■ このスレッドは過去ログ倉庫に格納されています

0001デフォルトの名無しさん

NGNG

C++ のジェネリックプログラミングの話をしましょう。
以下のスレッドを統合するスレです。

STLスレッド
Part1 http://pc.2ch.net/tech/kako/1004/10042/1004287394.html
Part2 http://pc3.2ch.net/test/read.cgi/tech/1026793823/

【C++】Boost使い集まれ！
http://pc3.2ch.net/test/read.cgi/tech/1033830935/

Generic Programming with C++ Template
http://pc.2ch.net/tech/kako/1008/10085/1008593126.html

関連スレ、その他リンクは >>2-5 あたりに。

006460

NGNG

あとね
auto_ptr<D> d;
auto_ptr b0(d); // OK
auto_ptr b1 = d; // NG
なのよ。

auto_ptr b2(auto_ptr<D>());
はfunction declarationになっちゃうからいいんだけど。

0065デフォルトの名無しさん

NGNG

>>64
それは、std::auto_ptrのコンストラクタがexplicit宣言されている事と
関係があると思う。

0066デフォルトの名無しさん

NGNG

つまり、

auto_ptr b0(d); // OK

の時はコンストラクタを呼び出してくれるけど、

auto_ptr b1 = d; // NG

の時はコピーコンストラクタが呼び出されてしまい、それが
buggyなのでエラーになるかと。違うかもしれんけど。

0067デフォルトの名無しさん

NGNG

いろいろ調べてみたら、std::auto_ptrには

template class<T>
operator std::auto_ptr<T>()

という変換演算子があるらしい。この格好がコピーコンストラクタと
酷似しているため、コンパイラが混乱してしまうようだ。

だから明示的にコピーコンストラクタを呼び出してやればいいと思う。

0068デフォルトの名無しさん

NGNG

最初の

#include <memory>

class B {};
class D : public B {};

std::auto_ptr f()
{
std::auto_ptr<D> p;
return p;
}

に戻ってみると、return p; の時点で、
std::auto_ptr<D>をstd::auto_ptrにコピーするコピーコンストラクタを
呼び出すか、std::auto_ptr<D>をstd::auto_ptrに変換する変換演算子
を呼び出すか曖昧だからエラーが出たようだ。

0069デフォルトの名無しさん

NGNG

そうすると、
return std::auto_ptr(p);は、コピーコンストラクタなのか、それとも
変換演算子なのか？誰か教えてください。

0070デフォルトの名無しさん

NGNG

さらに深く調べると、
return std::auto_ptr(p); もエラーになるのは、これもコピーコンストラクタか
変換演算子なのか曖昧だという事がわかった。

エラーを回避するには、
std::auto_ptr f()
{
std::auto_ptr<D> p;
return std::auto_ptr(std::auto_ptr<D>(p));
}

のように書かなければいけないようだ。この場合コンパイル出力をアセンブリ出力
で見てみると、コピーコンストラクタを呼び出した後変換演算子が呼び出されていた。

007160

NGNG

>>65-70
えらい!

しかし、もーtemplateの話じゃないねぇ。

http://gcc.gnu.org/ml/gcc-help/2001-07/msg00137.html
同じ話ハケーン

http://www.kuzbass.ru/docs/isocpp/decl.html
8.5.14の最後の方の段落で説明されているようだ。

0072デフォルトの名無しさん

NGNG

>>71
ちょっと違うかもしれないが、だいたいこれと同じような現象が起こって
いるようです。

class B;

class A {
public:
A() {}
A(B*) {}
A(B&) {}
};
class B {
public:
operator A() { return A(this); }
};

int main()
{
A a;
B b;
a = b;
}

0073デフォルトの名無しさん

NGNG

関数も付け加えてみました。スレ違いにてここまで。

class B;

class A {
public:
A() {}
A(B*) {}
A(B&) {}
};
class B {
public:
operator A() { return A(this); }
};

A f(B& b)
{
return b;
}

int main()
{
A a;
B b;
a = b;
f();
}

0074デフォルトの名無しさん

NGNG

あっ、f()でなくてf(b)です。

007512

NGNG

>>70
return std::auto_ptr(p);
これはエラーにならずに通るぞ。
>>69
こういうのは、「変換コンストラクタ」とか言うんじゃないの？
ちなみに、 std::auto_ptr に「コピーコンストラクタ」は無いと言える、よね？

0076デフォルトの名無しさん

NGNG

std::vector<std::string> str;
と宣言して
str.push_back(buf);　（bufはchar型の文字列）
という感じで値をつめていくと「識別子が '255' 文字に切り捨てられました」
とコンパイラの警告が出ます。char型の文字列をどんどん追加していきたいのですが、
正しい値の代入の仕方があれば教えてください。

0077デフォルトの名無しさん

NGNG

>>76
それは文字列が切りつめられたんじゃなくて、
templateを展開した型の実名が長すぎるから切りつめられただけ

0078デフォルトの名無しさん

NGNG

>>76
VC++6.0の仕様
あきらめれ

0079デフォルトの名無しさん

NGNG

#pragma warning(disable:4503)
#pragma warning(disable:4786)
で黙らせる。

0080デフォルトの名無しさん

NGNG

俺ら最強!YO!

0081デフォルトの名無しさん

NGNG

>>65-74
おつかれさま。
ﾁｮﾋﾟｰﾘチミを好きになりますた。

0082デフォルトの名無しさん

NGNG

auto_ptrは解決したようなので．．．

何度も出てる質問だと思うけど、boost仕事で使ってる？
ｵﾚんところは小さい会社だし、仕事がR&D的だし、
わがままは通るから勝手に使っちゃってるけど。
templateやSTLでさえも使えない会社って多いんでしょ？
（ならC++なんか使うなって感じだけどな。）

0083デフォルトの名無しさん

NGNG

ここのスレの人はgcc使ってるの？
環境がwindowsだとmingw？

0084デフォルトの名無しさん

NGNG

>>83
ワシはBCB6れす。boost::lambda使いたいよ～。
cygwin-bccはまだ2.95だよね？

0085デフォルトの名無しさん

NGNG

オレは g++ 3.2 を使って開発してから vc++ に移植、ってパターンが
多いかな。もちろん boost のスマートポインタが無いと仕事になりません。
次期vc++は、boost も loki もちゃんと通るらしい（というか、コンパイル済み
オブジェクトが添付されるらしい）ので楽しみ。↓参照。
http://www.zdnet.co.jp/enterprise/0211/11/n20.html

0086デフォルトの名無しさん

NGNG

SDKのコンパイラも新しくなるのかな？

0087デフォルトの名無しさん

NGNG

51>>
C++のテンプレートそっくりなものをそのまま使えるわけでは無いようですが、これによりJavaの型キャストの問題に悩まされなくなり、instanceof修飾子を使わずに済むようになり、よりオブジェクト指向的なコードがかけるようです。

0088デフォルトの名無しさん

NGNG

>>85
g++使って書いたコードって、VCでコンパイル通る？
俺はだめだ。template周りが弱すぎるよ、VCって。
そんなわけでVCはほとんど使えない。辛うじてBCBかな。

0089デフォルトの名無しさん

NGNG

>>85
コンパイル済みオブジェクトが添付されるって、
exportがサポートされるってこと？それはすごい!!!

0090デフォルトの名無しさん

NGNG

template <int M, int N=1>
class StaticArray{
public:
inline static const double* init(){
(N-1<M)?(StaticArray<M,1>::data[N-1]=double(N-1)):0;
StaticArray<M,N-1>::init();
return StaticArray<M,1>::data;
}
};
template <int M>
class StaticArray<M,1>{
static double data[];
public:
inline static void init(){ StaticArray<M,1>::data[0]=0;}
template <int,int>
friend class StaticArray;
};
template <int M>
double StaticArray<M,1>::data[M];
int main(){
const double* array=StaticArray<20,10>::init();
for(int i=0;i<20;i++) std::cout << " " << array[i];
std::cout << std::endl;
}
http://pc.2ch.net/tech/kako/1008/10085/1008593126.html
でいってたすたちっくに配列の初期化するのってこんなんだろか

0091デフォルトの名無しさん

NGNG

>>88
さすがに export は無理じゃろ。
たんにregexとかのライブラリがコンパイル済みで提供される、
ってことだと思う。

0092デフォルトの名無しさん

NGNG

>>91
Lambdaが使えるなら、それでもいいかも。

0093デフォルトの名無しさん

NGNG

>>91
いや、そうでもないんじゃない？
C# にジェネリクス実装するのなら、結局 C++ の export 相当の機構が必要になる。
MS 内部でどういう開発グループ分けになってるかは知らないけど、
彼らが知識共有していくとしたら…。

0094デフォルトの名無しさん

NGNG

>>93
C#じゃなくてVC++でしょ（8.0だっけ？）
標準に98%準拠っていうあれでしょ。

でも今ので90%だって自称してるんだから期待できないけど。

009593

NGNG

>>94
おわかりですか？
export が VC++ に実装されるって話題です。
C# で同等の技術が必要になるから C++ でもやるんではないか？
という事です。

というか 98% の残りの 2% はいったい何なんだ。

0096デフォルトの名無しさん

NGNG

98っていう数字がなんだか微妙だよね（藁

0097デフォルトの名無しさん

NGNG

>>93
C#とJavaのGenericsは基底クラスがあるからなぁ。
C++でうまくいくのかなあ。
残り2%がtemplate周りだったらいやだなぁ。
うまくいくならVC8買っちゃうんだけど。

0098デフォルトの名無しさん

NGNG

ttp://pc3.2ch.net/test/read.cgi/tech/1033830935/ の322が
何か言ってるんだが、誰か心当たりは?

0099デフォルトの名無しさん

NGNG

２ちゃん内に対するリンクを切るのは止めてくれ。

0100デフォルトの名無しさん

NGNG

export とベースクラス Object/object がある事って関係ないんじゃ？

0101デフォルトの名無しさん

NGNG

>>98
http://www.codeproject.com/interview/stanlippman14nov2001.asp
> Microsoft’s goal is to have a ‘competitively compliant’ compiler -
> meaning it won’t be 100% compliant. There are a couple of features
> of the ANSI/ISO standard (for instance the ‘export’ keyword as
> applied to template classes) that won’t be implemented because
> they are considered by Microsoft to be obscure and, at this stage,
> theoretical.
とか。ただ、exportなんでEDGのですらサポートされてない
http://www.microsoft.com/japan/msdn/library/default.asp?url=/japan/msdn/library/ja/jpdndeepc/htm/deep04202000.asp
とか言えた時代と違って、すでにexportが使えるコンパイラが
登場してきてるからには、認識も変化しているかもしれないけど。

>>100
C#のGenericsはどうなるのか知らんけどJavaのGenericsは例えば、
「内部では全てObjectへの参照を保持するようなコンテナをオブジェクトコードとして
生成しておいて、それを利用するソース側のコンパイル時に型チェック/自動型変換を
かける」みたいな方法で実装してるだけだから参考にならん、という面はあると思うが。

C++にも「Object型があって、変数は全てポインタ」みたいな
制限があればtemplateのexportは相当楽になるわけで。

0102デフォルトの名無しさん

NGNG

STLのmapについての質問なのですが、
「mapの要素の挿入と削除には対数時間(logN)が必要ですが、
位置を指定して要素を挿入する場合は償却定数時間(ε)しかかりません。」
と本にあったのですが、いまいちよく分かりません。
(1)削除
void erase(iterator i); -> logN ?
void erase(iterator start,iterator end); -> length*logN ?
size_type erase(const key_type &k); -> logN ?
(2)挿入
iterator insert(iterator i,const value_type &val);-> ε ?
template<class InIter>
void insert(InIter start,InIter end ); -> length*logN ?
pair<iterator,bool> insert(const value_type &val);-> logN ?
であってますでしょうか？

0103デフォルトの名無しさん

NGNG

>>102
位置指定が正しい場合にのみ、定数時間で挿入ができるらしい。
ttp://www.sgi.com/tech/stl/UniqueSortedAssociativeContainer.html

で、「正しい位置」は lower_bound で取れる。

0104102

NGNG

「反復子で指定した要素の削除は定数時間です。」を忘れてました。
void erase(iterator i); -> ε　に修正します。

>>103
[挿入|削除]する[位置|反復子]が分かっているときは定数時間だが、
その位置を探すのにlower_bound ->logN 時間かかるということですかね。
ありがとうございました。

0105デフォルトの名無しさん

NGNG

type_of演算子作りたいんだけど。

コンパイラがどの型にも固有の値を割り振っていて、
それをコンパイル時に参照できたら
式templateとマクロでtype_of作れるんだけど、
静的使えるのがsizeofしかないぽいから無理くさいのかな。

//ないんでとりあえず実験
#define class_id(x) sizeof(x)

template <int> struct Type_of;
struct Type_of<class_id(int)>{typedef int type;};
struct Type_of<class_id(char)>{typedef int type;};

#define type_of(x) Type_of<class_id(a)>::type

#include<iostream>
int main()
{
int a;
char c;
type_of(a) a2=200;
type_of(c) c2=100;
std::cout << a2 << c2;
}

0106105

NGNG

修正：
×　struct Type_of<class_id(char)>{typedef int type;};
○　struct Type_of<class_id(char)>{typedef char type;};

0107>>105

NGNG

VC++7.0 限定でよければ…（C++の規格的には間違っているらしい）
-----------------------------------------------

typedef char (&no_tag)[1], (&yes_tag)[2];
template<int> struct id_counter;
template<typename> struct t2t;
template<typename T> no_tag test(T*, ...);
#define EMPTY(n) sizeof(test((t2t< id_counter<n> >*)0))==sizeof(no_tag)

template<int val_ =
(EMPTY(1) ? 1 :
(EMPTY(2) ? 2 :
(EMPTY(3) ? 3 :
(EMPTY(4) ? 4 :
(EMPTY(5) ? 5 :
(EMPTY(6) ? 6 :
(EMPTY(7) ? 7 :
(EMPTY(8) ? 8 :
(EMPTY(9) ? 9 :
-1)))))))))> struct id_counter {
enum { val = val_ };
friend yes_tag test( t2t< id_counter<val> >* );
};

template<typename T> struct id_of { enum { val = id_counter<>::val }; };
#define class_id(T) id_of< T >::val

0108107

NGNG

#include <iostream>
int main()
{
std::cout << class_id(int) << ' '
<< class_id(int) << ' '
<< class_id(char) << ' '
<< class_id(int) << ' '
<< class_id(long) << ' '
<< class_id(std::istream) << std::endl;
}

が

1 1 2 1 3 4

になる。とゆーか、分割コンパイルまで考えると、コンパイラ的にはtypeofよりも
staticなTypeIdの方がよっぽど面倒な気がするので、素直にc++0xを待つべきかと。

0109107

NGNG

今思いついた。sizeofと同じく式に対しても使えるようにするには、こんな感じ。

template<typename T> struct sized { char size[id_of<T>::val]; };
template<typename T> sized<T> obj_class_id_helper(const T&);
#define obj_class_id(x) sizeof(obj_class_id_helper(x).size)

//int a; float b;
//assert( obj_class_id(a+b) == class_id(float) );

0110105

NGNG

>>107
すごすぎる！！！
id_counterってほんとにその名の通りですね。
少し手を加えて
type_ofとtestプログラム作ってみたけど、
こういうものはウプしてもいいのかな？(どういう場所がいいのか)
どうにか手を入れれば、GCCでも動かせそうな気がするんだけど、
自分では無理そうでした。

0111デフォルトの名無しさん

NGNG

>>107
逆に、IDから元の型を取得することはできないの？

float f = 1f;
int i = (class_id(int))f;

キャストに使えたりするとうれしい。

0112デフォルトの名無しさん

NGNG

よく使う foo とか bar とかって、RFC で定義されてたんだな。
知らなかった。
http://www.puni.net/~mimori/rfc/rfc3092.txt

0113デフォルトの名無しさん

NGNG

jokeだろ

0114デフォルトの名無しさん

NGNG

>113
しっ！！

0115デフォルトの名無しさん

NGNG

うお！IPってデータリンク層に鳩使っても使用可能なんだってさ！
RFC勉強になりすぎ。

0116107

NGNG

ネタ元は
http://lists.boost.org/MailArchives/boost/msg37791.php
ね。

>>111
それが出来ると typeof の完成なんだけど、思いつかないっす。
105氏のType_ofみたいに、必要なクラスのid - typeのマッピングを
全部手で書いていくくらいしか。何か上手い手はないかな。

0117105

NGNG

ttp://www3.to/typeof
にとりあえず上げてみました。
中を見ると分かるけど

>>111
int i = (type_of_id( class_id(int) ))f;
でできます。でもType_ofで登録した物にしか使えません。

>>107
ちょこっと追加として
int addfunc(int,int);
type_of_declare(addfunc(int,int),aa);
std::cout << aa;
とかできるようにした。(定義場所わかりにく...

>>107(116)
入れ子の式テンプレートでできないかと思ったけど撃沈...。(以下、略
template <typename T> struct Type_of_collection
{
template <int N> struct Type_of_Num;
struct Type_of_Num<class_id(T)> { typedef T type;};
};

0118デフォルトの名無しさん

NGNG

Intel C++ Compiler 7.0 age

ttp://www.xlsoft.com/jp/products/vtune/icppwin.html

0119デフォルトの名無しさん

NGNG

質問です。VC++6.0で

#include <list>
using namespace std;
void main(){
list<list<int>> a:
}
というのでエラーがでます。
listのlistを作るにはどのようにしたらいいのでしょうか？

0120デフォルトの名無しさん

NGNG

>>が引き篭もりなのです

0121デフォルトの名無しさん

NGNG

>list<list<int>> a:
色々違ってるな。

0122デフォルトの名無しさん

NGNG

>120

ありがとうございました。
直りました。

0123デフォルトの名無しさん

NGNG

>>118
ただなの？

0124デフォルトの名無しさん

NGNG

＞C++ Compiler 7.0 for Windows \55,000

0125デフォルトの名無しさん

NGNG

std::vectorのstd::sortが予想外に速い。インライン展開の賜物か。

const int N = 2000000;
int cmp(const void *, const void *);

int main()
{
static double d[N];
std::vector<double> vd;
std::clock_t ti;

std::srand(0);
for (int i = 0; i < N; i++) d[i] = std::rand();
std::srand(0);
for (int i = 0; i < N; i++) vd.push_back(std::rand());

ti = std::clock();
std::qsort(d, N, sizeof(double), cmp);
std::cout << "qsort = " << std::clock() - ti << std::endl;

ti = std::clock();
std::sort(vd.begin(), vd.end());
std::cout << "sort = " << std::clock() - ti << std::endl;
}

0126デフォルトの名無しさん

NGNG

int cmp(const void* a, const void* b)
{
if (*static_cast<const double*>(a) < *static_cast<const double*>(b)) return -1;
else if (*static_cast<const double*>(a) > *static_cast<const double*>(b)) return 1;
return 0;
}

qsort = 906
sort = 734

0127デフォルトの名無しさん

NGNG

intだと

qsort = 702
sort = 328

差が開く。

0128デフォルトの名無しさん

NGNG

intでcmp()を

int cmp(const void* a, const void* b)
{
return *static_cast<const TYPE*>(a) - *static_cast<const TYPE*>(b);
}

に換えたらちょっと速くできるけどまだsort()の方が速い。よくできてるなあ。

qsort = 562
sort = 344

0129デフォルトの名無しさん

NGNG

あっごめん、環境はBorland-C++5.6.2(STLport装備)ね。

0130デフォルトの名無しさん

NGNG

Win98SE、VC6SP5、PentiumIII-800。
STL は VC6 付属のもの。
コンパイラ付属のソースをインライン展開しまくった my_qsort でもやってみたよ。

double：
my_qsort = 4340
qsort = 4720
sort = 1760

int：
my_qsort = 1540
qsort = 3240
sort = 830

int （quick cmp）：
my_qsort = 1430
qsort = 2520
sort = 830

どうも、インライン展開うんぬんより、アルゴリズムが根本的に違ってるように見える。
STL のソートって何ソートなの？

0131　

NGNG

sort って比較と入れ替えが処理のメインだから、そこが関数呼び出しになって
しまって最適化されない qsort は正直かなりのオーバーヘッドがあると思う。

0132デフォルトの名無しさん

NGNG

>>130
qsort の方はよく知らんが、STL の方は、

基本はクイックソート
pivot には先頭・ど真ん中・末尾の要素の中央値を使う
要素数が小さくなってきたら挿入ソートに切り替える
あと、最新版では再起が深くなってきたらマージソートに切り替えるって機能も付いてたと思われ。

0133デフォルトの名無しさん

NGNG

標準のstd::logical_and、std::logical_orの使い方がよくわかりません。
参考書を読むと、標準にはないbinary_composeと組み合わせて使うと
書いてあるのですけど、どういう意味なのでしょうか？

0134デフォルトの名無しさん

NGNG

>>131
130 の 3 行目は読んでくれたか？
> int （quick cmp）：
> my_qsort = 1430
> sort = 830
その関数呼び出しのオーバーヘッドが無い状態で、これだけ差があるの。

>>132
VC6 付属の qsort.c については、
> pivot には先頭・ど真ん中・末尾の要素の中央値を使う
> 要素数が小さくなってきたら挿入ソートに切り替える
これと同じっぽい
要素数 8 以下で挿入ソートに入る。
ただし、マージソートはやってなくて、再帰は使わずに goto で戻してる。

ネックになりそうなのは、STL の場合のように代入演算子が使えないので、
char 単位にデータ転送しているところかな。
でも、それを無理矢理 int 決め打ちの swap にしても、まだ sort() のが
速い。
> my_qsort = 1100
後は何だ？

0135デフォルトの名無しさん

NGNG

>>133
binary_composeにはSGIのSTLやSTLportで定義されている。std::compose2
というヘルパ関数を持つ。

例えば _1 < 1 || 3 <= _1 という関数オブジェクトを作るには

std::compose2(std::logical_or<bool>(), std::bind2nd(std::less<int>, 1), std::bind2nd(std::greater_equal<int>, 3))

とすればよい。

boostではネーミングが異なり、boost::compose_f_gx_hyとなっている。

0136デフォルトの名無しさん

NGNG

> ネックになりそうなのは、STL の場合のように代入演算子が使えないので、
> char 単位にデータ転送しているところかな。

double が異様に遅いのはこのせいだな。
インライン展開しまくり、かつ代入演算子に変えたら、sort() に肉薄した。

my_qsort = 1965
qsort = 4715
sort = 1753

でもやっぱり sort() のが遅いけど。

あと、↓でより正確に測れる。

#pragma comment(lib , "winmm.lib")
#define clock_t DWORD
#define clock() timeGetTime()

0137デフォルトの名無しさん

NGNG

> でもやっぱり sort() のが遅いけど。

sort() のが速いけど。ですた。

0138デフォルトの名無しさん

NGNG

> boostではネーミングが異なり、boost::compose_f_gx_hyとなっている。

スマソ。boost::compose_f_gx_hxとなっている。に訂正します。

0139デフォルトの名無しさん

NGNG

>>136
そうだったのか。あらゆる型に汎用にするために、charでアラインされた
転送単位を持つためにqsort()は遅いのか。

ということはcharでsortするとそんなに差は出ないはずだな。

・・・・やってみた。

qsort = 265
sort = 282

測定誤差により、逆転する事もあるが、大ざっぱに測定するとqsort()の
方が速くなった。納得。

0140デフォルトの名無しさん

NGNG

STLとboostを一度同じ土俵に上げて、そのよさを比較し、
なし崩しにboostを認めようという作戦ですか？

私は認めませんよ！>boost

0141boost

NGNG

>>STL
ごめんなさい

0142デフォルトの名無しさん

NGNG

標準 boost → SB

0143デフォルトの名無しさん

NGNG

次期STLは間違いなくboostからいくつかの機能を取り入れるだろうに。

0144小技

NGNG

template< class T, class U >
U hoge( T foo, U* = NULL )
{
...
}

// 使い方
hoge<string, ｉｎｔ>( "第二引数はダミー" );

0145デフォルトの名無しさん

NGNG

>>144
これのどこが技なのか・・・・・

0146デフォルトの名無しさん

NGNG

よけーなオーバーヘッド食いそうだ

0147107

NGNG

>>117
> ttp://www3.to/typeof
素晴すぃ。

結局friendで勝手に定義を挿入するしかなさそう、と思ってその方向で
弄ってたんだけど、id_counter と違ってsizeof以上の情報を
オーバーロードされた関数からとってこなきゃいけないのがうまく行かなくて撃沈続き…。

0148デフォルトの名無しさん

NGNG

>>144
VC6対策か？

0149デフォルトの名無しさん

NGNG

>>145-146
わからんのか？ヒントは返り血

0150デフォルトの名無しさん

NGNG

template<class T, class U>
U hoge(T foo, U* up = 0)
{
return *up;
}

int main()
{
hoge<std::string, int>( "第二引数はダミー" );
}

としてみてもなあ。。。。intが無駄に使われているような気がして
ならない。

0151デフォルトの名無しさん

NGNG

>150
じゃなくて、ふつーに書くと返り値の型が異なるだけの関数は多重定義できん
という話でしょ。

template じゃなくても良いんだが

int foo();
void foo();

これは NG だが、

int foo(int);
void foo();

これなら行ける。

> intが無駄に使われているような気がして
とりあえず最適化有効にしてアセンブラ出力させてみ。

0152デフォルトの名無しさん

NGNG

inline化されたら無駄な引数はなかったことになるだろうねえ

0153デフォルトの名無しさん

NGNG

つまり、第二引数の型を変えて多重定義するためというものなのか？
今いち存在意義がわからんが・・・・・・

0154デフォルトの名無しさん

NGNG

俺も今一分かってないんだが，

int GetValue("キー")
string GetValue("キー")

みたいなことができるってことかい？

0155154

NGNG

ごめん。なんか違うみたい・・・
具体的な使用例をあげてみてくれないかい？

0156デフォルトの名無しさん

NGNG

>>153
templateの特殊化したいときとか使えるけど？

>>155
>>151に書いてあんだろ？アホか？

0157デフォルトの名無しさん

NGNG

>>156
155 はそんなことをする理由を訊きたがっているんだぞ。

無理やり使いどころを考えると、template クラスで Factory 関数を使うときか？

0158154

NGNG

>>157
そういうことです
（だから>>154でわざわざ”GetValue"という関数名を使ったのですが伝わらなかったようで・・・）

＞無理やり使いどころを考えると、template クラスで Factory 関数を使うときか？
うーん。確かに無理やりですね。

Widget MakeWidget() ※Widgetは基底クラス

ってするもんじゃないでしょうか。

同じ関数名で返り値が違うってのがそもそも想像できないんですが・・・。

0159154

NGNG

連ｶｷすまん。

利用法が無いなら無いでいいんです。
「こういうこともできるよ」って例なのだとしたら。

でも実際に使いどころがあるんでしたら聞いてみたいのです。

0160デフォルトの名無しさん

NGNG

>>151
それなら

template<class U, class T>
U hoge( T foo )
{
...
}
// 使い方
hoge<int>( "第二引数なんざ要らん" );

で十分では？古いヘタレコンパイラでどうなるかは知らんが。

0161デフォルトの名無しさん

NGNG

>158
> 同じ関数名で返り値が違うってのがそもそも想像できないんですが・・・。
template を使って Mixin (あるいは Strategy パターン) をを書くときに使える。

0162デフォルトの名無しさん

NGNG

>160
それだと、明示的に型を指定する必要があるのが難だなぁ。

パラメタとして関数オブジェクト、関数ポインタ、ともかく () つければ処理して
くれるモノ何でも渡せるようにしておくと、コードの汎用性が上がる(場合がある）。

0163160

NGNG

>>162
引数をtemplateにして型指定を緩くしとくと嬉しい、というのはその通りだけど、
この場合関係ないでしょ。（>>144のも同じく明示的な型指定が必要）

違うのは返値の型のみ、という関数を作りたいとき（例えばModern C++ Design の
Factoryパターンの話とか）の話でないの？

0164デフォルトの名無しさん

NGNG

>>160
が通るコンパイラが有るなら教えてくれ。

■ このスレッドは過去ログ倉庫に格納されています