29.属性

29.1 Attribute クラス

29.1.1 属性の使い方

[AttributeUsage(AttributeTargets::Class | AttributeTargets::Interface)]
public ref class SimpleAttribute : Attribute {};

[Simple] ref class Class1 { ... };
[Simple] interface class Interface1 { ... };

[SimpleAttribute] ref class Class1 { ... };
[SimpleAttribute] interface class Interface1 { ... };

[AttributeUsage(AttributeTargets::Class, AllowMultiple = true)]
public ref class AutorAttribute : Attribute {
    String^ name;
public:
    AuthorAttribute(String^ name) : name(name) { }
    property String^ Name { String^ get() { return name; } }
};

[Author("Brian Kernighan"), Author("Dennis Ritchie")]
ref class Class1 { ... };

ref class R : Attribute { ... };

[AttributeUsage(AttributeTargets::All, AllowMultiple = false)]
ref class R : Attribute { ... };

29.1.2 配置（Positional）名前付き（named）パラメータ

[AttributeUsage(AttributeTargets::Class)]
public ref class HelpAttribute : Attribute {
public:
    HelpAttribute(String^ url) {  // url は配置パラメータ
        ...
    }

    property String^ Topic {      // Topic は名前付けパラメータ
        String^ get() { ... };
        void set(String^ value) { ... };
    }

    property String^ Url { String^ get() { ... } }
};

[Help("http://www.mycompany.com/.../class1.htm")]
ref class Class1 {
};
[Help("http://www.mycompany.com/.../Misc.htm", Topic = "Class2")]
ref class Class2 {
};

29.1.3 属性パラメータ型

• 次の型の一つ：Boolean, System::Byte, System::SByte, System::Char, System::Int16, System::Int32, System::Int64, System::Single, System::Double ないし、これらの型の一つに対応するネイティブ型。
• System::String^ 型。
• System::Object^ 型。
• System::Type^ 型。
• そのアクセス可能性が public であり、そのネストしている（任意の）型もまた public のアクセス可能性を持っている列挙型。
• 上述の型の一次元 ::cli::array

29.2 Attribute 仕様

ref class Class1 {};
[Class1] ref class Class2 {};  // エラー

• assembly -- アセンブリ。その場合、attribute-section はセミコロンが付き従う。［例：[assembly:CLSCompliant(true)]; ］
• class -- ref クラス
• constructor -- コンストラクタ
• delegate -- デリゲート
• enum -- 列挙（ネイティブやCLI）
• event -- イベント
• field -- フィールド。トリビアル・イベントやトリビアル・プロパティもこのターゲットで属性を持つことができる
• interface -- インターフェイス・クラス
• method -- デストラクタ、ファイナライザ、関数、演算子、プロパティの get と set アクセサ、そして、イベントの add と remove アクセサ。トリビアル・イベントやトリビアル・プロパティもまたこのターゲットで属性を持つことができる
• parameter -- コンストラクタ、関数、演算子、ないし、プロパティやイベントのアクセサ中のパラメータ
• property -- プロパティ
• returnvalue -- デリゲート、メソッド、演算子、そして、プロパティの get アクセサ
• struct -- 値クラス

