【C++】template 統合スレ -- Part6

【C++】template 統合 ..

666:デフォルトの名無しさん
05/06/09 08:56:13
>>664
あーなるほど。C++よく分らないから適当に書いてみたんだけどそれなら理解できるｗ

>template <template <typename, typename> class V, typename T, typename A>
> struct hoge<V<T, A> >
こうやって部分的特殊化で各パラメータ間の関係を表現できるのね。

>>663
>template <typename T> typedef hoge<std::vector<T> > hv_t;

問題はこの部分で、パラメータvector<T>の高階性(?!)を維持してくれるのかどうかってところかねえ。

>>665
変数templateとはどんなもんでしょ？

667:デフォルトの名無しさん
05/06/09 11:34:08
もしも変数テンプレートがあったとしたらこんな感じ?
template <typename T> const T *NULL = 0;

int *pi = NULL;
char *pc = NULL;

#include <cstdio>
int main() {
　 std::printf("%p", NULL<void *>);
}

668:デフォルトの名無しさん
05/06/09 11:59:30
>>667
>int *pi = NULL;
>char *pc = NULL;
これを許すとまた規則が複雑になるな。

669:デフォルトの名無しさん
05/06/09 12:14:33
class null {
public: template<typename T> operator T*() const { return 0; }
};

const null NULL;

int *ip = NULL;
char *cp = NULL;

printf("%p", (void*)NULL);

でいいような気がす

670:デフォルトの名無しさん
05/06/09 12:16:52
誰もそんな話ししてないわけだが

671:デフォルトの名無しさん
05/06/09 13:24:53
>>667
引数とるコンストラクターはどうなるんだ。

672:デフォルトの名無しさん
05/06/09 13:52:48
typedef template ムチャ欲しいな。

673:デフォルトの名無しさん
05/06/09 14:26:04
>>667
今のC++の型の取り扱いにあわせると

template<typename T> const T *NULL = 0;

は，右辺がリテラルの0でこれは型がintだからポインタ型に変換できず，
Tをどの型でinstantiationすれば良いのか判断できずコンパイルエラーになる，
っていう扱いが妥当だと思いますよ．
もうちょい厳密に変数テンプレートを定義しようとすると，
結局，型推論のためのautoキーワードの拡張

auto a = b; // typename(b) a = b; の構文糖

と同じになると思います．Andrew Koenigあたりがこのautoキーワードの代わりに
>>667の構文を提案してたはず．

674:デフォルトの名無しさん
05/06/09 14:35:13
>>673
>>667の代わりに、
template <typename T> struct wrap{static const T *null;};
template <typename T> const T *wrap<T>::null = 0;
と書けることを考えると、今の扱いなら、

・template <typename T> const T *NULL = 0;
の時点では何も起こらない。
・printf("%p" NULL<void *>);
の点でインスタンス化が引き起こされ、void *const *を0で初期設定しようとし、成功。

が妥当じゃないのか？

675:デフォルトの名無しさん
05/06/09 14:50:45
>>670
そうでなくて、必要性が全く感じられないと言っている
まともな利用例ぐらい出さないと

676:デフォルトの名無しさん
05/06/09 14:56:07
>>674
その使い方だと常に明示的にインスタンス化しないといけない
（NULLを利用するたびに型パラメータを与えないといけない）わけですよね？
それは利用範囲が著しく限られませんか？

677:667
05/06/09 15:03:10
ところで俺は変数テンプレートは全く要らないと思うんだけどな。
俺も669と同じようなのを考えたことはあるけど。

678:デフォルトの名無しさん
05/06/09 15:10:28
>>676
使い道がないのは同意。
ただ、仮に現在のテンプレートの延長で「変数テンプレート」なるものを定義するなら、
>>674で言ったようになるはずだと思った。
>>673のような機能を導入するなら別の名前・構文を考えるべきだと思う。

679:デフォルトの名無しさん
05/06/09 15:26:38
型推論はされるとして、
NULLみたいに初期化子に使うとちょっと面白そうな…

クラス階層のあるところでPTHREAD_MUTEX_INITIALIZERみたいなやつ。

680:デフォルトの名無しさん
05/06/09 15:29:21
>>678
確かに「変数テンプレート」という名前は非常にまずいですね．
ただ構文については既存のキーワード使うとするとこれぐらいしかないような気がします．

681:デフォルトの名無しさん
05/06/12 15:01:48
アドビのオープンソースってど？流行ると思う？
STL、boostを基に、ウィンドウをスクリプトから生成する画期的システム
仮想マシンを実現とか、内容は理解を超えていた (つД｀)

いわゆるチョット修正のときに威力を発揮すると思う
SEはどんな些細なこともPGに要望しなけりゃならない
PGは思いつきの修正のために仕事が増えるばかり
だれか人柱になってください、やっぱアドビ待ちなのかな

682:デフォルトの名無しさん
05/06/12 17:16:13
>>681
AdamとEve( URLﾘﾝｸ(opensource.adobe.com) )のことか？なかなか
普及は難しいんじゃないかなぁ…

683:デフォルトの名無しさん
05/06/13 00:40:41
質問です。
BCC 5.5上のテンプレートのバグはどのようなものが
あるのでしょうか。

・・・特に大きいタイプリストを渡すと、他の特殊化に指定
したクラスが別のクラスに化けるとか、そんなのないですか？

684:デフォルトの名無しさん
05/06/13 10:45:49
>>683
質問するときはやりたいこと、実際にやったことを書いた方が良い。

685:デフォルトの名無しさん
05/06/13 14:20:43
>>683
どういうバグかは知らんがboostが満足に使えない。

686:683
05/06/13 21:39:52
自己解決しちゃいました。

経緯だけ説明しますと、Modern C++ Designのマルチメソッドを
自分の使いやすい形に改良して使っていたんです。で特殊化の
際タイプリストを
template<..,class Head,class Tail>struct
Dispatcher<...,Typelist<Head,Tail>,...>{
...省略
};
と展開していて、6ほどの長さのタイプリストをわたしたところエラー吐かれました。
（5つまでは普通にコンパイル＆動作しました）

