トップページ⇒tech
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 あたりに。
0002デフォルトの名無しさんNGNG
関連スレ
C++相談室 part12
　http://pc3.2ch.net/test/read.cgi/tech/1035005882/

リンク
STLPort
　http://www.stlport.org/

boost
　http://www.boost.org/

Loki
　http://freshmeat.net/projects/lokilibrary/
　http://www.geocities.com/rani_sharoni/LokiPort.html

ISO/IEC 14882
Programming languages -- C++
　http://webstore.ansi.org/ansidocstore/product.asp?sku=ISO%2FIEC+14882%2D1998
　http://www.kuzbass.ru/docs/isocpp/
0003デフォルトの名無しさんNGNG
重複スレで良いな？
0004デフォルトの名無しさんNGNG
boost固有の話は boostスレでやってくれていいけど、いずれは
このスレに統合するってことで。
0005デフォルトの名無しさんNGNG
>>1
乙ｶﾚｰ
0006デフォルトの名無しさんNGNG
C++標準以外のものは使うな。よってSTLのみとする。
0007デフォルトの名無しさんNGNG
スレ立ったの見て一瞬 (ﾟДﾟ)ﾊｧ? と思ったが、後で合流するならいいか。
0008デフォルトの名無しさんNGNG
>>1-2
乙ー
0009デフォルトの名無しさんNGNG
カレー
0010デフォルトの名無しさんNGNG
boostに関する有名な日本語サイト

・boost info
http://user.ecc.u-tokyo.ac.jp/~g940455/wp/boost/

・Hattareme Programming
http://www.dodgson.org/lab/hat/

・Let's boost
http://www.kmonos.net/alang/boost/

・Regex
http://www.s34.co.jp/cpptechdoc/article/regexpp/

・Boostを使おう
http://www.emaki.minidns.net/Programming/tools/Boost/
0011デフォルトの名無しさんNGNG
乙
ﾏﾀｰﾘ逝きましょう
0012デフォルトの名無しさんNGNG
#include <memory>

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

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

↑の一見通りそうだけど、エラーになります。
test.cpp:9: no matching function for call to `std::auto_ptr<B>::auto_ptr(
std::auto_ptr<B>)'
/usr/include/c++/3.1.1/memory:346: candidates are:
std::auto_ptr<_Tp>::auto_ptr(std::auto_ptr_ref<_Tp>) [with _Tp = B]
/usr/include/c++/3.1.1/memory:216:
std::auto_ptr<_Tp>::auto_ptr(std::auto_ptr<_Tp1>&) [with _Tp1 = B, _Tp = B]
/usr/include/c++/3.1.1/memory:203:
std::auto_ptr<_Tp>::auto_ptr(std::auto_ptr<_Tp>&) [with _Tp = B]
test.cpp:9: initializing temporary from result of `
std::auto_ptr<_Tp>::operator std::auto_ptr<_Tp1>() [with _Tp1 = B, _Tp = D]'

とりあえず、
  return std::auto_ptr<B>( p );
で、エラーにならなくなるようです。
この修正が妥当なんでしょうか？
0013デフォルトの名無しさんNGNG
>>12
std::auto_ptrが継承に対応してないからかと思ったけど、どうも区別が
曖昧だというエラーが出るね。
0014○NGNG
なかなか難しいよね。templateベースのものは。
まあ仕事にも使った事はあったけど。便利なんだけど。
0015デフォルトの名無しさんNGNG
継承は対応してないのか。確かに通らんね。

#include <memory>

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

std::auto_ptr<B> f()
{
std::auto_ptr<D> p;
return dynamic_cast<std::auto_ptr<B> >(p);
}
0016デフォルトの名無しさんNGNG
auto_ptr<B>とauto_ptr<D>は単に別の型であって、
暗黙の型変換ができなかった、ということでは？

