【D言語】任意のメンバー関数の存在を確かめる方法

前回の記事では”型Tがメンバ関数fooを持っているかどうかを確かめるテンプレート”を紹介しました。 しかし、fooで決め打ちというのは、使い勝手があまり良くありません。 そんなわけで、今回の記事では”型Tが任意のメンバ関数を持っているかどうかを確かめるテンプレート”を紹介します。

前回のテンプレートの引数に、”調べる関数の名前”を追加します。 今回の場合、こっちのほうが簡単という理由で__traits(hasMember, …)を使っていきます。

import std.stdio, std.traits;

template hasFunction(T, string name){
    static if(__traits(hasMember, T, name)){
        enum hasFunction = mixin("isSomeFunction!(T." ~ name ~ ")");
    }else{
        enum hasFunction = false;
    }
}

struct Hoge{
    void hoge(){}
    string piyo(int i){ return ""; }
    double fuga;
}

void main(){
    hasFunction!(Hoge, "hoge").writeln(); // true
    hasFunction!(Hoge, "piyo").writeln(); // true
    hasFunction!(Hoge, "fuga").writeln(); // false
    hasFunction!(Hoge, "hogehoge").writeln(); // false
}

上のコードでは、hasFunctionは型Tがnameという名前のメンバを持っているかを調べた後、そのメンバが関数かどうかも調べています。 関数かどうか調べるときに、std.traits.isSomeFunctionを使っていますが、このテンプレートの引数は文字列ではなく、調べたいもの自体です。 つまり、isSomeFunctionは

isSomeFunction!(T.hoge)

や

isSomeFunction!(T.piyo)

という風にしか使えないという事です。 当然、hasFunctionはメンバを文字列で受け取っているため、上のように書けません。 そこで、伝家の宝刀であるmixinを使っています。

mixin("isSomeFunction!(T." ~ name ~ ")")

mixinは、コンパイル時に評価できる文字列（つまりテンプレート引数の文字列や、それの連結など）を、D言語のソースコードとして埋め込むことが出来るD言語の機能です。 上のコードでは、mixinを使い、isSomeFunction!(T.hoge)やisSomeFunction!(T.piyo)という風にisSomeFunctionを使うことを可能にしています。

まとめ

見ての通り、D言語は、コンパイル時にテンプレートやmixinを使って色々と出来る言語です。 テンプレートで実現が難しいことでも、D言語だとmixinを使えば大抵実現できます。 コンパイル時処理に興味が出てきた方は、D言語を使ってみると楽しいかもしれません。