• デリゲート宣言で指定された属性は宣言されたデリゲートとその返値のどちらにも適用できます。attribute-target-specifier（属性ターゲット指定子） が不在の場合、属性はデリゲートに適用されます。 delegate attribute-target-specifier（属性ターゲット指定子） の存在はその属性がそのデリゲートにかけられていることを示しており、retuenvalue attribute-target-specifier（属性ターゲット指定子）の存在はその属性が返値に適用されることを示します。
• 関数宣言に指定する属性は宣言された関数かその返値かのどちらにも適用できます。attribute-target-specifier（属性ターゲット指定子） が不在の場合、属性は関数に適用されます。method attribute-target-specifier（属性ターゲット指定子） の存在はその属性が関数に適用されることを示しています。retuenvalue attribute-target-specifier（属性ターゲット指定子） の存在はその属性が返値に適用されることを示しています。
• 演算子宣言に指定された属性は宣言された演算子かその返値のどちらにも適用できます。attribute-target-specifier（属性ターゲット指定子） が不在の場合、属性は演算子に適用されます。method attribute-target-specifier（属性ターゲット指定子） の存在はその属性が演算子に適用されることを示しています。 retuenvalue attribute-target-specifier（属性ターゲット指定子） の存在はその属性が返値に適用されることを示しています。
• トリビアル・プロパティ宣言に指定された属性は、宣言されたプロパティか、それに関連するフィールド（もし、プロパティが abstract でなければ）、ないし、関連したセットと get アクセサ関数に適用することができます。attribute-target-specifier（属性ターゲット指定子） が不在の場合、属性はプロパティ宣言に適用されます。property attribute-target-specifier（属性ターゲット指定子） の存在はその属性がプロパティに適用されることを示しています。field attribute-target-specifier（属性ターゲット指定子） の存在はその属性がフィールドに適用されることを示しています。そして、method attribute-target-specifier（属性ターゲット指定子） の存在はその属性がアクセサ関数に適用されることを示しています。
• トリビアル・イベント宣言に指定された属性は、宣言されたイベント、関連するフィールド（もし、そのイベントが abstract でなければ）、ないし、関連した追加と削除関数に適用することができます。attribute-target-specifier（属性ターゲット指定子） が不在の場合、属性はイベント宣言に適用されます。event attribute-target-specifier（属性ターゲット指定子） の存在はその属性がイベントに適用されることを示しています。field attribute-target-specifier（属性ターゲット指定子） の存在はその属性はフィールドに適用されることを示しています。そして、method attribute-target-specifier（属性ターゲット指定子） の存在はその属性が関数に適用されることを示しています。

 [AttributeUsage(AttributeTargets::All)]
 public ref class X : Attribute {};
 
 [AttributeUsage(AttributeTargets::All)]
 public ref class XAttribute : Attribute  {};
 
 [X]             //  エラー：あいまいです
 ref class Class1 {};
 
 [XAttribute]    //  XAttribute を参照する
 ref class Class2 {};

 [AttributeUsage(AttributeTargets::All)]
 public ref class XAttribute : Attribute {};
 
 [X]             //  XAttribute を参照する
 ref class Class1 {};
 
 [XAttribute]    //  XAttribute を参照する
 ref class Class2 {};

 [AttributeUsage(AttributeTargets::Class)]
 public ref class HelpStringAttribute : Attribute {
     String^ value;
 public:
     HelpStringAttribute(String^ value) {
         this->value = value;
     }
     property String^ Value { String^ get() { ... } }
 };
 
 [HelpString("Description of Class1"]
 [HelpString("Anotherdescription of Class1")]  // エラー
 public ref class Class1 {};

[AttributeUsage(AttributeTargets::Class)]
public ref class MyAttribute : Attribute {
public:
    property int P1 {
        int get() { ... }
        void set(int value) { ... }
    }
    property type^ P2 {
        Type^ get() { ... }
        void set(Type^ value) { ... }
    }
    property Object^ P3 {
        Object^ get() { ... }
        void set(Object^ value) { ... }
    }
};
[My(P1 = 1234, P3 = gcnew array<int>{1, 3, 5}, P2 = float::typeid)]
ref class MyClass {};

ref class R;           // ok、リスト無し
[X]ref class R;        // エラー、部分リスト
[Y]ref class R;        // エラー、部分リスト
[X][Y]ref class R;     // ok、全体リスト
[X][Y]ref class R {    // 定義、全体リスト
   [X] void F();      // エラー、部分リスト
};
[X][Y] void R::F() {}  // 定義、全体リスト

 [Obsolute("このクラスは使用されません。代わりにクラス B を使ってください。", true)]
 ref struct A {
     void F() { }
 };
 ref struct B {
     void F() { }
 };
 int main() {
     A^ a = gcnew A();    // 診断
     a->F();
 }