【D言語】UDAが登場！！使い方を探ってみる！！

D言語erの皆さん、こんにちは。 今回は、最近になって、なぜかウォルたんによって実装された新たな機能である、UDAの使い方について少し書いていきます。

UDAとは？

---

User Defined Attributesの略です。 シンボルにいろいろな情報を付け加えることができます。 詳しくは、ここを参照してください。 現在は、dmdのgitリポジトリのheadをビルドしたり、DPasteを使うことによって、UDAを試すことができます。

Serializable

---

型がシリアライズ可能であることの保証を、UDAで表現できます。

import std.typetuple;

template isSerializable(T){
    enum isSerializable = staticIndexOf!("Serializable", __traits(getAttributes, T)) != -1;
}


class A{}


class B{}

pragma(msg, isSerializable!A); // true
pragma(msg, isSerializable!B); // false

void main(){}


std.typetuple.staticIndexOfを使って、UDAに"Serializable"が含まれているか判定しています。
しかし、std.typetuple.staticIndexOfなのに、ExpressionTupleの検索ができるとは、これ如何に・・・
CTFEable

同じく、関数がCTFEableであることの保証も、UDAで表現できます。

import std.typetuple, std.traits;

ReturnType!func safeCall(alias func)(ParameterTypeTuple!func args){
    if(ctfe){
        static if(staticIndexOf!("CTFEable", traits(getAttributes, func)) != -1){
            return func(args);
        }else{
            assert(0, "unsafe function call");
        }
    }else{
        return func(args);
    }
}

 int add(int a, int b){ return a + b; }

 int mul(int a, int b){ return a * b; }

pragma(msg, safeCall!add(2, 3)); // 5;
pragma(msg, safeCall!mul(2, 3)); // Error: "unsafe function call"


UDAとして"CTFEable"を含んでいる時のみ関数を呼んでいます。

まとめ

UDAは、つい先日実装されたばかりです。
色々と考えて見ましたが、自分はあまり他言語に詳しくないので、思いついた使い方はこのくらいでした。
これの使い方を見ると、UDAはあまり役に立ちそうには見えませんが、
他の言語での使われ方などを参考に、これからいろんな使い方が見つかると思います。
楽しみですね。

担当：美馬（機能追加なんて何ヶ月ぶりだろう・・・）