>>15
そこでdynamic_castを思い浮かべてしまうというのは
ちと知識不足すぎやしませんか。ネタ？
0017デフォルトの名無しさんNGNG
>>16
いや（汗、本当に継承に対応してないのかと思って。
でもパラメタの型が違うから当たり前か・・・・
001812NGNG
>>16
ttp://www.kuzbass.ru/docs/isocpp/lib-utilities.html#lib.auto.ptr
↑には、
>template<class Y> auto_ptr(auto_ptr<Y>&) throw();
>Requires: Y* can be implicitly converted to X*.

>template<class Y> auto_ptr& operator=(auto_ptr<Y>& a) throw();
>Requires: Y* can be implicitly converted to X*. The expression delete get() is well formed.

っていうインターフェースがあるようで、
auto_ptrの規格は、>>12の最初のコードが
コンパイルできるように配慮されているように見えます。

同時に、余計な変換手段に見えるインターフェースもありますが・・・。
0019デフォルトの名無しさんNGNG
よく読み直してみろ
0020デフォルトの名無しさんNGNG
統合スレになったとたんレベルが...
0021デフォルトの名無しさんNGNG
C言語スレみたいにバカをネタにしてつきあうぐらいの寛大さが必要です
0022デフォルトの名無しさんNGNG
でも確かに、何でstd::auto_ptrにキャストオペレータ入れなかったんだろうとは思うね。
0023デフォルトの名無しさんNGNG
std::auto_ptrってどんなメンバ関数があるのだろう？
0024デフォルトの名無しさんNGNG
> std::auto_ptrにキャストオペレータ

作るとしたらどんなコーディングになる？
0025デフォルトの名無しさんNGNG
template<class T, class U>
std::auto_ptr<T> cast(std::auto_ptr<U>& ref)
{ return std::auto_ptr<T>( ref.release() ); }
と、やりたいけど出来ないんだよな
0026デフォルトの名無しさんNGNG
そうじゃなくて、自分がauto_ptrの設計者だとしたら。
002712NGNG
>>19
読み直してみたけど、新しく気づいたことはなかったです。

・・・やっぱりわからん。
<memory>を読んでみたけど、変換インターフェースの実装のところに、
「派生関係の変換が可能になるように、これらのモノが必要」みたいなコメントまで書いてある。
コメント中にあるサンプルと同様のコードをコンパイルしようとしたけど、
やっぱり>>12と同じエラーになる。

ﾓｯｶｲageﾃﾐﾙ
0028デフォルトの名無しさんNGNG
>>25
release()必要ないのでは？std::auto_ptrのコンストラクタは所有権を
移動させるから。
0029デフォルトの名無しさんNGNG
auto_ptr<T>とauto_ptr<U>の互換性があるかどうか分からないのに、
どうやって所有権を移動させるんだ？
0030デフォルトの名無しさんNGNG
継承と同じように考えて、親クラスのポインタ変数に子のオブジェクトのアドレス
を代入できるかと自然と考えてしまいました。でもstd::auto_ptrは継承とか考慮
してないので、エラーになるのですね。
0031デフォルトの名無しさんNGNG
>>12
むしろ継承関係にあるからこそのエラーと思われ。
継承関係になかったら別のエラーになるけどさ。

gcc-2.95.3 でcompileしてみた。
conversion from `auto_ptr<D>' to `auto_ptr<B>' is ambiguous
: candidates are: auto_ptr<D>::operator auto_ptr<B><B>()
: auto_ptr<B>::auto_ptr<D>(auto_ptr<D> &)

>>29
互換性があればcompileできるだろ?
003231NGNG
あぁ >>25 のままじゃcompileできんな
template<class T, class U>
std::auto_ptr<T> cast(std::auto_ptr<U>& ref, std::auto_ptr<T>&)
{ return std::auto_ptr<T>( ref.release() ); }
だね。

つーか、むしろ
template<typename T, typename U>
T cast(U &ref, T &) {return T(ref.release());}
0033デフォルトの名無しさんNGNG
http://www.zdnet.co.jp/enterprise/0211/11/n20.html
003412NGNG
>>32
そのテンプレート関数はどうやって呼び出すんだ？

