templates - DLang - 模板约束 - 类型必须实现接口(interface)

Question

我正在尝试将以下 C# 代码转换为 D，但是我不知道如何使模板约束起作用。

C# 实现

public interface IComponent
{

} 

public class Container
{
    public T CreateComponent<T>() where T: IComponent, new()
    {
        // Trivial initialisation for example
        var t = new T(); 
        return t;
    }
}

D 实现

public interface Component
{

}

public class Container
{
    public T createComponent(T)()
    {
        // Trivial initialisation for example
        auto t = new T();
        return t;
    }
}

如何重新创建“where T: IComponent”约束？

我尝试了各种组合 is、typeof 等的表达式，但找不到任何可行的方法。

Answer 1

好吧，如果你想要做的只是要求 T 实现接口(interface) IComponent，那么 is(T : IComponent)将测试 T 是否可以隐式转换为 IComponent(当 IComponent 是 T 的基类时就是这种情况或它实现的接口(interface))。所以，你最终会得到类似的东西

public class Container
{
    public T createComponent(T)()
        if(is(T : IComponent))
    {
        // Trivial initialisation for example
        auto t = new T();
        return t;
    }
}

现在，从技术上讲，如果 alias this 用于定义隐式转换，则其他内容可以匹配，这不太可能常见，但如果您对此更加偏执，您可以使约束也检查 T 是类 - is(T == class)。

public class Container
{
    public T createComponent(T)()
        if(is(T == class) && is(T : IComponent))
    {
        // Trivial initialisation for example
        auto t = new T();
        return t;
    }
}

那么，T 必须是一个类，并且它必须隐式转换为IComponent。然而，在技术上仍然有可能让 T 成为一个不实现 IComponent 但确实定义了一个 alias this 转换为 IComponent (T 不再可能成为执行此操作的结构)。所以，它并不完美，但我不知道有一种方法可以确保通过继承而不是 alias this 完成隐式转换。所以，不幸的是，我不知道有什么方法可以绝对保证T 是一个实现IComponent 的类。我所知道的最多的是确保它隐式转换为`IComponent，这几乎总是意味着它实现了它。

然而，实际情况是，在绝大多数情况下，简单地检查 is(T : IComponent) 就足够了，而且根据你的代码的编写方式，它甚至可能会起作用具有隐式转换为 IComponent 但实际上不是 IComponent 的类型。因此，alias this 在工作中抛出 Spanner 这一事实实际上可能不是问题。然而，一般来说，alias this 是泛型代码的祸根，也是为什么大多数泛型代码不应该检查隐式转换的原因。一个类型很容易通过 alias this 进行隐式转换，但实际上并没有在函数中进行转换，在这种情况下，它要么无法编译，要么如果它支持与目标类型执行的操作相同，但这些操作的结果与将原始类型实际转换为目标类型时的结果不同。因此，如果您确实想要在模板代码中进行隐式转换，则应该通过将参数分配给目标类型来强制进行隐式转换。但是由于您希望测试接口(interface)而不是一般的隐式转换，您可能想要的是一个测试，该测试在不允许通过 alias this 进行隐式转换的情况下进行测试。不幸的是，我知道在编译时检查一种类型是否派生自另一种或实现特定接口(interface)的唯一方法是检查它是否隐式转换为该基类或接口(interface)。

但也许有一些有趣的巫毒教具有真正能够做到这一点的特质。如果有，我们可能应该在 std.traits 中添加一些东西来为你做这件事，如果没有，也许我们应该找到一种方法来添加它，因为 alias this 肯定很烦人如果你不想要它。但幸运的是，这不是大多数代码中出现的问题，如果您不编写公共(public) API，那么您只需在使用 alias this 声明类型时担心它。如果你不是，那真的没关系。