これを
template<..,class TList>struct
Dispatcher<...,TList,...>{
...省略
};
としHeadにアクセスするときTList::Head,Tailにアクセスするときは
TList::Tailとするようにしたら今度は何十の長さでもコンパイルできました。

前者のコンパイルの仕方にバグがあるんでしょうかね・・・

687:デフォルトの名無しさん
05/06/13 23:51:10
BCCなんか使うなよ

688:デフォルトの名無しさん
05/06/14 17:45:57
もしかして、クラステンプレートのメンバ仮想関数って勝手に実体化される？

689:デフォルトの名無しさん
05/06/14 17:58:42
>>688
どんなコードでそう思った？

690:688
05/06/14 18:10:23
ものすごく単純化すると、
class base
{
public:
virtual void foo() = 0;
};
template <class> class derived : public base
{
public:
virtual void foo() { std::cout << "呼ばれた\n"; }
};
int main()
{
derived<int> d;
static_cast<base&>(d).foo();
}
こんな感じ。

691:デフォルトの名無しさん
05/06/14 18:24:16
>>690
それってderived<int>型の変数dを宣言したからderived<int>が実体化されているだけのように見えるが。

692:688
05/06/14 18:28:53
derived<int> が実体化されるのと
derived<int>::foo が実体化されるのは別じゃないですか？
クラステンプレートのメンバって呼ばれるまで実体化されませんよね？

693:デフォルトの名無しさん
05/06/14 18:31:57
>>688
規格では詳しくは規定されていないっぽい。
実際は
・derived<int>のインスタンスが宣言された
・derived<int>*からbase*の変換が行われた
のいずれかをトリガとして、仮想関数をすべて実体化することになると思う。

694:688
05/06/14 18:40:33
>>693
サンクス。未定義ってことですか。
一応、明示的に実体化しておいたほうがよさそうですね。

695:デフォルトの名無しさん
05/06/14 18:47:45
>一応、明示的に実体化しておいたほうがよさそうですね。
なんでそうなる？

ついでに、「未定義」と「未規定」は違う。

696:688
05/06/14 18:50:17
ん？
規定はされていなくても、正常に動くことは保証されているってことですか？

697:693
05/06/14 18:57:55
言い方が不正確だったな。
規格には、「メンバ関数は、その定義が必要とされるとき実体化される（意訳）」とある。
で、virtual関数については、いつ「定義が必要とされる」か正確に規定している部分が（俺の見た限りでは）なかった。
従って、virtual関数の正確な実体化のタイミングは規定されていないことになる。
それでも、「必要」になり次第実体化されることは保障される。

698:688
05/06/14 19:22:06
あー、なるほど。
規定されていないのは実体化されるタイミングだということですね。
どうもありがとうございました。

699:デフォルトの名無しさん
05/06/26 18:25:16
int k = 0;
for (vector< set<int> >::iterator it = v.begin(); it != v.end(); ++it)
it->insert(k++);

を boost::lambda か何かを使って for_each でシンプルに書けませんか？
メンバー関数に bind する仕方がよく分からないんですが・・・

700:デフォルトの名無しさん
05/06/26 19:33:36
>>699
typedef std::set< int > set_type;
typedef std::vector< set_type > vector_type;
void f( vector_type& v )
{
　using namespace boost::lambda;
　int k = 0;
　std::for_each(v.begin(), v.end(), (protect(bind((std::pair<set_type::iterator,bool> (set_type::*)(int const&))(&set_type::insert), _1, var(k)++)))(*_1));
}

○ boost::lambda か何かを使って
○ for_each で
× シンプルに

701:700
05/06/26 19:49:39
メンバ関数に限らず、オーバーロードが絡むと lambda は使いにくいな。

702:デフォルトの名無しさん
05/06/27 06:52:07
protect要るか?

>>701
C++は名前が重なった場合の簡潔な指名定方法がないしね。
lambdaに限らず面倒。
typeofがBoostに入るそうだから、そのうち頑張って改善されるといいな。

703:700
05/06/27 07:50:29
>>702
こんな感じで変形していったが、途中のやつの
エラーメッセージがひどくて（数１００行ぐらい出る）、
何がまずかったのかよくわかってない。
× ((*_1)->*insert)(var(k)++)
× bind(insert, *_1, var(k)++)
○ (protect(bind(insert, _1, var(k)++)))(*_1)

704:702
05/06/27 22:11:02
>>703
その3つの最初から間違ってるよ。
for_eachなんだから_1にはイテレータではなく参照が入る。よって
_1をdereferenceする必要はない。

まあ同じなんだけど、俺ならオーバーロードが絡む場合は
メンバ関数の特定を追い出すかな。
void hoge(vector<set<int> >& v) {
　　　　typedef set<int> set_type;
　　　　pair<set_type::iterator,bool>(set_type::*insert)(const int&)
　　　　　　　　= &set_type::insert;

　　　　int k = 0;
　　　　for_each(v.begin(), v.end(), bind(insert, _1, var(k)++));
}

705:700
05/06/28 00:20:42
>>704
うわ、とんでもない勘違いをしていたよ。
ありがとう。

706:デフォルトの名無しさん
05/07/05 14:15:55
URLﾘﾝｸ(d.hatena.ne.jp)
ここに書いてあった
struct Mean
ってどう使うの？　例がないと分からない
functorなのは分かったけど

707:デフォルトの名無しさん
05/07/05 14:27:54
int array[] = {1, 3, 5};
std::vector<double> v = ...;

int ma = Mean<int *>()(array, array + 3);
double mv = Mean<std::vector<double>::iterator>()(v.begin(), v.end());

こんな感じじゃないか？

708:デフォルトの名無しさん
05/07/05 16:19:10
for_eachにかけるものではないのね
でも便利そうｔｈｘ