template<typename Y> std::auto_ptr<X>::auto_ptr( std::auto_ptr<Y>& r );
template<typename Y> std::auto_ptr<X>& std::auto_ptr<X>::operator = ( std::auto_ptr<Y>& r );
template<typename Y> std::auto_ptr<X>::operator auto_ptr<Y>();
↑キャストなんて標準で装備されてるこれらで十分のはずだ。
003531NGNG
>>34
>そのテンプレート関数はどうやって呼び出すんだ？
質問ですか？説明しなきゃいけないようなこと？
class B {};
class D {} public B {};
//class D {};
auto_ptr<B> b;
auto_ptr<D> d;
b = cast(d, b);
DがBを継承してなかったらどうなるか。

>キャストなんて標準で装備されてるこれらで十分のはずだ。
あ、そ。で、>>31 の内容は理解できましたか？
0036デフォルトの名無しさんNGNG
2!
0037デフォルトの名無しさんNGNG
>そのテンプレート関数はどうやって呼び出すんだ？
質問ですか？説明しなきゃいけないようなこと？
class B {};
class D {} public B {};
//class D {};
auto_ptr<B> b;
auto_ptr<D> d;
b = cast(d, b);
DがBを継承してなかったらどうなるか。

>キャストなんて標準で装備されてるこれらで十分のはずだ。
あ、そ。で、>>31 の内容は理解できましたか？
>そのテンプレート関数はどうやって呼び出すんだ？
質問ですか？説明しなきゃいけないようなこと？
class B {};
class D {} public B {};
//class D {};
auto_ptr<B> b;
auto_ptr<D> d;
b = cast(d, b);
DがBを継承してなかったらどうなるか。

>キャストなんて標準で装備されてるこれらで十分のはずだ。
あ、そ。で、>>31 の内容は理解できましたか？
0038デフォルトの名無しさんNGNG
>そのテンプレート関数はどうやって呼び出すんだ？
質問ですか？説明しなきゃいけないようなこと？
class B {};
class D {} public B {};
//class D {};
auto_ptr<B> b;
auto_ptr<D> d;
b = cast(d, b);
DがBを継承してなかったらどうなるか。

>キャストなんて標準で装備されてるこれらで十分のはずだ。
あ、そ。で、>>31 の内容は理解できましたか？
>そのテンプレート関数はどうやって呼び出すんだ？
質問ですか？説明しなきゃいけないようなこと？
class B {};
class D {} public B {};
//class D {};
auto_ptr<B> b;
auto_ptr<D> d;
b = cast(d, b);
DがBを継承してなかったらどうなるか。

>キャストなんて標準で装備されてるこれらで十分のはずだ。
あ、そ。で、>>31 の内容は理解できましたか？
　え
0039デフォルトの名無しさんNGNG
>そのテンプレート関数はどうやって呼び出すんだ？
質問ですか？説明しなきゃいけないようなこと？
class B {};
class D {} public B {};
//class D {};
auto_ptr<B> b;
auto_ptr<D> d;
b = cast(d, b);
DがBを継承してなかったらどうなるか。

>キャストなんて標準で装備されてるこれらで十分のはずだ。
あ、そ。で、>>31 の内容は理解できましたか？
>そのテンプレート関数はどうやって呼び出すんだ？
質問ですか？説明しなきゃいけないようなこと？
class B {};
class D {} public B {};
//class D {};
auto_ptr<B> b;
auto_ptr<D> d;
b = cast(d, b);
DがBを継承してなかったらどうなるか。

>キャストなんて標準で装備されてるこれらで十分のはずだ。
あ、そ。で、>>31 の内容は理解できましたか？
　　
0040デフォルトの名無しさんNGNG
>そのテンプレート関数はどうやって呼び出すんだ？
質問ですか？説明しなきゃいけないようなこと？
class B {};
class D {} public B {};
//class D {};
auto_ptr<B> b;
auto_ptr<D> d;
b = cast(d, b);
DがBを継承してなかったらどうなるか。

