确保编译时接口互斥？

Question

我想确保在编译时在同一个类上永远不会找到两个接口，类似于 AttributeUsage 在编译时检查自定义属性。

例如：

[InterfaceUsage(MutuallyExclusive = typeof(B))]
interface A {
    //...
}

interface B {
    //...
}

class C : A, B { //should throw an error on compile time
    //...
}

我显然可以在运行时通过反射来做到这一点，但我对编译时解决方案感兴趣。

我想这个可能不存在现成的 - 但有没有一种方法可以创建一个在编译时运行的自定义属性，就像 AttributeUsage 一样？

Answer 1

另一种方法是将它们更改为抽象类。

Answer 2

给他们两个具有相同签名但返回类型不兼容的方法怎么样？

Answer 3

一个“解决方法”是在两个接口中添加 /// ，警告由于这样那样的原因，它们不应该一起使用。它用警告信号解决了一个陷阱，但总比没有好。

我遇到了类似的情况：本地和全球条件。一个只能依赖于数组中某个位置周围的固定部分，而另一个则根本不能依赖于位置。把两者放在一起，你就得到了一个无用的条件。

Answer 4

这可能不是 100% 的方式，但对于您想要互斥的接口，您可能会在编译时获得一些错误。假设我们想禁止人们在同一个类上实现 cat 和 dog 接口：

interface cat_or_dog
{
    bool IsCute { get; }
}

interface cat_or_dog<A> : cat_or_dog where A : cat_or_dog
{
    A Self { get; }
}

interface cat : cat_or_dog<cat>
{
    Guid Meow { get; }
};

interface dog : cat_or_dog<dog>
{
    Single Woof { get; }
};

通过这种设置，如果一个类实现了，你实际上会得到一个致命的编译错误尝试公开实现两个互斥的接口，如 demo3 和 demo4 中所示。这是由共享基类 cat_or_dog 中成员的返回值的 Type 冲突引起的：（

class demo1 : cat         // ok
{
    public bool IsCute => true;
    public cat Self => this;
    public Guid Meow => Guid.NewGuid();
};

class demo2 : dog         // ok
{
    public bool IsCute => true;
    public dog Self => this;
    public Single Woof => 10.0f;
};

class demo3 : cat, dog // CS0535: "doesn't implement 'dog.Woof' and 'cat_or_dog<dog>.Self'
{
    public bool IsCute => default;
    public cat Self => this;
    public Guid Meow => Guid.NewGuid();
};

class demo4 : dog, cat // CS0535: "doesn't implement 'cat.Meow' and 'cat_or_dog<cat>.Self'
{
    public bool IsCute => default;
    public dog Self => this;
    public Single Woof => 10.0f;
};

Meow 和 < code>Woof 错误是由于 IDE 的自动接口实现功能在更严重的错误之后由于某种原因未完成重构而导致的）

然而，正如您所知，这是一个奇怪的重复模板模式的变体，因此仍然有可能“错误地”实现这两个接口通过使用 C# 显式接口实现：

class demo5 : dog, cat         // ok
{
    public bool IsCute => true;

    cat cat_or_dog<cat>.Self => this;
    Guid cat.Meow => throw null;

    dog cat_or_dog<dog>.Self => this;
    float dog.Woof => 10.0f;
};