将类本身定义为通用实现.为什么/如何运作？

Question

我通常一直在创建EventAggregator使用的Prism事件,如:

public class SomeEvent : CompositePresentationEvent<SomeEventArgs> { }

public class SomeEventArgs
{
     public string Name { get; set; }
}

但在查看同事代码时,我注意到他们做了:

public class SomeEvent : CompositePresentationEvent<SomeEvent>
{
     public string Name { get; set; }
}

我想我的第一个问题是为什么这甚至编译？在我看来,它正在实现一个尚未定义的类.第二,它是否会对应用程序产生负面影响,是否可以忽略不计,或者更好？

Answer 1

我想我的第一个问题是为什么这甚至编译？

您认为规范中的哪条规则违反了规定？

在我看来,它正在实现一个尚未定义的类.

我认为您必须指明每个条款的确切含义才能判断该陈述是否准确.编译器知道CompositePresentationEvent它在其他地方(大概)已经声明,并且它知道SomeEvent因为那是被声明的类.这就像Foo在一个类中有一个类型的字段Foo- 完全有效.

能够做到这一点也非常有用 - 特别是对于比较.例如:

public sealed class Foo : IComparable<Foo>

说任何类的实例都Foo知道如何将自己与另一个实例进行比较,因此它可以用于以类型安全的方式进行排序.在结构的情况下,这也允许你减少拳击,因为x.CompareTo(y)当x已知是一种IComparable<>适当实施的类型时,调用将不需要任何拳击.

需要注意的是类型可以得到远远更有趣和容易混淆的递归.从我的Protocol Buffers端口获取这个(略微修改过的)示例:

public interface IMessage<TMessage, TBuilder>
    where TMessage : IMessage<TMessage, TBuilder>
    where TBuilder : IBuilder<TMessage, TBuilder>

public interface IBuilder<TMessage, TBuilder>
    where TMessage : IMessage<TMessage, TBuilder>
    where TBuilder : IBuilder<TMessage, TBuilder>

这里的目标是基本上最终得到两种类型 - "消息"和"构建器",这样您就可以始终从另一种构造每个类型.例如:

public class Foo : IMessage<Foo, FooBuilder>
{
    ...
}

public class FooBuilder : IBuilder<Foo, FooBuilder>
{
    ...
}