>キャストなんて標準で装備されてるこれらで十分のはずだ。
あ、そ。で、>>31 の内容は理解できましたか？
>そのテンプレート関数はどうやって呼び出すんだ？
質問ですか？説明しなきゃいけないようなこと？
class B {};
class D {} public B {};
//class D {};
auto_ptr<B> b;
auto_ptr<D> d;
b = cast(d, b);
DがBを継承してなかったらどうなるか。

>キャストなんて標準で装備されてるこれらで十分のはずだ。
あ、そ。で、>>31 の内容は理解できましたか？
　　　　　　　
0041デフォルトの名無しさんNGNG
>>31
通常時、TとUには互換性があるかも知れないが、
auto_ptr<T>とauto_ptr<U>に互換性があるときはT==Uの時だけだろ。
0042デフォルトの名無しさんNGNG
一体このスレは何が起きているんだ？
0043デフォルトの名無しさんNGNG
>>42
もう後には引き下がれない意地と意地のぶつかり合いが
繰り広げられています。
0044デフォルトの名無しさんNGNG
異常なほど向きになっておりますな。
しかも会話がかみ合っていないときている。
0045デフォルトの名無しさんNGNG
意見が噛み合ってないのは議論じゃなくて論破しようとしてるせい。
0046デフォルトの名無しさんNGNG
ん？
とりあえず、前の発言者のレスを引用して、(ﾟДﾟ)ﾊｧ? とか書けばいいわけか？
004712NGNG
>>31
器用な人ですな。

> で、>>31 の内容は理解できましたか？
え・・・？理解できません、たぶん。
あと、キャストする関数の引数が二つなのが理解できませんねぃ。
0048デフォルトの名無しさんNGNG
> ん？
> とりあえず、前の発言者のレスを引用して、(ﾟДﾟ)ﾊｧ? とか書けばいいわけか？

(ﾟДﾟ)ﾊｧ?
0049デフォルトの名無しさんNGNG
> > ん？
> > とりあえず、前の発言者のレスを引用して、(ﾟДﾟ)ﾊｧ? とか書けばいいわけか？
>
> (ﾟДﾟ)ﾊｧ?

(ﾟДﾟ)ﾊｧ?
0050デフォルトの名無しさんNGNG
時期ヴァージョンのJava(J2SE1.5)でJavaGenerics(?)がコアAPIに統合されテンプレートが使えるようになり、コレクション系インターフェースの問題が
解消されるというのでちょっと期待しているのですが
C++でテンプレートを使うメリット、デメリットとはどんなものでしょうか?

投稿記事のC++ソースを見た感じ、複雑そうに見えます。
テンプレートを使いこなすには修行が必要そうですね。
0051デフォルトの名無しさんNGNG
STL ライクなコードが Java で書けるというだけで、template が使える
というのとは違うと思っていたが気のせいか？
005231NGNG
>>37-40
すげぇ、これこそまさにテンプレートなんだね。感心。

>>41
> auto_ptr<T>とauto_ptr<U>に互換性があるときはT==Uの時だけだろ。
いや。 >>18 とか >>34 にも書いてある。
それを、互換性がある、と言わないとか、
class B {}; class D : public B {}; のときは B == D というなら
そういうもんなのねとあきらめる。
005331NGNG
>>47
> あと、キャストする関数の引数が二つなのが理解できませんねぃ。

#include <memory>
template<class T, class U> std::auto_ptr<T> cast(std::auto_ptr<U>& ref)
{ return std::auto_ptr<T>( ref.release() ); }

template<class T, class U> std::auto_ptr<T> cast(std::auto_ptr<U>& ref, std::auto_ptr<T>&)
{ return std::auto_ptr<T>( ref.release() ); }

class B {};
class D : public B {};
main() {
std::auto_ptr<B> b;
std::auto_ptr<D> d;
b = cast(d, b);
b = cast<B>(d);
}

でどうよ。
0054デフォルトの名無しさんNGNG
これは通るけどこれでもいいの？

template<class T, class U> std::auto_ptr<T>
cast(std::auto_ptr<U>& ref)
{
return std::auto_ptr<T>(std::auto_ptr<U>(ref));
}
0055デフォルトの名無しさんNGNG
>>54
その関数実際に呼んでみた?
0056デフォルトの名無しさんNGNG
>>55 読んでみました。この通りです。