709:デフォルトの名無しさん
05/07/05 16:25:40
>>707
のとおりにやってみたけど
コンパイル通らなかったよ

710:デフォルトの名無しさん
05/07/05 17:04:14
>>706
> 算術平均を求める Mean を書き直すと以下のようになる
> （もちろん Sum も反復子を使うように変更してあることが前提）

ちゃんとSumもコード書いた？

んで、漏れなら、合計値（累積値）を求めるアルゴリズムaccumulateを使い
平均値は：

void f(vector<double>& m) {
double avg = accumulate(m.begin(), m.end(), 0.0) / m.size();
}

のようにして求めるな。分散・標準偏差、RMSあたりも似たような実装ができる。

711:デフォルトの名無しさん
05/07/06 04:42:18
>>710
わざわざ関数にするのか？
コードの大きさを抑えるのにはいいけど。

712:デフォルトの名無しさん
05/07/06 07:22:20
>>711
しない。入力が何で出力が何か明確にしたかったので、関数形式で書いただけ。
実際に関数にするなら、template、inline、引数にはconst、戻値の型を明記、あたりが必要です。

蛇足で糞コード晒す。
template <typename T>
struct square : public binary_function<T, T, T> {
T operator()(const T& lhs, const T& rhs) { return lhs + rhs*rhs; };
};

double ms = accumulate(m.begin(), m.end(), 0.0, square<double>()) / m.size();
double rms = sqrt(ms);
double stdev = sqrt(ms - avg*avg);

713:デフォルトの名無しさん
05/07/06 08:07:25
STLは連続した、同じような事の繰り返し処理には滅法強いな。

714:デフォルトの名無しさん
05/07/06 20:49:48
>>713
あなたの人生もSTLで簡単になりますよ。

void silly_life(life& your_life)
{
　　struct
　　{
　　　　static int daily(day& d)
　　　　{
　　　　　　d.nebou();
　　　　　　d.nichan();
　　　　　　d.onanu();
　　　　　　d.shigoto();
　　　　　　d.nichan();
　　　　　　d.onanu();
　　　　　　d.neru();
　　　　　　return 0;
　　　　}
　　};

　　std::for_each(your_life.begin(), your_life.end(), daily);
}

久しぶりにtemplate見たよ。。。C#使いづれ～。。。orz

715:デフォルトの名無しさん
05/07/07 00:00:05
それがSTLクオリティ。

語呂悪いな。

716:デフォルトの名無しさん
05/07/07 07:31:19
速度が重要になるコードを書かなければなのですが、
やはりSTL経由の連続処理は、速度的に不利なんでしょうか？

一応自分なりに、次レスに書いたような実験をしてみたのですが、
プロファイル結果はSTL版hoge()が平均301msに対し、
シンプルなリストhage()の方が平均12msと、圧倒的な差に…。

今更自前リストなんて使うのは、考えただけで頭が痛くて。
なにかテストに落ちがないか、
或いはSTL版速度向上のための抜け道が無いか、教えて頂けないでしょうか。

717:714 行制限のため、見づらくてすいません
05/07/07 07:35:09
#include <list>
struct simple_list{
int val;
simple_list* next;
};
template <typename T>
void hoge( T first, T last ){
int sum = 0;
while( first != last ) sum += *(first++);
};
void hage( simple_list* sl_first ){
int sum = 0;
while( sl_first ){ sum += sl_first->val; sl_first = sl_first->next;}
};
int main(){
std::list<int> listInt;
for( unsigned long i=0; i < 100000; ++i ) listInt.push_back(i);

simple_list* sl_first = new simple_list;
simple_list* sl = sl_first;
for( unsigned long c=0; c < 100000; ++c ){
sl->val = c;
sl->next = new simple_list;
sl = sl->next;
}
sl->next = NULL;

hoge( listInt.begin(), listInt.end() );
hage( sl_first );
while( sl_first ){ sl = sl_first->next;delete sl_first; sl_first = sl; }
return 0;
}

718:デフォルトの名無しさん
05/07/07 07:51:04
>>716
プロファイルでは最適化は有効にしてる？
最適化しないと比較にならないし、最適化すると hoge(), hage() が
sum を返してないので、最適化で処理自体が消えてダメかもしれない。

hoge の sum += *(first++); を { sum += *first; ++first } にすると、少し違うかもしれない。

719:デフォルトの名無しさん
05/07/07 07:51:41
>>716
最適化した?
うちじゃ
hoge(): 8.46567 ms
hage(): 7.92051 ms
くらいなんだけど
環境はg++ (3.3.5)

720:716
05/07/07 08:08:12
我ながら非道い
sl->next = NULL;を削って
sl->next = new simple_list; を
sl->next = (c != 100000-1) ? new simple_list : NULL; とでも

>>718-719
最適化をすっかり忘れていました。
なぜだかsumを返すようにしてもhogeの方が消えてしまうのですが
もう少し試行錯誤してみます。

いずれにせよ力づけられました。ホッとしています。
レスありがとうございました。

721:デフォルトの名無しさん
05/07/07 08:20:05
>>720
返すだけで戻り値を使ってないんじゃ、と消えるかもしれないな。
チェックもかねて、画面に値を出すようにすれば大丈夫じゃない？
（そこまでやっても、ただの定数に置き換えてしまうコンパイラとかあるかもしれない。）

最終的にはアセンブリを吐かせて確認するといい。

722:716
05/07/07 08:25:49
最適化無しで719さんの方法で15%ほど速く
>>721
もしかしたらtemplateだったせいかも知れないです。インライン化されていたのかな。
templateを外したらhogeも出ました

hoge: 5.579 ms
hage: 5.313 ms
(vc++6)

朝からお騒がせしました、お二人(三人？)に再度感謝です

723:デフォルトの名無しさん
05/07/07 08:31:10
その程度の処理だとlistは兎も角、vectorは普通の配列と全く同じ速度出るよ。
#つーか、gccでもVC++でもstlの有無で全く同じ(質の)コード吐くんだけどね。

