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

今日C++/CLIに関してブログを書いてた際に思い出したんだけど、プロパティに何故型を何度も指定する必要があるのでしょうか？
サンプルが無いと分かりにくいと思いますので提示します。

http://indori.blog32.fc2.com/

public ref class Bird
{
	//フィールド</font>
private:
	Int32 m_age;
	String^ m_name;
public:
	property Int32 Age {
		String^ get() { return this->m_age; }　//ここが嫌！
		void set( Int32 value ) {
			if ( value > 0 ) m_age = value;
		}
	}

	property String^ Name {
		String^ get() { return this->m_name; } //ここが嫌！
		void set( String^ value ) { this->m_name = value; }
	}

	//メソッド</font>
	void Talk( ) {
		Console::WriteLine( "私は{0}。年は{1}だよ。", this->m_name, this->m_age); 
	}
};

このようにプロパティには同じ型を三度も書かなくてはなりません。
その理由が私にはさっぱり分かりません。
皆様はこの件に関してどう思われますか？

参りましたね・・・親切な774RRさん以外の回答がないorz
うーん、この不思議仕様の由来が知りたい。
ですから質問の範囲を広げます。
由来でなくてもプロパティに3回の型名を記述することに利点を感じる人の意見も募集します。
ちなみに、プロパティは冗長なだけではなくて、省略記法がある事を発見しました。

private:
String^ name;

public:
property String^ Name {
    String^ get() { return this->m_name; } //ここが嫌！
    void set( String^ value ) { this->m_name = value; }
}


こんなよくある実装の場合、なんと！こう書けます。

public:
property String^ Name;

これはどういう事かという、「フィールドの宣言を省略できる」ということです。これは素直に嬉しい。
でもだからこそ不思議なのです。こんな高度な記述が出来るC++/CLIが何故型名を三回も書かなくてはならないのか・・・

> property String^ Name {
>     String^ get() { return this->m_name; } //ここが嫌！
>     void set( String^ value ) { this->m_name = value; }
> }
これ、宣言と定義分けると次のような感じでしたよね？

public ref class Sample
{
private:
  String^ m_name;
public:
  property String^ Name {
    String^ get();
    void set(String^ value);
  }
};

String^ Sample::Name::get()
{
  return this->m_name;
}

void Sample::Name::set(String^ value)
{
  this->m_name = value;
}

propertyの行に型がある必要がないように感じますが、何か理由があったんでしょう。
それは設計者に聞くか、聞いた/読んだことがある人じゃないと答えられないと思います。

-----

> こんなよくある実装の場合、なんと！こう書けます。
> 
> public:
> property String^ Name;
これを読んで、event EventHandler Hogehoge { add { } remove {} }な構文に形を合わせたget/set関数かなとも思う。