class A {
public:
int i;
};

class B : public A {
public:
int j;
B(int x, int y) { i = x; j = y; }
};

template<class T, class U> std::auto_ptr<T>
inline cast(std::auto_ptr<U>& ref)
{
return std::auto_ptr<T>(std::auto_ptr<U>(ref));
}

int main()
{
std::auto_ptr<B> ptr(new B(123, 456));
std::auto_ptr<A> pa;

pa = cast<A>(ptr);

std::cout << pa->i << std::endl;

ptr = cast<B>(pa); // ダウンキャストはだめ？

std::cout << ptr->j << std::endl;
}
0057デフォルトの名無しさんNGNG
で、

pa = cast<A>(ptr);

は通るんですが、

ptr = cast<B>(pa); // ダウンキャストはだめ？

はだめなんです。もっとも、この行はrelease()を使った版でも
通りませんでした。
0058デフォルトの名無しさんNGNG
>>56-57
何、通るの!?

げ、STLportだと通るよ。

> ダウンキャストはだめ？
reinterpret_castしてるわけじゃなくて
pointerのoperator=だからねぇ。
0059デフォルトの名無しさんNGNG
>>58
gcc3.2でも通るよ。

>reinterpret_castしてるわけじゃなくて
>pointerのoperator=だからねぇ。

あっそうですね。考えてみればそうだ。
0060デフォルトの名無しさんNGNG
>>12 の話に戻るけどさ、

auto_ptr<B> p = auto_ptr<D>(); // (1)
p = auto_ptr<D>(); // (2)

g++ 3.1 で (1) が通らないんだけど、
誰か解説してくれ
0061デフォルトの名無しさんNGNG
>>60
auto_ptr<型>()はコピーコンストラクタだからじゃない？
0062デフォルトの名無しさんNGNG
>>60
スマソ。std::auto_ptr(T* p = 0) はコンストラクタだね。

ところで
std::auto_ptr<B> p = std::auto_ptr<B>(std::auto_ptr<D>());
は通るよ。
0063デフォルトの名無しさんNGNG
んー、ということは、std::auto_ptrの代入演算子とコピーコンストラクタの
書き方に対称性がないということになるね。
006460NGNG
あとね
auto_ptr<D> d;
auto_ptr<B> b0(d); // OK
auto_ptr<B> b1 = d; // NG
なのよ。

auto_ptr<B> b2(auto_ptr<D>());
はfunction declarationになっちゃうからいいんだけど。
0065デフォルトの名無しさんNGNG
>>64
それは、std::auto_ptrのコンストラクタがexplicit宣言されている事と
関係があると思う。
0066デフォルトの名無しさんNGNG
つまり、

auto_ptr<B> b0(d); // OK

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

auto_ptr<B> 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<B> f()
{
std::auto_ptr<D> p;
return p;
}

に戻ってみると、return p; の時点で、
std::auto_ptr<D>をstd::auto_ptr<B>にコピーするコピーコンストラクタを
呼び出すか、std::auto_ptr<D>をstd::auto_ptr<B>に変換する変換演算子
を呼び出すか曖昧だからエラーが出たようだ。
0069デフォルトの名無しさんNGNG
そうすると、
return std::auto_ptr<B>(p);は、コピーコンストラクタなのか、それとも
変換演算子なのか？誰か教えてください。
0070デフォルトの名無しさんNGNG
さらに深く調べると、
return std::auto_ptr<B>(p); もエラーになるのは、これもコピーコンストラクタか
変換演算子なのか曖昧だという事がわかった。

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

のように書かなければいけないようだ。この場合コンパイル出力をアセンブリ出力
で見てみると、コピーコンストラクタを呼び出した後変換演算子が呼び出されていた。
007160NGNG
>>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)です。
007512NGNG
>>70
return std::auto_ptr<B>(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
おつかれさま。
ﾁｮﾋﾟｰﾘチミを好きになりますた。
■ このスレッドは過去ログ倉庫に格納されています