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

【C++】template 統合 ..

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++考えた奴みたいにハゲろ
全員

839:デフォルトの名無しさん
05/08/20 20:59:39
確かに、「ネイティブコード吐く言語じゃないと速度が」
とか必死に言ってる奴に優秀なプログラマはいないな。

840:デフォルトの名無しさん
05/08/20 21:10:42
しーぷらぷらの処理系。
てんぷれーとバグだらけ。
笑うわ。
いったい何年てんぷれーとやってんだよ
おまえらがべんだーの修正待つあいだに
おれLISPで新しいマクロどっさり作る
生産性バカたけぇーわLISPはよ
LISPはカタないからすぴーどでないよﾌﾟﾌﾟﾌﾟて、
そりゃ頭がかてえ証拠だな。
そんな奴は引退したほーがいいんじゃねーかなあ
LISPにカタないなら組み込めよ、ハゲども
ぶーとすとらっぷとか考えろよ
わかるか？ぶーとすとらっぷって。
しーぷらぷらにはそんながいねんはないかもなあ。
最適化なんかやりやすいなーすいすいいけるぜ
こんすの海の中にいると不満なんてすぐ解消する
それがLISP。
まあ頭のかたいカタカタ野郎は
やっぱりC++考えた奴みたいにハゲろ
全員

841:デフォルトの名無しさん
05/08/20 21:16:51
>>839よりは優秀だけどね。

842:マイク ◆yrBrqfF1Ew
05/08/20 21:31:32
C++をしーぷらぷらなんて言うのは無能。

843:デフォルトの名無しさん
05/08/20 21:59:52
C++でLisp系の俺言語&処理系作るのが最近の俺の趣味なんだが、
なんかこいつの仲間と思われたくないな、恥ずかしくて。

844:デフォルトの名無しさん
05/08/20 22:59:08
>>842
シープラスプラス？
それともシーたすたす？

845:デフォルトの名無しさん
05/08/20 23:33:28
しーいんくりめんと

846:デフォルトの名無しさん
05/08/20 23:43:58
C++
後置ということは、まだ本当のC++にはであてないわけだ

847:デフォルトの名無しさん
05/08/20 23:45:24
C++には出会えている
++Cに出会えてないだけ

848:デフォルトの名無しさん
05/08/21 00:37:45
838は、C++のテンプレートが読みにくく、
コンパイラのバグのことも分かっていて、
C++作った人物についても詳しいようだな

849:デフォルトの名無しさん
05/08/21 00:48:03
Schemeの純粋指向にはあこがれるけど、Lispはどうでもいいや。
継続は面白いな。

>LISPはカタないからすぴーどでないよﾌﾟﾌﾟﾌﾟて、
型が無いと遅くなるつうのは初耳ですが、どこの情報？

850:デフォルトの名無しさん
05/08/21 01:06:13
>>849
VBのバリアント型みたくデータ側に型情報があるから
オブジェクトを参照するたびに動的な判定が毎回必要ってことだよ。
型判定に値の取り出しとか最低でもCの3倍以上のコストが掛かる。
Rubyが遅いのもこれがかなり影響してる。

851:デフォルトの名無しさん
05/08/21 01:09:17
でも日本語は不自由なようだ。

852:851
05/08/21 01:09:45
>>838

853:デフォルトの名無しさん
05/08/21 01:25:23
> オブジェクトを参照するたびに動的な判定が毎回必要ってことだよ。
随分ダサい実装ですね。

854:デフォルトの名無しさん
05/08/21 01:41:07
そのダサイ実装を越えたところに桃源郷が

855:デフォルトの名無しさん
05/08/21 01:41:43
ももげんごう？

856:デフォルトの名無しさん
05/08/21 12:12:15
ももげんごう（←なか変換できない）

857:デフォルトの名無しさん
05/08/21 14:42:55
桃源郷＝Xanadu　キサナドゥ

858:デフォルトの名無しさん
05/08/22 00:38:44
>>850
正直、有名なコンパイラならそんなださい実装は少ないよ。
Common Lispには型指定の構文があるくらいだし。

859:デフォルトの名無しさん
05/08/23 09:18:30
数値計算したい人は
速度気にしないならlistでなくてMatlab使う

860:デフォルトの名無しさん
05/08/23 15:06:35
>>858
CLOS基地外氏ね
スレ違いだし

861:デフォルトの名無しさん
05/08/23 15:34:43
だれもいないからとか言うから

862:デフォルトの名無しさん
05/08/23 16:29:46
人稲杉なので、チラシの裏

boost::bind は、bind( f, _1, _2, a, b, _1 ) を行うことで、
func::return_type ( A1 & a1, A2 & a2 ) というファンクタを返すけど、
この _1 や _2 を、_decimal や、_text、_float のような書式指定プレイスホルダに
置き換えて、以下のようにすれば、タイプセーフな printf が出来るなと
考えたことがあった。

function< void( int ) > f = format( cout, "a = ", _hex, endl );
// ↑ cout << "a=" << %x << endl; と同じ事を行うファンクタを返す。
f( 10 ); // cout << "a=" << hex << 10 << endl;
ｆ（"aaa"); // コンパイルエラー

上の形とは違うけどその思想に基づいて実際に作ってみたことがある。
でも結局実用では (w)sprintf しか使わなかった。勉強にはなったけどね。
template プログラミングは楽しいけど、冷静なるとしなくていいことまで
テンプレート化してたりしていることがあるので気をつけないと。

