C# と VB.NET の質問掲示板

いつもお世話になっています。Boostを学習中またもや問題にぶち当たってしまいました。
次のサンプルコードでエラーが発生します。
※開発環境はVC++2008Expressです。

#include <string>
#include <boost/call_traits.hpp>

using namespace std;

template<typename T>
class Holder
{
public:
	Holder::Holder() {}
	boost::call_traits<T>::param_type Holder::get() { return data; } //ここが怪しい
	void Holder::set( boost::call_traits<T>::param_type d ) { data = d; }

private:
	T data;
};

int main()
{
	Holder<int> hint;
	hint.set( 100 );
	int t = hint.get(); // getやsetは const int で受け渡し

	Holder<string> hstr;
	hstr.set( "hoge" );
	string s = hstr.get(); // getやsetは const string& で受け渡し

	return 0;
}


出力されるエラーは次の通りです。

エラー	2	error C2143: 構文エラー : ';' が 'Holder<T>::get' の前にありません。call_traits.cpp	11
エラー	3	error C4430: 型指定子がありません - int と仮定しました。メモ: C++ は int を既定値としてサポートしていません	call_traits.cpp	11
エラー	4	fatal error C1903: 直前のエラーを修復できません。コンパイルを中止します。	call_traits.cpp	11


私が思うに、型指定子に指定したboost::call_traits<T>::param_typeが認識されていないのが問題だと思いましたので、インクルードのパス指定をBoostがトップになるように指定しました。
それでも上記のエラーが出力されます。
このエラーを解決する方法をご存じの方、もしくは気付いた点がある方は教えて下さい。
お手数ですがよろしくお願いいたします

・クラス定義中にインラインでメンバ関数を実装する場合はクラス名修飾は要らない
・別テンプレート中で定義されている型を使う場合は typename が必須になった

template<typename T> class Holder {
public:
    Holder() {}
    typename boost::call_traits<T>::param_type get() { return data; } //ここが怪しい
    void set( typename boost::call_traits<T>::param_type d ) { data = d; }
private:
    T data;
};

でもこの程度であれば T get() { return data; } で必要十分だったりするわけだが・・・

わたしも typename の付け忘れはよくやるのですが、
なんども経験しているとエラーメッセージを見てすぐに気付けるようになります。
（よくやるミスってだいたい決まってますから）

この場合、typedef しておけば修正は１箇所で済んだのです。

typedef typename boost::call_traits<T>::param_type param_type;

param_type get() const { return data; } 
void set(param_type d) { data = d; } 

あと、get は const 修飾した方がいいです。

■No24063 (774RR さん) に返信
> 2008/08/27(Wed) 13:05:30 編集(投稿者)
> 2008/08/27(Wed) 13:05:17 編集(投稿者)
> 
> いやもうこれについてはリンク先ですべて述べられ済みだったりするわけで蛇足なのだが。
> 
> 任意の T について T get() { ... } と書くと、この返却値としてはコピーが生成される。
> 
> コピーするコストが高い場合（でかいクラスとか）、ないし、
> コピーできない場合（basic_stream はコピーできない）とかには
> 参照を使って T& get() { ... } であるほうが望ましい場合が多い
> 
> 参照より安いコストでコピー･使用できる場合（int/double 等の組み込み型）や
> そもそも複写が欲しい場合には T get() { ... } のほうが望ましい
> 

たしか、『Modern C++ Design』にも載ってましたね。


> #24060 さん // 番号が違っていたので修正
>>あと、get は const 修飾した方がいいです。
> だめです。参照を返せなくなります。
> get() const と get() の両方を用意するのであればそれなりに意味はあります。

あんどちんさんも指摘しておられますが、param_type は const 修飾されているので、
get() const ひとつでいいはずです。