d为何T可以而的型不可以

原文
我正在使用C的SFML的D绑定,并且正在创建自己的draw模板函数.
我先检查传入对象是否具有适当类型,如果是,我调用适当函数:

template isDrawable(T) {
    enum isDrawable = is(T == sfCircleShape*) || is(T == sfRectangleShape*) || is(T == sfText*) || is(T == sfSprite*);
}

void sfRenderWindowExt_draw(T)(sfRenderWindow* renderWindow, T obj) {
    static assert(isDrawable!T, format("无法调用%s类型上的任何绘制方法", T.stringof));

    if (is(T == sfCircleShape*)) {
        renderWindow.sfRenderWindow_drawCircleShape(cast(sfCircleShape*)obj, null);
    } else if (is(T == sfRectangleShape*)) {
        renderWindow.sfRenderWindow_drawRectangleShape(cast(sfRectangleShape*)obj, null);
    } else if (is(T == sfText*)) {
        renderWindow.sfRenderWindow_drawText(cast(sfText*)obj, null);
    } else if (is(T == sfSprite*)) {
        renderWindow.sfRenderWindow_drawSprite(cast(sfSprite*)obj, null);
    }
}

如果我用(typeof)以下内容,替换isDrawable模板,代码无法编译:

template isDrawable(T) {
    enum isDrawable = is(typeof(T) == sfCircleShape*) || is(typeof(T) == sfRectangleShape*) || is(typeof(T) == sfText*) || is(typeof(T) == sfSprite*);
}

这很奇怪,因为我假设这两段代码是相同的.

这是因为T已是类型了,这和下面代码,编译失败的原因是一样的:

void main() {
    alias T = int;
    alias TT = typeof(T);
}

错误:'int'类型不是式.

错误消息告诉typeof需要一个式,可用T.init,现在,下面代码应该工作:

alias TT = typeof(T.init);