724:デフォルトの名無しさん
05/07/07 18:13:33
>>723
VCだと
vector>=配列
になるときもない？(誤差範囲内だけど)
GCCは
vector使うと少し遅くなる気がした。

725:デフォルトの名無しさん
05/07/07 18:23:22
その辺は具体的なコードを提示して比較でもしない限りなんとも言えないなぁ。
そもそも最適化で消えないコードでって条件になっちゃうし。

726:デフォルトの名無しさん
05/07/07 18:30:29
vectorのiteratorは大抵の処理系/STL実装で非デバッグ時には単なるポインタだろ。

727:デフォルトの名無しさん
05/07/07 18:34:16
>>722
ちなみに std::list が double-linked list だということは知ってるよな

728:デフォルトの名無しさん
05/07/07 23:52:14
doubleじゃないSTLのlistを提示しない限りそのレスは無意味

729:デフォルトの名無しさん
05/07/08 00:55:24
>>728
おれは>727じゃないけど、なんで？

730:デフォルトの名無しさん
05/07/08 01:02:35
そういえばslistは標準じゃないんだな。 STLPortにはあるけど。

731:デフォルトの名無しさん
05/07/08 20:43:04
次のようなコードがあるとします:
　struct base1 { base1(int x) {}; };
　struct base2 { base2(int x, int y) {}; };

　// IF<P,T,F>クラステンプレートは、Pが非0のときT、0のときFをIF::typeにtypedefする
　template <int N> struct derived : public IF<N,base1,base2>::type {};

このとき引数の数が異なるコンストラクタを持つ基底クラスをテンプレートで切り替え、
派生クラスのコンストラクタから、基底クラスのコンストラクタを呼び出したいのです:
　derived<1> d(0); // base1から継承し、コンストラクタは引数1
　derived<0> d(0, 1); // base2から継承し、コンストラクタは引数2

基底クラスのコンストラクタを呼び出すときには、派生クラスの初期化リストを使います。
ところが、派生クラスのコンストラクタ初期化リストでは、基底クラスのコンストラクタ
以外呼べませんから、次のように多重定義できません:
　// Nが非0だとすると
　derived(int x) : base1(x) {};
　derived(int x, int y) : base2(x, y) {}; // error! 基底クラスはbase1

このように基底クラスをテンプレートで替える場合に、うまく派生クラスのコンストラクタの
引数の数を調整するようなテクニックがあれば、ご教示いただけると幸いです。
また、異なるアプローチもあればコメントください。

732:デフォルトの名無しさん
05/07/08 20:50:10
俺にはderivedをNの値によって特殊化する方法しか思いつかない。

733:デフォルトの名無しさん
05/07/08 22:22:17
試しにこう書いてみたら g++ 3.4.4 cygming special では通ったんだが。

derived(int x) : IF<N,base1,base2>::type(x) {}
derived(int x, int y) : IF<N,base1,base2>::type(x,y) {}

734:731
05/07/09 02:41:09
>>732-733
レスありがとうございました。
>733の方法で、パパ、うまくできそうです。
続きがんばります！

735:デフォルトの名無しさん
05/07/09 08:17:21
どうもネットの世界の「ご教示」とか「ご教授」って浮いた言葉だなぁ。

736:デフォルトの名無しさん
05/07/10 00:59:18
実は初めてこの構文を知ったんだけどさ

>URLﾘﾝｸ(www.comeaucomputing.com)
>
>template <class T>
>T foo(T blah)
>{
>　　　　xyz object;
>　　　　T someInt;
>
>// (略)
>
>　　　　someInt = object.mt<int>(99.99); // AA: ill-formed
>　　　　someInt = object.template mt<int>(99.99); // BB: well-formed
>
>　　　　return someInt;
>}

ってなってて AA は ill-formed になってるんだけど、 object はテンプレートパラメータに依存してないんだから
template をつけなくても問題ないと思うんだけど。実際 g++ 3.4.4 だと通るし、. の前をテンプレートパラメータに
依存するように書き換えるとエラーが出る。

規格参照箇所 14.2-4
> When the name of a member template specialization appears after . or -> in a postfix-expression, or after
> nested-name-specifier in a qualified-id, and the postfix-expression or qualified-id explicitly depends on a
> template-parameter (14.6.2), the member template name must be prefixed by the keyword template.
> Otherwise the name is assumed to name a non-template.

737:デフォルトの名無しさん
05/07/10 02:07:52
template <typename T>
class Hoge {
public:
typedef std::vector<T> Container;
typedef Container::iterator Iterator;

private:
Container v;
};

と書いて、Hoge<int> hoge; とか呼ぶと、implicitなtypenameだと警告を言われます。
iteratorを表現するにはどのように記述すべきなのでしょうか。

738:デフォルトの名無しさん
05/07/10 02:09:19
>>737 gcc version 3.2 20020927 (prerelease) です。

739:737
05/07/10 02:11:47
URLﾘﾝｸ(www.tietew.jp) によると、

typename Container::iterator Iterator;

と書くみたいですね。これって常識なのかしら。

740:デフォルトの名無しさん
05/07/10 02:27:11
>>739
その場合、typenameは必須。

741:デフォルトの名無しさん
05/07/10 02:36:16
常識

742:デフォルトの名無しさん
05/07/10 04:36:52
当然

743:デフォルトの名無しさん
05/07/11 10:24:40
>>739
特殊化があるC++では、Tが確定しないと型推論が困っちゃうんで、
typedef typename Container::iterator Iterator;
って感じで。
typename Container::iterator Iterator;
も可能。
Container<int> v;
なら何とかなるはずだけど、explicitにtypenameしましょうという仕様。

744:デフォルトの名無しさん
05/07/16 20:53:42
＞型推論が困っちゃう