863:デフォルトの名無しさん
05/08/23 17:12:40
>>862
> 冷静なるとしなくていいことまでテンプレート化してたりしていることがある
昨夜、そんな関数テンプレートを必死で非テンプレート関数に直してた・・・。
数日前に必死で関数テンプレートにした箇所だったのだけど・・・。

864:デフォルトの名無しさん
05/08/24 12:24:27
template<typename X_TYPE>
void xxx(X_TYPE x)
{}
として型の自動認識の手間減らしは多用するな

865:デフォルトの名無しさん
05/08/24 13:32:40
そうね。時々やる。いっそのこと型を書くのはオプションにして
MLみたいに型推論してくれればいいのにと思う。

866:デフォルトの名無しさん
05/08/24 17:50:00
C++　0xだとそんな機能が追加されるとかされないとか。

867:デフォルトの名無しさん
05/08/28 09:36:27

テンプレートがちんぷんかんぷんでまったく理解できない私に
理解できるようになる方法を教えてください。まじで。

868:デフォルトの名無しさん
05/08/28 11:02:49
引数の型を使うときに決められるんだよ。

869:デフォルトの名無しさん
05/08/28 11:35:27
>>867
騙されたと思ってstd::min()でも使って味噌。

870:デフォルトの名無しさん
05/08/28 13:22:51
せめてstd::vector くらい使わないとありがたみ沸かないだろう。

871:デフォルトの名無しさん
05/08/28 18:04:02
>>867
つ[C++ Templates(英文)]

872:デフォルトの名無しさん
05/08/29 06:58:30
STL バンザイ

873:デフォルトの名無しさん
05/08/29 21:56:02
STLとboostが無かったら俺C++使いつづけて無かったよ。

874:デフォルトの名無しさん
05/08/29 22:30:29
俺もそうだ。

875:デフォルトの名無しさん
05/09/03 00:21:09
会社でtemplate使うなって言われたんだけど…
何故？

876:デフォルトの名無しさん
05/09/03 00:24:13
会社で使いこなせるヤシがいないからと邪推

877:デフォルトの名無しさん
05/09/03 00:31:06
代わりにLISP使え

もっと困るかもな
へへ

878:デフォルトの名無しさん
05/09/03 03:19:35
>>875
それは、あなたが馬鹿だからです。

879:デフォルトの名無しさん
05/09/03 03:26:37
お前だけは使うなって言われたなら
そうかもしれないけどさ

880:デフォルトの名無しさん
05/09/03 09:13:41
>>875
まともな会社にうつるべし

881:デフォルトの名無しさん
05/09/03 09:55:32
>>875
会社に聞け。
ここで聞くようなやつは>>878に決定。

882:デフォルトの名無しさん
05/09/03 10:02:04
>>881
なんでそんな必死にこの話題にフタしたがるの？
コンプレックスでも刺激された？ｗ

883:デフォルトの名無しさん
05/09/03 11:09:31
>>882
頭、大丈夫か？

884:デフォルトの名無しさん
05/09/03 14:45:37
VC6のプログラム保守してるとかじゃないのか＞875

885:デフォルトの名無しさん
05/09/03 22:33:39
>>883
大丈夫だよ。
質問に答えられない誰かさんの頭は大丈夫じゃないみたいだけど。

886:デフォルトの名無しさん
05/09/04 03:17:12
・移植性重視
・扱える開発者が少ない or メンテする人が固定とは限らない

のどっちかだろうねえ
後者の事情のほうが多いと思うけども

887:デフォルトの名無しさん
05/09/09 02:16:23
管理職の団塊世代が、ピュアなC以外理解できないとか

888:デフォルトの名無しさん
05/09/09 22:28:28
名前空間→記述が冗長すぎる
テンプレート→制限が多すぎる
クラス→継承が可読性を悪化させる
その他→コンパイル時間が長すぎる

889:デフォルトの名無しさん
05/09/09 23:39:18
C++→俺が解からない

890:デフォルトの名無しさん
05/09/09 23:45:15
俺が解からない→みんなも解からない

891:デフォルトの名無しさん
05/09/10 02:04:02
>>886
＞移植性重視

templateって移植性下がるの？

892:デフォルトの名無しさん
05/09/10 02:33:11
例えばGCCと心中するつもりならGCCで動けばOKって人もいるでしょ

893:デフォルトの名無しさん
05/09/10 02:46:27
>>891
ある程度ISO C++に準拠したコンパイラがない環境には移植できなったりだとか。

894:デフォルトの名無しさん
05/09/10 03:16:30
少なくとも、vc7.1とgccの両方で動くテンプレートくらい書けないと
話にならないと思うけど。

895:デフォルトの名無しさん
05/09/10 12:53:08
VC7.1とgcc3.3以降で動くテンプレート書くのは簡単だろ、どっちもほぼ100%標準準拠なんだから。
むしろVC6とかgcc3.2とかで動くか動かないか判断する方が難しいと思われ。

896:デフォルトの名無しさん
05/09/10 13:14:28
>>895
VC6とgcc3.2以前はもうあきらめた。
というかエラーメッセージすらとんちんかんな時があるのが頭痛い。

昔の仕事のプロジェクトコードのメンテでちょっとしたテンプレート書いてとかで
引っかかると泣きたくなる。

次ページ