そうなのか？
Tが確定しないと、特殊化のあるC++ではstd::vector<T>::iteratorが
typedefされた型名か、メンバ（メンバ変数・関数）かが分からないから
コンパイラへのヒントとして型名であることを明示するのを義務付けてるんでは？

745:デフォルトの名無しさん
05/07/19 22:11:08

全然わかってないけど質問します。

テンプレートクラスの実装って全てヘッダーでやらないといけないんですか？
.cppの方でやるとリンカーエラーが出てリンクできないのですが！？
（全部ヘッダーにコピペしたら通った）

746:デフォルトの名無しさん
05/07/19 22:14:53

追加

だが、しかしそれをやると２重定義になる…
どうすればいいんじゃーーーー

747:デフォルトの名無しさん
05/07/19 22:20:05
>>745
テンプレートの定義をcppファイルに書きたければ、宣言と定義の両方にexportを付けるだけ。
しかしほとんどのコンパイラで使えない。（使えるコンパイラが全くないわけではない）

というわけで普通はヘッダにインラインで全て書く。
ごく稀に明示的実体化が使われることはあるが。

748:デフォルトの名無しさん
05/07/19 22:48:35
>>747
明示的実体化ってまさか、

template class c<bool>;
template class c<char>;
template class c<unsigned char>;

みたいに延々と cpp ファイルに書いていくわけ？

749:デフォルトの名無しさん
05/07/19 23:06:05
g++にはextern templateってのがあるね。

750:デフォルトの名無しさん
05/07/19 23:11:50
>748
そゆこと。

751:745
05/07/19 23:17:21
やってみた>>747

make -k all
g++ -Wall main.cpp Class.cpp -c
g++ -Wall main.o Class.o -o a.exe
main.o(.text+0x25):main.cpp: undefined reference to `Class<int>::Class[in-charge]()'
collect2: ld returned 1 exit status
make: *** [all] Error 1

ﾑﾘﾎﾟ

>>749を含めて出直してくる。これはイマの私の頭ではいくら考えても答えが出ない。
本を読むかg++のマニュアルを漁るか…

752:デフォルトの名無しさん
05/07/19 23:44:58
>>751
g++のinclude/bits/istream.tccより

// Inhibit implicit instantiations for required instantiations,
// which are defined via explicit instantiations elsewhere.
// NB: This syntax is a GNU extension.
#if _GLIBCPP_EXTERN_TEMPLATE
extern template class basic_istream<char>;
extern template istream& ws(istream&);
extern template istream& operator>>(istream&, char&);
extern template istream& operator>>(istream&, char*)

753:デフォルトの名無しさん
05/07/23 19:33:12
template <class T> class foo;

template <class T> class baa{
　friend foo;
　int n;
public:
　baa() : n(777){}
};

template <class T> class foo : public baa<T>{
　int hoge;
public:
　void set_val( baa<T>& arg ){ hoge = arg.n; }
};

int main(){
　baa<int> b;
　foo<int> f;
　f.set_val( b );
　return 0;
}

インデントが全角スペースですいません
これだとarg.nにアクセス出来ないのですが、間違っている場所を教えて頂けないでしょうか
friend foo; が、やっぱり
template <class T> friend foo; なんでしょうか

754:デフォルトの名無しさん
05/07/23 19:45:24
>>753
g++ でコンパイルすると、
:4: error: ISO C++ forbids declaration of `foo' with no type
:4: error: `foo' is neither function nor member function; cannot be declared friend

まぁそれは置いとくとして、
　friend class foo<T>;
で通ったよ。

755:753
05/07/23 19:59:42
>>754
やっぱりclass指定しますよね
書き込む前にチェックしたサイトで、指定が無かったので、自分が間違っていたのかと

そうか、再度template <class T>付けるのは馬鹿でした。
VC6なので、Tが同じじゃなかったらアウトだったかも・・・良かった。

本当に助かりました。コンパイルまでして頂いてすいません。ありがとうございました。

756:デフォルトの名無しさん
05/07/23 20:13:13
baaっての…なんかプログラムがアホっぽくなるな。

757:デフォルトの名無しさん
05/07/23 22:22:39
>>755
friend かどうかっていう問題なのか？
baa<T>::n が private か protected/public かどうかっていう問題では？

758:デフォルトの名無しさん
05/07/23 22:47:57
>>757
vtableを避けるための小細工なんです
眉をしかめる人が多いと思いますが、自分しか使わないのでお見逃しを

759:デフォルトの名無しさん
05/07/23 23:36:56
>>758
よくわからないな。>>753 のを
template <class T> class baa{
protected:
　int n;
public:
　baa() : n(777){}
};
とすると VC6 だと vtable に関して状況が変わるの？

760:デフォルトの名無しさん
05/07/23 23:51:14
753がprotectedを知らなかったというオチ？

761:デフォルトの名無しさん
05/07/24 00:21:24
>>759
失礼、深読みしすぎてました。

しかしすいません、そうなると>>757で頂いたレスの意図が分からないです。
protectedすると、引数で他のbaaを受け取ったとき、nにアクセス出来るのでしょうか。

762:760
05/07/24 00:40:00
753のコードでは、bar<T>::nがprotectedならfoo<T>::set_valの中でarg.nにアクセスできると思っていたがそうではなかったようだ。
ｽﾏｿ

763:デフォルトの名無しさん
05/07/24 01:03:17
>>761
アクセスできると思ってた。けど間違ってたのなら失礼。
・基本 class から派生 class を public 継承したとき、
・基本 class の protected member である n について、
・派生 class から this の n にアクセスできる。
・派生 class から this 以外の n にアクセスできない。
ということかな？も一回勉強しなおそ。

・ある class の private member である n について、
・その class から this の n にアクセスできる。
・その class から this 以外の n にアクセスできる。
というのは間違いないと思うんだけど。

あと自分の VC7 は、これに関して template class かそうでないかによって
コンパイル結果が違うのもよくわからない。

764:デフォルトの名無しさん
05/07/24 02:17:54
勉強しなおした。>>763は間違い多数につきスルーよろしく。失礼しますた。

765:デフォルトの名無しさん
05/07/28 18:38:46
Compile-time if
で型でなく値を返すにはどうすればいいのでしょうか？
int v= boost::mpl::if_c< (sizeof(T) <= sizeof(double)), 10, 20 >::Value
はだめでした

766:デフォルトの名無しさん
05/07/28 19:41:12
>>765
boost::mpl::int_
を使って、型にマップすればいい。

767:デフォルトの名無しさん
05/07/28 19:56:38
>>765
struct R0 {
enum {value = 10};
};
struct R1 {
enum {value = 20};
};
template <typename T>
int func ()
{
typedef typename boost::mpl::if_c <(sizeof (T) <= sizeof (double)), R0, R1>::type Result;
return Result::value;
}

768:デフォルトの名無しさん
05/07/29 10:42:43
template<CONTANER>
class CmyContaner
{
typedef CONTANER::iterator iterator_type;
};
としたらコンパイル通らなかったんですが、
CONTANER::iteratorはできないってことなのでしょうか？

769:デフォルトの名無しさん
05/07/29 11:35:24
>>768
-typedef CONTANER::iterator iterator_type;
+typedef typename CONTANER::iterator iterator_type;

770:デフォルトの名無しさん
05/07/29 15:37:41
そのままじゃ型名かメンバ変数かわからんからね。

> CONTANER
北斗の拳の主題歌を思い出すスペルミスだな。

771:デフォルトの名無しさん
05/07/29 16:46:27
>>768
ここもだね
-template<CONTANER>
+template<typename CONTANER>

772:デフォルトの名無しさん
05/07/30 08:40:48
template<Functor>
class MyMethod
{
public:
Functor f_
MyMethod(Functor f):f(f_)
{}
value()
{
f_(10);
}
};

class MyClass
{
public:
struct MyFunctor{
operator()(int a)
{
std::cout << a;
}myFunc;

//MyMethod<MyFunctor> myMethod(myFunc);//コンパイル通らない
MyMethod<MyFunctor> myMethod(MyFunctor);//なぜかコンパイル通る
value(){
myMethod.value();//左側がクラス　構造体　共用体でありませんと怒られる
}
};

クラスの中でfunctorを定義したら動かなくなりました。
回避方法はないのでしょうか？

773:デフォルトの名無しさん
05/07/30 09:48:49
>>772
>クラスの中でfunctorを定義したら動かなくなりました。
クラスの外でfunctorを定義したらそれ動く?

774:デフォルトの名無しさん
05/07/30 13:47:17
>772
とりあえず } が 1 個足りない。
} myFunc; の前に 1 個ある、でいいのか？

>MyMethod<MyFunctor> myMethod(MyFunctor);
これだと MyFunctor 型の引数をとり、MyMethod<MyFunctor> 型を返すメンバ関数 myMethod を
宣言しているんじゃまいか？

>//MyMethod<MyFunctor> myMethod(myFunc);//コンパイル通らない
なんでメンバ変数を宣言してるのに初期化しようとしてるの？

MyMethod<MyFunctor> myMethod;
MyClass() : myMethod(myFunc) {}

じゃねーのか？あと↑だと myFunc との初期化順序が問題になる場合があるかも。
今回の場合、MyClass() : myMethod(MyFunctor()) でいいような気もするが。

775:772
05/07/30 14:59:26
すみません　}　が１つぬけてました。

template<Functor> class MyMethod
にclass の外で定義したfunctorを使うと
意図したとうりの動きをすることを確認しています。

776:デフォルトの名無しさん
05/07/30 15:06:57
>>775
>class の外で定義したfunctorを使うと
>意図したとうりの動きをすることを確認しています。
本当に?
コピペにかなりミスがあると思うよ
MyMethod::value()
MyClass::MyFunctor::operator()(int a)
の返値の型は?

もし本当に動くなら処理系を教えてね

777:776
05/07/30 15:09:07
たぶんこんなことしたいのかな
template <typename Functor>
struct MyMethod {
Functor f_;
MyMethod (Functor f): f_(f) {}
void value () {f_ (10);}
};
struct MyClass {
struct MyFunctor {
void operator () (int a) {
std::cout << a;
}
} myFunc;
MyMethod <MyFunctor> myMethod;
MyClass (): myFunc (), myMethod(myFunc) {}
void value() {myMethod.value();}
};

778:デフォルトの名無しさん
05/08/02 22:23:20
template<X>
class CHoge
{public:
CHoge( X= typeof(x) ) {}
};
なんてできないの？
自動で型判別してほしい。
自動判別した型を使ってCompile-time Ifもできるとさらにいいんだけど

779:デフォルトの名無しさん
05/08/02 23:18:35
>>778
>自動で型判別してほしい。
>自動判別した型を使ってCompile-time Ifもできるとさらにいいんだけど
これらはできるけど
例で何がしたいのかさっぱり分かりません

780:デフォルトの名無しさん
05/08/05 23:15:18
template< ArrayType >
function( ArrayType array)
{
Compile-time If (ArrayType はポインタの配列？)
{
int a= array[0]->value;
}else{
int a= array[0].value;
}
こんなことがしたい

781:デフォルトの名無しさん
05/08/05 23:30:47
type_traitsでいいんじゃないの？

782:デフォルトの名無しさん
05/08/06 00:52:15
個人的には値の配列とポインタの配列を静的多相に扱おうとする行為そのものに
異議を申し立てたい．

783:デフォルトの名無しさん
05/08/06 02:36:31
次のようなコードが、Visual C++では通るけどGCCでは通りません。

オブジェクトの名前と番号の型を保持する構造体を用意

template<class S,class I>
struct Types
{
　　typedef S String;
　　typedef I Integer;
};

この定義を受け取って型を定義するベースクラスを作成

template<class T>
struct Base
{
　　typedef typename T::String StringType;
　　typedef typename T::Integer IntegerType;
};

そして、これを利用するサブクラスを作成。

template<class T>
struct Derived : public Base<T>
{
　　StringType name; //!< ここでコンパイルエラー
　　IntegerType number; //!< 同様
};

typedef Types<std::string,int> StdTypes;
Derived<StdTypes> derived;

784:デフォルトの名無しさん
05/08/06 02:38:23
続き

以下のように書けばGCCでもコンパイルは通ります。

typename Derived::StringType name;
typename Derived::IntegerType number;

こんな面倒な書き方しかできないなら、
わざわざベースクラスにtypedefした意味がないんですが
何かいい方法ありませんか？

785:デフォルトの名無しさん
05/08/06 02:58:54
>>783-784
Base の定義中に typename が必要な理由を知っていれば、無理だと予想が付くだろうに。

786:デフォルトの名無しさん
05/08/06 07:54:33
>>783-784
俺だったら
Base::Stringと書けないか
Derivedの中にusing　Base::String;と書けばStringが使えないか
の2つをまず試してみる。これでできるかどうかはもちろんしらんが。

787:デフォルトの名無しさん
05/08/06 09:04:33
Baseを使うなら、
typename Base<T>::StringType name;
typename Base<T>::IntegerType number;
こうなるから、これこそ、
> わざわざベースクラスにtypedefした意味がない
ので、>>784のやり方が良いだろう。

VC++もそのうち>>783は駄目になることでしょう。

788:デフォルトの名無しさん
05/08/06 09:32:41
>>784
それVC7.1のバグらしい。
面倒見が良すぎて、typenameを本来ならば書かなければならない
所を、曖昧さがない場合は無くても通してしまう。

VC7.1でもちゃんと typename は書くべき。

789:デフォルトの名無しさん
05/08/06 12:59:29
このスレの難読コードをみて
おれにとて

C++はなかたことになた

790:デフォルトの名無しさん
05/08/06 13:03:53
そんなだから、未だに君にとってこの程度が「難読コード」なんだよ。

791:デフォルトの名無しさん
05/08/06 13:07:40
俺もtemplateのコードは可読性が低いと思うよ
唯一の弱点だな

792:デフォルトの名無しさん
05/08/06 13:32:35
テンプレートとC++「本体」って明らかに別の言語だよな。
概念の異なる2つの言語が混在してるんだから、
可読性が低いのは当たり前。

793:デフォルトの名無しさん
05/08/06 15:19:32
>>792
じゃあどういう構文にすればいいよ？

794:デフォルトの名無しさん
05/08/06 19:15:56
構文の話なのかな。

795:デフォルトの名無しさん
05/08/06 19:21:27
>>784
template<class T>
struct Derived : public Base<T>
{
typedef Base <T> Base_;
typedef typename Base_::StringType StringType;
typedef typename Base_::IntegerType IntegerType;
StringType name;
IntegerType number;
};

796:デフォルトの名無しさん
05/08/06 20:27:48
>>795 意味無いじゃん。

797:神゜
05/08/06 20:49:53
そろそろ俺の出番か？

798:デフォルトの名無しさん
05/08/06 21:04:29
>>784
ベースクラスがテンプレート依存でなければ StringType,IntegerType
は見えるが、そうでない場合は 795 のように書く必要がある。

実はずっと前の GCC で VC7.1 みたくエラーにならない時期が
あったんだが、バージョン上げたらエラーになったんで仕様を
確認したことがあったのを思い出したよ。

799:デフォルトの名無しさん
05/08/06 23:17:54
>>798
2.95あたりは確かそうだったね

800:デフォルトの名無しさん
05/08/07 16:48:53
template<class A>
struct Foo
{
　　template<class B>
　　struct Bar
　　{
　　};
};

このBarだけを特殊化するのって、GCCでは

template<>template<>
struct Foo<int>::Bar<int>

って書かなきゃならないんだね。
VC++7.1では

template<>
struct Foo<int>::Bar<int>

で通るんだけど、これはバグなのかな？

801:デフォルトの名無しさん
05/08/07 16:55:26
>>800
どっちが規格に準じてるかによるね

802:デフォルトの名無しさん
05/08/07 17:00:26
>>800
14.7.3.17 より
"If the declaration of an explicit specialization for such a member appears in namespace scope, the member declaration shall be preceded by a template<> for each enclosing class template that is explicitly specialized."

template<> template<> ... と繰り返すのが正解っぽい。

803:デフォルトの名無しさん
05/08/07 17:10:09
>>800
gccを信じてそちらに合わせておけ。

804:デフォルトの名無しさん
05/08/07 17:27:08
>>800
gccのバージョンは何?
g++ 3.3.5
だとそれ両方とも通るんだけど
新しいのは通らないのかな?

805:デフォルトの名無しさん
05/08/07 18:19:07
template <class T>
typename enable_if<boost::is_integral<T>, void>::type
foo(T t) {}
で関数を定義したりできないのはわかるけど
これでclassのコンストラクターを定義したりしなかったりを決めると

コンストラクターに戻り値が定義されています

と怒られる。何か方法ないのでしょうか？
template <class T>
class A{
typename enable_if<boost::is_integral<T>, void>::type
A(T t) { }
}

806:デフォルトの名無しさん
05/08/07 18:44:57
>>805
SFINAEは戻り値の型でやる方法と（デフォルト）引数の型でやる方法の2通りできて，
コンストラクタの場合は戻り値の型を指定できないですから引数の型のほうでやります．

template<class T>
class T{
A(T t, typename enable_if<boost::is_integral<T> >::type * = 0){}
};

こんな感じで．逆に演算子関数の場合は余計なデフォルト引数を指定できないので
戻り値型で，という感じになると思います．

807:デフォルトの名無しさん
05/08/07 22:38:01
enable_ifが何をするもんなのか、未だにわかんねえ。
てか、何年英語の勉強してもboostのドキュメントさえ読めない俺ってすげえよ。
よっぽど英語の才能が無いんだな。

808:デフォルトの名無しさん
05/08/07 22:41:04
ﾃﾒｪは自己紹介がしたいだけだろ
分からねぇんだったらｲﾁｲﾁ出てくんな

809:デフォルトの名無しさん
05/08/07 22:50:40
>>807
SFINAEによるオーバーロードセットのコントロールを簡単に
行うためのユーティリティ。

英語分からなくてもC++分かるんならひたすらソース詠めば
何となく見えてくる、かもよ。

810:デフォルトの名無しさん
05/08/07 22:53:46
>>808
なにキレてんのキミ。
相手以上の駄レス書いてたら意味無いのに。

811:デフォルトの名無しさん
05/08/07 22:59:07
駄レスとかいってたら、ほとんどがそうだろｗ

812:デフォルトの名無しさん
05/08/07 23:00:10
ほとんどがそうならなおのこと
突然特定のレスにキレる理由が無いよ。

813:デフォルトの名無しさん
05/08/07 23:03:27
自己顕示欲丸出しの厨房がウザイだけだろ
まあ、どこにでもいるからいちいちキレるのもどうかと思うが

814:デフォルトの名無しさん
05/08/07 23:16:33
キレて説教するほうがよっぽど自己顕示欲激しいと思う。
世に言う自爆ですな。アホくさ。

815:デフォルトの名無しさん
05/08/07 23:17:52
URLﾘﾝｸ(www.boost.org)
ここの「1.2 Background」は、何が問題だって言ってるんですか？

816:デフォルトの名無しさん
05/08/07 23:20:01
説教がどう自己顕示欲につながるんだ？？

817:デフォルトの名無しさん
05/08/07 23:22:14
>>814
ﾜﾛｽ

818:デフォルトの名無しさん
05/08/07 23:29:27
>>816
キレるたびにいちいちスレ違いの書き込みするような奴が
自己顕示欲薄いって言い張る気？

819:デフォルトの名無しさん
05/08/07 23:30:34
enable_ifがわからんってののどこが自己顕示欲に繋がるのかもわからんけどな

820:デフォルトの名無しさん
05/08/07 23:30:49
>>818
藻前もキレてるじゃん
あと煽り耐性なさ過ぎ
いい加減スルーしろよ

821:デフォルトの名無しさん
05/08/07 23:31:47
>>815
いや，そこの部分は別に何かが問題だなんて書いてないです．
単にSFINAEというのがどう機能するか（そしてなぜそのような機能が必要なのか）
を説明しているだけです．

822:デフォルトの名無しさん
05/08/07 23:32:15
816が煽りには見えないけどなあ。
普通にズレてるだけで。

823:デフォルトの名無しさん
05/08/07 23:32:55
>>815
あっと，「もしSFINAEがなければこういうことが問題だよね」というのは書いてますけれど．

824:デフォルトの名無しさん
05/08/07 23:35:03
>>822
分かったからもう出てくんな

825:デフォルトの名無しさん
05/08/07 23:40:11
本日の推奨NG
「。」「顕示」「煽り」「キレ」
すっきりして(・∀・)ｲｲ!!

826:デフォルトの名無しさん
05/08/08 02:07:36
expressional template
VC.net2003だと、ちょっと複雑な式を書いただけで
コンパイル通らない。
そういうものなの？
gccなら通るのかな

827:デフォルトの名無しさん
05/08/08 02:12:44
>>826 その「ちょっと複雑な式」とやらを晒すとレスが付くかもしれない。

828:デフォルトの名無しさん
05/08/08 03:35:21
>>826
現存する如何なるコンパイラでも通らない程複雑（広義の）なコードに問題ありに100円。

829:デフォルトの名無しさん
05/08/08 04:40:19
ネストが17超えるとか?

830:デフォルトの名無しさん
05/08/08 15:16:31
いろんな要素が混じってるので必ずしもexpressional templateが
原因でないのかもしれないけど

boost::numeric::ublas::matrix & A(){return A_ }
boost::numeric::ublas::matrix & B(){return B_ }

B() = prod( A(), A())*3 + B()　+ ....

こんな感じかな.全部はさらせないのですまそ

831:デフォルトの名無しさん
05/08/09 01:41:27
>>830
エラー貼ったがいいよ
もし膨大なら
再現するコンパイル可能な最小のコードを貼って

832:831
05/08/09 01:45:25
>コンパイル可能な
おっとコンパイルは通らないのか

>あなたがコンパイル通らないことを理不尽に思う
に訂正

ようするにテストする側の身になってコードを
貼ってください

833:デフォルトの名無しさん
05/08/09 11:45:51
>>830
＞こんな感じかな.全部はさらせないのですまそ

じゃあ、他の人にエラーの原因を調べてもらうのも諦める事ですな。
証拠不十分なまま、証言台に立つような物ですぞ。

834:デフォルトの名無しさん
05/08/20 08:39:28
だれもいない

835:デフォルトの名無しさん
05/08/20 20:28:20
ホントにだれもいないのかよ

836:デフォルトの名無しさん
05/08/20 20:39:26
いねーよ

837:デフォルトの名無しさん
05/08/20 20:40:28
質問やら話題があれば人は自然と集まってくる。

838:デフォルトの名無しさん
05/08/20 20:52:57
おまえら
”てんぷれーと”にだまされてないか？
”しーぷらぷらのてんぷれーと”って結局あれだよ。
中途半端。
そう中途半端。
LISPに比べたら。
全然読み易くならない。
いろんな括弧であふれてLISPの方がまだサルのように読みやすい。
まあここにﾀﾑﾛしてるおまえらの言い分は判ってるよ
こうだろ、静的カタカタ型が重要なんです！
LISPじゃすぴーどでないよﾌﾟﾌﾟﾌﾟ
とかな。
ばーか。
カタなんかより柔軟性なんだよこのご時世はよ
カタカタうるせーのなんのって、笑うわ。
C++考えた奴みたいにハゲろ
全員

次ページ